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
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
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
Special Research Initiatives - Grant ID: SR0354741
Funder
Australian Research Council
Funding Amount
$10,000.00
Summary
Quantum Many-Body Systems Network: Breakthrough Science and Frontier Technologies. This Initiative will bring together leading researchers with complementary expertise in mathematics and the enabling sciences to form a Network fostering world leading fundamental research and innovation in quantum many-body systems. The collaborative effort between mathematicians with powerful and sophisticated new techniques and physicists and chemists with deep insight into the challenges and opportunities of t ....Quantum Many-Body Systems Network: Breakthrough Science and Frontier Technologies. This Initiative will bring together leading researchers with complementary expertise in mathematics and the enabling sciences to form a Network fostering world leading fundamental research and innovation in quantum many-body systems. The collaborative effort between mathematicians with powerful and sophisticated new techniques and physicists and chemists with deep insight into the challenges and opportunities of the quantum realm will lead to breakthrough science of vital importance to the development of frontier technologies in Australia. This Network will also place a strong emphasis on research training, the mentoring of early career researchers and establishing collaborations with leading international research groups and networks.
Read moreRead less
Biofocussed Prostate Cancer RadioTherapy (BiRT): A Personalised Approach To Delivering The Right Dose To The Right Place
Funder
National Health and Medical Research Council
Funding Amount
$753,565.00
Summary
We propose a new approach to treating prostate cancer with radiotherapy to move from the standard whole prostate treatment to a personalised treatment that varies radiation intensity throughout the prostate. We will mathematically combine features that influence radiotherapy effect from advanced imaging, clinical and biopsy information. This model will map out the radiotherapy dose required at each part of the prostate, to maximise killing of the cancer whilst minimising harm to normal tissue
Privacy-preserving data processing on the cloud. This project aims to address the current lack of privacy of user data processed by common cloud computing web servers, including email, business data, and confidential files. This project aims to develop new techniques in cryptography. The anticipated outcome is a suite of practical tools enabling common cloud computing processing operations such as search, statistical analysis, and multi-user access control, to be performed efficiently while pres ....Privacy-preserving data processing on the cloud. This project aims to address the current lack of privacy of user data processed by common cloud computing web servers, including email, business data, and confidential files. This project aims to develop new techniques in cryptography. The anticipated outcome is a suite of practical tools enabling common cloud computing processing operations such as search, statistical analysis, and multi-user access control, to be performed efficiently while preserving the data privacy. These tools should provide significant benefits to the privacy of cloud users, as well as financial and reputation benefits to the IT industry, by significantly reducing the likelihood of massive user data privacy breaches in the event of a cyber-hacking attack on the cloud server.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0347797
Funder
Australian Research Council
Funding Amount
$263,000.00
Summary
A Versatile High-resolution X-ray Diffractometer for Materials Research. The aim of this project is to establish a state-of-the-art triple-axis x-ray diffraction facility capable of non-destructively analysing complex semiconductor materials and structures investigated by all Australian semiconductor-growing groups. Growers and device engineers will be able to control growth processes accurately and correlate device performance with structural analysis. Modern triple-axis instruments can also b ....A Versatile High-resolution X-ray Diffractometer for Materials Research. The aim of this project is to establish a state-of-the-art triple-axis x-ray diffraction facility capable of non-destructively analysing complex semiconductor materials and structures investigated by all Australian semiconductor-growing groups. Growers and device engineers will be able to control growth processes accurately and correlate device performance with structural analysis. Modern triple-axis instruments can also be used for high-resolution texture analysis and surface reflectivity measurements on numerous types of materials. Thus chemists, geologists, and materials scientists with interests outside of the semiconductor growth community will gain substantial benefit from this instrument for the investigation of materials of technological and economic importance.Read moreRead less
Special Research Initiatives - Grant ID: SR0354466
Funder
Australian Research Council
Funding Amount
$20,000.00
Summary
Mathematics in Contemporary Science. The Mathematics in Contemporary Science Research Network brings contemporary methods of non-linear analysis and differential equations, geometric reasoning and relevant algebraic and topological ideas to enrich six application areas in modern science: Complex Systems, Computer Vision, Optimal Transportation, Nanotechnology, Physics and Shortest Networks. MiCS will develop both the mathematics and the application areas in parallel. It will focus on postgradu ....Mathematics in Contemporary Science. The Mathematics in Contemporary Science Research Network brings contemporary methods of non-linear analysis and differential equations, geometric reasoning and relevant algebraic and topological ideas to enrich six application areas in modern science: Complex Systems, Computer Vision, Optimal Transportation, Nanotechnology, Physics and Shortest Networks. MiCS will develop both the mathematics and the application areas in parallel. It will focus on postgraduate training through workshops, summer schools and web based resources and build long-term international collaborations with EU networks and NSERC, NSF and EPSRC institutes as well as bringing together academic and industry leaders.Read moreRead less