Increasing the effectiveness of quantitative verification. The ability to analyse the performance of complex systems and protocols is a vital part of the development of large-scale computer applications. Methods that improve the effectiveness of the analysis task would increase the competitiveness of the software industry, and would attract future development work (in complex systems) to Australia. The results of this project will have a direct influence on currently available design tools; the ....Increasing the effectiveness of quantitative verification. The ability to analyse the performance of complex systems and protocols is a vital part of the development of large-scale computer applications. Methods that improve the effectiveness of the analysis task would increase the competitiveness of the software industry, and would attract future development work (in complex systems) to Australia. The results of this project will have a direct influence on currently available design tools; the fact that Australian institutions will be (in part) responsible for key theoretical results in this growing field will strengthen Australia's position worldwide as an international centre for computer science.Read moreRead less
Bayesian Inference for Multivariate Hierarchical Regression Models. This project will develop Bayesian methodology for analysing multivariate regression models. The distribution of each measurement can be discrete or continuous, with the dependence between measurements obtained through the correlation matrix of a Gaussian copula. Model parsimony is obtained by identifying zero elements in the correlation matrix or its inverse and by variable selection on the regression parameters. The results wi ....Bayesian Inference for Multivariate Hierarchical Regression Models. This project will develop Bayesian methodology for analysing multivariate regression models. The distribution of each measurement can be discrete or continuous, with the dependence between measurements obtained through the correlation matrix of a Gaussian copula. Model parsimony is obtained by identifying zero elements in the correlation matrix or its inverse and by variable selection on the regression parameters. The results will be applied to solve problems in finance, health management and marketing. In all these fields multiple observations are often taken per individual or time period and the models need to incorporate measures of dependence and uncertainty.Read moreRead less
ARC Centre in Bioinformatics. The Australian Centre for Genome-Phenome Bioinformatics will examine how the genome comes to life in the mammalian cell during differentiation and development. We will model, visualise and experimentally validate the complex cellular systems and regulatory networks that control the transformation of genomic information into biological structure and function. We will develop novel approaches and tools to improve health, optimise agricultural production and exploit ne ....ARC Centre in Bioinformatics. The Australian Centre for Genome-Phenome Bioinformatics will examine how the genome comes to life in the mammalian cell during differentiation and development. We will model, visualise and experimentally validate the complex cellular systems and regulatory networks that control the transformation of genomic information into biological structure and function. We will develop novel approaches and tools to improve health, optimise agricultural production and exploit new cell technologies. The Centre will build critical mass and national focus in bioinformatics to generate the human capital and intellectual property that Australia needs to compete in advanced bioscience and biotechnology.Read moreRead less
Using Mathematics to Maximize the Efficiency of Shared Infrastructure in Australia's Coal Export Supply Chain. Port Waratah Coal Services operates the world's largest coal export terminal, servicing about 14 coal mining companies in the Hunter Valley, NSW. It is responsible for around $15 billion in annual export income for Australia. The coal supply chain is a complex operation, hampered by bottlenecks in critical shared infrastructure. Such limitations are estimated to cost Australia about $2 ....Using Mathematics to Maximize the Efficiency of Shared Infrastructure in Australia's Coal Export Supply Chain. Port Waratah Coal Services operates the world's largest coal export terminal, servicing about 14 coal mining companies in the Hunter Valley, NSW. It is responsible for around $15 billion in annual export income for Australia. The coal supply chain is a complex operation, hampered by bottlenecks in critical shared infrastructure. Such limitations are estimated to cost Australia about $2 billion pa in lost sales. This project will support the design of new infrastructure and processes to ensure an efficient supply chain. The new science resulting will benefit other coal operations in Australia, and potentially other bulk goods supply chains.Read moreRead less
Statistical Methods for Flow Cytometric Data. The project will aid users of flow cytometry throughout Australia. It will help foster collaborations between the biological and mathematical scientists. Biological research is an important part of Australia's future and is becoming very quantitative. During the course of the project, two PhD students will be provided strong training in Statistics geared towards biological applications. The project is aligned with the 8th Human Leucocyte Differentiat ....Statistical Methods for Flow Cytometric Data. The project will aid users of flow cytometry throughout Australia. It will help foster collaborations between the biological and mathematical scientists. Biological research is an important part of Australia's future and is becoming very quantitative. During the course of the project, two PhD students will be provided strong training in Statistics geared towards biological applications. The project is aligned with the 8th Human Leucocyte Differentiation Antigen workshop to culminate in Adelaide in December 2004 and will aid the fight against blood cell cancers. The project will also aid research on plankton with potential commercial benefits for Australia's marine scallop industry.
Read moreRead less
Western Australia severe weather prediction: optimising forecasts using new data sources and improved high-resolution models. WA suffers unusually high exposure to severe tropical and extra-tropical weather, from its size and geographical location. This project will develop enhanced data assimilation and modelling techniques, using emerging high-resolution satellite and other data to improve the timeliness, accuracy and reliability of weather forecasts for WA. Outcomes include: improved forecas ....Western Australia severe weather prediction: optimising forecasts using new data sources and improved high-resolution models. WA suffers unusually high exposure to severe tropical and extra-tropical weather, from its size and geographical location. This project will develop enhanced data assimilation and modelling techniques, using emerging high-resolution satellite and other data to improve the timeliness, accuracy and reliability of weather forecasts for WA. Outcomes include: improved forecast systems for predicting severe weather affecting WA (and consequently Australia), and ensemble forecast systems that provide valuable probabilistic information, such as confidence limits in the forecasts. Better forecasts issued earlier for severe weather events will allow appropriate planning and management measures, thereby reducing their present high social and economic cost.Read moreRead less
Special Research Initiatives - Grant ID: SR0354793
Funder
Australian Research Council
Funding Amount
$10,000.00
Summary
A Neural Network: Understanding Brain Function. This proposal focuses on the mechanisms that regulate brain function, particularly those underpinning the changes in circuitry (plasticity) caused by altered inputs. As such, its core goal is to create an interface between researchers in the neurosciences, computational modelling, robotics and cognitive sciences in order to facilitate optimum collaborative interactions, identify key research questions and promote training opportunities across a mul ....A Neural Network: Understanding Brain Function. This proposal focuses on the mechanisms that regulate brain function, particularly those underpinning the changes in circuitry (plasticity) caused by altered inputs. As such, its core goal is to create an interface between researchers in the neurosciences, computational modelling, robotics and cognitive sciences in order to facilitate optimum collaborative interactions, identify key research questions and promote training opportunities across a multidisciplinary spectrum. This will drive an integrated and accelerated program of discovery and technological development, enhancing Australia's leadership in this crucial field and helping to highlight new biotechnology opportunities and capture social and economic benefits for the nation. Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0346878
Funder
Australian Research Council
Funding Amount
$190,000.00
Summary
GeoWulf: An Inference Engine for Complex Earth Systems. The project is to build a `Beowulf' cluster as a platform for solving
complex data inference problems in the Earth sciences, and in
particular the fields of thermochronology, seismology, crustal and
mantle dynamics, and landform evolution. A Beowulf cluster is a
network-linked set of commonly available `off-the-shelf' PC-computers
configured to give unprecedented performance/cost ratio. Projects
using the Beowulf facility will combine ....GeoWulf: An Inference Engine for Complex Earth Systems. The project is to build a `Beowulf' cluster as a platform for solving
complex data inference problems in the Earth sciences, and in
particular the fields of thermochronology, seismology, crustal and
mantle dynamics, and landform evolution. A Beowulf cluster is a
network-linked set of commonly available `off-the-shelf' PC-computers
configured to give unprecedented performance/cost ratio. Projects
using the Beowulf facility will combine state-of-the-art computational
techniques recently developed at ANU, and high quality data sets
collected over the past decade to address fundamental questions in
the Geosciences.Read moreRead less
Bayesian inference for complex regression models using mixtures. The project will use mixtures to flexibly model complex regression functions and will develop Bayesian methods for carrying out statistical inference on these models. The models will deal with both Gaussian and non-Gaussian data. Multiple explanatory variables are dealt with by mixing simple additives to produce flexible high dimensional function estimates. Variable selection and model averaging will be used to identify important v ....Bayesian inference for complex regression models using mixtures. The project will use mixtures to flexibly model complex regression functions and will develop Bayesian methods for carrying out statistical inference on these models. The models will deal with both Gaussian and non-Gaussian data. Multiple explanatory variables are dealt with by mixing simple additives to produce flexible high dimensional function estimates. Variable selection and model averaging will be used to identify important variables and thus make the estimation more efficient. The methods will be extended to multivariate responses where account will taken be taken of the structure of the dependence between responses.Read moreRead less
Nonlinear Dynamics of Pulse Coupled Oscillators. A mathematical model of the heart pacemaker system will be created, based on simple interacting units. These units have been shown to be good models of physiological information e.g. the discrimination of different influences on heart rate. We will firstly look at the interaction of the units in simple combinations and then tune the model to mimic the behaviour of the cardiac pacemaker.
Potential benefits may arise from elucidating the mechanis ....Nonlinear Dynamics of Pulse Coupled Oscillators. A mathematical model of the heart pacemaker system will be created, based on simple interacting units. These units have been shown to be good models of physiological information e.g. the discrimination of different influences on heart rate. We will firstly look at the interaction of the units in simple combinations and then tune the model to mimic the behaviour of the cardiac pacemaker.
Potential benefits may arise from elucidating the mechanisms underlying arrhythmias which contribute to ?sudden cardiac death? in young men, and suggesting strategies for artificial pacemakers to effectively arrest abnormal rhythms before they convert to potentially fatal fibrillation.Read moreRead less