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
Optimisation of piezoelectric metamaterials: Towards robotic stress sensors. This project aims to design new piezoelectric material microstructures that can enhance the measurement of complex local stress states within robotic limbs. The project expects to generate new knowledge of the achievable properties of multi-poled piezoelectric materials and develop computational tools for the analysis and structural optimisation of such materials. The designed microstructures may revolutionise piezoelec ....Optimisation of piezoelectric metamaterials: Towards robotic stress sensors. This project aims to design new piezoelectric material microstructures that can enhance the measurement of complex local stress states within robotic limbs. The project expects to generate new knowledge of the achievable properties of multi-poled piezoelectric materials and develop computational tools for the analysis and structural optimisation of such materials. The designed microstructures may revolutionise piezoelectric sensor technology. Expected outcomes include manufactured proof-of-concept sensors that enable measurement of local stress fields. This should provide significant benefits, such as improved future robot capability and reliability, and research training for next-generation Australian computational mathematicians. Read moreRead less
The Consistency of Price Regulation of Infrastructure Businesses across Australian Jurisdictions. The spread of regulation across the majority of the economy necessitates that regulatory policy should be consistent across jurisdictions and industries. This project would offer policy and regulatory institutions quantitative analysis of the consistency of regulatory decisions across Australia. This research would develop a new database that would maintain and supply details on regulatory decision ....The Consistency of Price Regulation of Infrastructure Businesses across Australian Jurisdictions. The spread of regulation across the majority of the economy necessitates that regulatory policy should be consistent across jurisdictions and industries. This project would offer policy and regulatory institutions quantitative analysis of the consistency of regulatory decisions across Australia. This research would develop a new database that would maintain and supply details on regulatory decisions across jurisdictions and industries. This project would enable the new Australian Centre of Regulatory Economics (ACORE) to supply independent database and quantitative analysis from an open, fully documented, scholarly environment to Australia's policy and regulatory agencies and its regulated firms.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.
Honesty and efficiency in the provision of expert services: doctors and other experts as participants in economic experiments. Experts serve us when we see the doctor, the financial planner or the car mechanic. In all these case the expert can take advantage of his superior knowledge and sell us something we do not need. This research will inform policy makers about the underlying motives of real world experts and allow them to design better institutions.
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
The demographic consequences of migration to, from and within Australia. The long-term demographic consequences of migration to, from and within Australia, and the dynamic pathways that produced them, will be studied. This will involve the identification of the specific contributions made by international and internal migration to the age and sex population compositions of nine birthplace-specific populations from 1981 to 2011. To do this, publically available data will be collected and augmente ....The demographic consequences of migration to, from and within Australia. The long-term demographic consequences of migration to, from and within Australia, and the dynamic pathways that produced them, will be studied. This will involve the identification of the specific contributions made by international and internal migration to the age and sex population compositions of nine birthplace-specific populations from 1981 to 2011. To do this, publically available data will be collected and augmented with statistical methods to provide a complete, consistent account of population change for around 60 subnational areas. As migration and population change underpins many aspects of societal change in Australia, this research aims to provide an invaluable resource to other scientists and policy makers.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