Next generation real-time trajectory mining for travel and transportation decision support. Mining human and vehicle trajectories in real time will enable a suite of next-generation applications such as traffic overload prediction, real-time event detection and route recommendation. This project will develop novel techniques for immediate mining of massive volumes of trajectory data as it is being continuously generated.
Effective, efficient and scalable processing of big geo-textual streams. This project aims to develop novel approaches to realise the value of geo-textual data, which carries both location and textual information. The project expects to address three key challenges brought by massive volumes and high speeds of big geo-textual streams: better user experiences; increased efficiency; and greater scalability in query processing. The project should provide individuals, business and government agencie ....Effective, efficient and scalable processing of big geo-textual streams. This project aims to develop novel approaches to realise the value of geo-textual data, which carries both location and textual information. The project expects to address three key challenges brought by massive volumes and high speeds of big geo-textual streams: better user experiences; increased efficiency; and greater scalability in query processing. The project should provide individuals, business and government agencies with the ability to unlock key values in the overwhelming volume of high-speed, big geo-textual streams for important usage in many emerging key applications, such as social media analytics, location-based services, social networks, e-marketing and cybersecurity.Read moreRead less
Efficient Management of Things for the Future World Wide Web. The future World Wide Web will connect billions of physical objects, which will offer exciting capabilities to change the world and improve the quality of human lives, just as what the Web has done in the past 20 years. Effectively and efficiently managing things is one inevitable challenge in this new era and is much more complicated than managing traditional Web documents. This project aims to focus on this key problem and develop n ....Efficient Management of Things for the Future World Wide Web. The future World Wide Web will connect billions of physical objects, which will offer exciting capabilities to change the world and improve the quality of human lives, just as what the Web has done in the past 20 years. Effectively and efficiently managing things is one inevitable challenge in this new era and is much more complicated than managing traditional Web documents. This project aims to focus on this key problem and develop novel techniques for linking resource-constrained things to the Web, searching them using a new search engine, as well as discovering latent relationships among things for advanced management tasks such as things recommendation and composition.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.
Foundations of quantum cryptography for distribution of secret keys. Quantum cryptographic systems have the advantage of mathematically provable security and privacy, addressing security threats to communications as information and communications technologies proliferate. This project aims to quantify a quantum channel's capability for secure communications. This quantity provides the ultimate limit to benchmark practical quantum key distribution protocols for their performance. This will signif ....Foundations of quantum cryptography for distribution of secret keys. Quantum cryptographic systems have the advantage of mathematically provable security and privacy, addressing security threats to communications as information and communications technologies proliferate. This project aims to quantify a quantum channel's capability for secure communications. This quantity provides the ultimate limit to benchmark practical quantum key distribution protocols for their performance. This will significantly advance the theory of quantum cryptography and knowledge of the fundamental resource of secret keys. It is expected to have immediate application for the classical security of existing (non-quantum) communication devices, and benefit security, military, government, industry, individuals, and the community.Read moreRead less
A mathematical foundation and novel solutions for highly secure communications. This project will deliver novel solutions to security and privacy in communication networks by exploring the power of quantum information with mathematical tools from operator stuctures. It will significantly advance our knowledge about quantum communication, with expected benefits on Australian social, economic and even military security.
Diagnosing quantum noise sources in quantum information processors via machine learning. Noise is the primary obstacle to building large-scale quantum information processors that have the potential to revolutionise our understanding of the world. This project will use the powerful techniques and methods of machine learning to identify, characterise, and correct noise sources in the next generation of quantum information processors. These innovative techniques will allow the reliability of quantu ....Diagnosing quantum noise sources in quantum information processors via machine learning. Noise is the primary obstacle to building large-scale quantum information processors that have the potential to revolutionise our understanding of the world. This project will use the powerful techniques and methods of machine learning to identify, characterise, and correct noise sources in the next generation of quantum information processors. These innovative techniques will allow the reliability of quantum computer components to be tested, and thus help identify which candidate technologies are capable of building a scalable quantum computer.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.
Secure quantum computing in a distributed world. This project aims to design protocols for secure cloud quantum computing, where clients can license the use of a host’s computer, while keeping their data secure from both eavesdroppers and the host. Quantum computers will transform the computational landscape of the 21st century, but will be affordable by few. Finding models for sharing quantum computing resources in a distributed environment is essential. Data security is important to clients – ....Secure quantum computing in a distributed world. This project aims to design protocols for secure cloud quantum computing, where clients can license the use of a host’s computer, while keeping their data secure from both eavesdroppers and the host. Quantum computers will transform the computational landscape of the 21st century, but will be affordable by few. Finding models for sharing quantum computing resources in a distributed environment is essential. Data security is important to clients – typical applications for quantum computing will involve commercially or strategically sensitive data. Developing these security protocols is expected to enable the commercialisation of quantum computing, enhancing their adoption and accessibility.Read moreRead less
Homomorphic cryptography: computing on encrypted data. This project is driven by the groundbreaking applications of a new cryptographic technology that allows analysis of encrypted (scrambled) data without needing to decrypt (unscramble) it first. The results of this project can be used to enable secure remote data storage, electronic auctions and voting, and protecting medical records.