Democratisation of Deep Learning: Neural Architecture Search at Low Cost. The need to manually design Deep Learning-based Neural Networks (DNNs) limits their usage to AI experts and hinders the exploitation of their true potential more broadly, e.g., in farming, humanities. We aim to replace this tedious process through novel AI methods capable of generating DNNs that can perform significantly better and at a lower computational cost than manually designed DNNs. We further expand this idea to so ....Democratisation of Deep Learning: Neural Architecture Search at Low Cost. The need to manually design Deep Learning-based Neural Networks (DNNs) limits their usage to AI experts and hinders the exploitation of their true potential more broadly, e.g., in farming, humanities. We aim to replace this tedious process through novel AI methods capable of generating DNNs that can perform significantly better and at a lower computational cost than manually designed DNNs. We further expand this idea to solve complex real-world problems with both labelled and unlabelled data found in various applications including energy and climate change. The expected outcomes include the novel AI methods, highly trained AI researchers and a number of critical applications that will bring significant benefits to Australia and the world.Read moreRead less
A novel and efficient approach for optimisation involving iterative solvers. Computationally expensive simulations involving iterative solvers are increasingly being used in industry to assess performance of products and processes. Repeated use of such simulations is necessary to identify optimum solutions. Even with today's computing power, many such tasks remain computationally prohibitive. This project presents a novel approach to solve optimisation problems involving iterative solvers with l ....A novel and efficient approach for optimisation involving iterative solvers. Computationally expensive simulations involving iterative solvers are increasingly being used in industry to assess performance of products and processes. Repeated use of such simulations is necessary to identify optimum solutions. Even with today's computing power, many such tasks remain computationally prohibitive. This project presents a novel approach to solve optimisation problems involving iterative solvers with limited computing budget. A wide range of industries involved in product and process design would gain a significant competitive advantage from this unique technical innovation. In addition, this technology will be invaluable to uncover and understand complex natural phenomena.Read moreRead less
Adaptive modelling of human responses in complex interaction. This project aims to combine strengths of human cognition and evolutionary computing to efficiently solve problems which neither can do alone. The project will develop techniques combining advanced non-intrusive sensor measures of behaviour and emotional reaction in interaction tasks to enable high level computer support for human goal seeking, in complex data and design environments. This project will allow non-expert users to use to ....Adaptive modelling of human responses in complex interaction. This project aims to combine strengths of human cognition and evolutionary computing to efficiently solve problems which neither can do alone. The project will develop techniques combining advanced non-intrusive sensor measures of behaviour and emotional reaction in interaction tasks to enable high level computer support for human goal seeking, in complex data and design environments. This project will allow non-expert users to use tools normally requiring extensive training in settings where the user can 'see' when they get something they like but do not know how to instruct a computer system to show or do it. Applications of the project will include visualisation for bespoke manufacturing or for high dimensional data, generating abstract art, or improving teleconferencing systems.Read moreRead less
A quantum bus for large-scale diamond quantum computers. This project aims to experimentally demonstrate a device needed to bus quantum information between defect clusters in large scale quantum computers. Quantum computers could transcend limits of today’s ‘classical’ computers. Diamond is a proven platform for small-scale quantum computing and simple quantum algorithms have already been demonstrated using small clusters of diamond defects. To build a large-scale quantum computer that can reali ....A quantum bus for large-scale diamond quantum computers. This project aims to experimentally demonstrate a device needed to bus quantum information between defect clusters in large scale quantum computers. Quantum computers could transcend limits of today’s ‘classical’ computers. Diamond is a proven platform for small-scale quantum computing and simple quantum algorithms have already been demonstrated using small clusters of diamond defects. To build a large-scale quantum computer that can realise the potential of quantum computing, a device must be invented to bus quantum information between defect clusters. This project will experimentally demonstrate physical mechanisms that were theoretically identified for the operation of such a device. This is expected to make a quantum bus for large-scale diamond quantum computers possible.Read moreRead less
Mechanical control of defect spins in diamond and its applications in quantum technology. This project will demonstrate the mechanical control of optically addressable defect spins in diamond in order to rapidly exploit innovative approaches to quantum technologies, including high sensitivity metrology and information processing. This will be achieved by capitalising on the proven quantum applications of the nitrogen-vacancy defect centre in diamond and the performance of both fundamental inquir ....Mechanical control of defect spins in diamond and its applications in quantum technology. This project will demonstrate the mechanical control of optically addressable defect spins in diamond in order to rapidly exploit innovative approaches to quantum technologies, including high sensitivity metrology and information processing. This will be achieved by capitalising on the proven quantum applications of the nitrogen-vacancy defect centre in diamond and the performance of both fundamental inquiry into the effects of mechanical stress on this centre and the design, fabrication and operation of simple nano-mechanical devices. 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.
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