Discovery Early Career Researcher Award - Grant ID: DE240101245
Funder
Australian Research Council
Funding Amount
$445,047.00
Summary
Automated Modelling Assistance for the Creation of Complex Planning Models. Artificial Intelligence (AI) planning technology is used to control systems like automated factories, robots, or to solve complex optimisation problems. Creating these models is however rather complex and error-prone and requires experts to create them in the first place. This project aims at developing techniques and tools for automated modelling support. They will make the modelling process easier and guarantee desired ....Automated Modelling Assistance for the Creation of Complex Planning Models. Artificial Intelligence (AI) planning technology is used to control systems like automated factories, robots, or to solve complex optimisation problems. Creating these models is however rather complex and error-prone and requires experts to create them in the first place. This project aims at developing techniques and tools for automated modelling support. They will make the modelling process easier and guarantee desired model properties such as the desired system behaviour. The tools will thus contribute towards making the technology more easily accessible to companies that might want to deploy them, while reducing costs for doing so and increasing the quality of these models.
Read moreRead less
Genome evolution & adaptation of the multinuclear wheat stripe rust fungus. Animals and plants package their genomes into a single nucleus within each cell. In contrast, millions of fungal species accommodate multiple nuclei containing individual haploid genomes. It is currently unknown what the evolutionary implications are for this unusual genome division into multiple nuclei. Here we explore the evolutionary consequences of genome division into multiple nuclei for the first time by applying c ....Genome evolution & adaptation of the multinuclear wheat stripe rust fungus. Animals and plants package their genomes into a single nucleus within each cell. In contrast, millions of fungal species accommodate multiple nuclei containing individual haploid genomes. It is currently unknown what the evolutionary implications are for this unusual genome division into multiple nuclei. Here we explore the evolutionary consequences of genome division into multiple nuclei for the first time by applying cutting edge genome biology tools and algorithms. The economically significant study system is the devastating wheat stripe rust fungus. This pathogen costs Australian farmers over $100 million a year. New understanding is expected to lead to better disease management, reduced fungicide applications, and increased yields.Read moreRead less
Reliable and Seamless Service Provisioning in Mobile Edge Computing . This project aims to develop enabling technologies to provide reliable and seamless services in mobile edge computing environments. This project will develop advanced algorithms with performance guarantees and efficient mechanisms for such service provisioning. The project expects to lay theoretical foundations and generate new knowledge for the provisioning of reliability-aware and mobility-aware services in mobile edge compu ....Reliable and Seamless Service Provisioning in Mobile Edge Computing . This project aims to develop enabling technologies to provide reliable and seamless services in mobile edge computing environments. This project will develop advanced algorithms with performance guarantees and efficient mechanisms for such service provisioning. The project expects to lay theoretical foundations and generate new knowledge for the provisioning of reliability-aware and mobility-aware services in mobile edge computing. The expected outcome of the project is a set of solutions to the myriad of services relying on mobile edge computing including e-Health, autonomous vehicles, and Internet of Things. This project will develop key fundamental technologies to improve Australia’s standing in the international research community.
Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE240100301
Funder
Australian Research Council
Funding Amount
$440,000.00
Summary
Reducing uncertainty in prediction of leaf respiration in a changing world. This project aims to advance our understanding of responses of carbon dioxide (CO2) release by leaf (leaf respiration) to sustained changes in CO2 and temperature. Leaf respiration in terrestrial forests releases yearly CO2 that is two to four times higher than CO2 emitted by human activities, but its response to climate change is not well understood. The project expects to generate new knowledge on mechanisms underlying ....Reducing uncertainty in prediction of leaf respiration in a changing world. This project aims to advance our understanding of responses of carbon dioxide (CO2) release by leaf (leaf respiration) to sustained changes in CO2 and temperature. Leaf respiration in terrestrial forests releases yearly CO2 that is two to four times higher than CO2 emitted by human activities, but its response to climate change is not well understood. The project expects to generate new knowledge on mechanisms underlying responses of leaf respiration to these climate change variables, separately and combined. Expected outcome is to deliver criteria that enable dynamic changes in leaf respiration to be predicted in climate models. Results should benefit improved forecast of feedback between Australian forests' carbon cycling and climate.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
Switchable and stereocontrolled photoredox catalysis. This project aims to develop new catalytic synthetic reactions for the rapid and more direct functionalisation of organic compounds under mild conditions with the use of visible light. An integrated experimental and computational approach will be used to design potent visible-light photocatalysts that retain the advantages of standard photoredox catalysis but with the added ability to intercept and, thus control, reactive intermediates in sit ....Switchable and stereocontrolled photoredox catalysis. This project aims to develop new catalytic synthetic reactions for the rapid and more direct functionalisation of organic compounds under mild conditions with the use of visible light. An integrated experimental and computational approach will be used to design potent visible-light photocatalysts that retain the advantages of standard photoredox catalysis but with the added ability to intercept and, thus control, reactive intermediates in situ. This will enable the control of stereochemistry in photoredox reactions – not possible with standard catalysts - and establish other useful synthetic transformations. These strategies will make it easier to prepare valuable classes of organic molecules – efficiently, safely, and cost-effectively.
Read moreRead less
The Misinformation Future—Confronting Emerging Threats. Misinformation presents challenges to public health and democracy. Though psychological research has explored processing mechanisms and countermeasures, new threats are arising that need to be confronted. This project aims to help meet these threats by (a) investigating misinformation impacts on future-oriented cognition and behaviours, with a focus on global long-term issues and (b) addressing the unique challenges posed by visual and synt ....The Misinformation Future—Confronting Emerging Threats. Misinformation presents challenges to public health and democracy. Though psychological research has explored processing mechanisms and countermeasures, new threats are arising that need to be confronted. This project aims to help meet these threats by (a) investigating misinformation impacts on future-oriented cognition and behaviours, with a focus on global long-term issues and (b) addressing the unique challenges posed by visual and synthetic (AI-generated) misinformation. The expected outcome is new knowledge on the processing and impacts of emerging types of misinformation and translation into practical interventions. These promise to benefit consumers, educators and policymakers, contributing to a healthier information environment.Read moreRead less
Provable elimination of information leakage through timing channels. This project aims to develop techniques to solve the issue in information security of unauthorised information flow resulting from competition for shared hardware resources. The project will combine operating systems design, formal hardware models, information-flow reasoning and theorem proving to achieve a goal that is widely considered infeasible. The project is expected to result in a system that prevents leakage of critical ....Provable elimination of information leakage through timing channels. This project aims to develop techniques to solve the issue in information security of unauthorised information flow resulting from competition for shared hardware resources. The project will combine operating systems design, formal hardware models, information-flow reasoning and theorem proving to achieve a goal that is widely considered infeasible. The project is expected to result in a system that prevents leakage of critical information, such as encryption keys, through timing channels. This should prevent sophisticated attacks on public clouds, mobile devices and military-grade cross-domain devices.Read moreRead less