Bayesian inversion and computation applied to atmospheric flux fields. This project aims to make use of unprecedented sources of measurements, from remote sensing and in situ data, to estimate the sources and sinks of greenhouse gases. An overabundance of greenhouse gases in Earth's atmosphere is arguably the most serious long-term threat to the planet's ecosystems. This project will combine measurement uncertainties, process uncertainties in the physical transport models, and any parameter unce ....Bayesian inversion and computation applied to atmospheric flux fields. This project aims to make use of unprecedented sources of measurements, from remote sensing and in situ data, to estimate the sources and sinks of greenhouse gases. An overabundance of greenhouse gases in Earth's atmosphere is arguably the most serious long-term threat to the planet's ecosystems. This project will combine measurement uncertainties, process uncertainties in the physical transport models, and any parameter uncertainties, to provide reliable uncertainty quantification for the estimates. This will be achieved with new Bayesian spatio-temporal inversions and big-data computational strategies. The resulting statistical inferences on greenhouse-gas flux fields will enable the development of critical mitigation strategies. These new statistical inferences will be a valuable resource to policy-makers worldwide, who are assessing progress towards global commitments. Further, the final product may assist in developing cost-effective mitigation strategies in the presence of uncertainty.Read moreRead less
Feature Learning for High-dimensional Functional Time Series. This project aims to develop new methods and theories for common features on high-dimensional functional time series observed in empirical applications. The significance includes addressing a key gap in adaptive and efficient feature learning, improving forecasting accuracy and understanding forecasting-driven factors comprehensively for empirical data. Expected outcomes involve advances in big data theory and easy-to-implement algori ....Feature Learning for High-dimensional Functional Time Series. This project aims to develop new methods and theories for common features on high-dimensional functional time series observed in empirical applications. The significance includes addressing a key gap in adaptive and efficient feature learning, improving forecasting accuracy and understanding forecasting-driven factors comprehensively for empirical data. Expected outcomes involve advances in big data theory and easy-to-implement algorithms for applied researchers. This project benefits not only advanced manufacturing by finding optimal stopping time for wood panel compression, but also superior forecasting for mortality in demography, climate data in environmental science, asset returns in finance, and electricity consumption in economics. Read moreRead less
Industrial Transformation Training Centres - Grant ID: IC190100031
Funder
Australian Research Council
Funding Amount
$3,973,202.00
Summary
ARC Training Centre in Data Analytics for Resources and Environments (DARE). Understanding the cumulative impact of actions regarding the use of our resources has important long-term consequences for Australia’s economic, societal and environmental health. Yet despite the importance of these cumulative impacts, and the availability of data, many decisions and policies are based on limited amounts of data and rudimentary data analysis, with little appreciation of the critical role that understand ....ARC Training Centre in Data Analytics for Resources and Environments (DARE). Understanding the cumulative impact of actions regarding the use of our resources has important long-term consequences for Australia’s economic, societal and environmental health. Yet despite the importance of these cumulative impacts, and the availability of data, many decisions and policies are based on limited amounts of data and rudimentary data analysis, with little appreciation of the critical role that understanding and quantifying uncertainty plays in the process. The aim of Data Analytics in Resources and Environment (DARE) is to develop and deliver the data science skills and tools for Australia’s resource industries to make the best possible evidence-based decisions in exploiting and stewarding the nation’s natural resources.Read moreRead less
Reliable and accurate statistical solutions for modern complex data. This project aims to develop novel methods for reliable and accurate statistical modelling with modern, complex correlated and error-prone data. The project expects to make significant strides towards future-proofing statistical data analysis, equipping practitioners with a suite of robust and computationally efficient methods which provide confidence in the stability and reproducibility of results obtained, while offering guar ....Reliable and accurate statistical solutions for modern complex data. This project aims to develop novel methods for reliable and accurate statistical modelling with modern, complex correlated and error-prone data. The project expects to make significant strides towards future-proofing statistical data analysis, equipping practitioners with a suite of robust and computationally efficient methods which provide confidence in the stability and reproducibility of results obtained, while offering guarantees on their transferability over a range of populations. This will provide important benefits as they are applied in predicting endangered marine species for fisheries conservation, and in enhancing our national understanding of the relationship between education achievement and financial success. Read moreRead less
Modern statistical methods for clustering community ecology data. This project will develop statistical methods and software for clustering community ecology data, and use them to analyse systematic survey and citizen science program data collected along the Great Barrier Reef. By doing so, the project will address the dearth of statistical classification techniques for high-dimensional, multi-response data with complex relationships. When the resultant clustering methods are used to construct b ....Modern statistical methods for clustering community ecology data. This project will develop statistical methods and software for clustering community ecology data, and use them to analyse systematic survey and citizen science program data collected along the Great Barrier Reef. By doing so, the project will address the dearth of statistical classification techniques for high-dimensional, multi-response data with complex relationships. When the resultant clustering methods are used to construct bioregions and characterise species’ environmental responses, they should significantly enhance evaluations of the impact of human activity and environmental change on coral diversity. Ultimately, these evaluations can underpin future decisions in the conservation and management of the Great Barrier Reef.Read moreRead less
Leaves in 3D: photosynthesis and water-use efficiency. This project aims to develop leaf anatomical ideotypes with improved photosynthesis and water-use efficiency for wheat, rice, chickpea and cotton using novel three dimensional imaging and modelling techniques. This project expects to generate new understanding of the role of leaf anatomy on leaf function. Expected outcomes of this project include the world's first 3D spatially-explicit, anatomically accurate model of leaves of crop plants to ....Leaves in 3D: photosynthesis and water-use efficiency. This project aims to develop leaf anatomical ideotypes with improved photosynthesis and water-use efficiency for wheat, rice, chickpea and cotton using novel three dimensional imaging and modelling techniques. This project expects to generate new understanding of the role of leaf anatomy on leaf function. Expected outcomes of this project include the world's first 3D spatially-explicit, anatomically accurate model of leaves of crop plants to allow virtual experiments identifying optimized anatomy for improved photosynthetic performance. Benefits to the agricultural industry include increased crop productivity and water-use efficiency to meet future global food demand and to make the most of Australia's limited water resourcesRead 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
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
Deciphering ion specificity in complex electrolytes . This project aims to understand how ions influence the behaviour and properties of complex electrolytes (solutions containing either multiple ions, solvent mixtures, high electrolyte concentrations or a variety of interfaces, solutes or polymers). Complex electrolytes are ubiquitous in colloidal and particle technologies and underpin industrial and natural processes. Our team will combine experiment, simulation and theory to deliver a univers ....Deciphering ion specificity in complex electrolytes . This project aims to understand how ions influence the behaviour and properties of complex electrolytes (solutions containing either multiple ions, solvent mixtures, high electrolyte concentrations or a variety of interfaces, solutes or polymers). Complex electrolytes are ubiquitous in colloidal and particle technologies and underpin industrial and natural processes. Our team will combine experiment, simulation and theory to deliver a universal framework for understanding and predicting specific ion effects in complex electrolytes. The project outcomes are expected to deliver new understanding for researchers, robust rules of thumb for technologists and a public resource for data-driven solutions in applications utilising salt solutions. Read moreRead less