Integrating holistic processing and face-space approaches to the perception of facial identity. Recognising faces is a socially crucial task, and humans are remarkably good at it. Scientists investigating the 'software' our brains use to recognise faces have referred to two different theories -- one when explaining why we distinguish faces better than objects, and the other in explaining why we distinguish some people's faces more easily than others. The project aims to integrate these two theor ....Integrating holistic processing and face-space approaches to the perception of facial identity. Recognising faces is a socially crucial task, and humans are remarkably good at it. Scientists investigating the 'software' our brains use to recognise faces have referred to two different theories -- one when explaining why we distinguish faces better than objects, and the other in explaining why we distinguish some people's faces more easily than others. The project aims to integrate these two theories. This has two potential long-term benefits: it will give a stronger basis for understanding what goes wrong in people where face recognition does not develop normally; and, the improved knowledge from a biological system may also lead to improved computer face recognition algorithms (eg. for airport security).Read moreRead less
Spatial Cognition—Expressive Representation Formalisms and Effective Reasoning Mechanisms. The project will contribute significantly to the advancement of knowledge in breakthrough science in qualitative spatial reasoning and smart information use in geographic information systems. Expressive spatial languages are important in organising spatial knowledge, defining spatial query languages and guiding spatial data mining. Effective spatial reasoning mechanisms bring theory closer to applications ....Spatial Cognition—Expressive Representation Formalisms and Effective Reasoning Mechanisms. The project will contribute significantly to the advancement of knowledge in breakthrough science in qualitative spatial reasoning and smart information use in geographic information systems. Expressive spatial languages are important in organising spatial knowledge, defining spatial query languages and guiding spatial data mining. Effective spatial reasoning mechanisms bring theory closer to applications including consistency checking and spatial query pre-processing. The project will help in extracting knowledge from massive spatial databases, meeting the growing needs of naive users for spatial information and establishing Australia as a major player in spatial cognition research and in the development of geo-location services.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