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
Singular photonics: twisted light and optical vortices.
This project will help to establish and support a world-leading research team in Australia in the field of singular photonics and the physics of twisted light; it will help to return the leading positions of the Australian physics in the field of singular optics, and it will initiate a design of a novel generation of photonic devices operating with vortex beams. The project will promote this field in order to enhance its rapid development ....Singular photonics: twisted light and optical vortices.
This project will help to establish and support a world-leading research team in Australia in the field of singular photonics and the physics of twisted light; it will help to return the leading positions of the Australian physics in the field of singular optics, and it will initiate a design of a novel generation of photonic devices operating with vortex beams. The project will promote this field in order to enhance its rapid development and facilitate the emergence of novel technologies in Australia; it will be combined with an extensive collaboration with top overseas groups attracting strong interest from industry.Read moreRead less
Conformal Differential Geometry. Differential geometry is a major branch of mathematics studying shape by using calculus and differential equations. This is a fundamental research project in this area, especially concerned with the interaction between geometry, differential equations, and symmetry. The mathematical notion of symmetry was already formalised early last century and nowadays lies at the very heart of mathematics and physics. Advances in this area provide essential tools in basic sci ....Conformal Differential Geometry. Differential geometry is a major branch of mathematics studying shape by using calculus and differential equations. This is a fundamental research project in this area, especially concerned with the interaction between geometry, differential equations, and symmetry. The mathematical notion of symmetry was already formalised early last century and nowadays lies at the very heart of mathematics and physics. Advances in this area provide essential tools in basic science and unexpected technological benefits can easily arise (for example, in medical imaging). Fundamental mathematical research is absolutely necessary if Australia is to maintain a presence on the international scientific stage.Read moreRead less
Indecomposable Structure in Representation Theory and Logarithmic Conformal Field Theory. Logarithmic conformal field theory describes non-local observables in statistical models of important physical systems (eg. polymers, percolation). This realisation has led to a recent explosion of activity among physicists and mathematicians. Mathematical physics in Australia is well-placed to capitalise on this activity, having several experts working in the area, and this project will significantly aug ....Indecomposable Structure in Representation Theory and Logarithmic Conformal Field Theory. Logarithmic conformal field theory describes non-local observables in statistical models of important physical systems (eg. polymers, percolation). This realisation has led to a recent explosion of activity among physicists and mathematicians. Mathematical physics in Australia is well-placed to capitalise on this activity, having several experts working in the area, and this project will significantly augment Australia's reputation within the international community by bringing (and developing) mathematical tools and insights which complement current research strengths. Such augmentations are vital to the well-being of mathematics and physics in Australia.Read moreRead less