SenShaMart: A Trusted Internet of Things Marketplace for Sensor Sharing. This project aims to devise a novel Internet of Things (IoT) sensor sharing marketplace that permits IoT applications to discover, integrate, and pay for any IoT sensor data that is made available by other parties. The project will devise highly-scalable sensor classification, query processing, and transactions solutions and incorporate them in a pair of novel blockchains that work in tandem to securely manage all the infor ....SenShaMart: A Trusted Internet of Things Marketplace for Sensor Sharing. This project aims to devise a novel Internet of Things (IoT) sensor sharing marketplace that permits IoT applications to discover, integrate, and pay for any IoT sensor data that is made available by other parties. The project will devise highly-scalable sensor classification, query processing, and transactions solutions and incorporate them in a pair of novel blockchains that work in tandem to securely manage all the information and contracts needed by IoT applications to discover, integrate, pay, and use sensors provided by another parties. These IoT advancements will provide significant economic, environmental, and social benefits via making low-cost and immediate sensing available across the world.Read moreRead less
Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important effici ....Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important efficiency gains, but can introduce complex and error-prone behaviours that cannot be managed using traditional software development approaches. This project will produce better, scalable and mechanised methods for the design and verification of such software which is expected to reduce the prevalence of failures in efficient, modern software.Read moreRead less
View-based processing of pattern matching queries in large graphs. Graph data exist ubiquitously in modern information systems. Graph pattern matching (GPM) finds parts of the data graph that match a given pattern. It has applications in many areas including knowledge discovery, public health, and crime detection. This project will develop novel techniques for the efficient processing of GPM queries in large graphs.
Walking with dinosaurs in the Kimberley: mapping the Cretaceous landscapes of the Dampier Peninsula. The coastline of the Dampier Peninsula, Western Australia, preserves what is arguably one the largest and most significant stretches of dinosaur track-sites in the world. Despite recent National Heritage listing, the majority of these tracksites are largely undocumented, such that their full scientific significance is poorly understood. The aim of this project is to digitally map the dinosaur tra ....Walking with dinosaurs in the Kimberley: mapping the Cretaceous landscapes of the Dampier Peninsula. The coastline of the Dampier Peninsula, Western Australia, preserves what is arguably one the largest and most significant stretches of dinosaur track-sites in the world. Despite recent National Heritage listing, the majority of these tracksites are largely undocumented, such that their full scientific significance is poorly understood. The aim of this project is to digitally map the dinosaur tracksites of the Dampier Peninsula, utilising high-resolution aerial photography with both manned and unmanned aircraft, airborne and hand-held LiDAR imaging, and digital photogrammetry. The results will allow us to construct high-resolution, three-dimensional digital outcrop models of the tracksites, and bring the 130 million-year-old landscapes back to life.Read moreRead less
Geodetic groups: foundational problems in algebra and computer science. The project aims to resolve important and longstanding open problems in Geometric Group Theory and Theoretical Computer Science. Since the 1980s researchers have conjectured that the geometric property of being geodetic is equivalent to several purely algebraic, algorithmic, and language-theoretic characterisations.
The project team's expertise in geodesic properties of groups, the interaction between formal languages and g ....Geodetic groups: foundational problems in algebra and computer science. The project aims to resolve important and longstanding open problems in Geometric Group Theory and Theoretical Computer Science. Since the 1980s researchers have conjectured that the geometric property of being geodetic is equivalent to several purely algebraic, algorithmic, and language-theoretic characterisations.
The project team's expertise in geodesic properties of groups, the interaction between formal languages and groups, and the theory of rewriting systems, together with recent breakthroughs by the team ensures that significant results can be expected.
Benefits include training research students and postdoctoral researchers in cutting-edge techniques, and advancing fundamental knowledge in mathematics and computer science.Read moreRead less
Solve it or Ignore it? The Challenge of Alignment Distortion and Creating Next Generation Automatic Facial Expression Detection. The last two decades have seen an escalating interest in automating the coding of facial expressions. Despite this keen interest, the promise of computer vision systems to accurately code facial expressions in natural circumstances remains elusive. Our interdisciplinary team will research a new paradigm to account for facial alignment distortion directly rather than ai ....Solve it or Ignore it? The Challenge of Alignment Distortion and Creating Next Generation Automatic Facial Expression Detection. The last two decades have seen an escalating interest in automating the coding of facial expressions. Despite this keen interest, the promise of computer vision systems to accurately code facial expressions in natural circumstances remains elusive. Our interdisciplinary team will research a new paradigm to account for facial alignment distortion directly rather than aiming to achieve invariance to it. The project will also research new data agnostic feature compaction capabilities to enable scalable learning on the world’s largest and challenging expression dataset available to us through international collaboration. Tackling these two major open problems will make accurate coding of facial expressions in natural environments achievable.Read moreRead less
Omniscient face recognition for uncooperative subjects. The outcomes of this project will enable effective video surveillance technology to be developed for use by law enforcement and national security agencies. It will lead to reliable identification of humans at a distance by automatically detecting and recognising faces, for use in counter-terrorism surveillance and commercial robot-human interfaces.
Quantum-Inspired Machine Learning. This project aims to develop new machine learning techniques based around the close correspondence between
neural networks used in deep learning, and tensor networks used in quantum physics. Tensor networks are a form of information compression that is useful in machine learning to construct a compact representation of a large data set in a way that is more amenable to understanding the internal structure than a deep neural network. Expected outcomes of this pr ....Quantum-Inspired Machine Learning. This project aims to develop new machine learning techniques based around the close correspondence between
neural networks used in deep learning, and tensor networks used in quantum physics. Tensor networks are a form of information compression that is useful in machine learning to construct a compact representation of a large data set in a way that is more amenable to understanding the internal structure than a deep neural network. Expected outcomes of this project include more resilient algorithms for machine learning, and new ways to represent quantum states that will impact fundamental physics. The resulting benefits include enhanced capacity for cross-discipline collaboration, and improved methods for future industrial applications.
Read moreRead less