Modelling patient flows through hospitals: optimizing effective use of resources. Hospitals are complex, dynamic systems confronted by increased demand in the face of shrinking real capacity. Managing such systems is currently undertaken with sub-optimal analytical support, particularly when demand and capacity are changing and resources must be manipulated to respond to such changes. In this project, the investigators will apply a mathematical modelling approach to the analysis of hospital pati ....Modelling patient flows through hospitals: optimizing effective use of resources. Hospitals are complex, dynamic systems confronted by increased demand in the face of shrinking real capacity. Managing such systems is currently undertaken with sub-optimal analytical support, particularly when demand and capacity are changing and resources must be manipulated to respond to such changes. In this project, the investigators will apply a mathematical modelling approach to the analysis of hospital patient flows. Furthermore, they will employ statistical process control methodologies to the problem of recognising and responding to changes in the flows, so that performance objectives are met. In doing this, they will give health service managers and clinicians a significant advantage in deciding how best to manage a constrained resource to maximize access, throughput and patient outcomes.Read moreRead less
Ethics and Formal Theories of Decision. The benefits of this project will include improved methods for making ethically-informed decisions in various practical situations. Among the more important applications are legal decisions and conservation management. The theory developed in this project will also help shed light on both the statistical and ethical issues raised in much-debated areas such as racial profiling. The project will also serve to enhance Australia's reputation in technical philo ....Ethics and Formal Theories of Decision. The benefits of this project will include improved methods for making ethically-informed decisions in various practical situations. Among the more important applications are legal decisions and conservation management. The theory developed in this project will also help shed light on both the statistical and ethical issues raised in much-debated areas such as racial profiling. The project will also serve to enhance Australia's reputation in technical philosophy and decision theory.Read moreRead less
Who acquires infection from whom across international borders? New approaches for control of emerging infections through understanding travel patterns. Mathematical modelling of data on travellers traversing Australia's borders and their contact patterns can be used to understand the pathways by which infectious diseases enter and spread in Australia. Currently available social contact data which informs models are inadequate and outdated. Gathering new data relevant to modern society will help ....Who acquires infection from whom across international borders? New approaches for control of emerging infections through understanding travel patterns. Mathematical modelling of data on travellers traversing Australia's borders and their contact patterns can be used to understand the pathways by which infectious diseases enter and spread in Australia. Currently available social contact data which informs models are inadequate and outdated. Gathering new data relevant to modern society will help control future infectious disease threats to our society. Our aim is to collect detailed, unique data on demography, behavioural and social patterns of travellers and residents, and use this to develop mathematical models to evaluate effective control measures for emerging infections in Australia. This study will make a unique contribution to national disease control policy.Read moreRead less
A new rheological model for Australia to improve seismic hazard estimates and study the region's recent tectonic history and landform evolution. Australia is currently being squeezed between three active mountain belts, the Himalayas, the Papua New Guinea Highlands and the Southern Alps in New Zealand. We propose to integrate a large number of geological and geophysical databases that have been collected over the past few decades to develop a three-dimensional rheological model of the Australian ....A new rheological model for Australia to improve seismic hazard estimates and study the region's recent tectonic history and landform evolution. Australia is currently being squeezed between three active mountain belts, the Himalayas, the Papua New Guinea Highlands and the Southern Alps in New Zealand. We propose to integrate a large number of geological and geophysical databases that have been collected over the past few decades to develop a three-dimensional rheological model of the Australian continent, that is a model that predicts where and how Australia is deforming today. Combined with new, targeted field work, this model will be used to predict where earthquakes are likely to take place but also to study how our old continent is affected by these active mountain belts to create the present-day landscapes in which we live.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0453870
Funder
Australian Research Council
Funding Amount
$102,900.00
Summary
Social science advanced data modelling, analysis and visualisation facility. This is an integrated facility for advanced social science data analysis, modelling and visualisation located at The University of Queensland. The collaborating institutions are UQ, ANU and Griffith University. The facility promotes deep collaborations between social scientists and quantitative methodologists (statisticians, biostatisticians, econometricians) to enable leading edge quantitative analyses of survey, spati ....Social science advanced data modelling, analysis and visualisation facility. This is an integrated facility for advanced social science data analysis, modelling and visualisation located at The University of Queensland. The collaborating institutions are UQ, ANU and Griffith University. The facility promotes deep collaborations between social scientists and quantitative methodologists (statisticians, biostatisticians, econometricians) to enable leading edge quantitative analyses of survey, spatial and population data, new developments in quantitative methodology for statistical modelling and data visualisation, enhanced international research linkages and advanced postgraduate research training.Read moreRead less
Choice experiments to improve predictive power for policy makers. In the current economic climate, Australian governments will benefit from superior choice experiments which will lead to improved prediction of the potential public benefit of proposed policy changes. The choice experiments developed here will have a substantial effect on the development of strategies for the promotion and maintenance of a strong health care system as well as being relevant to the maintenance of a sustainable envi ....Choice experiments to improve predictive power for policy makers. In the current economic climate, Australian governments will benefit from superior choice experiments which will lead to improved prediction of the potential public benefit of proposed policy changes. The choice experiments developed here will have a substantial effect on the development of strategies for the promotion and maintenance of a strong health care system as well as being relevant to the maintenance of a sustainable environment, both designated National Research Priority areas. The innovative research proposed will tap into and build strong links with international research networks, advancing Australia's research reputation and providing a rich environment for the training of research graduates.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
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