The Australian Research Data Commons (ARDC) invites you to participate in a short survey about your
interaction with the ARDC and use of our national research infrastructure and services. The survey will take
approximately 5 minutes and is anonymous. It’s open to anyone who uses our digital research infrastructure
services including Reasearch Link Australia.
We will use the information you provide to improve the national research infrastructure and services we
deliver and to report on user satisfaction to the Australian Government’s National Collaborative Research
Infrastructure Strategy (NCRIS) program.
Please take a few minutes to provide your input. The survey closes COB Friday 29 May 2026.
Complete the 5 min survey now by clicking on the link below.
Foundations of Vision Based Control of Robotic Vehicles. Automated and partially automated robotic vehicles are an emerging technology in society. The safety and performance of such systems depends crucially on their sensing and control algorithms. Vision sensing is one of the few sensor modalities that has the potential to adequately represent the complexity of a real world environment. By providing simple and effective vision based control algorithms this project develops Frontier Technologi ....Foundations of Vision Based Control of Robotic Vehicles. Automated and partially automated robotic vehicles are an emerging technology in society. The safety and performance of such systems depends crucially on their sensing and control algorithms. Vision sensing is one of the few sensor modalities that has the potential to adequately represent the complexity of a real world environment. By providing simple and effective vision based control algorithms this project develops Frontier Technologies for Building and Transforming Australian Industries by enabling a wide range of robotic vehicle applications, including aerial, submersible, and wheeled vehicles.Read moreRead less
New mathematical and statistical methods that inform the control of infectious disease outbreaks. Emerging infectious diseases are an ever-present threat to our community, as highlighted by the recent SARS epidemic and current fears concerning avian influenza. The research proposed by this project will help policy makers implement effective border control and outbreak control against a variety of emerging and re-emerging infectious diseases, including SARS, influenza and the deliberate release o ....New mathematical and statistical methods that inform the control of infectious disease outbreaks. Emerging infectious diseases are an ever-present threat to our community, as highlighted by the recent SARS epidemic and current fears concerning avian influenza. The research proposed by this project will help policy makers implement effective border control and outbreak control against a variety of emerging and re-emerging infectious diseases, including SARS, influenza and the deliberate release of an infectious disease such as smallpox. The project will enhance preparedness through a better understanding of the relative merits of different control strategies, and provide new methodology that can dynamically guide border and outbreak control in the midst of an outbreak by making effective use of data. 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
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