David and Goliath - what planets can do to the stars that created them. We used to think that when stars expand during their old age, they would destroy all their close-by planets. Today we know that if a star swallows a Jupiter-like planet it can suffer indigestion. The project will study how star-planet interactions takes place, determine their impact on the lives of stars and glimpse at the future of our own solar system.
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
Accurate and fast quantum simulation to predict chemistry. Quantum mechanical simulation is the most accurate tool available for predicting and understanding chemical reactions. Traditional techniques for performing quantum mechanical simulations of molecular collisions and reactions cannot be applied to more than five or six atoms, meaning that it is not possible to study most chemical reactions in full detail. In this project a new technique for performing these accurate simulations, recently ....Accurate and fast quantum simulation to predict chemistry. Quantum mechanical simulation is the most accurate tool available for predicting and understanding chemical reactions. Traditional techniques for performing quantum mechanical simulations of molecular collisions and reactions cannot be applied to more than five or six atoms, meaning that it is not possible to study most chemical reactions in full detail. In this project a new technique for performing these accurate simulations, recently invented at the Australian National University and allowing the study of much larger systems, will be developed and applied to important outstanding problems in chemical dynamics, ranging from roaming in formaldehyde to atom migration in proteins.Read moreRead less
Practical Automated Deduction. This project will develop, implement and validate improved methods for automated deduction in decidable fragments of first order logic, also incorporating reasoning in special theories such as arithmetic. It will significantly extend previous work on the model evolution calculus and dynamic semantic resolution, and introduce new techniques that combine these reasoning methods. This work has direct application to reasoning about business rules and about industrial o ....Practical Automated Deduction. This project will develop, implement and validate improved methods for automated deduction in decidable fragments of first order logic, also incorporating reasoning in special theories such as arithmetic. It will significantly extend previous work on the model evolution calculus and dynamic semantic resolution, and introduce new techniques that combine these reasoning methods. This work has direct application to reasoning about business rules and about industrial optimisation problems, and it will motivate and test our systems by means of case studies from both of these areas.Read moreRead less
Hypergraph models for complex discrete systems. This project aims to better understand the structure and properties of very large hypergraphs of various kinds. Hypergraphs are very general mathematical objects which can be used to model complex discrete systems. They arise naturally in many areas such as ecology, chemistry and computer science. Despite this, our theoretical understanding of very large, or random, hypergraphs lags far behind the intensely-studied special case of graphs. This proj ....Hypergraph models for complex discrete systems. This project aims to better understand the structure and properties of very large hypergraphs of various kinds. Hypergraphs are very general mathematical objects which can be used to model complex discrete systems. They arise naturally in many areas such as ecology, chemistry and computer science. Despite this, our theoretical understanding of very large, or random, hypergraphs lags far behind the intensely-studied special case of graphs. This project will answer many fundamental questions about large, random hypergraphs. The expected outcomes of the project also include new tools for working with hypergraphs, such as efficient algorithms for sampling hypergraphs. These outcomes will benefit researchers who use hypergraphs in their work and will enhance Australia's reputation for research in this area.Read moreRead less
A new model for random discrete structures: distributions, counting and sampling. Random discrete structures are used in countless applications across science for modelling complex systems. This project will study a new, very general model of random discrete structures which encapsulates both random networks and random matrices. This project will develop general tools for working with this model, thereby unlocking the model for use by practitioners in areas such as physics, biology, statistics a ....A new model for random discrete structures: distributions, counting and sampling. Random discrete structures are used in countless applications across science for modelling complex systems. This project will study a new, very general model of random discrete structures which encapsulates both random networks and random matrices. This project will develop general tools for working with this model, thereby unlocking the model for use by practitioners in areas such as physics, biology, statistics and cryptography. The questions that will be tackled are fundamental problems in probability, and include as special cases the analysis of subgraph distribution in models of random networks, and the joint distribution of entries of contingency tables, which are important in statistics.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0989506
Funder
Australian Research Council
Funding Amount
$500,000.00
Summary
A high performance computing cluster and storage for the INTERSECT Consortium of NSW. The installation of this new supercomputing facility is an important addition to the nation's foundation research infrastructure. Of particular importance to research groups in NSW is the much needed boost in computational research and research training capacity that it will provide, enabling world leading research teams to continue their ground breaking work in an increasingly competitive international enviro ....A high performance computing cluster and storage for the INTERSECT Consortium of NSW. The installation of this new supercomputing facility is an important addition to the nation's foundation research infrastructure. Of particular importance to research groups in NSW is the much needed boost in computational research and research training capacity that it will provide, enabling world leading research teams to continue their ground breaking work in an increasingly competitive international environment. Much of the research to be supported lies in areas of national priority, including frontier technologies and Australian environmental sustainability.Read moreRead less
Hybrid Toughening of Carbon Fibre Composites for Liquid Hydrogen Storage. This project aims to develop hybrid toughening technologies to overcome the major problem of transverse matrix cracking and splitting in existing carbon fibre composites when subjected to thermal-mechanical loading at the ultracold liquid hydrogen temperature. Nano-toughened thin-ply carbon fibre layers will be hybridised with standard-ply laminates to sustain internal pressure and external impact loading at cryogenic temp ....Hybrid Toughening of Carbon Fibre Composites for Liquid Hydrogen Storage. This project aims to develop hybrid toughening technologies to overcome the major problem of transverse matrix cracking and splitting in existing carbon fibre composites when subjected to thermal-mechanical loading at the ultracold liquid hydrogen temperature. Nano-toughened thin-ply carbon fibre layers will be hybridised with standard-ply laminates to sustain internal pressure and external impact loading at cryogenic temperatures without leaks. The hybrid composites are expected to enable Australian companies to engineer, manufacture and export lightweight carbon fibre tanks for storing and exporting liquid hydrogen, which is emerging as a transformational opportunity for Australia to become a global supplier of green energy.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0453911
Funder
Australian Research Council
Funding Amount
$391,529.00
Summary
Microwave Antenna Testing Facility for Far-Field and Spherical Near-Field Measurements. The proposed facility is for testing broad-beam microwave antennas (1 GHz - 18 GHz), designed and developed by collaborators for several research and commercial projects. These antennas are important in telecommunications, defence and biomedical applications. While facilitating timely pattern measurements of antenna prototypes, it will open new opportunities in antenna experimentation. This facility will enha ....Microwave Antenna Testing Facility for Far-Field and Spherical Near-Field Measurements. The proposed facility is for testing broad-beam microwave antennas (1 GHz - 18 GHz), designed and developed by collaborators for several research and commercial projects. These antennas are important in telecommunications, defence and biomedical applications. While facilitating timely pattern measurements of antenna prototypes, it will open new opportunities in antenna experimentation. This facility will enhance collaborators' highly acclaimed theoretical research by providing experimental results for theory validation. Near-field patterns available from the facility will advance our knowledge on complicated antennas. This will generate researchers skilled in state-of-the art antenna measurements, and will help develop competitive Australian industries in this frontier technology.Read moreRead less
Real-time imaging of crystal strengthening mechanisms in metals. The strength limit of a metal is marked by rapid motion of crystalline defects. The associated speeds can locally approach that of sound. To probe the associated mechanisms clearly requires both spatial and temporal resolution. We propose to create a new bulk x-ray technique with an unprecedented combination of temporal and spatial resolution. We plan to exploit the technique to mediate a step change in modelling strength based on ....Real-time imaging of crystal strengthening mechanisms in metals. The strength limit of a metal is marked by rapid motion of crystalline defects. The associated speeds can locally approach that of sound. To probe the associated mechanisms clearly requires both spatial and temporal resolution. We propose to create a new bulk x-ray technique with an unprecedented combination of temporal and spatial resolution. We plan to exploit the technique to mediate a step change in modelling strength based on twinning. The formation of crystalline twins is known to dictate the strength of the light metal magnesium. A fuller understanding of the effect of twinning on strength in this metal will provide much needed confidence to implement it more widely in energy saving applications.Read moreRead less