Exploring the Frontiers of Feasible Computation. The project aims to delineate the boundary between feasible and infeasible computational problems. A problem is considered feasible if there is an algorithm to solve it in worst-case time bounded by a polynomial in the input size. This is probably impossible for the important class of NP-complete problems. However, typical examples of NP-complete problems can often be solved in polynomial time, because worst-case problems are rare. The project is ....Exploring the Frontiers of Feasible Computation. The project aims to delineate the boundary between feasible and infeasible computational problems. A problem is considered feasible if there is an algorithm to solve it in worst-case time bounded by a polynomial in the input size. This is probably impossible for the important class of NP-complete problems. However, typical examples of NP-complete problems can often be solved in polynomial time, because worst-case problems are rare. The project is relevant to public-key cryptography, where breaking an encryption scheme should be infeasible, and to many real-life situations where NP-complete problems need to be solved, either exactly or approximately.Read moreRead less
Geostructural stability analysis with adaptive mesh refinement. AIMS: To conduct fundamental research on new methods for predicting the stability of geostructures such as tunnels, dams, highways and foundations. To translate this research into innovative computer software and better civil design procedures.
SIGNIFICANCE: Billions of dollars are spent annually on the construction of Australian infrastructure. This project will lead to new algorithms and computer software for designing this inf ....Geostructural stability analysis with adaptive mesh refinement. AIMS: To conduct fundamental research on new methods for predicting the stability of geostructures such as tunnels, dams, highways and foundations. To translate this research into innovative computer software and better civil design procedures.
SIGNIFICANCE: Billions of dollars are spent annually on the construction of Australian infrastructure. This project will lead to new algorithms and computer software for designing this infrastructure. Particular emphasis will be placed on the development of adaptive methods for three-dimensional problems involving complex ground profiles, where current procedures are inadequate.
EXPECTED OUTCOMES: Cutting-edge algorithms and computer software that will lead to cheaper and safer design of civil infrastructure. This will be accompanied by top-level refereed publications and a book.Read moreRead less
The diversity and assembly of optics in nature. Optics, such as the design of new coloured reflectors, is a research strength for Australia. A reason for this is the potential for application - optical devices can be found far and wide in our everyday lives, from security devices on banknotes (holograms), to computer monitors (LCDs). An interesting parallel exists in nature - animals possess similar optical devices to those we use. So it makes sense to examine the animals' devices in a search fo ....The diversity and assembly of optics in nature. Optics, such as the design of new coloured reflectors, is a research strength for Australia. A reason for this is the potential for application - optical devices can be found far and wide in our everyday lives, from security devices on banknotes (holograms), to computer monitors (LCDs). An interesting parallel exists in nature - animals possess similar optical devices to those we use. So it makes sense to examine the animals' devices in a search for new reflectors, and that's an aim of this project. And since reflectors are often difficult to make, why not let animals make reflectors for us? That is a further aim of this project. Soon we may have genetically-altered butterfly scales embedded in our credit cards that cannot be counterfeited.Read moreRead less
Stochastic Modelling of Genetic Regulatory Networks: Subtitle - Genetic Regulation is a Noisy Business. The completion of the human genome marked the culmination of one hundred years of reductionist science in cell biology. Although further bioinformatics analysis will continue, the focus is shifting towards synthesis and understanding how the regulatory genetic components dynamically interact to form functional phenotypes. The key to this is the understanding of the roles of stochasticity in ....Stochastic Modelling of Genetic Regulatory Networks: Subtitle - Genetic Regulation is a Noisy Business. The completion of the human genome marked the culmination of one hundred years of reductionist science in cell biology. Although further bioinformatics analysis will continue, the focus is shifting towards synthesis and understanding how the regulatory genetic components dynamically interact to form functional phenotypes. The key to this is the understanding of the roles of stochasticity in cellular processes. This project will explore these roles and will develop an integrated complex systems modelling, simulation and visualisation framework. This will be used on an exemplar application for lineage commitment in haematopoiesis and for exploring and validating genetic regulatory models in general.Read moreRead less
Quantum Information and Entanglement: a new framework for Science and Technology with quantum many-body systems. The expected outcome of the research program is a significant boost in the understanding of quantum many-body systems, which will reinforce Australia's competitiveness and international profile in aspects of breakthrough science and frontier technologies. By developing both the underpinning theory and innovative computational tools, and by applying them to problems of recognised impor ....Quantum Information and Entanglement: a new framework for Science and Technology with quantum many-body systems. The expected outcome of the research program is a significant boost in the understanding of quantum many-body systems, which will reinforce Australia's competitiveness and international profile in aspects of breakthrough science and frontier technologies. By developing both the underpinning theory and innovative computational tools, and by applying them to problems of recognised importance, this program will have direct implications in areas of condensed matter physics, quantum statistical mechanics, particle physics, complex systems, quantum information science and technology, quantum computation, engineered quantum systems and nanotechnology. Read moreRead less
lll-conditioned and constrained inverse problems in Signal Processing, Telecommunications and Control. Aims: To carry out fundamental research on methods for understanding and solving inverse problems in signal processin, telecommunications and control. To translate these fundamental results into practical outcomes of importance to Australian Industry.
Significance: Signal Processing, Telecommunications and Control are core technologies for all modern societies. The research proposed here ....lll-conditioned and constrained inverse problems in Signal Processing, Telecommunications and Control. Aims: To carry out fundamental research on methods for understanding and solving inverse problems in signal processin, telecommunications and control. To translate these fundamental results into practical outcomes of importance to Australian Industry.
Significance: Signal Processing, Telecommunications and Control are core technologies for all modern societies. The research proposed here will generate new methods for designing and understanding key algorithms in these areas. Particular emphasis will be placed on difficult problems involving ill-conditioned inverses or those having hard constraints that must be satisfied.
Expected Outcomes: A prime outcome will be fundamental research results at the highest international level. This will be accompanied by top level refereed publications and books. There will also be direct and tangible benefits to Australian industry.Read moreRead less
Adaptive and Integrated Resource Allocation. By leveraging progress in communication technologies, adaptive and integrated optimization systems will open innovative application areas critical to Australia, yet outside the scope of existing optimization technology. For instance, they will dispatch and reallocate ambulances in real time, help contain pandemics, allocate resources dynamically to extinguish bushfires, and assist in failure recovery of energy infrastrutures. These systems will also s ....Adaptive and Integrated Resource Allocation. By leveraging progress in communication technologies, adaptive and integrated optimization systems will open innovative application areas critical to Australia, yet outside the scope of existing optimization technology. For instance, they will dispatch and reallocate ambulances in real time, help contain pandemics, allocate resources dynamically to extinguish bushfires, and assist in failure recovery of energy infrastrutures. These systems will also solve existing logistics and manufacturing applications better, making these industries more effective and reactive. The project also aims at establishing a center of excellence in optimization in Melbourne with an international reputation in research, teaching, and industrial collaboration.Read moreRead less
Group actions: combinatorics, geometry and computation. Science today relies on digital technologies using quantised and digital information. Because of the discrete nature of digital information, much of the mathematics underpinning these advances comes from the core disciplines of algebra and combinatorics within which this proposal falls. All aspects of the proposal focus on strengthening theoretical understanding of algebraic and combinatorial structures, and increasing computational power f ....Group actions: combinatorics, geometry and computation. Science today relies on digital technologies using quantised and digital information. Because of the discrete nature of digital information, much of the mathematics underpinning these advances comes from the core disciplines of algebra and combinatorics within which this proposal falls. All aspects of the proposal focus on strengthening theoretical understanding of algebraic and combinatorial structures, and increasing computational power for working with them. The fundamental research outcomes, in terms of theorems, algorithms, and the training of young research mathematicians, will thus both enhance the high international standing of Australian mathematics, and strengthen Australia's capabilities in these important areas.Read moreRead less
Molecular control of apoptosis and protein homeostasis. A million cells are produced every second by cell division. At the same time a million cells commit suicide by a process called apoptosis. When cells fail to die when they should they can develop into cancers. In heart attacks, stroke and neurodegenerative diseases, many cells appear to activate their self destruct mechanism to die unnecessarily. Drugs that can cause cancer cells to kill themselves, or drugs that prevent cells dying when th ....Molecular control of apoptosis and protein homeostasis. A million cells are produced every second by cell division. At the same time a million cells commit suicide by a process called apoptosis. When cells fail to die when they should they can develop into cancers. In heart attacks, stroke and neurodegenerative diseases, many cells appear to activate their self destruct mechanism to die unnecessarily. Drugs that can cause cancer cells to kill themselves, or drugs that prevent cells dying when they shouldn't, would make a major impact on many important diseases. Understanding the molecular mechanisms of cell death is the first step towards developing these drugs.Read moreRead less
Ecology and evolution in dynamic systems: a new approach to conserving Australian biodiversity. Australia has different ecosystems and different species than the rest of the world, and we need a different approach to conserve and manage our unique animals. This project will develop a new, specifically Australian-oriented approach to conservation biology.