Modelling interactions of spray droplets with plants. This project addresses the National Research Priority of an environmentally sustainable Australia by developing sophisticated mathematical models and interactive software that will identify environmentally friendlier technologies to efficiently deliver agrichemicals while minimising large scale water usage. National benefits will accrue from the provision for postdoctoral, PhD and IT staff training, while direct links with industry will provi ....Modelling interactions of spray droplets with plants. This project addresses the National Research Priority of an environmentally sustainable Australia by developing sophisticated mathematical models and interactive software that will identify environmentally friendlier technologies to efficiently deliver agrichemicals while minimising large scale water usage. National benefits will accrue from the provision for postdoctoral, PhD and IT staff training, while direct links with industry will provide technology transfer to end-users to ensure community uptake. The project will benefit rural and regional communities by providing long-term solutions in the areas of water use and quality, pesticide pollution reduction, and improved environment and human health care.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
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
Multiscale modelling of multiphase interactions in shale gas reservoirs. As conventional oil and gas become depleted in most of the producing basins, extraction of unconventional gas trapped in shale formations needs to become more viable. Since Australian shales have different characteristics from North American ones, the existing knowledge cannot be directly applied. We aim to develop a novel multiscale framework for deep understanding of the complex multiphase interactions in shale gas reserv ....Multiscale modelling of multiphase interactions in shale gas reservoirs. As conventional oil and gas become depleted in most of the producing basins, extraction of unconventional gas trapped in shale formations needs to become more viable. Since Australian shales have different characteristics from North American ones, the existing knowledge cannot be directly applied. We aim to develop a novel multiscale framework for deep understanding of the complex multiphase interactions in shale gas reservoirs. The outcomes will not only enable us to effectively assess the viability of gas extraction from Australian shale reservoirs with accurate long-term production forecasting, but help to develop strategies to effectively extract this relatively low carbon-emitting fossil fuel in the transition to a renewable economy.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
What makes for successful numeracy education in remote Indigenous contexts: an ethnographic case study approach. There are many successful teachers and schools who have enabled remote Indigenous learners to engage with, and learn, school mathematics. But what do they do? How do they do it? This project investigates and documents successful practices in 32 schools located in remote communities. The project includes the many aspects of teaching practice.