Building Australia's next-generation ocean-sea ice model. Ocean and sea ice models are used for predicting future ocean and climate states, and for climate process research. This project aims to bring the next generation of ocean-sea ice models to Australia and configure the models for our local priorities. The ultimate goal is to create a new coupled ocean-sea ice model for Australia that includes surface waves and biogeochemistry. The model will be optimised and evaluated on Australian facilit ....Building Australia's next-generation ocean-sea ice model. Ocean and sea ice models are used for predicting future ocean and climate states, and for climate process research. This project aims to bring the next generation of ocean-sea ice models to Australia and configure the models for our local priorities. The ultimate goal is to create a new coupled ocean-sea ice model for Australia that includes surface waves and biogeochemistry. The model will be optimised and evaluated on Australian facilities, and released for community use. These developments underpin future ocean state forecasts, sea ice forecasts, wave forecasts, decadal climate prediction and climate process studies. The project will benefit search and rescue, Defence and shipping operations, and will enhance future climate projections.Read moreRead less
Mathematical, logical and computational foundations of hybrid control systems, and their application to design and synthesis problems in control engineering. Hybrid control systems are mathematical models of heterogeneous systems consisting of digital computer components interacting in real-time with continuous physical processes. Their many engineering applications include air traffic control, medical technology and automated transport. Motivated by such safety-critical and high-confidence appl ....Mathematical, logical and computational foundations of hybrid control systems, and their application to design and synthesis problems in control engineering. Hybrid control systems are mathematical models of heterogeneous systems consisting of digital computer components interacting in real-time with continuous physical processes. Their many engineering applications include air traffic control, medical technology and automated transport. Motivated by such safety-critical and high-confidence applications, the project aims to develop a unified framework of mathematical logics adequate to formally represent and reason about the structure, behaviour, and properties of hybrid control systems, and use this to develop methodologies for automatically synthesising hybrid control programs that are provably correct with respect to their specifications. Other outcomes include prototype software implementations of hybrid controller design tools.Read moreRead less
The link between the deep Earth and its dynamic surface. Modelling the two-way interaction of plate tectonics with the actions of erosion and sedimentation gives a fundamentally new view of the dynamics of our planet and the importance of the surface on the deep interior. It will improve our understanding of the formation of sedimentary basins, their evolution and their preservation over geological time.
NUMERICAL MODELS OF PLATE TECTONICS, MANTLE CONVECTION AND SLAB DYNAMICS WITH EVOLVING FAULTS. We plan to develop a method for simulating large-scale
geological structures with a much improved treatment
of tectonic faults in 3D.
Current computer models have sharp geological faults at plate
boundaries represented by broad, blurred zones. New techniques
for modeling cracks in engineering structures will be scaled up to
the whole Earth.
This will help us to understand how the Earth's p ....NUMERICAL MODELS OF PLATE TECTONICS, MANTLE CONVECTION AND SLAB DYNAMICS WITH EVOLVING FAULTS. We plan to develop a method for simulating large-scale
geological structures with a much improved treatment
of tectonic faults in 3D.
Current computer models have sharp geological faults at plate
boundaries represented by broad, blurred zones. New techniques
for modeling cracks in engineering structures will be scaled up to
the whole Earth.
This will help us to understand how the Earth's plates move and
interact now and in the past and how the structure of the continents
arose.
Not only is this intrinsically interesting, it
will also be of immediate practical benefit to geological modelers.Read moreRead less
Finding and exploiting interesting paths in multidimensional information spaces. This project will invent a new approach for searching within a large complex information space, finding interesting paths between points within the space, visualising the results, and supporting rich, human-centric user interaction with queries and results. This project will embody these techniques in a novel, internet-scale framework to support rapid development of large path search and visualisation applications. ....Finding and exploiting interesting paths in multidimensional information spaces. This project will invent a new approach for searching within a large complex information space, finding interesting paths between points within the space, visualising the results, and supporting rich, human-centric user interaction with queries and results. This project will embody these techniques in a novel, internet-scale framework to support rapid development of large path search and visualisation applications. Evaluation will be via development of several exemplar applications. The techniques and framework will be applicable to a broad range of economically important problems in areas as diverse as health, travel, scientific publication search, product marketing and software engineering.Read moreRead less
MemberGuard: Protecting Machine Learning Privacy from Membership Inference. Machine Learning has become a core part of many real-world applications. However, machine learning models are vulnerable to membership inference attacks. In these attacks, an adversary can infer if a given data record has been part of the model's training data. In this project, the team aims to develop new techniques that can be used to counter these attacks, such as 1) new analytical models for membership leakage, 2) ne ....MemberGuard: Protecting Machine Learning Privacy from Membership Inference. Machine Learning has become a core part of many real-world applications. However, machine learning models are vulnerable to membership inference attacks. In these attacks, an adversary can infer if a given data record has been part of the model's training data. In this project, the team aims to develop new techniques that can be used to counter these attacks, such as 1) new analytical models for membership leakage, 2) new methods for susceptibility diagnosis, 3) new defences that leverage privacy and utility. Data-oriented services are estimated to be valuable assets in the future. These techniques can help Australia gain cutting edge advantage in machine learning security and privacy and protect its intellectual property on these services.Read moreRead less
ARC Complex Open Systems Research Network. Complexity is the common frontier in the physical, biological and social sciences. This Network will link specialists in all three sciences through five generic conceptual and mathematical theme activities. It will promote research into how subsystems self-organise into new emergent structures when assembled into an open, non-equilibrium system. Outcomes will include new technologies and software tools and deeper understanding of fundamental questions i ....ARC Complex Open Systems Research Network. Complexity is the common frontier in the physical, biological and social sciences. This Network will link specialists in all three sciences through five generic conceptual and mathematical theme activities. It will promote research into how subsystems self-organise into new emergent structures when assembled into an open, non-equilibrium system. Outcomes will include new technologies and software tools and deeper understanding of fundamental questions in science. An essential function of the network will be introducing researchers end users to new tools and broadening the horizons of graduate students.Read moreRead less
Mathematics and computing for integrated stockyard-centric management of mining supply chains. Blended mineral products, such as coal and iron ore, make a strong contribution to Australia's economy. Blending occurs in stockpiles, so to realise product value, stockyard and supply chain operational plans must align with blend targets. This project will provide new mathematical and computational planning tools to maximise this value.
Towards higher rank logarithmic conformal field theories. This project aims to expand our knowledge of logarithmic theories. Conformal field theory provides powerful methods for attacking problems in theoretical physics and furnishes beautiful connections between seemingly disparate branches of pure mathematics. Advancing these theories is crucial to progress in statistical mechanics, string theory and various mathematical disciplines. Expected outcomes include a detailed formalism for systemati ....Towards higher rank logarithmic conformal field theories. This project aims to expand our knowledge of logarithmic theories. Conformal field theory provides powerful methods for attacking problems in theoretical physics and furnishes beautiful connections between seemingly disparate branches of pure mathematics. Advancing these theories is crucial to progress in statistical mechanics, string theory and various mathematical disciplines. Expected outcomes include a detailed formalism for systematically and rigorously analysing a wide variety of logarithmic conformal field theories so as to facilitate applications.Read moreRead less