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
Horizontal convection at ocean-relevant proportions. This project aims to determine the role of buoyancy differences from solar radiation and vertical confinement. Flows created by lateral variation in heat or buoyancy are poorly understood when the horizontal length greatly exceeds the height, precisely the conditions relevant to industry and understanding the role of horizontal convection in Earth's oceans and in turn the delicate current system that maintains Earth's temperate climate. This p ....Horizontal convection at ocean-relevant proportions. This project aims to determine the role of buoyancy differences from solar radiation and vertical confinement. Flows created by lateral variation in heat or buoyancy are poorly understood when the horizontal length greatly exceeds the height, precisely the conditions relevant to industry and understanding the role of horizontal convection in Earth's oceans and in turn the delicate current system that maintains Earth's temperate climate. This project proposes computational and experimental efforts to probe the ultimate regime of heat transport in very shallow horizontal convection, benefiting humankind through improvements to future ocean and climate modelling efforts.Read moreRead less
Gravity Current Driven Smoke Dispersion In a Stratified Ambient. Smoke from bushfires transported by gravity currents, and known to occur nationwide, caused the shutdown of businesses, education and events in Canberra in 2019. Recent scientific investigations have shown that the speed of propagation and concentration of smoke in these three-dimensional gravity currents have a long term ‘memory’ of their initial configuration. In this project, high-fidelity computational and experimental techniq ....Gravity Current Driven Smoke Dispersion In a Stratified Ambient. Smoke from bushfires transported by gravity currents, and known to occur nationwide, caused the shutdown of businesses, education and events in Canberra in 2019. Recent scientific investigations have shown that the speed of propagation and concentration of smoke in these three-dimensional gravity currents have a long term ‘memory’ of their initial configuration. In this project, high-fidelity computational and experimental techniques will be used to elucidate the fundamental mechanisms of gravity current entrainment and propagation. This knowledge will set a strong foundation to improve operational forecasts of smoke transport that will allow government agencies to better respond to the negative impact of these complicated flows.Read moreRead less
Understanding prokaryotic small proteins from context. Prokaryotic small proteins are increasingly recognised to play important biological roles but have been largely overlooked due to the lack of adequate tools to study them. This project aims to develop new methods to identify and predict the functions of small proteins from microbial communities by studying sequence patterns in their genomes. These predicted functions will be confirmed in the laboratory, leading to a catalogue of newly charac ....Understanding prokaryotic small proteins from context. Prokaryotic small proteins are increasingly recognised to play important biological roles but have been largely overlooked due to the lack of adequate tools to study them. This project aims to develop new methods to identify and predict the functions of small proteins from microbial communities by studying sequence patterns in their genomes. These predicted functions will be confirmed in the laboratory, leading to a catalogue of newly characterised small proteins from a diverse range of habitats and geographies. By creating new ways to study the role of small proteins in the global microbiome, we will provide the foundational knowledge required to leverage these proteins for use in biotechnology. Read moreRead less
Approximation theory of structured neural networks . Mathematical theory for deep learning has been desired due to the power applications of deep neural networks to deal with big data in various practical domains. The main difficulty lies in the structures and architectures imposed to networks designed for specific learning tasks. Neither the classical approximation theory nor the recent one for depths of ReLU neural networks can be applied due to the structures imposed for processing large dime ....Approximation theory of structured neural networks . Mathematical theory for deep learning has been desired due to the power applications of deep neural networks to deal with big data in various practical domains. The main difficulty lies in the structures and architectures imposed to networks designed for specific learning tasks. Neither the classical approximation theory nor the recent one for depths of ReLU neural networks can be applied due to the structures imposed for processing large dimensional data such as natural images of tens of thousands of dimensions. This project aims at an approximation theory for structured neural networks. We plan to establish mathematical theories for deconvolution with deep convolutional neural networks, operator learning, and spectral graph networks. Read moreRead less
Human Scheduling of Perceptual Tasks. This project aims to develop a novel approach for synthesising how people prioritise information with theories of attention and decision making. Characterising inefficient scheduling in the tradeoff between the difficulty and the cost/benefit of different subtasks will allow the development of a formal computional model that generalises statistical models of rank order data to a theory of the timing of scheduling decisions and task completions. Outcomes incl ....Human Scheduling of Perceptual Tasks. This project aims to develop a novel approach for synthesising how people prioritise information with theories of attention and decision making. Characterising inefficient scheduling in the tradeoff between the difficulty and the cost/benefit of different subtasks will allow the development of a formal computional model that generalises statistical models of rank order data to a theory of the timing of scheduling decisions and task completions. Outcomes include benchmark data from a novel paradigm for studying perceptual decisions and behavior and a model which can explain and predict human scheduling. This project aims to benefit industry by allowing for the simulation of information prioritisation by human agents in complex environments.Read moreRead less
Statistical Methods for Next Generation Genome-Wide Association Studies. This project aims to develop cutting-edge statistical methods to analyse large genomic datasets and identify genetic variants associated with inter-individual differences in various human traits. Knowledge of trait-associated DNA variants is instrumental in understanding how natural selection has shaped human traits. By integrating genomic data from diverse and underrepresented populations, this project further expects to c ....Statistical Methods for Next Generation Genome-Wide Association Studies. This project aims to develop cutting-edge statistical methods to analyse large genomic datasets and identify genetic variants associated with inter-individual differences in various human traits. Knowledge of trait-associated DNA variants is instrumental in understanding how natural selection has shaped human traits. By integrating genomic data from diverse and underrepresented populations, this project further expects to contribute to the equitable use of genomic technologies in humans, regardless of geographical origins. Expected outcomes of this research include novel analysis methods and software tools, which should broadly and significantly benefit gene discovery in other species, including those of agricultural relevance.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
Large Scale Natural Convection Boundary Layers with Non-Boussinesq Effects. This proposal aims to understand and predict heat transfer by turbulent natural convection in two scenarios, firstly at very large environmental scales, such as occur on melting Antarctic ice sheets, and secondly convection involving very large temperature differences such as occur in solar thermal power plants and industrial processes. These natural convection flow regimes are incredibly difficult to investigate directl ....Large Scale Natural Convection Boundary Layers with Non-Boussinesq Effects. This proposal aims to understand and predict heat transfer by turbulent natural convection in two scenarios, firstly at very large environmental scales, such as occur on melting Antarctic ice sheets, and secondly convection involving very large temperature differences such as occur in solar thermal power plants and industrial processes. These natural convection flow regimes are incredibly difficult to investigate directly but by focusing on the fundamental dynamics of the turbulent flows using large scale numerical simulations and innovative experiments, the project is expected to develop better analytical and computational models which will underpin improvements in
global ocean models and improve energy efficiency.Read moreRead less
Trisections, triangulations and the complexity of manifolds. This project aims at practical representations of 3-dimensional and 4-dimensional spaces as needed in applications. Topology is the mathematical study of the shapes of spaces. Geometry endows spaces with additional structure such as distance, angle and curvature. Special combinatorial structures, such as minimal triangulations, are often closely connected to geometric structures or topological properties. This project aims to construct ....Trisections, triangulations and the complexity of manifolds. This project aims at practical representations of 3-dimensional and 4-dimensional spaces as needed in applications. Topology is the mathematical study of the shapes of spaces. Geometry endows spaces with additional structure such as distance, angle and curvature. Special combinatorial structures, such as minimal triangulations, are often closely connected to geometric structures or topological properties. This project aims to construct computable invariants, connectivity results for triangulations, and algorithms to recognise fundamental topological properties and structures such as trisections and bundles.Read moreRead less