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
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
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
Stochastic Modelling of Genetic Regulatory Networks: Subtitle - Genetic Regulation is a Noisy Business. The completion of the human genome marked the culmination of one hundred years of reductionist science in cell biology. Although further bioinformatics analysis will continue, the focus is shifting towards synthesis and understanding how the regulatory genetic components dynamically interact to form functional phenotypes. The key to this is the understanding of the roles of stochasticity in ....Stochastic Modelling of Genetic Regulatory Networks: Subtitle - Genetic Regulation is a Noisy Business. The completion of the human genome marked the culmination of one hundred years of reductionist science in cell biology. Although further bioinformatics analysis will continue, the focus is shifting towards synthesis and understanding how the regulatory genetic components dynamically interact to form functional phenotypes. The key to this is the understanding of the roles of stochasticity in cellular processes. This project will explore these roles and will develop an integrated complex systems modelling, simulation and visualisation framework. This will be used on an exemplar application for lineage commitment in haematopoiesis and for exploring and validating genetic regulatory models in general.Read moreRead less
Multiscale stochastic modelling of genetic regulatory mechanisms. The completion of the human genome marked the culmination of one hundred years of reductionist science in cell biology. Although further bioinformatics analysis will continue, the focus is shifting towards synthesis and understanding how the regulatory genetic components dynamically interact to form functional phenotypes. The key to this is the understanding of the roles of stochasticity in cellular processes. This project will ex ....Multiscale stochastic modelling of genetic regulatory mechanisms. The completion of the human genome marked the culmination of one hundred years of reductionist science in cell biology. Although further bioinformatics analysis will continue, the focus is shifting towards synthesis and understanding how the regulatory genetic components dynamically interact to form functional phenotypes. The key to this is the understanding of the roles of stochasticity in cellular processes. This project will explore these roles and will develop an integrated complex systems modelling, simulation and visualisation framework for exploring and validating genetic regulatory models in general. This will be used on an exemplar application for understanding the induction process in lambda phage.Read moreRead less
Stochastic modelling of spatiotemporal nonlinear diffusion processes with multifractal characteristics. This research is relevant to solute transport and plume evolution in heterogeneous media. Detailed modelling of these processes is computer-intensive, while the diffusion models of this project offer a more economical alternative. Our study will also benefit the research on the salinity problem. Excessive demand for irrigation water to support agricultural production has stretched freshwater a ....Stochastic modelling of spatiotemporal nonlinear diffusion processes with multifractal characteristics. This research is relevant to solute transport and plume evolution in heterogeneous media. Detailed modelling of these processes is computer-intensive, while the diffusion models of this project offer a more economical alternative. Our study will also benefit the research on the salinity problem. Excessive demand for irrigation water to support agricultural production has stretched freshwater aquifers beyond their long-term yield. Large areas of land have been lost to saltwater intrusion. This proposal will provide suitable tools to predict the level and movement of saltwater in the aquifers. Application to the development of management strategies would bring direct benefit to coastal areas where salinity is a sustainability issue.Read moreRead less
Stochastic modelling and analysis of spatio-temporal processes with fractal characteristics. Interest has grown in recent years on the derivation of fractal models to represent certain physical phenomena such as diffusion and transport in porous media, oceanic and atmospheric turbulence, climatology, etc. This project focuses on the phenomenon of diffusion on domains with multifractal geometry. Recent advances in harmonic analysis on fractals and our own development of fractional generalized ran ....Stochastic modelling and analysis of spatio-temporal processes with fractal characteristics. Interest has grown in recent years on the derivation of fractal models to represent certain physical phenomena such as diffusion and transport in porous media, oceanic and atmospheric turbulence, climatology, etc. This project focuses on the phenomenon of diffusion on domains with multifractal geometry. Recent advances in harmonic analysis on fractals and our own development of fractional generalized random fields allow us to formulate a comprehensive program to tackle some key problems including modeling, processing and statistical estimation of fractional diffusion. Advances made in this program will in turn benefit the developments in related scientific fields.Read moreRead less
Operator-Analytic Methods in Telecommunication Systems. Many systems in information technology and telecommunications evolve under conditions of uncertainty. In this context, mathematical modelling is an essential component of the design process. We shall provide techniques for analysing a class of mathematical models, called operator-analytic models, which can be used to study many of the above-mentioned systems, such as the Internet. This project will deliver efficient numerical algorithms tha ....Operator-Analytic Methods in Telecommunication Systems. Many systems in information technology and telecommunications evolve under conditions of uncertainty. In this context, mathematical modelling is an essential component of the design process. We shall provide techniques for analysing a class of mathematical models, called operator-analytic models, which can be used to study many of the above-mentioned systems, such as the Internet. This project will deliver efficient numerical algorithms that will make possible practical analysis of operator-analytic models.Read moreRead less
Mechanism design for next generation random access wireless protocols. Australia is well placed to take the lead in replacing carbon-intensive travel by teleconferencing, because of its isolation and geographic dispersion. Because these large distances introduce inevitable delays, it is important that the network itself add as little delay as possible for such real-time services. Our novel and practical resource allocation scheme will enable Australians (including Australian industries and rural ....Mechanism design for next generation random access wireless protocols. Australia is well placed to take the lead in replacing carbon-intensive travel by teleconferencing, because of its isolation and geographic dispersion. Because these large distances introduce inevitable delays, it is important that the network itself add as little delay as possible for such real-time services. Our novel and practical resource allocation scheme will enable Australians (including Australian industries and rural communities) to receive better service at lower cost. This project will put Australia on the international stage as a leading contributor to wireless Internet technology. We will provide training for PhD students and postdoctoral fellows in this important area.Read moreRead less