Inference in partially non-stationary time series models. Economic theories typically specify the long-run relationship between economic variables. However, researchers usually examine the long-run features of the data by fitting a restrictive class of models using criteria that have only proven useful for short-term forecasting. In this project we consider alternative models and modelling strategies that are appropriate for the study of the long-run. We also develop computer intensive (bootstra ....Inference in partially non-stationary time series models. Economic theories typically specify the long-run relationship between economic variables. However, researchers usually examine the long-run features of the data by fitting a restrictive class of models using criteria that have only proven useful for short-term forecasting. In this project we consider alternative models and modelling strategies that are appropriate for the study of the long-run. We also develop computer intensive (bootstrap) methods, which will provide a much-needed improvement over the existing (asymptotic) methods for making inference about the long-run. Our research will lead to more reliable models for long-term planning in business, industry and government.Read moreRead less
Vector ARMA Models and Macroeconomic Modelling: Some New Methodology and Algorithms. Economic variables are strongly related to each other, as well as being strongly related to their recent history. As a result, good dynamic multivariate models are crucial for effective policy making and forecasting in areas of vital national importance such as monetary and fiscal policy, environmental policy and tourism. Our project advances the frontiers of knowledge in multivariate time series modelling. The ....Vector ARMA Models and Macroeconomic Modelling: Some New Methodology and Algorithms. Economic variables are strongly related to each other, as well as being strongly related to their recent history. As a result, good dynamic multivariate models are crucial for effective policy making and forecasting in areas of vital national importance such as monetary and fiscal policy, environmental policy and tourism. Our project advances the frontiers of knowledge in multivariate time series modelling. The outcome of this project will be immediately useful for macroeconomic policy makers such as the Reserve Bank of Australia and the Treasury, and for industry bodies such as Tourism Australia. 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
Equations of Monge-Ampere type and applications. Many fundamental problems in geometry, physics and applied sciences are related to equations of Monge-Ampere type. In recent years there have been rapid developments in the study of these equations with major breakthroughs made by the proposers. This project aims at new discoveries and findings in theory and applications by resolving outstanding open problems, and enhance Australian leadership, expertise, and training in key areas of mathematics a ....Equations of Monge-Ampere type and applications. Many fundamental problems in geometry, physics and applied sciences are related to equations of Monge-Ampere type. In recent years there have been rapid developments in the study of these equations with major breakthroughs made by the proposers. This project aims at new discoveries and findings in theory and applications by resolving outstanding open problems, and enhance Australian leadership, expertise, and training in key areas of mathematics and its applications.Read moreRead less
Nonlinear elliptic partial differential equations and applications. Many fundamental advances in modern technology, science and economics are driven by the analysis of nonlinear models based on nonlinear partial differential equations. In recent years there has been increasing use in applications of partial differential equations of elliptic type with major discoveries made and longstanding problems resolved by the two Chief Investigators, who have in return received many international accolades ....Nonlinear elliptic partial differential equations and applications. Many fundamental advances in modern technology, science and economics are driven by the analysis of nonlinear models based on nonlinear partial differential equations. In recent years there has been increasing use in applications of partial differential equations of elliptic type with major discoveries made and longstanding problems resolved by the two Chief Investigators, who have in return received many international accolades. This project provides for the continuation of Australian leadership in key strategic areas of international science, such as optimal transportation, as well as the continued building of related expertise and training.Read moreRead less
Nonlinear elliptic equations and applications. Many fundamental advances in modern technology, science and economics are driven through the analysis of nonlinear models based on nonlinear partial differential equations. In recent years there has been an explosion in applications of partial differential equations of elliptic type with major discoveries in underlying theory being made by the two Chief Investigators. This project provides for the continuation of Australian leadership in key st ....Nonlinear elliptic equations and applications. Many fundamental advances in modern technology, science and economics are driven through the analysis of nonlinear models based on nonlinear partial differential equations. In recent years there has been an explosion in applications of partial differential equations of elliptic type with major discoveries in underlying theory being made by the two Chief Investigators. This project provides for the continuation of Australian leadership in key strategic areas of international science, such as optimal transportation, as well as the continued building of related expertise and training.Read moreRead less
Variational problems of Monge-Ampere type. Nonlinear models dominate the frontline of modern theoretical and applied mathematics. This project concerns contemporary variational problems with analysis linked strongly to the Monge-Ampere equation, which is a fully nonlinear partial differential equation. Its study in recent years has generated complex and deep theoretical issues along with a diverse range of applications. The proposal is divided into two themes, affine maximal surfaces (involving ....Variational problems of Monge-Ampere type. Nonlinear models dominate the frontline of modern theoretical and applied mathematics. This project concerns contemporary variational problems with analysis linked strongly to the Monge-Ampere equation, which is a fully nonlinear partial differential equation. Its study in recent years has generated complex and deep theoretical issues along with a diverse range of applications. The proposal is divided into two themes, affine maximal surfaces (involving fourth order partial differential equations of Monge-Ampere type) and optimal transportation (where Monge-Ampere theory has been applied successfully in recent years). Each of these builds upon major recent research breakthroughs of the proposers.Read moreRead less
Singular phenomena for nonlinear partial differential equations arising in applications. The development of nonlinear Partial Differential Equations (PDEs) in Australia is recognized worldwide through the outstanding contributions of mathematicians from the ANU, University of Sydney and other top Australian Universities. This project undertakes research in the PDEs field and follows directions of very current interest at an international level. Beyond the ANU, the project will enhance expertise ....Singular phenomena for nonlinear partial differential equations arising in applications. The development of nonlinear Partial Differential Equations (PDEs) in Australia is recognized worldwide through the outstanding contributions of mathematicians from the ANU, University of Sydney and other top Australian Universities. This project undertakes research in the PDEs field and follows directions of very current interest at an international level. Beyond the ANU, the project will enhance expertise in Australia in very active areas of mathematics research related to applications in physics, biology and other applied disciplines. Moreover, it will foster collaboration with mathematicians of international standing from Australia and abroad. Read moreRead less
Self-assembly and complexity: networks and patterns from materials to markets. Self-assembly leads the formation of patterns without external directing agents. It is responsible for the growth of complex multiscale structures found in biology and materials science and is a crucial concept for development of viable nanotechnologies. Complex systems, from biological ecosystems to financial markets and the Internet, are also characterized by spontaneous clustering and linkages that determine their ....Self-assembly and complexity: networks and patterns from materials to markets. Self-assembly leads the formation of patterns without external directing agents. It is responsible for the growth of complex multiscale structures found in biology and materials science and is a crucial concept for development of viable nanotechnologies. Complex systems, from biological ecosystems to financial markets and the Internet, are also characterized by spontaneous clustering and linkages that determine their collective behaviour. The project will investigate in detail the geometry, topology, materials science and statistical physics of networks, leading to design and characterization of robust self-assembled materials and complex systems.Read moreRead less
Analysis and applications of geometric evolution equations. This project will keep Australian research in geometric analysis at the leading edge of the field internationally. It will produce fundamental new insights in differential geometry and in the understanding of geometric partial differential equations, and will provide a rich and vigorous training ground for graduate and honours students.