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
Use of Interval Arithmetic and GRID Computing in Computational Molecular Science: Bounding Errors and Locating Global Minima. Catastrophic failure of the Ariane 5 rocket in 1996 and the inability of Patriot missile systems to reach their targets during the 1991 Gulf war were both attributed to numerical computing errors. Less dramatic, but in a similar vein, this project aims to study the numerical stability of contemporary computational molecular science applications. The focus will be on linea ....Use of Interval Arithmetic and GRID Computing in Computational Molecular Science: Bounding Errors and Locating Global Minima. Catastrophic failure of the Ariane 5 rocket in 1996 and the inability of Patriot missile systems to reach their targets during the 1991 Gulf war were both attributed to numerical computing errors. Less dramatic, but in a similar vein, this project aims to study the numerical stability of contemporary computational molecular science applications. The focus will be on linear scaling electronic structure codes, methods that are critical to the study of nano- and bio-materials, and are therefore of great importance to our economic future and medical well being. The project will build expertise within Australia in the area of interval arithmetic, an area that is currently poorly represented.Read moreRead less
A new generation of fractals: theory, computation, and applications particularly to digital imaging. The project develops the mathematical and algorithmic foundations of superfractals and applies these results to a number of different areas, including in particular, digital imaging. For example, the ``third generation'' of mobile communications (3G), combines wireless mobile technology with high data transmission capacities. Currently the requirement for extensive bandwidth is a problem for e ....A new generation of fractals: theory, computation, and applications particularly to digital imaging. The project develops the mathematical and algorithmic foundations of superfractals and applies these results to a number of different areas, including in particular, digital imaging. For example, the ``third generation'' of mobile communications (3G), combines wireless mobile technology with high data transmission capacities. Currently the requirement for extensive bandwidth is a problem for efficient use. Superfractals and the associated colouring algorithm could be used to develop a new system to produce synthetic content for wireless devices that would require only low bandwidth.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
Design Efficient Routing Protocols For WDM Optical Networks. The optical network technique plays a key role to the next-generation networks. In particular, wavelength-division-multiplexing (WDM) optical networks have emerged as a promising candidate for next-generation networks in providing huge available bandwidth and connectivity.
Routing and wavelength assignment problem is one of the fundamental problems in WDM optical networks. In this project we primarily focus on devising and analyzing ....Design Efficient Routing Protocols For WDM Optical Networks. The optical network technique plays a key role to the next-generation networks. In particular, wavelength-division-multiplexing (WDM) optical networks have emerged as a promising candidate for next-generation networks in providing huge available bandwidth and connectivity.
Routing and wavelength assignment problem is one of the fundamental problems in WDM optical networks. In this project we primarily focus on devising and analyzing efficient routing algorithms for all-to-all routing and robust routing in the WDM networks. Incorporated with various known techniques, practical algorithms will be developed. The algorithms and techniques developed in this project will be through simulation, testing, and implementation.Read moreRead less
3D Image segmentation and shape characterisation driven by topological persistence. Tomographic imaging is emerging as a new tool to help tackle a remarkable array of scientific challenges. What distinguishes healthy bone from that of osteoporosis sufferers? How does groundwater contamination spread? Why is a macadamia nut so hard to crack? What causes the iridescence in a butterfly wing? These are just a few of the questions being answered at tomographic facilities in Australia alone. By co ....3D Image segmentation and shape characterisation driven by topological persistence. Tomographic imaging is emerging as a new tool to help tackle a remarkable array of scientific challenges. What distinguishes healthy bone from that of osteoporosis sufferers? How does groundwater contamination spread? Why is a macadamia nut so hard to crack? What causes the iridescence in a butterfly wing? These are just a few of the questions being answered at tomographic facilities in Australia alone. By combining sophisticated mathematics with cutting edge image-processing algorithms, this project will yield a new class of topology driven image analysis techniques that will improve the accuracy and reliability of predictions made from tomographic images.Read moreRead less
Proof Theoretical Methods for Reasoning about Process Equivalence. The emergence of internet commerce has made the issue of secure computing more urgent than ever. A substantial part of the security issues with today's computer applications are due to design problems.
The principles of secure computation have not been fully understood and adequate tools for the construction of secure applications are still lacking. The understanding of the foundations of secure computation is essential in bu ....Proof Theoretical Methods for Reasoning about Process Equivalence. The emergence of internet commerce has made the issue of secure computing more urgent than ever. A substantial part of the security issues with today's computer applications are due to design problems.
The principles of secure computation have not been fully understood and adequate tools for the construction of secure applications are still lacking. The understanding of the foundations of secure computation is essential in building trusted computer applications. Process calculi and logic represent two promising disciplines in which the principles of analysis and design of secure systems can be studied systematically, out of which formal verification tools can be constructed.Read moreRead less
Special Research Initiatives - Grant ID: SR0354793
Funder
Australian Research Council
Funding Amount
$10,000.00
Summary
A Neural Network: Understanding Brain Function. This proposal focuses on the mechanisms that regulate brain function, particularly those underpinning the changes in circuitry (plasticity) caused by altered inputs. As such, its core goal is to create an interface between researchers in the neurosciences, computational modelling, robotics and cognitive sciences in order to facilitate optimum collaborative interactions, identify key research questions and promote training opportunities across a mul ....A Neural Network: Understanding Brain Function. This proposal focuses on the mechanisms that regulate brain function, particularly those underpinning the changes in circuitry (plasticity) caused by altered inputs. As such, its core goal is to create an interface between researchers in the neurosciences, computational modelling, robotics and cognitive sciences in order to facilitate optimum collaborative interactions, identify key research questions and promote training opportunities across a multidisciplinary spectrum. This will drive an integrated and accelerated program of discovery and technological development, enhancing Australia's leadership in this crucial field and helping to highlight new biotechnology opportunities and capture social and economic benefits for the nation. Read moreRead less
Analysis and applications of geometric evolution equations. This project will keep Australian research in geometric analysis at the leading edge of the field internationally. It will produce fundamental new insights in differential geometry and in the understanding of geometric partial differential equations, and will provide a rich and vigorous training ground for graduate and honours students.
Burning Plasmas: resolving energetic particle physics for the International Thermonuclear Experimental Reactor (ITER). Fusion power is a zero greenhouse gas emitting technology, which if realised, offers millions of years of base-load electricity. This promise has prompted the international community to accelerate fusion energy development, principally via support of the next-step technology-enabling experiment, International Thermonuclear Experimental Reactor (ITER). Our project addresses a gr ....Burning Plasmas: resolving energetic particle physics for the International Thermonuclear Experimental Reactor (ITER). Fusion power is a zero greenhouse gas emitting technology, which if realised, offers millions of years of base-load electricity. This promise has prompted the international community to accelerate fusion energy development, principally via support of the next-step technology-enabling experiment, International Thermonuclear Experimental Reactor (ITER). Our project addresses a grand science challenge facing ITER and fusion power: can the products of reaction be kept confined and therefore self-heat the plasma? The answer will affect both the ITER program, and the viability of fusion power. This project provides a low-cost high-impact contribution to the science base for the $16 billion ITER project, whilst growing Australian capability in this strategically important technology.Read moreRead less