Improved Monte Carlo Methods for Estimation, Optimisation and Counting. The project will benefit the Australian society by building the theoretical and methodological foundations for the next generation of Monte Carlo techniques. The advancement of the knowledge in this area will provide important tools for solving complex estimation, optimisation and counting problems in engineering, statistics, computer science, mathematics and the physical and life sciences. As a result it will generate a com ....Improved Monte Carlo Methods for Estimation, Optimisation and Counting. The project will benefit the Australian society by building the theoretical and methodological foundations for the next generation of Monte Carlo techniques. The advancement of the knowledge in this area will provide important tools for solving complex estimation, optimisation and counting problems in engineering, statistics, computer science, mathematics and the physical and life sciences. As a result it will generate a competitive advantage for various sections of the Australian industry, including telecommunications, biotechnology and finance. The project will enable Australian researchers to continue to work at the forefront of this fast moving and exciting area of international research.Read moreRead less
Increasing the effectiveness of quantitative verification. The ability to analyse the performance of complex systems and protocols is a vital part of the development of large-scale computer applications. Methods that improve the effectiveness of the analysis task would increase the competitiveness of the software industry, and would attract future development work (in complex systems) to Australia. The results of this project will have a direct influence on currently available design tools; the ....Increasing the effectiveness of quantitative verification. The ability to analyse the performance of complex systems and protocols is a vital part of the development of large-scale computer applications. Methods that improve the effectiveness of the analysis task would increase the competitiveness of the software industry, and would attract future development work (in complex systems) to Australia. The results of this project will have a direct influence on currently available design tools; the fact that Australian institutions will be (in part) responsible for key theoretical results in this growing field will strengthen Australia's position worldwide as an international centre for computer science.Read moreRead less
Assessing Oceanic and Tidal Forecast Data For Search and Rescue Purposes. Locating people lost and adrift at sea requires costly resources (aircraft, ships and rescuers) and accurate planning. Rescuers also require estimates of where currents will take them. Australian marine Search and Rescue (SAR) planning uses infrequent (typically once a week) satellite measurements of ocean currents to estimate drift patterns of people at sea. Recently developed ocean forecast models will potentially help ....Assessing Oceanic and Tidal Forecast Data For Search and Rescue Purposes. Locating people lost and adrift at sea requires costly resources (aircraft, ships and rescuers) and accurate planning. Rescuers also require estimates of where currents will take them. Australian marine Search and Rescue (SAR) planning uses infrequent (typically once a week) satellite measurements of ocean currents to estimate drift patterns of people at sea. Recently developed ocean forecast models will potentially help forecast currents between the satellite observations, but are unproven for SAR use at this time and do not include tidal influences. This research project will develop measures of reliability and accuracy of using Ocean Forecasts that include tide forecasts for improving SAR planning outcomes in Australian waters.Read moreRead less
Novel time-frequency techniques for analysing and modeling non-stationary physical and engineering data. This project addresses an issue of fundamental importance in science and technology, where non-stationary data (which have time-varying statistics) are ubiquitous. Therefore, the development of time-frequency tools to model and analyse non-stationary data has great potential for impact in a wide range of areas reaching from seismic data analysis to biomedical signal processing to sonar and ra ....Novel time-frequency techniques for analysing and modeling non-stationary physical and engineering data. This project addresses an issue of fundamental importance in science and technology, where non-stationary data (which have time-varying statistics) are ubiquitous. Therefore, the development of time-frequency tools to model and analyse non-stationary data has great potential for impact in a wide range of areas reaching from seismic data analysis to biomedical signal processing to sonar and radar. Employing techniques to be developed in this proposal, we expect to be able to classify and detect features of non-stationary data that were unrecognisable using hitherto known methods.Read moreRead less