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
A New Approach to Air Traffic Management to Deliver Significantly Reduced Environmental Impact and System-wide Efficiencies. Aviation is often cited as a major contributor to harmful emissions in the upper atmosphere. The primary outcome of this project is the development of tools that will enable aviation industry stakeholders to optimise the deployment of 4-Dimensional User Preferred Trajectories across Australian airspace. It is expected that this will result in significant environmental bene ....A New Approach to Air Traffic Management to Deliver Significantly Reduced Environmental Impact and System-wide Efficiencies. Aviation is often cited as a major contributor to harmful emissions in the upper atmosphere. The primary outcome of this project is the development of tools that will enable aviation industry stakeholders to optimise the deployment of 4-Dimensional User Preferred Trajectories across Australian airspace. It is expected that this will result in significant environmental benefit, through reductions in fuel burn for each flight, and increases in system effectiveness. The project will enable better analysis of Australian aviation environmental effect, whilst at the same time allowing the aviation industry to continue to contribute to Australia's sustainable economic growth. Read moreRead less
Nano-Rheology and Nano-Tribology: Atomistic Simulation of Boundary Lubrication. Manufacturing in atomic level is going to transform the efficiency level in many important applications. As molecular biology transformed medical and biological sciences,so molecular level material design and the techniques involved are going to significantly affect the engineering applications and manufacturing in coming decades. We have no doubt the benefits will flow from the project to many disciplines that are c ....Nano-Rheology and Nano-Tribology: Atomistic Simulation of Boundary Lubrication. Manufacturing in atomic level is going to transform the efficiency level in many important applications. As molecular biology transformed medical and biological sciences,so molecular level material design and the techniques involved are going to significantly affect the engineering applications and manufacturing in coming decades. We have no doubt the benefits will flow from the project to many disciplines that are critical in manufacturing and commercialisation of nano-devices. The results will position Australia in the forefront of one of the most important leading edge technologies in the world. This not only will improve Australia's research profile in the world but also will enable it to capitalize on any future commercial outcomesRead moreRead less
Stochastic Methods for Dynamic Risk Management. In today's environment of intense competitive pressures, volatile economic conditions, rising bankruptcies, and increasing levels of consumer and commercial debt, an organization's ability to effectively monitor and manage its credit risk can mean the difference between success and survival. The improvement of dynamic risk management systems is also an essential part of the new regulatory Capital Adequacy Proposal Basel II in which risk-sensitive c ....Stochastic Methods for Dynamic Risk Management. In today's environment of intense competitive pressures, volatile economic conditions, rising bankruptcies, and increasing levels of consumer and commercial debt, an organization's ability to effectively monitor and manage its credit risk can mean the difference between success and survival. The improvement of dynamic risk management systems is also an essential part of the new regulatory Capital Adequacy Proposal Basel II in which risk-sensitive capital requirements for credit portfolios and internal models of credit risk are advocated. The goal of the project is to develop novel stochastic methods for managing of credit risk and to bring theoretical innovations developed within the project to practical implementations. 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
Novel time-frequency techniques for analysing and modeling non-stationary physical and engineering data. This project addresses an issue of fundamental importance in science and technology, where non-stationary data (which have time-varying statistics) are ubiquitous. Therefore, the development of time-frequency tools to model and analyse non-stationary data has great potential for impact in a wide range of areas reaching from seismic data analysis to biomedical signal processing to sonar and ra ....Novel time-frequency techniques for analysing and modeling non-stationary physical and engineering data. This project addresses an issue of fundamental importance in science and technology, where non-stationary data (which have time-varying statistics) are ubiquitous. Therefore, the development of time-frequency tools to model and analyse non-stationary data has great potential for impact in a wide range of areas reaching from seismic data analysis to biomedical signal processing to sonar and radar. Employing techniques to be developed in this proposal, we expect to be able to classify and detect features of non-stationary data that were unrecognisable using hitherto known methods.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