Approximate algorithms and architectures for area efficient system design. This project aims to develop simpler but reliable image recognition systems that can run on low-cost, small-scale platforms, for use in driver monitoring system (DMS) applications. Cheaper reliable DMS will lead to wider availability of this technology to end users and improve safety of motor vehicles. This project will develop approximate algorithmic and circuit techniques, provide training for research students and buil ....Approximate algorithms and architectures for area efficient system design. This project aims to develop simpler but reliable image recognition systems that can run on low-cost, small-scale platforms, for use in driver monitoring system (DMS) applications. Cheaper reliable DMS will lead to wider availability of this technology to end users and improve safety of motor vehicles. This project will develop approximate algorithmic and circuit techniques, provide training for research students and build capability in the area of approximate computing. It is also expected to lead to commercial products, licences and revenue, which will enable new job creation.
Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE230101329
Funder
Australian Research Council
Funding Amount
$432,355.00
Summary
Trading Privacy, Bandwidth and Accuracy in Algorithmic Machine Learning. This project aims to investigate the trade-offs between privacy, communication costs and accuracy of results when learning from users' sensitive data. The project intends to design faster and more accurate algorithms for a wide range of machine learning tasks by developing a novel and widely-applicable algorithmic framework. Expected outcomes of this project include new theoretical tools to guide the design of data-driven d ....Trading Privacy, Bandwidth and Accuracy in Algorithmic Machine Learning. This project aims to investigate the trade-offs between privacy, communication costs and accuracy of results when learning from users' sensitive data. The project intends to design faster and more accurate algorithms for a wide range of machine learning tasks by developing a novel and widely-applicable algorithmic framework. Expected outcomes of this project include new theoretical tools to guide the design of data-driven decision systems and rigorously analyse their performance and privacy guarantees. Privacy of individuals' information in data analytics pipelines is a key societal concern. This project should lead to significant benefits by strengthening privacy in these pipelines while also improving accuracy and cost-efficiency.Read moreRead less
Remote sensing to improve structural efficiency of high-speed catamarans. This project aims to develop a monitoring system to remotely measure ship motions, loads and ride control activity under commercial operations. Data will be analysed using advanced statistical methods to inform evidence-based design to improve both structural efficiency and passenger comfort. The research will impact on design rules used worldwide, reducing weight and increasing payload and transport efficiency for this cl ....Remote sensing to improve structural efficiency of high-speed catamarans. This project aims to develop a monitoring system to remotely measure ship motions, loads and ride control activity under commercial operations. Data will be analysed using advanced statistical methods to inform evidence-based design to improve both structural efficiency and passenger comfort. The research will impact on design rules used worldwide, reducing weight and increasing payload and transport efficiency for this class of vessel. A "Smart” semi-autonomous interface will be developed to provide on-board seakeeping guidance to the ship captain. This technology will have significant benefits such as increased ship safety, vessel longevity and improving passenger comfort for all types of vessels worldwide including high-speed catamarans.Read moreRead less
Robust and Scalable Autonomous Landing for Drones. The aim of this project is to develop a transformative robust and scalable autonomous landing system for drones. This is the critical missing technology needed to unleash exponential growth in a potentially enormous drone delivery industry by enabling a multitude of applications to deliver goods and supplies via drones to a wide range of destinations in Australia and the world in a timely, flexible and accurate manner. Such an autonomous landi ....Robust and Scalable Autonomous Landing for Drones. The aim of this project is to develop a transformative robust and scalable autonomous landing system for drones. This is the critical missing technology needed to unleash exponential growth in a potentially enormous drone delivery industry by enabling a multitude of applications to deliver goods and supplies via drones to a wide range of destinations in Australia and the world in a timely, flexible and accurate manner. Such an autonomous landing solution would revolutionise drone technology, and propel Australia to the forefront of technology innovation. This project would benefit not only large scale delivery by drone in urban and suburban areas of Australia but also long distance delivery via drone to remote areas of Australia.Read moreRead less
Verification and analysis of quantum programs. This project aims to develop theoretical foundations and techniques, as well as efficient algorithms and effective tools, for the verification and analysis of quantum programs. This project will introduce new ideas and techniques to tackle the problem of verifying and analysing quantum programs and provide efficient algorithms and effective tools to help quantum program compilation and optimisation. Successful development of the outcomes and tools i ....Verification and analysis of quantum programs. This project aims to develop theoretical foundations and techniques, as well as efficient algorithms and effective tools, for the verification and analysis of quantum programs. This project will introduce new ideas and techniques to tackle the problem of verifying and analysing quantum programs and provide efficient algorithms and effective tools to help quantum program compilation and optimisation. Successful development of the outcomes and tools in this project will help Australian industries build frontier technologies for quantum software engineering and establish and preserve their competitive status in the era of quantum computing.Read moreRead less
Fluid-thermal-structural interactions on high-speed aerospace vehicles. Sixteen years after the retirement of Concorde, high-speed commercial flight is once again on the rise with the development of new supersonic business jets and small airliners as well as hypersonic transport and reusable space launch systems. Robust and efficient designs for these light-weight vehicles must address the problem of aerodynamic heating and its effect on structural performance and lifing. This project will desig ....Fluid-thermal-structural interactions on high-speed aerospace vehicles. Sixteen years after the retirement of Concorde, high-speed commercial flight is once again on the rise with the development of new supersonic business jets and small airliners as well as hypersonic transport and reusable space launch systems. Robust and efficient designs for these light-weight vehicles must address the problem of aerodynamic heating and its effect on structural performance and lifing. This project will design and perform first-of-kind experiments that reproduce the complex fluid-thermal-structural interactions representative of those experienced by these aircraft and rockets. We will then use these measurements to assess, validate and improve the current state-of-the-art of simulation and modelling approaches for design.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
Adaptive Key-value Store for Future Extreme Heterogeneous Systems. Safe, lasting storage of data, and efficient access to it, is vital for all aspects of computing, ranging from e-commerce applications, and data-management in governments. For the storage of data, persistent key-value stores are central in modern computing platforms. However, contemporary key-value stores have not been designed for emerging extreme heterogeneous computational systems with future hardware accelerators and storage ....Adaptive Key-value Store for Future Extreme Heterogeneous Systems. Safe, lasting storage of data, and efficient access to it, is vital for all aspects of computing, ranging from e-commerce applications, and data-management in governments. For the storage of data, persistent key-value stores are central in modern computing platforms. However, contemporary key-value stores have not been designed for emerging extreme heterogeneous computational systems with future hardware accelerators and storage capabilities, including graphics processor and flash-based memory. This project will devise an adaptive key-value store framework for heterogeneous systems. Our new framework will adaptively harvest the performance potential of future hardware such that applications can cope with fast-growing data sets.Read moreRead less
Ship response under corrosion, fatigue and complex sea-state environments. This project will improve understanding of the gradual deterioration of ships and maritime structures subject to metal corrosion, fatigue and extreme sea-state conditions. Increasingly such understanding is necessary for optimal asset management decisions. These include the potential economic, personnel and other risks involved for ship owners and operators, including the Royal Australian Navy (RAN). The project will use ....Ship response under corrosion, fatigue and complex sea-state environments. This project will improve understanding of the gradual deterioration of ships and maritime structures subject to metal corrosion, fatigue and extreme sea-state conditions. Increasingly such understanding is necessary for optimal asset management decisions. These include the potential economic, personnel and other risks involved for ship owners and operators, including the Royal Australian Navy (RAN). The project will use numerical simulation. It will tackle the Fluid-Structure Interaction problem of ships in waves by integrating Finite Element structural response analysis with cutting-edge Smoothed Particle Hydrodynamics methods. The outcomes will provide new insight into remaining asset life and for exploring optimal maintenance strategiesRead moreRead less