Risk Measures and Management in Finance and Actuarial Science Under Regime-Switching Models. New models for assessing and managing risk of financial products will place Australia at the forefront of risk management. The work will also sustain the competitive edge of Australia as one of the major financial centres in the Asia-Pacific region through enhancing both the theory and practice of financial risk management. The project outcome will also benefit to the country in other areas of risk, for ....Risk Measures and Management in Finance and Actuarial Science Under Regime-Switching Models. New models for assessing and managing risk of financial products will place Australia at the forefront of risk management. The work will also sustain the competitive edge of Australia as one of the major financial centres in the Asia-Pacific region through enhancing both the theory and practice of financial risk management. The project outcome will also benefit to the country in other areas of risk, for example, environment risk, climate change, and energy and security problems.Read moreRead less
Dynamic risk measures. Exposure to risk is a pervasive problem. The results will be of importance for financial institutions when they estimate their exposure to risk. Other applications will be to determine the level of risk from a terrorist attack or regional instability. Companies wish to allocate resources to minimize their exposure to adverse events.
Coordination and communication in critical care: Assessing potential technology support. This project will examine temporal coordination demands of busy critical care environments, with the goal of developing better models and tools for evaluating the impact of information and communication technology (ICT) innovation. Millions of dollars can be wasted on healthcare ICT updates when the nature of critical care work, the means of communication, and temporal coordination demands are not fully unde ....Coordination and communication in critical care: Assessing potential technology support. This project will examine temporal coordination demands of busy critical care environments, with the goal of developing better models and tools for evaluating the impact of information and communication technology (ICT) innovation. Millions of dollars can be wasted on healthcare ICT updates when the nature of critical care work, the means of communication, and temporal coordination demands are not fully understood. The outcome of this project will be better conceptual and computational tools for assessing the impact of ICT innovation on safety-critical systems such as healthcare, so providing more cost-effective ICT solutions where there is rapidly-evolving ICT innovation.Read moreRead less
Unifying Modern Approaches in Machine Learning. The proposed research will lead to better algorithms for some important machine learning problems that could lead to better tools for extracting useful knowledge from data such as in bioinformatics and sensor networks; it will strengthen an international collaboration with one of the world's top centres of machine learning research; it will contribute to an open source toolkit of machine learning algorithms which will put Australia on the map as a ....Unifying Modern Approaches in Machine Learning. The proposed research will lead to better algorithms for some important machine learning problems that could lead to better tools for extracting useful knowledge from data such as in bioinformatics and sensor networks; it will strengthen an international collaboration with one of the world's top centres of machine learning research; it will contribute to an open source toolkit of machine learning algorithms which will put Australia on the map as a provider of sophisticated machine learning software; it will provide training opportunities for several PhD students and a postdoc to work with some of the best machine learning researchers in the world.Read moreRead less
Data Fusion for Self-Localisation and Team Situational Awareness in Unknown Structured Environments. This research is directed towards improving the operational effectiveness of our defence and civilian first-response-groups, which include the Special Forces, law-enforcement, fire fighting and special emergency services. These groups are highly specialised and have very focused operations which require innovative responses and adaptability. The technologies developed in the course of this projec ....Data Fusion for Self-Localisation and Team Situational Awareness in Unknown Structured Environments. This research is directed towards improving the operational effectiveness of our defence and civilian first-response-groups, which include the Special Forces, law-enforcement, fire fighting and special emergency services. These groups are highly specialised and have very focused operations which require innovative responses and adaptability. The technologies developed in the course of this project will transform the way these agencies conduct their operations and will have a beneficial impact on our quality of life and social order.
The research will also advance the knowledge base in the practical implementation of human localisation systems and provide the enabling mechanism for its adoption into industry.
Read moreRead less
Analysing and Generating Fault-Tolerant Real-Time Systems. Safety-critical real-time systems are being deployed increasingly in diverse areas such as controlling critical infrastructure like transportation (e.g., railway signalling) as well as in defence applications (e.g., fly-by-wire). Such systems must be dependable and hence must be built using fault-tolerant strategies.
This project is researching frontier ICT technologies for analysing, designing and generating fault-tolerant systems, con ....Analysing and Generating Fault-Tolerant Real-Time Systems. Safety-critical real-time systems are being deployed increasingly in diverse areas such as controlling critical infrastructure like transportation (e.g., railway signalling) as well as in defence applications (e.g., fly-by-wire). Such systems must be dependable and hence must be built using fault-tolerant strategies.
This project is researching frontier ICT technologies for analysing, designing and generating fault-tolerant systems, concentrating on their software control components.Read moreRead less
Logic, Abstraction and Construction. This is unashamedly a pure research project in logic. It aims to enhance our understanding of core issues in the nature of the world and how we can appropriately reason about it. Nevertheless, the techniques developed in logic inevitably find a home in applications in computer science, linguistics, mathematics and related fields. This project, in particular, will develop tools for realistically reasoning about the kinds of abstract or constructed objects on ....Logic, Abstraction and Construction. This is unashamedly a pure research project in logic. It aims to enhance our understanding of core issues in the nature of the world and how we can appropriately reason about it. Nevertheless, the techniques developed in logic inevitably find a home in applications in computer science, linguistics, mathematics and related fields. This project, in particular, will develop tools for realistically reasoning about the kinds of abstract or constructed objects one finds in mathematics, and with the vague or contradictory concepts we use in everyday discourse. In addition, the project will provide research training for postgraduate students, and it will strengthen an already internationally recognised research centre in philosophical logic.Read moreRead less
Verified Emulation of Legacy Mission Computer Systems. Processor obsolescence is a serious maintenance problem for long-lived computer control systems in military aircraft and other critical applications. A promising solution is to interpose an emulator program between the original "legacy" software and a replacement processor. Unfortunately, no techniques exist for accurately verifying that this procedure preserves the original system's functional and timing behaviour. A particular challenge ....Verified Emulation of Legacy Mission Computer Systems. Processor obsolescence is a serious maintenance problem for long-lived computer control systems in military aircraft and other critical applications. A promising solution is to interpose an emulator program between the original "legacy" software and a replacement processor. Unfortunately, no techniques exist for accurately verifying that this procedure preserves the original system's functional and timing behaviour. A particular challenge is that processor emulations involve both legacy code and new subroutines, written in different programming languages. This project will enable verification of safety and mission-critical emulated systems by devising a multilingual modelling and reasoning formalism, based on program refinement theory.Read moreRead less
Modelling disease evolution and emergence. Approximately 75% of all emergent diseases have established in humans having switched from other species: Human Immunodeficiency Virus (HIV), Malaria, SARS (Severe Acute Respiratory Syndrome), Ebola, West Nile Virus and many more. Further, cross species infections put our biodiversity and economy at risk: plant and animal diseases entering Australia can destroy crops and at-risk native species. This project will provide for the first time the statistica ....Modelling disease evolution and emergence. Approximately 75% of all emergent diseases have established in humans having switched from other species: Human Immunodeficiency Virus (HIV), Malaria, SARS (Severe Acute Respiratory Syndrome), Ebola, West Nile Virus and many more. Further, cross species infections put our biodiversity and economy at risk: plant and animal diseases entering Australia can destroy crops and at-risk native species. This project will provide for the first time the statistical framework for scientists to assess risk of such diseases entering Australia as a key to combating them.Read moreRead less
Growth and intermixing of quantum dots for multi-wavelength infrared photodetectors. Quantum dots are nano-scale structures grown by self-assembled epitaxial methods. In this project, intermixing of quantum dots, which is a novel technology to modify the opto-electronic properties of the dots will be studied using ion implantation and subsequent annealing. Optimised growth, implantation and annealing conditions will be used to grow and tune the detection wavelength of the infrared photodetectors ....Growth and intermixing of quantum dots for multi-wavelength infrared photodetectors. Quantum dots are nano-scale structures grown by self-assembled epitaxial methods. In this project, intermixing of quantum dots, which is a novel technology to modify the opto-electronic properties of the dots will be studied using ion implantation and subsequent annealing. Optimised growth, implantation and annealing conditions will be used to grow and tune the detection wavelength of the infrared photodetectors using intersubband transition. This will allow us to fabricate multi-wavelength infrared photodetectors for high performance infrared imaging system. This project involves an exciting combination of fundamental physics and device technology.Read moreRead less