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
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
Towards the prime power conjecture. This project attacks a famous and long standing conjecture in pure mathematics that has important ramifications in many applied areas. The project aims to determine when it is possible to produce more efficient codes for electronic communication and statistically balanced designs for experiments in areas as diverse as agriculture and psychology.
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
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
Electron Transpiration Cooling of Hypersonic Vehicles. Future aircraft for flight at hypersonic speeds require sharp leading edges for the best aerodynamic performance. Sharp leading edges incur high heat loads and cannot be adequately cooled with current technologies. The project aim is to investigate novel surface materials that emit electrons when heated. This emission of electrons from the surface can significantly contribute to the cooling of the sharp leading edges. This project is expecte ....Electron Transpiration Cooling of Hypersonic Vehicles. Future aircraft for flight at hypersonic speeds require sharp leading edges for the best aerodynamic performance. Sharp leading edges incur high heat loads and cannot be adequately cooled with current technologies. The project aim is to investigate novel surface materials that emit electrons when heated. This emission of electrons from the surface can significantly contribute to the cooling of the sharp leading edges. This project is expected to deliver new experimental data on novel surface materials exposed to a hypersonic flow environment and computer models that can simulate their cooling effect. This investigation will contribute towards enabling technologies for sustained hypersonic flight by overcoming critical head load limitations.Read moreRead less
Special Research Initiatives - Grant ID: SR0354466
Funder
Australian Research Council
Funding Amount
$20,000.00
Summary
Mathematics in Contemporary Science. The Mathematics in Contemporary Science Research Network brings contemporary methods of non-linear analysis and differential equations, geometric reasoning and relevant algebraic and topological ideas to enrich six application areas in modern science: Complex Systems, Computer Vision, Optimal Transportation, Nanotechnology, Physics and Shortest Networks. MiCS will develop both the mathematics and the application areas in parallel. It will focus on postgradu ....Mathematics in Contemporary Science. The Mathematics in Contemporary Science Research Network brings contemporary methods of non-linear analysis and differential equations, geometric reasoning and relevant algebraic and topological ideas to enrich six application areas in modern science: Complex Systems, Computer Vision, Optimal Transportation, Nanotechnology, Physics and Shortest Networks. MiCS will develop both the mathematics and the application areas in parallel. It will focus on postgraduate training through workshops, summer schools and web based resources and build long-term international collaborations with EU networks and NSERC, NSF and EPSRC institutes as well as bringing together academic and industry leaders.Read moreRead less