Bayesian statistical models for understanding outcomes and improving decision-making for women screened for breast cancer. This project has two key benefits: (i) the development of frontier statistical methods for spatio-temporal analysis and data synthesis, which are imperative in a wide range of disciplines; and (ii) the application of these methods for improved understanding of breast cancer outcomes for women screened in Queensland. The project results will lead to direct health and financi ....Bayesian statistical models for understanding outcomes and improving decision-making for women screened for breast cancer. This project has two key benefits: (i) the development of frontier statistical methods for spatio-temporal analysis and data synthesis, which are imperative in a wide range of disciplines; and (ii) the application of these methods for improved understanding of breast cancer outcomes for women screened in Queensland. The project results will lead to direct health and financial benefits through targeted policies for increasing screening uptake and reducing cancer morbidity and mortality and therefore health spending in this area. Importantly, the project represents an excellent training opportunity to develop a PhD candidate into an experienced interdisciplinary researcher.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
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
Statistical Analysis of Some Partially Observed Processes Arising in Ecological Research. The expected outcomes of this project are the provision of statistical methods to draw important information from samples from wild animal populations and the training of researchers to conduct high quality statistical ecological research. The national benefit lies on the availability of the developed techniques and researchers from this project to the society for finding better ways of managing Australia's ....Statistical Analysis of Some Partially Observed Processes Arising in Ecological Research. The expected outcomes of this project are the provision of statistical methods to draw important information from samples from wild animal populations and the training of researchers to conduct high quality statistical ecological research. The national benefit lies on the availability of the developed techniques and researchers from this project to the society for finding better ways of managing Australia's ecological systems and making Australia environmentally sustainable.Read moreRead less
Doing Bayesian Statistics Better: an Inter-Disciplinary Perspective for Improving Models, Priors, Design and Applications. Through improving methods for data analysis and design, this project increases the capability of individuals, communities and governments to make correct decisions based on data, leading to immeasurable human, social and financial benefits. It will also directly enhance Australia's international research reputation, promote inter-disciplinary links, promote research by wome ....Doing Bayesian Statistics Better: an Inter-Disciplinary Perspective for Improving Models, Priors, Design and Applications. Through improving methods for data analysis and design, this project increases the capability of individuals, communities and governments to make correct decisions based on data, leading to immeasurable human, social and financial benefits. It will also directly enhance Australia's international research reputation, promote inter-disciplinary links, promote research by women in a non-traditional area, keep intellectual property within Australia, train quality undergraduates and postgraduates, and contribute to public good through its focus on applications in key national priorities: health, environment and genetics. Read moreRead less
Expressive power and complexity of temporal logics for model-checking. Hardware verification based upon mathematical logic is now routinely
used in industry to verify the correctness of large digital circuits
using a technique called model-checking. Such discrete systems move
from one state to another according to the regular ticks of a clock.
The challenge now is to find tractable methods for reasoning about
real-time systems and hybrid systems that move in a continuous manner
with respec ....Expressive power and complexity of temporal logics for model-checking. Hardware verification based upon mathematical logic is now routinely
used in industry to verify the correctness of large digital circuits
using a technique called model-checking. Such discrete systems move
from one state to another according to the regular ticks of a clock.
The challenge now is to find tractable methods for reasoning about
real-time systems and hybrid systems that move in a continuous manner
with respect to time: examples include aeroplanes flying according to
the laws of physics and a moving robot arm. We shall invent new logics
which are specifically tailored for tractable reasoning about
real-time and hybrid systems.Read moreRead less
Multivariate Algorithmics: Meeting the Challenge of Real World computational complexity. This Project will result in better methods for designing the algorithms that all computer applications depend on. Algorithms are the instruction sets that tell computers how to process information. Some information processing tasks are intrinsically difficult, even for computers working at enormous speeds. This Project will deliver new mathematical approaches to overcome these difficulties. More efficient al ....Multivariate Algorithmics: Meeting the Challenge of Real World computational complexity. This Project will result in better methods for designing the algorithms that all computer applications depend on. Algorithms are the instruction sets that tell computers how to process information. Some information processing tasks are intrinsically difficult, even for computers working at enormous speeds. This Project will deliver new mathematical approaches to overcome these difficulties. More efficient algorithmic approaches for difficult problems enable advances in all areas of computer applications such as medical diagnosis and health prediction, national security, communications efficiency, industrial productivity and all fields of science and engineering.Read moreRead less
Principles of Quantum Information Science. The use of quantum mechanical systems to carry and process information is enabling a revolution in information technology through innovations such as quantum computation and quantum teleportation. This project investigates the fundamental theory of quantum information science. The project aims to formulate general principles governing the power and behaviour of quantum information. These principles will, in turn, enable the development of powerful new ....Principles of Quantum Information Science. The use of quantum mechanical systems to carry and process information is enabling a revolution in information technology through innovations such as quantum computation and quantum teleportation. This project investigates the fundamental theory of quantum information science. The project aims to formulate general principles governing the power and behaviour of quantum information. These principles will, in turn, enable the development of powerful new applications of quantum information. Principal areas to be addressed include: general conditions for a physical system to be usable for quantum computation, the development of new algorithms for quantum computers, the development of new quantum communication protocols, and the theory of quantum entanglement.Read moreRead less
Variational methods in partial differential equations. Research in partial differential equations is a very active area of modern mathematics linking nonlinear functional analysis, calculus of variations and differential geometry to applied sciences. This project will enable Australia-based researchers to participate in the forefront of mathematical research with leading international mathematicians by establishing new collaborations, strengthening on-going collaborations and providing internat ....Variational methods in partial differential equations. Research in partial differential equations is a very active area of modern mathematics linking nonlinear functional analysis, calculus of variations and differential geometry to applied sciences. This project will enable Australia-based researchers to participate in the forefront of mathematical research with leading international mathematicians by establishing new collaborations, strengthening on-going collaborations and providing international research experience for early career researchers. As a result, this proposal will enhance Australia's distinguished reputation in analysis and further link the UQ group with a number of mathematical institutes in USA and China.Read moreRead less
Adapting the Bulk Synchronous Parallel processing model to Peer-to-Peer Networked Computing. Advances in distributed computing have shown that data parallel and parametric applications domains are amenable to wide area distribution. The project will advance the Bulk Synchronous Parallel processing model to describe innovative applications from the loosely synchronous domain, e.g. fluid dynamics, strategy algorithms and N-body problems are challenges that have significant scientific and industria ....Adapting the Bulk Synchronous Parallel processing model to Peer-to-Peer Networked Computing. Advances in distributed computing have shown that data parallel and parametric applications domains are amenable to wide area distribution. The project will advance the Bulk Synchronous Parallel processing model to describe innovative applications from the loosely synchronous domain, e.g. fluid dynamics, strategy algorithms and N-body problems are challenges that have significant scientific and industrial value. The project specializes the exciting peer-to-peer paradigm, a frontier of inter-networking technology. By using the latest techniques and taking advantage of the technology implosion caused by low cost parallel infrastructure, the project outcomes will give Australia a strong position in the future of parallel technology.Read moreRead less