Increasing internet energy and cost efficiency by improving higher-layer protocols. Australians rely heavily on our telecommunications infrastructure due to our geographic dispersion. We are also very susceptible to climate change, given our reliance on agriculture. Information technology is consuming a rapidly increasing fraction of our power and our budget. This research will help to reverse both those trends, by finding novel and practical ways to use our infrastructure more efficiently, and ....Increasing internet energy and cost efficiency by improving higher-layer protocols. Australians rely heavily on our telecommunications infrastructure due to our geographic dispersion. We are also very susceptible to climate change, given our reliance on agriculture. Information technology is consuming a rapidly increasing fraction of our power and our budget. This research will help to reverse both those trends, by finding novel and practical ways to use our infrastructure more efficiently, and to minimise its energy use. This will enable the Australian telecommunications industry to provide better service (including to Australian industries and rural communities) at lower economic and environmental cost. This project will put Australia on the international stage as a leading contributor to energy-efficient internet technology.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
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
Novel approaches to the forensic identification of human remains: integration of studies of bone form and chemistry. In a global era of terrorism, crime and even natural disasters, new approaches to identify victims, and prosecute offenders, are greatly required and long overdue. The combination of new computer and chemical methods will help identify unknowns, reconstruct missing parts and separate commingled remains. Its affect on understanding bones may be like that of DNA on soft tissues. The ....Novel approaches to the forensic identification of human remains: integration of studies of bone form and chemistry. In a global era of terrorism, crime and even natural disasters, new approaches to identify victims, and prosecute offenders, are greatly required and long overdue. The combination of new computer and chemical methods will help identify unknowns, reconstruct missing parts and separate commingled remains. Its affect on understanding bones may be like that of DNA on soft tissues. The results will update our ability as forensic scientists to strengthen Australian security systems by improving our ability to manage accidents, disasters, terrorism and crime. This project will start international collaborations and train a new generation of Australian forensic experts.Read moreRead less
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
A New Approach to Studying Whole Bodies and Body Parts Applied to Problems of Forensic Science. To bring to the study of whole humans and human body parts, new methods capable of major advances such as those already provided by DNA technology in the study of human tissues, cells and molecules. This will allow better identification of human groups, geographic populations, gender differences and ageing.
To update facilities in forensic sciences strengthening Australian security systems thus he ....A New Approach to Studying Whole Bodies and Body Parts Applied to Problems of Forensic Science. To bring to the study of whole humans and human body parts, new methods capable of major advances such as those already provided by DNA technology in the study of human tissues, cells and molecules. This will allow better identification of human groups, geographic populations, gender differences and ageing.
To update facilities in forensic sciences strengthening Australian security systems thus helping fight terrorism and crime.
To establish international collaborations for Australia, especially with Asia.
To train young people, through Master's and Doctoral degrees programmes, in handling the new techniques and applying them to problems of forensic science
Read moreRead less
Noise control in aircraft and motor vehicles. The principal aim of this collaborative program between Australian and Japanese research teams is to tackle the complex issue of using active noise control systems focussing "zones of quiet" at passengers in aircraft and motor vehicles. The work has important implications for increased comfort of air travel and a safer environment for drivers of heavy vehicles. The outcomes will be the development of "smart skins" for application to aircraft and veh ....Noise control in aircraft and motor vehicles. The principal aim of this collaborative program between Australian and Japanese research teams is to tackle the complex issue of using active noise control systems focussing "zones of quiet" at passengers in aircraft and motor vehicles. The work has important implications for increased comfort of air travel and a safer environment for drivers of heavy vehicles. The outcomes will be the development of "smart skins" for application to aircraft and vehicle cabin interiors to actively control of interior noise. This will be achieved by combining the Japanese team's "structural wavenumber sensors" and the Adelaide team's "virtual microphones".Read moreRead less
Investment Approaches and Applications in Financial Markets: Evolutionary Kernel Based Subset Time-Series Using Semi-Parametric Approaches. The project will develop new investment assessments based on subset time-series modeling. Innovative evolutionary kernel smoothing algorithms using semi-parametric approaches will be introduced. The project will make three important applications of this modeling in financial markets: a) benchmarking and evaluation of inflation-indexed bonds; b) evaluation of ....Investment Approaches and Applications in Financial Markets: Evolutionary Kernel Based Subset Time-Series Using Semi-Parametric Approaches. The project will develop new investment assessments based on subset time-series modeling. Innovative evolutionary kernel smoothing algorithms using semi-parametric approaches will be introduced. The project will make three important applications of this modeling in financial markets: a) benchmarking and evaluation of inflation-indexed bonds; b) evaluation of the performance of global diversified investment funds; and c) prediction to provide early warning of the emergence of destabilising deflation or inflation. These three applications will lead to improved risk management practices and investment performance. Recursive algorithms will provide new statistical methods to study investment asset price movements and market volatility.
Read moreRead less
The improvement of climate change investigations by developing and applying innovative evolutionary subset time series modelling using semi-parametric sparse-patterned approaches. With an estimated US$6.98 trillion loss indicated in the Stern review, severe climate change will make world climate conditions harsher and more likely include large natural climate disasters. The health of the Australian economy is critically dependent on decisions of environmental managers. However, most problems of ....The improvement of climate change investigations by developing and applying innovative evolutionary subset time series modelling using semi-parametric sparse-patterned approaches. With an estimated US$6.98 trillion loss indicated in the Stern review, severe climate change will make world climate conditions harsher and more likely include large natural climate disasters. The health of the Australian economy is critically dependent on decisions of environmental managers. However, most problems of complexity arising in climate change involve issues on which we do not possess a deep understanding. This project draws upon a set of inter-disciplinary concepts and models centred in neural networks that enable us to advance our understanding of complexity, leading to superior quantitative tools and models to allow for improved environmental decision-making.
Read moreRead less
Investment approaches and opportunities in renewable energy and financial resource markets, using semi-parametric approaches to evolutionary subset time-series lattice-ladder modelling. The project findings will help Australian exporters and importers understand and manage energy and resource price risks more effectively. The investment community will benefit through selecting optimal asset allocations and enhancing value to investors. It will also benefit many other agencies, particularly in th ....Investment approaches and opportunities in renewable energy and financial resource markets, using semi-parametric approaches to evolutionary subset time-series lattice-ladder modelling. The project findings will help Australian exporters and importers understand and manage energy and resource price risks more effectively. The investment community will benefit through selecting optimal asset allocations and enhancing value to investors. It will also benefit many other agencies, particularly in the service industries. It is not well recognised that in developed countries, including Australia, the financial service and related sectors account for more than 60 percent of economic activity and employment, so it is critical that more sophisticated statistical methods be established, and practical applications conducted, in order to advance the understanding of complexity management in the financial service and related sectors.Read moreRead less