Special Research Initiatives - Grant ID: SR0354575
Funder
Australian Research Council
Funding Amount
$30,000.00
Summary
Earth and Ocean Informatics and Technology Network (EON-ITnet). Sustainable resource exploration and mining onshore, as well as marine planning, exploration, and defence depend on effective cross-disciplinary investigation, sharing of expertise and technologies for integration and computational analysis of multidimensional data spaces. EON-ITNET will cross-fertilise the use of artificial intelligence, advanced computing and smart information sharing for management, analysis, visualisation and me ....Earth and Ocean Informatics and Technology Network (EON-ITnet). Sustainable resource exploration and mining onshore, as well as marine planning, exploration, and defence depend on effective cross-disciplinary investigation, sharing of expertise and technologies for integration and computational analysis of multidimensional data spaces. EON-ITNET will cross-fertilise the use of artificial intelligence, advanced computing and smart information sharing for management, analysis, visualisation and metadata modelling between these traditionally separate research groups, with the outcome of improving research efficiency and lowering costs. EON-ITNET will form an alliance with the Caltech-based GeoFramework, which is advancing a novel object-oriented data analysis environment, binding community software for Earth visualisation and simulation to 4D data bases.Read moreRead less
Intelligent Model Checking. Real-world systems are typically so complex that software engineers require specialised CAD tools to debug and verify a design. Model checking is a formal method that is used extensively for this purpose, particularly for mission-critical systems. In this work, a new kind of verifying tool, based on model checking, is developed. This new model checker is intelligent because a heuristic search is integrated into the underlying formalism. It is not exhaustive, and is mo ....Intelligent Model Checking. Real-world systems are typically so complex that software engineers require specialised CAD tools to debug and verify a design. Model checking is a formal method that is used extensively for this purpose, particularly for mission-critical systems. In this work, a new kind of verifying tool, based on model checking, is developed. This new model checker is intelligent because a heuristic search is integrated into the underlying formalism. It is not exhaustive, and is more efficient than a traditional model checker during the design phase because it does only a minimum amount of work in its search for a fault.Read moreRead less
Simulating the evolution of the Southern Ocean and Australia's Palaeo-environment over 40 million years. Our project falls in the first national research priority: an environmentally sustainable Australia and meets two of its primary goals, understanding environmental change and the evolution of biodiversity, and responding to climate change and variability. Our models will represent a major step forward in differentiating between natural processes and anthropological input to present global cli ....Simulating the evolution of the Southern Ocean and Australia's Palaeo-environment over 40 million years. Our project falls in the first national research priority: an environmentally sustainable Australia and meets two of its primary goals, understanding environmental change and the evolution of biodiversity, and responding to climate change and variability. Our models will represent a major step forward in differentiating between natural processes and anthropological input to present global climate change and will address quantitatively how Australia changed from a continent rich in freshwater to the driest inhabited continent throughout the last 40 million years.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
Smart Information Use for PET-CT Quantitative Molecular Imaging. This project aims to use advanced computing algorithms to tackle
challenging problems associated with a new medical technology called
PET-CT which combines two imaging modalities in one device. While this technology is very new and has great potential in cancer and brain disorders, it also poses major challenges for information processing and transmission. We will address these challenges by developing advanced algorithms that op ....Smart Information Use for PET-CT Quantitative Molecular Imaging. This project aims to use advanced computing algorithms to tackle
challenging problems associated with a new medical technology called
PET-CT which combines two imaging modalities in one device. While this technology is very new and has great potential in cancer and brain disorders, it also poses major challenges for information processing and transmission. We will address these challenges by developing advanced algorithms that optimally extract information from PET and CT using mathematical models that correct for the various sources of inaccuracy. Our research will put Australian biomedical researchers and healthcare professionals at the forefront of advanced medical imaging technology.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
Scenario driven management in a network environment. Scenario planning is the process of identifying plausible futures and their inherent risks. The organisation, the network within which it is embedded, and the environment in which the network operates, form a complex system of non-linear, dynamic, interrelationships. This project will develop a continuous process of scenario planning, capturing learning about the future as it emerges. The project fuses the use of agents for intelligent data co ....Scenario driven management in a network environment. Scenario planning is the process of identifying plausible futures and their inherent risks. The organisation, the network within which it is embedded, and the environment in which the network operates, form a complex system of non-linear, dynamic, interrelationships. This project will develop a continuous process of scenario planning, capturing learning about the future as it emerges. The project fuses the use of agents for intelligent data collection and negotiation with agent-based modelling to build powerful network-based scenario modelling systems for commercial applications. This outcome will place Australia on the frontier of smart information use.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
Computational haemodynamics system for prediction of risk of rupture of cerebral aneurysms. Every year about 2000 Australians suffer a ruptured aneurysm in the brain and some 750 of these die within 4 weeks. Since there is an increase in the detection of unruptured aneurysms, especially in healthy young people, there is an urgent need to be able to decide which lead to rupture and to provide suitable treatment options. This project, which will provide markedly improved means of patient-specific ....Computational haemodynamics system for prediction of risk of rupture of cerebral aneurysms. Every year about 2000 Australians suffer a ruptured aneurysm in the brain and some 750 of these die within 4 weeks. Since there is an increase in the detection of unruptured aneurysms, especially in healthy young people, there is an urgent need to be able to decide which lead to rupture and to provide suitable treatment options. This project, which will provide markedly improved means of patient-specific risk determination for aneurysm rupture, will have significant impact in reducing associated costs on the national health burden due to cerebral hemorrhage and stroke, on community productivity and disability and on more efficient targeting of expensive and dangerous brain surgery.Read moreRead less
Structure-Property Relationships of Polymers with Controlled Architecture. Mechanical properties of a polymer (e.g., how elastic it is and how it dissipates energy when compressed) govern how well it performs as an adhesive, or its behaviour when melted and shaped into a consumer item. This project aims to relate molecular architecture to mechanical properties, using new techniques which permit the creation of polymers wherein each architectural characteristic is separately controlled. This has ....Structure-Property Relationships of Polymers with Controlled Architecture. Mechanical properties of a polymer (e.g., how elastic it is and how it dissipates energy when compressed) govern how well it performs as an adhesive, or its behaviour when melted and shaped into a consumer item. This project aims to relate molecular architecture to mechanical properties, using new techniques which permit the creation of polymers wherein each architectural characteristic is separately controlled. This has the potential to develop fundamental understanding for structure-property relations for the type of branched polymers that are in common use in industry and for which adequate models do not currently exist.Read moreRead less