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
Market Model of Implied Volatility. The outcomes of the project will constitute a new methodology with a wide range of tools to handle the market uncertainties with practical applications in the finance industry. Consequently, the benefits of this project to the nation include enhancing its scientific standing in the international community, the training of Australian researchers in forefront methods of modelling of complex stochastic systems and the benefits resulting from its commercially rele ....Market Model of Implied Volatility. The outcomes of the project will constitute a new methodology with a wide range of tools to handle the market uncertainties with practical applications in the finance industry. Consequently, the benefits of this project to the nation include enhancing its scientific standing in the international community, the training of Australian researchers in forefront methods of modelling of complex stochastic systems and the benefits resulting from its commercially relevant elements. 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
New models and valuation methods for portfolio credit derivatives. Portfolio credit derivatives provide a mechanism to simultaneously transfer credit exposures to a large number of counterparties within a single transaction. However, no generally accepted valuation model for such credit portfolios is currently available. This project aims to develop new mathematically-based technologies to allow institutions such as Westpac (the Industry Partner) to optimally manage their credit exposures. The o ....New models and valuation methods for portfolio credit derivatives. Portfolio credit derivatives provide a mechanism to simultaneously transfer credit exposures to a large number of counterparties within a single transaction. However, no generally accepted valuation model for such credit portfolios is currently available. This project aims to develop new mathematically-based technologies to allow institutions such as Westpac (the Industry Partner) to optimally manage their credit exposures. The outcome will be a class of superior models and operational risk management tools that will ensure the value and risks of these transactions are properly understood and accurately quantified. These models will enhance both the knowledge base of the industry and academic scholarship.
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