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
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
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
Simulating viral evolution and genetic complexity. This project has direct relevance to understanding the growth of viral infections, and therefore has possible practical applications in disease research and control. Examples of these are emerging diseases in humans such as those caused by HIV-1, SARS coronavirus and Dengue virus, which cause considerable human suffering throughout the world. A major part of current research into these diseases involves attempts to model the evolutionary geneti ....Simulating viral evolution and genetic complexity. This project has direct relevance to understanding the growth of viral infections, and therefore has possible practical applications in disease research and control. Examples of these are emerging diseases in humans such as those caused by HIV-1, SARS coronavirus and Dengue virus, which cause considerable human suffering throughout the world. A major part of current research into these diseases involves attempts to model the evolutionary genetics and dynamics of virus populations in order to understand how to control epidemics, develop vaccines and design drugs. The research program is designed to provide new computational modelling tools for this purpose, which may have wider applications as well.
Read moreRead less
Wavelet approaches for solving nonlinear dynamic systems in process engineering. The success of the proposed project will enable us to obtain more accurate numerical solutions for the nonlinear dynamical systems arising from process engineering. This ensures the potential for understanding and optimising industrial and engineering processes. Hence, a wide range of processing industries in Australia, such as agricultural chemicals, mineral processing, food, detergents, pharmaceuticals, ceramics ....Wavelet approaches for solving nonlinear dynamic systems in process engineering. The success of the proposed project will enable us to obtain more accurate numerical solutions for the nonlinear dynamical systems arising from process engineering. This ensures the potential for understanding and optimising industrial and engineering processes. Hence, a wide range of processing industries in Australia, such as agricultural chemicals, mineral processing, food, detergents, pharmaceuticals, ceramics and specialty chemicals will benefit from the results of this project. This will ensure globally competitive production and, therefore, greater contributions to the Australian economy.Read moreRead less
A Compositional Model for Verifying and Programming Ecologies of Smart Internet Devices. Emerging in 21st century computing is what we perceive as device ecologies, or collections of devices that can exhibit smart behaviour, automate tasks, interact synergistically with one another, with users and Internet resources, and provide aid and value in daily life and work. Device ecologies will be seen in areas as diverse as e-commerce, health care, home automation, office automation, manufacturing, an ....A Compositional Model for Verifying and Programming Ecologies of Smart Internet Devices. Emerging in 21st century computing is what we perceive as device ecologies, or collections of devices that can exhibit smart behaviour, automate tasks, interact synergistically with one another, with users and Internet resources, and provide aid and value in daily life and work. Device ecologies will be seen in areas as diverse as e-commerce, health care, home automation, office automation, manufacturing, and defense. This project will develop a novel model and language for analyzing and programming device ecologies. This will be an Australian contribution towards techniques for constructing advanced applications that work over the computing infrastructure of the future.Read moreRead less