Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important effici ....Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important efficiency gains, but can introduce complex and error-prone behaviours that cannot be managed using traditional software development approaches. This project will produce better, scalable and mechanised methods for the design and verification of such software which is expected to reduce the prevalence of failures in efficient, modern software.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
ARC Research Network for Enabling Human Communication. The Human Communication Network promotes interdisciplinary research in speech, language, and sound by and between humans and machines. The network connects leading and emerging researchers across disciplines, exploits previously unrecognised intersections, supports interdisciplinary graduate training and exchanges, provides database storage infrastructure, and consults with industry and government to set, not follow, research agendas. By ge ....ARC Research Network for Enabling Human Communication. The Human Communication Network promotes interdisciplinary research in speech, language, and sound by and between humans and machines. The network connects leading and emerging researchers across disciplines, exploits previously unrecognised intersections, supports interdisciplinary graduate training and exchanges, provides database storage infrastructure, and consults with industry and government to set, not follow, research agendas. By generating an explosion of new approaches and knowledge, the network will build Australia's reputation as a leader in communication science and technology via advances in automatic speech recognition, distress call monitoring, hearing prostheses, web interfaces, and data retrieval and data mining systems.Read moreRead less
Geodetic groups: foundational problems in algebra and computer science. The project aims to resolve important and longstanding open problems in Geometric Group Theory and Theoretical Computer Science. Since the 1980s researchers have conjectured that the geometric property of being geodetic is equivalent to several purely algebraic, algorithmic, and language-theoretic characterisations.
The project team's expertise in geodesic properties of groups, the interaction between formal languages and g ....Geodetic groups: foundational problems in algebra and computer science. The project aims to resolve important and longstanding open problems in Geometric Group Theory and Theoretical Computer Science. Since the 1980s researchers have conjectured that the geometric property of being geodetic is equivalent to several purely algebraic, algorithmic, and language-theoretic characterisations.
The project team's expertise in geodesic properties of groups, the interaction between formal languages and groups, and the theory of rewriting systems, together with recent breakthroughs by the team ensures that significant results can be expected.
Benefits include training research students and postdoctoral researchers in cutting-edge techniques, and advancing fundamental knowledge in mathematics and computer science.Read moreRead less
Entrainment and Mixing in Turbulent Negatively Buoyant Jets and Fountains. The project intends to develop tools to accurate predict fountain flows. Volcanic eruptions, building ventilation and brine discharge from desalination plants are all examples of turbulent fountains and negatively buoyant jets. The project aims to conduct an investigation into the turbulent structure of fountains and negatively buoyant jets using numerical simulation and laboratory experiments, and to assess the accuracy ....Entrainment and Mixing in Turbulent Negatively Buoyant Jets and Fountains. The project intends to develop tools to accurate predict fountain flows. Volcanic eruptions, building ventilation and brine discharge from desalination plants are all examples of turbulent fountains and negatively buoyant jets. The project aims to conduct an investigation into the turbulent structure of fountains and negatively buoyant jets using numerical simulation and laboratory experiments, and to assess the accuracy of the commonly used integral models and test the effect of the use of more accurate entrainment relations. This may have a range of applications – enabling better prediction of environmental impacts, reduction of the adverse effects of the discharge of pollutants, and reduction in energy consumption in building ventilation and other industrial applications.Read moreRead less
Thermal stratification, overturning and mixing in riverine environments. Thermal stratification is common in Australia's rivers due to our hot, drought-prone climate and high human demands relative to available supply, which has led to a significant reduction in flows relative to natural levels. Thermal stratification inhibits mixing, creating stagnant conditions characterised by low oxygen levels and increased concentrations of contaminants, leading to algal blooms, fish kills and systemic dama ....Thermal stratification, overturning and mixing in riverine environments. Thermal stratification is common in Australia's rivers due to our hot, drought-prone climate and high human demands relative to available supply, which has led to a significant reduction in flows relative to natural levels. Thermal stratification inhibits mixing, creating stagnant conditions characterised by low oxygen levels and increased concentrations of contaminants, leading to algal blooms, fish kills and systemic damage to ecosystems. The aim of this project is to develop predictive models for the effects of physical processes such as night-time cooling, wind, turbulence and currents on riverine thermal stratification. This is expected to enable a more accurate determination of the flow rates required to maintain the health of our river systems.Read moreRead less
Centre for Mathematical and Statistical Modelling of Complex Systems. This Centre, formed by a group of high-profile researchers, brings expertise from linked but hitherto disparate areas together. It will place Australia at the forefront of research into complex systems.
The mission of the Centre is to stimulate research in mathematical and statistical modelling of complex systems and to encourage cross-fertilisation of ideas and techniques. The specific objectives are
- to formulate and ana ....Centre for Mathematical and Statistical Modelling of Complex Systems. This Centre, formed by a group of high-profile researchers, brings expertise from linked but hitherto disparate areas together. It will place Australia at the forefront of research into complex systems.
The mission of the Centre is to stimulate research in mathematical and statistical modelling of complex systems and to encourage cross-fertilisation of ideas and techniques. The specific objectives are
- to formulate and analyse mathematical and statistical models for natural and artificial complex systems,
- to use these models to develop an understanding of the behaviour of these systems
- to incorporate this understanding into strategies for management and control.Read moreRead less
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
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