Quantum correlations in ultra-cold Fermi gases. The field of ultra-cold Fermi gases provides a unique opportunity to develop and test theoretical methods for novel experimental environments of exceptional purity and simplicity. This improved understanding will have potential applications in many fields, ranging from the astrophysics of neutron stars to condensed matter systems such as superconductors or nanostructures. Just as importantly, the project will develop linkages with world leading the ....Quantum correlations in ultra-cold Fermi gases. The field of ultra-cold Fermi gases provides a unique opportunity to develop and test theoretical methods for novel experimental environments of exceptional purity and simplicity. This improved understanding will have potential applications in many fields, ranging from the astrophysics of neutron stars to condensed matter systems such as superconductors or nanostructures. Just as importantly, the project will develop linkages with world leading theoretical groups, which will greatly aid research student education. There are direct applications to experiments on molecule formation with ultra-cold fermions in the ARC Centre of Excellence for Quantum-Atom Optics.Read moreRead less
Feedback Processes in Galaxy Formation. We have an opportunity to combine the best Australian theory with the best local and international telescopes, to probe the murky story of how galaxies form and why they look they way they do today. By looking back to a time when the Universe was only 1 billion years old, and comparing what we see with cutting edge supercomputer simulations plus pure theory, we will gain insight into the birth of entire galaxies. The results will form part of the study o ....Feedback Processes in Galaxy Formation. We have an opportunity to combine the best Australian theory with the best local and international telescopes, to probe the murky story of how galaxies form and why they look they way they do today. By looking back to a time when the Universe was only 1 billion years old, and comparing what we see with cutting edge supercomputer simulations plus pure theory, we will gain insight into the birth of entire galaxies. The results will form part of the study of how the universe works - that is driving astrophysics today, and represents pure research for the sake of advancing knowledge and showing us where we fit into the Universe. In doing so we will also advance Australia's base of theoretical and computational expertise.Read moreRead less
Black Hole Accretion: The Effects of Magnetic Fields and Radiation. This project represents a significant contribution by Australian researchers to one of Science's Big Questions: How do Black Holes channel gravitational energy into radiation at many different energies and into high speed outflows. It offers Australian Astronomy an opportunity to expand its endeavours into the rapidly growing and high profile areas of high-energy and computational astrophysics, injecting new expertise into the i ....Black Hole Accretion: The Effects of Magnetic Fields and Radiation. This project represents a significant contribution by Australian researchers to one of Science's Big Questions: How do Black Holes channel gravitational energy into radiation at many different energies and into high speed outflows. It offers Australian Astronomy an opportunity to expand its endeavours into the rapidly growing and high profile areas of high-energy and computational astrophysics, injecting new expertise into the interpretation of multi-wavelength data on accreting black holes. We will train a new cohort of internationally competitive students and early career researchers, equipping them with the advanced computational and modelling skills that are in increasingly higher demand in many technology-based industries.Read moreRead less
Algorithms and computation in four-dimensional topology. This project will establish Australia as a world leader in computational topology, particularly in the all-important areas of topology in three and four dimensions. In four dimensions this work will be truly groundbreaking; until now the field has seen little development due to the complexity of the algorithms and computations required, and the applicant is in the unique position of having the necessary tools to make significant progress ....Algorithms and computation in four-dimensional topology. This project will establish Australia as a world leader in computational topology, particularly in the all-important areas of topology in three and four dimensions. In four dimensions this work will be truly groundbreaking; until now the field has seen little development due to the complexity of the algorithms and computations required, and the applicant is in the unique position of having the necessary tools to make significant progress in a feasible time frame. In three dimensions this project will strengthen the distinguished computational topology community in Melbourne, led by pioneers such as Rubinstein, Goodman, Hodgson as well as the applicant himself.Read moreRead less
RichProlog, a System for Deducing, Inducing and Learning in the Declarative Programming Paradigm. The aim of the project is to contribute to bridge the gap between learning and logic, theoretically and practically. Our purpose is to extend considerably the scope of the declarative programming paradigm, and build a system that can be used to solve learning or discovery problems as encountered in Artificial Intelligence. The system will enable rapid prototyping when applied to problems involving d ....RichProlog, a System for Deducing, Inducing and Learning in the Declarative Programming Paradigm. The aim of the project is to contribute to bridge the gap between learning and logic, theoretically and practically. Our purpose is to extend considerably the scope of the declarative programming paradigm, and build a system that can be used to solve learning or discovery problems as encountered in Artificial Intelligence. The system will enable rapid prototyping when applied to problems involving deduction, induction, and nonmonotonic reasoning. We intend the system to become a standard tool for tackling a broad range of applications, and the underlying theory to provide new insights on the logical foundations of Artificial Intelligence.
Read moreRead less
Efficient Computational Methods for Constrained Path Problems. We consider a class of path design problems which arise when an object needs to traverse between two points through a specified region. The region may be a continuous space or the path may be restricted to the edges of a network. The path must optimise a prescribed criterion such
as risk, reliability or cost and satisfy a number of constraints.
Problems of this type readily arise in the defence, transport and
communication i ....Efficient Computational Methods for Constrained Path Problems. We consider a class of path design problems which arise when an object needs to traverse between two points through a specified region. The region may be a continuous space or the path may be restricted to the edges of a network. The path must optimise a prescribed criterion such
as risk, reliability or cost and satisfy a number of constraints.
Problems of this type readily arise in the defence, transport and
communication industries. In addition to efficient solution methods
for these problems the project will produce computational tools for
a wide range of related network routing problems.Read moreRead less
Efficient Design for Generalized Linear Models. In industrial, commercial and social research, we collect data in order to predict the outcome of a process based on the inputs to that process. We want to maximize the information that is gained from the data. Good planning is crucially important to achieve this. This project will determine how best to select the inputs to the process for many situations that occur in research. A computer package to answer these questions will be written. The nati ....Efficient Design for Generalized Linear Models. In industrial, commercial and social research, we collect data in order to predict the outcome of a process based on the inputs to that process. We want to maximize the information that is gained from the data. Good planning is crucially important to achieve this. This project will determine how best to select the inputs to the process for many situations that occur in research. A computer package to answer these questions will be written. The nation will benefit from a fundamental increase in efficiency of research and, therefore, in efficient use of research dollars.Read moreRead less
Molecular Energies and Non-Bonded Interactions. The development of new techniques that allow non-bonded chemical interactions to be modelled and predicted reliably and accurately will allow researchers in the chemical, and pharmaceutical sciences to predict the physical and chemical behaviour of moderately large molecular systems with an accuracy and efficiency that has not previously been possible. The software that will result will enable cost and time savings in molecular design within the m ....Molecular Energies and Non-Bonded Interactions. The development of new techniques that allow non-bonded chemical interactions to be modelled and predicted reliably and accurately will allow researchers in the chemical, and pharmaceutical sciences to predict the physical and chemical behaviour of moderately large molecular systems with an accuracy and efficiency that has not previously been possible. The software that will result will enable cost and time savings in molecular design within the medical and agricultural contexts.Read moreRead less
Control of Transitions in Wakes and Swirling Flows. We will attack industrially-important problems in fluid mechanics by building new, and substantially enhancing existing, international collaborations between key complementary teams of internationally-recognised French and Australian researchers. Funding will support the exchange of 6 senior staff and 3 graduate students, which, in turn, will measurably benefit the research output of a further 20 graduate students and 7 post-doctoral fellows as ....Control of Transitions in Wakes and Swirling Flows. We will attack industrially-important problems in fluid mechanics by building new, and substantially enhancing existing, international collaborations between key complementary teams of internationally-recognised French and Australian researchers. Funding will support the exchange of 6 senior staff and 3 graduate students, which, in turn, will measurably benefit the research output of a further 20 graduate students and 7 post-doctoral fellows associated with closely-related projects. From the Australian perspective, the planned exchanges will bring new research expertise, knowledge and skills, which will be focussed on a diverse range of applications. Target industries (with existing collaborations) include Airbus and Dassault Aviation in Europe, and Aerosonde and Warman pumps in Australia. Read moreRead less
ARC Centre for Complex Dynamic Systems & Control. Complex dynamic systems are an inescapable feature of the world we live in. Modelling, analysing and optimizing complex behaviour is crucial for environment, process industry, biomedical, energy distribution, transportation and other applications. The Centre for Complex Dynamic Systems and Control will become an international authority in the analysis, design and optimization of complex dynamic systems, pursuing both outstanding fundamental and c ....ARC Centre for Complex Dynamic Systems & Control. Complex dynamic systems are an inescapable feature of the world we live in. Modelling, analysing and optimizing complex behaviour is crucial for environment, process industry, biomedical, energy distribution, transportation and other applications. The Centre for Complex Dynamic Systems and Control will become an international authority in the analysis, design and optimization of complex dynamic systems, pursuing both outstanding fundamental and cutting edge applied research outcomes. These outcomes will be of specific benefit to partner organizations including minerals, process, metal forming, and automotive industries.Read moreRead less