Integrable Functional and Delay Differential Equations. Major challenges such as predicting epidemics or modelling the dynamics of human movement, rely on our understanding of functional and delay differential equations. This research will provide new methods for prediction and analysis of such models.
Stochastic methods for studying models of infection and abundance. The outcomes of this project will have immense benefit to Australia. They impact upon two areas of national importance, namely ensuring an environmentally sustainable Australia, and safeguarding Australia. In particular, the project will provide models, methodology and optimal strategies for sustainable use of Australia's biodiversity, for protecting Australia from invasive diseases and pests, and for protecting Australia from te ....Stochastic methods for studying models of infection and abundance. The outcomes of this project will have immense benefit to Australia. They impact upon two areas of national importance, namely ensuring an environmentally sustainable Australia, and safeguarding Australia. In particular, the project will provide models, methodology and optimal strategies for sustainable use of Australia's biodiversity, for protecting Australia from invasive diseases and pests, and for protecting Australia from terrorism and crime. Special focus will be given to the control of invasive species, the control of emerging infections, and the optimal allocation of resources. The current risks posed by invasive diseases and pests, and the alarming rate of destruction of biodiversity, warrant urgent funding of this project.Read moreRead less
Multiscale stochastic modelling of tumour robustness. This project will develop cutting-edge modelling methodologies of systems biology and innovative experimental techniques to investigate the principles of tumour initiation and progression, which lay at the heart of the national research priority Frontier Technologies for Building and Transforming Australian Industries. The primary outcome will be fundamental new paradigms explaining tumour initiation, cancer disease progression and the evolut ....Multiscale stochastic modelling of tumour robustness. This project will develop cutting-edge modelling methodologies of systems biology and innovative experimental techniques to investigate the principles of tumour initiation and progression, which lay at the heart of the national research priority Frontier Technologies for Building and Transforming Australian Industries. The primary outcome will be fundamental new paradigms explaining tumour initiation, cancer disease progression and the evolution of therapy resistance. The deep insights gained in this research have the potential for the optimal treatment strategies of cancer diseases, which is strongly relevant to promoting and maintaining good health for Australians.Read moreRead less
Modelling and estimation techniques for the transmission and control of Tuberculosis with new and existing vaccines. Most Tuberculosis in Australia is seen in foreign-born people. Australia has an important role in providing leadership in the Asia-Pacific region in Tuberculosis control, which will have flow-on benefits to TB control in this country. Using mathematical models, this project will assess the use of vaccines for Tuberculosis in the developing world. Rising levels of extremely drug r ....Modelling and estimation techniques for the transmission and control of Tuberculosis with new and existing vaccines. Most Tuberculosis in Australia is seen in foreign-born people. Australia has an important role in providing leadership in the Asia-Pacific region in Tuberculosis control, which will have flow-on benefits to TB control in this country. Using mathematical models, this project will assess the use of vaccines for Tuberculosis in the developing world. Rising levels of extremely drug resistant infections make this a timely and important study with significant policy implications, both externally and in the Australian context. Read moreRead less
New mathematical and statistical methods that inform the control of infectious disease outbreaks. Emerging infectious diseases are an ever-present threat to our community, as highlighted by the recent SARS epidemic and current fears concerning avian influenza. The research proposed by this project will help policy makers implement effective border control and outbreak control against a variety of emerging and re-emerging infectious diseases, including SARS, influenza and the deliberate release o ....New mathematical and statistical methods that inform the control of infectious disease outbreaks. Emerging infectious diseases are an ever-present threat to our community, as highlighted by the recent SARS epidemic and current fears concerning avian influenza. The research proposed by this project will help policy makers implement effective border control and outbreak control against a variety of emerging and re-emerging infectious diseases, including SARS, influenza and the deliberate release of an infectious disease such as smallpox. The project will enhance preparedness through a better understanding of the relative merits of different control strategies, and provide new methodology that can dynamically guide border and outbreak control in the midst of an outbreak by making effective use of data. Read moreRead less
Economical and practical design and analysis of probabilistic distributed systems. Complex computing systems composed of communicating processes are
distributed over networks, and interact with embedded hardware
components. They routinely operate in probabilistic environments:
hardware components fail randomly, but at known rates; and tactical
randomisation resolves competition for resources. Effective
specification, development and analysis methods for these systems
is crucial, and probab ....Economical and practical design and analysis of probabilistic distributed systems. Complex computing systems composed of communicating processes are
distributed over networks, and interact with embedded hardware
components. They routinely operate in probabilistic environments:
hardware components fail randomly, but at known rates; and tactical
randomisation resolves competition for resources. Effective
specification, development and analysis methods for these systems
is crucial, and probability makes that particularly difficult.
The focus of this project is to develop new formal methods that are
economical and practical in use. Exploiting our recent advances in
probabilistic program semantics, we will add probability in a new
way to proven techniques in concurrency theory, including
refinement and hierarchical design.Read moreRead less
Algebraic reasoning for serialisability in probabilistic transaction systems. The ability to analyse complex systems is a vital part of the development of large-scale computer applications; a method that improves the quality of the analysis task would increase the competitiveness of the software industry, would attract future development work (in complex and intelligent systems) to Australia, and could contribute to national security.
The results of this project will have a direct influence ....Algebraic reasoning for serialisability in probabilistic transaction systems. The ability to analyse complex systems is a vital part of the development of large-scale computer applications; a method that improves the quality of the analysis task would increase the competitiveness of the software industry, would attract future development work (in complex and intelligent systems) to Australia, and could contribute to national security.
The results of this project will have a direct influence on currently available design tools; the fact that Australian institutions will be 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
Hidden-state modelling for modular analysis of information flow, protection and risk evaluation. Automation is increasing explosively, and the cliche is no longer that there is a cpu chip in your washing machine, television or automobile. Nowadays they are potentially in our cash cards, passports and soon on every item in our shopping baskets. Australia is a leader in adopting and developing such technology.
Security and privacy, hard enough for PCs, thus concerns smaller, more numerous devi ....Hidden-state modelling for modular analysis of information flow, protection and risk evaluation. Automation is increasing explosively, and the cliche is no longer that there is a cpu chip in your washing machine, television or automobile. Nowadays they are potentially in our cash cards, passports and soon on every item in our shopping baskets. Australia is a leader in adopting and developing such technology.
Security and privacy, hard enough for PCs, thus concerns smaller, more numerous devices that we might not even realise we are using.
Our research aims to make it easier and more effective to describe and then successfully build-in features that enforce security without adverse impact on usability.Read moreRead less
Designing software for secrecy: Security-enabled program algebra. Ensuring security and privacy, hard enough for PCs, is a critical problem in computer engineering; the frequency with which software security breaches are reported in smartcards and web applications means that new software-design techniques are urgently needed. This project aims to improve the quality of computer software by creating smart technology which will make it easier for designers to describe and then successfully build ....Designing software for secrecy: Security-enabled program algebra. Ensuring security and privacy, hard enough for PCs, is a critical problem in computer engineering; the frequency with which software security breaches are reported in smartcards and web applications means that new software-design techniques are urgently needed. This project aims to improve the quality of computer software by creating smart technology which will make it easier for designers to describe and then successfully build-in features that enforce security in software without adverse impact on usability. This research addresses National Security Priority 3, Smart technology, and will build on Australia's world-leading position in pioneering uptake of innovative technology.Read moreRead less
How do macroeconomic fluctuations affect the educational choices of young Australians? The 1990-1991 recession, recent evidence, and econometric issues. The educational choices of young people are crucial for any nation's future. The project's empirical findings will inform public policy, particularly in the areas of education and training and youth unemployment. The research will help policy makers target people who need extra support in tough times and help determine the demand for different k ....How do macroeconomic fluctuations affect the educational choices of young Australians? The 1990-1991 recession, recent evidence, and econometric issues. The educational choices of young people are crucial for any nation's future. The project's empirical findings will inform public policy, particularly in the areas of education and training and youth unemployment. The research will help policy makers target people who need extra support in tough times and help determine the demand for different kinds of education. The findings have implications for future policies aimed at reducing inequality. The project's methodological contributions will lead to better and more reliable research in economics and other fields such as biology and engineering. The findings will be suitable for the top economics journals and contribute to Australia's standing in the academic community.Read moreRead less