The red belly blockchain: a scalable blockchain for internet of things. This project aims to offer a blockchain that scales with the number of participants. There have been major investments in blockchain technologies during the last year as blockchains promise to disrupt industries like supply chains. Unfortunately, blockchains cannot solve this problem in their current form, because they cannot scale. They require resources that grow with the number of participants and yet fail at providing in ....The red belly blockchain: a scalable blockchain for internet of things. This project aims to offer a blockchain that scales with the number of participants. There have been major investments in blockchain technologies during the last year as blockchains promise to disrupt industries like supply chains. Unfortunately, blockchains cannot solve this problem in their current form, because they cannot scale. They require resources that grow with the number of participants and yet fail at providing increasing performance. The project will leverage many devices of limited resources to offer higher performance and will impact the distributed computing field by establishing a new connection between energy efficient systems and highly scalable distributed algorithms.Read moreRead less
Provably Secure Cryptography Techniques: Effective, Elegant, and Economic. This project aims to contribute to advanced knowledge and techniques to remove relaxed proof factors from provable security. Cryptography nowadays can be proven secure and must be provably secure before being adopted for data protection. Until today, most cryptography schemes are still using some relaxed proof factors to prove security, but using these relaxed factors was risky. The expected outcomes are proof methodolog ....Provably Secure Cryptography Techniques: Effective, Elegant, and Economic. This project aims to contribute to advanced knowledge and techniques to remove relaxed proof factors from provable security. Cryptography nowadays can be proven secure and must be provably secure before being adopted for data protection. Until today, most cryptography schemes are still using some relaxed proof factors to prove security, but using these relaxed factors was risky. The expected outcomes are proof methodologies for researchers to prove security in an easy way (effective), cryptography techniques for proving security without any relaxed proof factors for cryptography schemes (elegant), and more practical cryptography schemes with elegant proofs to enable Australians to receive benefit from secure data protection (economic).
Read moreRead less
Deep Adder Networks on Edge Devices. This project aims to empower edge devices with intelligence by developing advanced deep neural networks that address the conflict between the high resource requirements of deep learning and the generally inadequate performance of the edge. Multiplication has been the dominant type of operation in deep learning, though the addition is known to be much cheaper. This project expects to yield theories and algorithms that allow deep neural networks consisting of n ....Deep Adder Networks on Edge Devices. This project aims to empower edge devices with intelligence by developing advanced deep neural networks that address the conflict between the high resource requirements of deep learning and the generally inadequate performance of the edge. Multiplication has been the dominant type of operation in deep learning, though the addition is known to be much cheaper. This project expects to yield theories and algorithms that allow deep neural networks consisting of nearly pure additions to fulfil the requisites of accuracy, robustness, calibration and generalisation in real-world computer vision tasks. The success of this project will benefit deep learning-based products on smartphones or robots in health and cybersecurity.Read moreRead less
Algorithmics for visual analytics of massive complex networks. The project will provide new scalable algorithms for visual analytics of massive complex networks. These fast algorithms will enable security analysts to detect abnormal behaviours such as money laundering, biologists to understand protein-protein interaction networks, and support software engineers new ways of understanding large software systems.
Memetic algorithms for multiobjective optimisation problems in bioinformatics. Many questions of paramount importance in life sciences can be formulated as optimisation problems but using just a single criterion can be misleading. This project will address this problem using multiobjective optimisation and leveraging Australia's investment in supercomputing with algorithms that mimic evolutionary processes in silico.
Performing cold microwave measurements with warm diamonds. Detecting weak microwave signals at room temperature is an exceptionally difficult task, due to the excessive thermal microwave noise that exists all around us. At present, the best microwave receivers must be cooled to cryogenic temperatures, restricting their widespread use. This project aims to apply diamond-based quantum technologies to achieve unprecedented microwave signal detection sensitivities with a room-temperature setup, prov ....Performing cold microwave measurements with warm diamonds. Detecting weak microwave signals at room temperature is an exceptionally difficult task, due to the excessive thermal microwave noise that exists all around us. At present, the best microwave receivers must be cooled to cryogenic temperatures, restricting their widespread use. This project aims to apply diamond-based quantum technologies to achieve unprecedented microwave signal detection sensitivities with a room-temperature setup, providing more accessible ultra-low noise detectors. The ability to measure weak microwave signals is crucial for a range of sectors and the results of this project are expected to have applications in defence (radar), space exploration (satellite communication), and fundamental research (spectroscopy).Read moreRead less
Parameter estimation for genetic time-series data: Theory and methods. This project aims to develop a novel computational framework for solving parameter estimation problems in evolutionary modelling by leveraging genetic time-series data measured by Next-Generation Sequencing technologies. It will foster international collaboration, cutting across disciplines. By introducing new techniques from signal processing and tools from random matrix theory commonly employed for mobile wireless communica ....Parameter estimation for genetic time-series data: Theory and methods. This project aims to develop a novel computational framework for solving parameter estimation problems in evolutionary modelling by leveraging genetic time-series data measured by Next-Generation Sequencing technologies. It will foster international collaboration, cutting across disciplines. By introducing new techniques from signal processing and tools from random matrix theory commonly employed for mobile wireless communications, it seeks to design scalable inference methods for resolving mutational fitness effects from genetic time-series measurements of complex evolving populations. This would enable new understanding of complex adaptive systems, such as pathogen evolution, host-immune dynamics, and acquisition of drug resistance. Read moreRead less
Inventiveness and the progress of product innovation. Quantitative models of inventiveness will be used to forecast the potential rate of improvement of a technology and to re-design products to improve more rapidly and steadily. By focusing on innovation in products and technologies in energy conversion, this research can guide development funding for low-carbon energy generation.
Development of methods and algorithms to support multidisciplinary optimisation. This project will aim to develop a number of novel and computationally efficient schemes to deal with the key challenges facing multidisciplinary optimisation. These advancements will allow us to solve a number of challenging and intractable problems in science and engineering.
A Dual-species Ion Trap with Precision Optical Clocks. This project will enable new technological capabilities to overcome challenges in scaling up quantum computation and advancing quantum clocks. It will develop a versatile dual-species atomic instrumentation paired with precision laser systems. This advanced technological platform will be augmented by an extensive toolbox of quantum control engineering protocols to perform error-robust quantum operations for fault-tolerant quantum computation ....A Dual-species Ion Trap with Precision Optical Clocks. This project will enable new technological capabilities to overcome challenges in scaling up quantum computation and advancing quantum clocks. It will develop a versatile dual-species atomic instrumentation paired with precision laser systems. This advanced technological platform will be augmented by an extensive toolbox of quantum control engineering protocols to perform error-robust quantum operations for fault-tolerant quantum computation and high-precision spectroscopy. The expected outcomes will also benefit other disciplines: advanced quantum simulations for chemical dynamics, precision spectroscopy for astronomy, next-generation lasers, tests of fundamental physics, and quantum-enhanced positioning, navigation, and timing. Read moreRead less