Special Research Initiatives - Grant ID: SR0354727
Funder
Australian Research Council
Funding Amount
$20,000.00
Summary
Mathematics for Government, Industry and Community -- The *Magic* Network. The *Magic* network will promote the use of mathematics by government, industry and community to analyse real problems and implement practical solutions. It will connect the most promising young Australian mathematicians to experienced researchers with strong research teams linked directly to the broader community. Our program will demand research excellence, emphasise a sustainable society, support outstanding young mat ....Mathematics for Government, Industry and Community -- The *Magic* Network. The *Magic* network will promote the use of mathematics by government, industry and community to analyse real problems and implement practical solutions. It will connect the most promising young Australian mathematicians to experienced researchers with strong research teams linked directly to the broader community. Our program will demand research excellence, emphasise a sustainable society, support outstanding young mathematicians and create opportunities for promising postgraduate students. We will offer scholarships for professional development and fund research visits and exchanges. *Magic* will provide tangible incentives for young Australian mathematicians and a new generation of researchers and research leaders.Read moreRead less
Nonlocal Statistical Mechanics and Logarithmic Conformal Field Theory. Australia has an enviable track record as an innovator and developer of advanced materials. This project in strategic basic research consists of theoretical work within the disciplines of statistical mechanics and conformal field theory to determine the profound role of nonlocal interactions, such as connectivities, in determining the critical physical properties of materials. Connectivities play a significant role in diverse ....Nonlocal Statistical Mechanics and Logarithmic Conformal Field Theory. Australia has an enviable track record as an innovator and developer of advanced materials. This project in strategic basic research consists of theoretical work within the disciplines of statistical mechanics and conformal field theory to determine the profound role of nonlocal interactions, such as connectivities, in determining the critical physical properties of materials. Connectivities play a significant role in diverse applications such as the gelation of polymers, random fuse networks, the spatial spread of epidemics and bushfires and the tertiary recovery of oil. This research will be practically useful in engineering the physical properties of advanced materials such as liquid crystals, gels, polymers and other materials.Read moreRead less
Exact solution of generalized models of polymers and percolation in two dimensions. Originating with the work of Rodney Baxter, Australia is the world leader in exactly solvable lattice models in two dimensions. This project, in strategic basic research, aims to continue this tradition and extend it by solving exactly new classes of two-dimensional lattice models involving nonlocal degrees of freedom. Since this will lead to new universal classes of thermodynamic behaviours for a diverse range o ....Exact solution of generalized models of polymers and percolation in two dimensions. Originating with the work of Rodney Baxter, Australia is the world leader in exactly solvable lattice models in two dimensions. This project, in strategic basic research, aims to continue this tradition and extend it by solving exactly new classes of two-dimensional lattice models involving nonlocal degrees of freedom. Since this will lead to new universal classes of thermodynamic behaviours for a diverse range of polymer-like systems, the potential for exploitation and commercialization is almost limitless. Potential applications include percolation of contaminants through aquifers, the spatial spread of epidemics and bushfires, the tertiary recovery of oil and filtering drinking water.Read moreRead less
Options For Proofs: New Perspectives on Propositional Logic. Philosophers and logicians recognise that proof is important, but they do not agree on what proofs are. Recent research in logic has greatly expanded our notion of proof, but this research is not unified. We need a coherent, general and applicable concept of proof. This project will unify the literature on proof and bring these insights to bear in the philosophy of language. It will show how proof can help analyse many features of ....Options For Proofs: New Perspectives on Propositional Logic. Philosophers and logicians recognise that proof is important, but they do not agree on what proofs are. Recent research in logic has greatly expanded our notion of proof, but this research is not unified. We need a coherent, general and applicable concept of proof. This project will unify the literature on proof and bring these insights to bear in the philosophy of language. It will show how proof can help analyse many features of language (more than just logical constants) but that the role of inference does not justify one kind of proof in preference to others.Read moreRead less
Paraconsistent Foundations of Mathematics. In the English-speaking world, Australia is already the most prominent centre for paraconsistent research, known for development of radical new ideas advanced here in the last few decades. The program is ready to mature into its next phase, making important and lasting contributions to logic, philosophy, and mathematics. The Australian academy will derive international recognition for impressive new mathematics, and innovative philosophical explanations ....Paraconsistent Foundations of Mathematics. In the English-speaking world, Australia is already the most prominent centre for paraconsistent research, known for development of radical new ideas advanced here in the last few decades. The program is ready to mature into its next phase, making important and lasting contributions to logic, philosophy, and mathematics. The Australian academy will derive international recognition for impressive new mathematics, and innovative philosophical explanations of truth and proof. Read moreRead less
Logic, Abstraction and Construction. This is unashamedly a pure research project in logic. It aims to enhance our understanding of core issues in the nature of the world and how we can appropriately reason about it. Nevertheless, the techniques developed in logic inevitably find a home in applications in computer science, linguistics, mathematics and related fields. This project, in particular, will develop tools for realistically reasoning about the kinds of abstract or constructed objects on ....Logic, Abstraction and Construction. This is unashamedly a pure research project in logic. It aims to enhance our understanding of core issues in the nature of the world and how we can appropriately reason about it. Nevertheless, the techniques developed in logic inevitably find a home in applications in computer science, linguistics, mathematics and related fields. This project, in particular, will develop tools for realistically reasoning about the kinds of abstract or constructed objects one finds in mathematics, and with the vague or contradictory concepts we use in everyday discourse. In addition, the project will provide research training for postgraduate students, and it will strengthen an already internationally recognised research centre in philosophical logic.Read moreRead less
Special Research Initiatives - Grant ID: SR0354605
Funder
Australian Research Council
Funding Amount
$10,000.00
Summary
The Earth System Dynamics Network for a Sustainable Australia. Earth comprises systems of enormous complexity that sustain all life and control the distribution of mineral, energy and water resources. Thus understanding these dynamic systems provides the key to sustainable resource usage. The aim of The Earth System Dynamics Network is to facilitate scientific interactions through establishment of an earth and environmental sciences grid that links national and regional data assets with high per ....The Earth System Dynamics Network for a Sustainable Australia. Earth comprises systems of enormous complexity that sustain all life and control the distribution of mineral, energy and water resources. Thus understanding these dynamic systems provides the key to sustainable resource usage. The aim of The Earth System Dynamics Network is to facilitate scientific interactions through establishment of an earth and environmental sciences grid that links national and regional data assets with high performance computing through open sourced middleware. The result will be an unparalleled predictive capacity for complex Earth systems. The outcome will be confidence in the knowledge that underpins our decisions as stakeholders to keep Australia sustainable.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
Centre for Quantum Computer Technology. Development of a quantum computer (QC) for massively parallel computing is one of the major challenges in science and engineering this century. Since 2000 the Centre has achieved two major breakthroughs in this field: constructing the key functional element of a silicon solid-state QC; and co-inventing a scheme for efficient linear optics QC. The proposed CoE aims to align these two nationally co-ordinated research programs with the world's existing comput ....Centre for Quantum Computer Technology. Development of a quantum computer (QC) for massively parallel computing is one of the major challenges in science and engineering this century. Since 2000 the Centre has achieved two major breakthroughs in this field: constructing the key functional element of a silicon solid-state QC; and co-inventing a scheme for efficient linear optics QC. The proposed CoE aims to align these two nationally co-ordinated research programs with the world's existing computer and IT industries to realise a fault-tolerant multiple qubit quantum processor with integrated control and qubit chips, and develop a scaleable optical quantum processor providing significant economic benefit to Australia.Read moreRead less