Discovering Patterns using Near Unsupervised Leaning to Support the Quick Detection of New Animal Disease Outbreaks Caused by Viruses. Without the capability to identify and study the vast majority of extant viruses using traditional laboratory techniques, emerging threats to Australian livestock health cannot be efficiently diagnosed or treated. New approaches based on high-throughput sequencing have recently been developed to study such viruses, but making sense of the sequence data is still a ....Discovering Patterns using Near Unsupervised Leaning to Support the Quick Detection of New Animal Disease Outbreaks Caused by Viruses. Without the capability to identify and study the vast majority of extant viruses using traditional laboratory techniques, emerging threats to Australian livestock health cannot be efficiently diagnosed or treated. New approaches based on high-throughput sequencing have recently been developed to study such viruses, but making sense of the sequence data is still a complex problem. Together with the project's Partner Organisations, including YourGene Biosciences Australia and the CSIRO Australian Animal Health Laboratory, this project aims to develop new computational methods to broaden the scope of detection and analysis of unknown viruses, enhancing the capability for research into the causative viral agents of animal diseases.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.
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.
Optical technology for quantum science. This project aims to develop and commercialise optical cavity and frequency stabilisation technology to generate laser light at new and precise wavelengths. Australia plays a leading role internationally in quantum science, a burgeoning area of research where fundamental quantum mechanical principles underpin exciting new technological applications, such as ion-based quantum computing, ultracold atom sensing for geo-exploration and defence, and nanoscale i ....Optical technology for quantum science. This project aims to develop and commercialise optical cavity and frequency stabilisation technology to generate laser light at new and precise wavelengths. Australia plays a leading role internationally in quantum science, a burgeoning area of research where fundamental quantum mechanical principles underpin exciting new technological applications, such as ion-based quantum computing, ultracold atom sensing for geo-exploration and defence, and nanoscale imaging inside living human cells. This project aims to continue and develop this role.Read moreRead less
ARC Centre of Excellence for Quantum Computation and Communication Technology. The Centre for Quantum Computation and Communication Technology will coordinate a large team of Australian researchers in an intensive mission. Our aim is to integrate a radical and uniquely powerful Australian computing technology with an ultra-secure Australian communications technology. Our success will drive global productivity gains in information processing and ensure that Australians own the pivotal underpinnin ....ARC Centre of Excellence for Quantum Computation and Communication Technology. The Centre for Quantum Computation and Communication Technology will coordinate a large team of Australian researchers in an intensive mission. Our aim is to integrate a radical and uniquely powerful Australian computing technology with an ultra-secure Australian communications technology. Our success will drive global productivity gains in information processing and ensure that Australians own the pivotal underpinning intellectual property. Our technologies will provide Australia and its allies with the world's most secure information networks. Our discoveries will place Australia unequivocally at the very forefront of global research in quantum physicsRead 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