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
Bayesian Inference for Multivariate Hierarchical Regression Models. This project will develop Bayesian methodology for analysing multivariate regression models. The distribution of each measurement can be discrete or continuous, with the dependence between measurements obtained through the correlation matrix of a Gaussian copula. Model parsimony is obtained by identifying zero elements in the correlation matrix or its inverse and by variable selection on the regression parameters. The results wi ....Bayesian Inference for Multivariate Hierarchical Regression Models. This project will develop Bayesian methodology for analysing multivariate regression models. The distribution of each measurement can be discrete or continuous, with the dependence between measurements obtained through the correlation matrix of a Gaussian copula. Model parsimony is obtained by identifying zero elements in the correlation matrix or its inverse and by variable selection on the regression parameters. The results will be applied to solve problems in finance, health management and marketing. In all these fields multiple observations are often taken per individual or time period and the models need to incorporate measures of dependence and uncertainty.Read moreRead less
Asynchronous Continuous Time Conditioning. Methodology for reasoning about Asynchronous Temporal Conditional Events (ATCE) obtains, complete with logical calculus for causal relations, reasoning about continuous time belief change, and markov chain algorithms calculating joint distributions of ATCE's.
Current techniques, including bayesian nets, are oblivious to temporal aspects; within our model they can be enhanced to recognize dynamic time changes. Ours is the first such unified model and ....Asynchronous Continuous Time Conditioning. Methodology for reasoning about Asynchronous Temporal Conditional Events (ATCE) obtains, complete with logical calculus for causal relations, reasoning about continuous time belief change, and markov chain algorithms calculating joint distributions of ATCE's.
Current techniques, including bayesian nets, are oblivious to temporal aspects; within our model they can be enhanced to recognize dynamic time changes. Ours is the first such unified model and first to link conditional objects with continuous time constraints.
Need for structures we propose arises in diagnostic reasoning, bayesian learning, temporal databases, and time-dependent data mining. Several commercial products (like Microsoft Office Assistant)could apply them forthwith.Read moreRead less
ARC Centre in Bioinformatics. The Australian Centre for Genome-Phenome Bioinformatics will examine how the genome comes to life in the mammalian cell during differentiation and development. We will model, visualise and experimentally validate the complex cellular systems and regulatory networks that control the transformation of genomic information into biological structure and function. We will develop novel approaches and tools to improve health, optimise agricultural production and exploit ne ....ARC Centre in Bioinformatics. The Australian Centre for Genome-Phenome Bioinformatics will examine how the genome comes to life in the mammalian cell during differentiation and development. We will model, visualise and experimentally validate the complex cellular systems and regulatory networks that control the transformation of genomic information into biological structure and function. We will develop novel approaches and tools to improve health, optimise agricultural production and exploit new cell technologies. The Centre will build critical mass and national focus in bioinformatics to generate the human capital and intellectual property that Australia needs to compete in advanced bioscience and biotechnology.Read moreRead less
Investment Approaches and Applications in Financial Markets: Evolutionary Kernel Based Subset Time-Series Using Semi-Parametric Approaches. The project will develop new investment assessments based on subset time-series modeling. Innovative evolutionary kernel smoothing algorithms using semi-parametric approaches will be introduced. The project will make three important applications of this modeling in financial markets: a) benchmarking and evaluation of inflation-indexed bonds; b) evaluation of ....Investment Approaches and Applications in Financial Markets: Evolutionary Kernel Based Subset Time-Series Using Semi-Parametric Approaches. The project will develop new investment assessments based on subset time-series modeling. Innovative evolutionary kernel smoothing algorithms using semi-parametric approaches will be introduced. The project will make three important applications of this modeling in financial markets: a) benchmarking and evaluation of inflation-indexed bonds; b) evaluation of the performance of global diversified investment funds; and c) prediction to provide early warning of the emergence of destabilising deflation or inflation. These three applications will lead to improved risk management practices and investment performance. Recursive algorithms will provide new statistical methods to study investment asset price movements and market volatility.
Read moreRead less
Investment approaches and opportunities in renewable energy and financial resource markets, using semi-parametric approaches to evolutionary subset time-series lattice-ladder modelling. The project findings will help Australian exporters and importers understand and manage energy and resource price risks more effectively. The investment community will benefit through selecting optimal asset allocations and enhancing value to investors. It will also benefit many other agencies, particularly in th ....Investment approaches and opportunities in renewable energy and financial resource markets, using semi-parametric approaches to evolutionary subset time-series lattice-ladder modelling. The project findings will help Australian exporters and importers understand and manage energy and resource price risks more effectively. The investment community will benefit through selecting optimal asset allocations and enhancing value to investors. It will also benefit many other agencies, particularly in the service industries. It is not well recognised that in developed countries, including Australia, the financial service and related sectors account for more than 60 percent of economic activity and employment, so it is critical that more sophisticated statistical methods be established, and practical applications conducted, in order to advance the understanding of complexity management in the financial service and related sectors.Read moreRead less
Joint System Identification for Point Processes and Time-series. In various application areas such as neurophysiology, earthquake modeling, price spikes in electricity markets, the data of interest are point processes (aka sequences of events) or combinations of point processes and analog signals. To understand the underlying subject of interest we need to be able to extract the maximum information from these observation sequences. The current tools for doing this are very limited. This resear ....Joint System Identification for Point Processes and Time-series. In various application areas such as neurophysiology, earthquake modeling, price spikes in electricity markets, the data of interest are point processes (aka sequences of events) or combinations of point processes and analog signals. To understand the underlying subject of interest we need to be able to extract the maximum information from these observation sequences. The current tools for doing this are very limited. This research program will develop the complex signal processing and system methodology needed to create a suitable tool set.Read moreRead less
Efficient Estimation of Statistical Models with Many Parameters. Statistical models are used extensively in business, engineering and the sciences to describe the behavior of systems subject to uncertainty. There are often many unknowns in such models and relatively little data to estimate them. The object of the research is to develop methods that make these statistical models practical to use. The research team will apply the methodology to solve problems in economics, finance, marketing and t ....Efficient Estimation of Statistical Models with Many Parameters. Statistical models are used extensively in business, engineering and the sciences to describe the behavior of systems subject to uncertainty. There are often many unknowns in such models and relatively little data to estimate them. The object of the research is to develop methods that make these statistical models practical to use. The research team will apply the methodology to solve problems in economics, finance, marketing and the analysis of gene expression data. The project will also train doctoral and postdoctoral students and enhance Australia's reputation for research excellence in the Statistical and Mathematical Sciences. Read moreRead less
Using Mathematics to Maximize the Efficiency of Shared Infrastructure in Australia's Coal Export Supply Chain. Port Waratah Coal Services operates the world's largest coal export terminal, servicing about 14 coal mining companies in the Hunter Valley, NSW. It is responsible for around $15 billion in annual export income for Australia. The coal supply chain is a complex operation, hampered by bottlenecks in critical shared infrastructure. Such limitations are estimated to cost Australia about $2 ....Using Mathematics to Maximize the Efficiency of Shared Infrastructure in Australia's Coal Export Supply Chain. Port Waratah Coal Services operates the world's largest coal export terminal, servicing about 14 coal mining companies in the Hunter Valley, NSW. It is responsible for around $15 billion in annual export income for Australia. The coal supply chain is a complex operation, hampered by bottlenecks in critical shared infrastructure. Such limitations are estimated to cost Australia about $2 billion pa in lost sales. This project will support the design of new infrastructure and processes to ensure an efficient supply chain. The new science resulting will benefit other coal operations in Australia, and potentially other bulk goods supply chains.Read moreRead less
Centre for Mathematical and Statistical Modelling of Complex Systems. This Centre, formed by a group of high-profile researchers, brings expertise from linked but hitherto disparate areas together. It will place Australia at the forefront of research into complex systems.
The mission of the Centre is to stimulate research in mathematical and statistical modelling of complex systems and to encourage cross-fertilisation of ideas and techniques. The specific objectives are
- to formulate and ana ....Centre for Mathematical and Statistical Modelling of Complex Systems. This Centre, formed by a group of high-profile researchers, brings expertise from linked but hitherto disparate areas together. It will place Australia at the forefront of research into complex systems.
The mission of the Centre is to stimulate research in mathematical and statistical modelling of complex systems and to encourage cross-fertilisation of ideas and techniques. The specific objectives are
- to formulate and analyse mathematical and statistical models for natural and artificial complex systems,
- to use these models to develop an understanding of the behaviour of these systems
- to incorporate this understanding into strategies for management and control.Read moreRead less