Asymptotic Geometric Analysis and Machine Learning. Phenomena in large dimensions appear in a number of domains of Mathematics and adjacent domains of science (e.g. Computer Science), dealing with functions of infinitely growing number of parameters. Here, we focus on several questions naturally linked to Asymptotic Geometric Analysis which have natural applications to Statistical Learning Theory. We intend to use geometric, probabilistic and combinatorial methods to investigate these problems, ....Asymptotic Geometric Analysis and Machine Learning. Phenomena in large dimensions appear in a number of domains of Mathematics and adjacent domains of science (e.g. Computer Science), dealing with functions of infinitely growing number of parameters. Here, we focus on several questions naturally linked to Asymptotic Geometric Analysis which have natural applications to Statistical Learning Theory. We intend to use geometric, probabilistic and combinatorial methods to investigate these problems, with an emphasis on modern tools in Empirical Processes Theory and the theory of Random Matrices.Read moreRead less
New frontiers in statistical mechanics. The chiral Potts model has been introduced in 1981 as a model for commensurate-incommensurate phase transitions in a layer of atoms or molecules adsorbed to a solid surface. If the adsorbed atoms all fit to holes between the surface atoms, the added layer is frozen, commensurate with the surface. If the added atoms are unable to fit holes, the added layer is no longer commensurate with the surface and could be in a floating state. A deeper understanding of ....New frontiers in statistical mechanics. The chiral Potts model has been introduced in 1981 as a model for commensurate-incommensurate phase transitions in a layer of atoms or molecules adsorbed to a solid surface. If the adsorbed atoms all fit to holes between the surface atoms, the added layer is frozen, commensurate with the surface. If the added atoms are unable to fit holes, the added layer is no longer commensurate with the surface and could be in a floating state. A deeper understanding of this and similar phenomena in layered systems has nanotechnological implications. This may affect the design of new small electronic devices or could apply to small biological systems and the development of new medicines. The project will surely lead to new applicable mathematics.Read moreRead less
International linkages between financial and real economy cycles. This project will develop empirical multivariate models of business cycles for different countries, and will study how they are linked via international financial markets. The significance of the project is that the models will integrate previous work done on financial-real economy links in single country settings, and it will explicitly study the effects of disequilibrium in international financial markets (such as overvaluation ....International linkages between financial and real economy cycles. This project will develop empirical multivariate models of business cycles for different countries, and will study how they are linked via international financial markets. The significance of the project is that the models will integrate previous work done on financial-real economy links in single country settings, and it will explicitly study the effects of disequilibrium in international financial markets (such as overvaluation of foreign currency) on individual economies. The project will determine the appropriate domestic monetary policy response to such shocks, and the potential for forecasting both the advent of such shocks and their impact on individual economies.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
Testimonial narratives in the post-colonial era. This project aims to benefit the Australian public by analysing some of the ways testimony has been used as a means of coming to terms with the past in Australia. It aims to amplify the significance of Australian collections, such as the Bringing Them Home Oral History archive at the National Library, both within Australia and internationally, and thereby bring Australian materials and experiences into transnational discussions of testimony and co ....Testimonial narratives in the post-colonial era. This project aims to benefit the Australian public by analysing some of the ways testimony has been used as a means of coming to terms with the past in Australia. It aims to amplify the significance of Australian collections, such as the Bringing Them Home Oral History archive at the National Library, both within Australia and internationally, and thereby bring Australian materials and experiences into transnational discussions of testimony and contested histories. It aims to benefit the research communities in Canada and Australia by providing an interpretative framework for researching and teaching testimonial materials, and by strengthening links between the two countries.Read moreRead less
Transitions to adulthood among young people in migrant families in Australia and Canada: A comparative study. Canada and Australia have had the world's highest immigration rates in recent decades. Central to the success of an immigration programme is the level of integration on immigrants themselves but, more importantly, their children. Australian research has led the world in this field. However, there is much to be gained for the mutual benefit of both countries through comparative research u ....Transitions to adulthood among young people in migrant families in Australia and Canada: A comparative study. Canada and Australia have had the world's highest immigration rates in recent decades. Central to the success of an immigration programme is the level of integration on immigrants themselves but, more importantly, their children. Australian research has led the world in this field. However, there is much to be gained for the mutual benefit of both countries through comparative research using a common framework. More broadly, as demography takes on much greater significance with population aging, there is much to be gained through international cooperation between ANU Demography and Canada's leading centre for demography, the University of Montreal.Read moreRead less
Discovering the First Generation of Stars in the Galaxy - The Most Metal-Poor Stars. The most metal-poor stars carry a fossil record of the early chemical and dynamical evolution of the Galaxy. The most interesting objects are those with the lowest metal abundances representing the earliest generation of stars in the Galaxy. The aim of the present project is to extend the mining of the HES objective spectra to identify extremely metal-deficient giants, which together with the already identified ....Discovering the First Generation of Stars in the Galaxy - The Most Metal-Poor Stars. The most metal-poor stars carry a fossil record of the early chemical and dynamical evolution of the Galaxy. The most interesting objects are those with the lowest metal abundances representing the earliest generation of stars in the Galaxy. The aim of the present project is to extend the mining of the HES objective spectra to identify extremely metal-deficient giants, which together with the already identified dwarfs will be further distilled using 6dF and the DBS. We anticipate trebling the total number of the most metal deficient stars known and targeting these for observations with 8m telescopes.Read moreRead less
The differential impact of performance-based and size-based funding of university research in Australia and Germany. The project will significantly increase knowledge about organisational and individual responses to systems of financing university research. A comparison of University research in Australia to a 'ground state' of research that has not been affected by evaluation-based funding will assist Australian policy makers to better manage the use of tax payer dollars to fund research. The ....The differential impact of performance-based and size-based funding of university research in Australia and Germany. The project will significantly increase knowledge about organisational and individual responses to systems of financing university research. A comparison of University research in Australia to a 'ground state' of research that has not been affected by evaluation-based funding will assist Australian policy makers to better manage the use of tax payer dollars to fund research. The project will identify adaptive behaviour, and will thus support the discussion about possible consequences of the upcoming new Research Quality Framework in Australia. German science policy will benefit from insights into the long-term effects of formula-based funding that cannot as yet be observed in Germany.Read moreRead less
The standard quantum limit and beyond collaboration. Achievement of a limit never before reached in measuring the position of a macroscopic object will produce a new world record for Australia, breaking that limit is akin to breaking the 4 minute mile - a feat previously thought impossible. Not only will this create national pride in our ability to innovate, but the optical technology developed with the opening of the new field of sub-quantum interferometry has the potential to generate tangibl ....The standard quantum limit and beyond collaboration. Achievement of a limit never before reached in measuring the position of a macroscopic object will produce a new world record for Australia, breaking that limit is akin to breaking the 4 minute mile - a feat previously thought impossible. Not only will this create national pride in our ability to innovate, but the optical technology developed with the opening of the new field of sub-quantum interferometry has the potential to generate tangible benefits for Australian industry. This proposal will produce scientists highly trained in technologies related to emerging industries such as photonics.Read moreRead less
The White Dwarf Luminosity Function and the History of Star Formation in the Galaxy. The numbers of white dwarfs at different brightnesses and colours maps out a continuous record of the star formation history of the Milky Way. Our program seeks to unravel that history using white dwarfs discovered with the SkyMapper Survey and thereby understand how our Milky Way galaxy and other galaxies evolved the form and mixture of sub-structures that we see today. These results will be widely disseminated ....The White Dwarf Luminosity Function and the History of Star Formation in the Galaxy. The numbers of white dwarfs at different brightnesses and colours maps out a continuous record of the star formation history of the Milky Way. Our program seeks to unravel that history using white dwarfs discovered with the SkyMapper Survey and thereby understand how our Milky Way galaxy and other galaxies evolved the form and mixture of sub-structures that we see today. These results will be widely disseminated stimulating interest in the natural sciences amongst the general public and the nation's youth. We will train young researchers in cutting edge science, enhancing skills in data analysis, stellar atmosphere and interior computations and problem solving. Read moreRead less