Efficient Synchronisation of Large Repositories. Accuracy and maintenance of vast quantities of data are essential for any modern society. The economy, health institutes and industries, and our defence and legal systems rely on having data being distributed widely and securely, and on queries being answered accurately and quickly. Complete synchronisation of databases is often impossible due to the limitations of internet bandwidth. Better compression techniques have the potential to allow crit ....Efficient Synchronisation of Large Repositories. Accuracy and maintenance of vast quantities of data are essential for any modern society. The economy, health institutes and industries, and our defence and legal systems rely on having data being distributed widely and securely, and on queries being answered accurately and quickly. Complete synchronisation of databases is often impossible due to the limitations of internet bandwidth. Better compression techniques have the potential to allow critical data to be distributed much more efficiently; we anticipate in some applications that the size of a compressed file could be reduced tenfold or more compared to previous best methods, leading to dramatic savings.Read moreRead less
Reasoning about, and stepwise development of, quantum programs: a predicate transformer semantics approach. The project will provide a framework to reason about, and stepwise develop, quantum programs by rigorous predicate transformer semantics, and generate breakthrough theory and frontier techniques for quantum software engineering.
Quantum computation: through the algorithm and complexity theory lens. This project aims to advance our knowledge of quantum computation through the lens of algorithm and complexity theory. Three core areas of the theory will be examined: interactive computing models, query complexity, and circuit lower bounds. The expected outcomes include: revealing the quantum advantages of interactive computing models; techniques for verifying quantum devices in the cloud and quantum cloud computing in gener ....Quantum computation: through the algorithm and complexity theory lens. This project aims to advance our knowledge of quantum computation through the lens of algorithm and complexity theory. Three core areas of the theory will be examined: interactive computing models, query complexity, and circuit lower bounds. The expected outcomes include: revealing the quantum advantages of interactive computing models; techniques for verifying quantum devices in the cloud and quantum cloud computing in general; sharpening the separation between algorithm performance in quantum and classical query models; establishing both unconditional and conditional hardness results for quantum circuits. This comprehensive understanding will enhance Australia's research portfolio in the theory of quantum computing.Read moreRead less
Verification of quantum cryptographic protocols: a process algebra approach. Security analysis of quantum cryptographic systems is notoriously difficult. This project aims to develop theoretic foundations and algorithms, as well as efficient software tools, to verify quantum cryptographic protocols by innovatively bridging two research fields: quantum cryptography and quantum process algebra. The pioneering research may provide innovative, game-changing security technologies for banks, business, ....Verification of quantum cryptographic protocols: a process algebra approach. Security analysis of quantum cryptographic systems is notoriously difficult. This project aims to develop theoretic foundations and algorithms, as well as efficient software tools, to verify quantum cryptographic protocols by innovatively bridging two research fields: quantum cryptography and quantum process algebra. The pioneering research may provide innovative, game-changing security technologies for banks, business, finance, security industry, police, and counter-terrorism both within Australia and globally.Read moreRead less
Process algebra approach to distributed quantum computation and secure quantum communication. This project will develop effective methods for reasoning about the behaviours of distributed quantum computing and communicating systems. The developed methods will provide effective techniques for verifying security of quantum cryptographic protocols.
Approximate proximity for applications in data mining and visualization. Data Mining, pattern recognition and visualization of relational information are all important data analysis techniques in which it is essential to determine which data points are in the vicinity of others. The huge size of the data sets involved and the need for real-time interaction preclude the use of conventional methods for the precise computation of the proximity information required. This project will develop efficie ....Approximate proximity for applications in data mining and visualization. Data Mining, pattern recognition and visualization of relational information are all important data analysis techniques in which it is essential to determine which data points are in the vicinity of others. The huge size of the data sets involved and the need for real-time interaction preclude the use of conventional methods for the precise computation of the proximity information required. This project will develop efficient algorithms and data structures for gathering high-quality approximations of the full proximity information, and will use these innovations as the basis for new, practical tools for visualization, and clustering in data mining.Read moreRead less
Supra-classical quantum simulation in physically restricted models of quantum computation. Quantum computation evolved from the revolutionary twentieth century theories of Quantum Mechanics and Computer Science, offering computational power that potentially transcends traditional computing models. This project will accelerate the delivery of the promised benefits of quantum computation through advancing the theory of quantum simulation.
Pervasive Grids with Autonomic Capabilities. A grid computing system that brings together a multitude of heterogonous resources able should be able to function continuously without much intervention by a human operator. This work aims at developing techniques and tools for the monitoring and prediction of the behaviour of the core structure of a grid. In this case, the ?core? structure is a large- or a wide-area network, or a collection of such networks. The monitoring process will feed into the ....Pervasive Grids with Autonomic Capabilities. A grid computing system that brings together a multitude of heterogonous resources able should be able to function continuously without much intervention by a human operator. This work aims at developing techniques and tools for the monitoring and prediction of the behaviour of the core structure of a grid. In this case, the ?core? structure is a large- or a wide-area network, or a collection of such networks. The monitoring process will feed into the other layers in the grid fabric important information (traffic, current and possible future congestions, failures, topological variations, etc) to enable the efficient and consistent operation of the grid. This is an important research problem in grid computing
since traditional assumptions that are more or less valid in conventional high-performance computing settings break down on the Grid.Read moreRead less
A Grid-Enabled Meta-Server for Protein Threading. Grid Computing is a driver for many e-Science research projects around the world today. The project investigates the use of grid technology in building a meta-server architecture for protein threading. Protein technology problems are important for the field of bioinformatics and they also influence many industries, such as, agriculture, drug design, food science, and many more. The proposed framework can be extended to other problems in the life ....A Grid-Enabled Meta-Server for Protein Threading. Grid Computing is a driver for many e-Science research projects around the world today. The project investigates the use of grid technology in building a meta-server architecture for protein threading. Protein technology problems are important for the field of bioinformatics and they also influence many industries, such as, agriculture, drug design, food science, and many more. The proposed framework can be extended to other problems in the life sciences such as bio- and health-informatics. Projects of this nature are significant and will enable Australia to maintain its pioneering position and international reputation among other nations as leaders in Information Technology.Read moreRead less
Model-checking quantum Markov chains: towards verification techniques for quantum cryptographic systems. This project will develop effective techniques and practical tools for verification of correctness, safety and reliability of quantum cryptographic protocols and communication systems. It will promote Australia's global standing in quantum computing research and provide frontier technology to industry and governments nationally and internationally.