Provable elimination of information leakage through timing channels. This project aims to develop techniques to solve the issue in information security of unauthorised information flow resulting from competition for shared hardware resources. The project will combine operating systems design, formal hardware models, information-flow reasoning and theorem proving to achieve a goal that is widely considered infeasible. The project is expected to result in a system that prevents leakage of critical ....Provable elimination of information leakage through timing channels. This project aims to develop techniques to solve the issue in information security of unauthorised information flow resulting from competition for shared hardware resources. The project will combine operating systems design, formal hardware models, information-flow reasoning and theorem proving to achieve a goal that is widely considered infeasible. The project is expected to result in a system that prevents leakage of critical information, such as encryption keys, through timing channels. This should prevent sophisticated attacks on public clouds, mobile devices and military-grade cross-domain devices.Read moreRead less
Stochastic Geometry for Multi-sensor Data Fusion System. The aim of this project is to develop efficient algorithms for tracking and sensor management in a multi-sensor multi-target environment. Finite random set theory provides a natural way of representing a random number of (random) object states, an issue that has been largely ignored in the tracking literature until recently. Although a satisfactory foundation for multiple object filtering has been provided by random set theory, in this ear ....Stochastic Geometry for Multi-sensor Data Fusion System. The aim of this project is to develop efficient algorithms for tracking and sensor management in a multi-sensor multi-target environment. Finite random set theory provides a natural way of representing a random number of (random) object states, an issue that has been largely ignored in the tracking literature until recently. Although a satisfactory foundation for multiple object filtering has been provided by random set theory, in this early stage no algorithm capable of tracking many targets has emerged from this framework. We are confident that efficient algorithms can be developed by exploiting the insights and mathematical tools of stochastic geometryRead moreRead less
Convex optimisation for control, signal processing and communication systems. Renewable control of complex systems, signal processing, telecommunication and in general any industries interested in these applications stand to benefit from our research. In particular, the automotive and defence industries stand to benefit from the nonlinear control design aspect of the proposed project outcomes. The
telecommunications industries, on the other hand, benefit from the signal processing and communicat ....Convex optimisation for control, signal processing and communication systems. Renewable control of complex systems, signal processing, telecommunication and in general any industries interested in these applications stand to benefit from our research. In particular, the automotive and defence industries stand to benefit from the nonlinear control design aspect of the proposed project outcomes. The
telecommunications industries, on the other hand, benefit from the signal processing and communications aspects. We also build a core expertise in optimisation and its applications in Australia by training PhD students and Postdoctoral researchers. The research collaborations will cement and maintain the international linkages which will improve applied research in AustraliaRead moreRead less
Non-local equations at work. This project aims to study non-local fractional equations. These problems arise naturally in many fields of pure and applied mathematics. This project will consider symmetry and rigidity results; problems from atom dislocation theory; nonlocal minimal surfaces; symbolic dynamics for nonlocal equations; and free boundary problems. This project aims to obtain substantial progress in this field, both from the point of view of the mathematical theory and in view of concr ....Non-local equations at work. This project aims to study non-local fractional equations. These problems arise naturally in many fields of pure and applied mathematics. This project will consider symmetry and rigidity results; problems from atom dislocation theory; nonlocal minimal surfaces; symbolic dynamics for nonlocal equations; and free boundary problems. This project aims to obtain substantial progress in this field, both from the point of view of the mathematical theory and in view of concrete applications. This project should contribute to the development of the mathematical theory and give insight for concrete applications in physics and biology.Read moreRead less
Modelling and estimation methods for discrete multi-dimensional systems. Multi-dimensional signal processing plays a role in a variety of application areas, ranging from remote sensing for environmental monitoring and geological mapping, to medical imaging and the automatic control of industrial processes. The success of the project will provide mathematical tools for the advancement of the state-of-the-art in these broad areas.
Effective and Efficient Query Processing over Dynamic Social Networks. This project aims to invent novel query-based social network data exploration techniques which would help individuals or organisations make smart decisions based on data from increasingly massive, complex and dynamic social networks. Expected project outcomes are formal result semantics, advanced indices, efficient query evaluation algorithms and scalable techniques for three types of commonly used queries. The project plans ....Effective and Efficient Query Processing over Dynamic Social Networks. This project aims to invent novel query-based social network data exploration techniques which would help individuals or organisations make smart decisions based on data from increasingly massive, complex and dynamic social networks. Expected project outcomes are formal result semantics, advanced indices, efficient query evaluation algorithms and scalable techniques for three types of commonly used queries. The project plans to develop a system prototype to evaluate the effectiveness and efficiency of the proposed approaches and techniques. Query-based dynamic social network data exploration techniques developed in this project may have practical applications including event and influential topic discovery and tracking, buying trend analysis and political issues analysis.Read moreRead less
Elder Abuse: A Longitudinal Prospective Study of Perpetrators and Victims. This project aims to improve the quality of the available data and fill major gaps in knowledge about elder abuse in Australia. The study is significant as it aims to generate new knowledge about the perpetrators and victims of abuse and neglect of older women. The Council of Attorneys’ General of Australia has explicitly prioritised this need for further research on the population prevalence of elder abuse. The anticipat ....Elder Abuse: A Longitudinal Prospective Study of Perpetrators and Victims. This project aims to improve the quality of the available data and fill major gaps in knowledge about elder abuse in Australia. The study is significant as it aims to generate new knowledge about the perpetrators and victims of abuse and neglect of older women. The Council of Attorneys’ General of Australia has explicitly prioritised this need for further research on the population prevalence of elder abuse. The anticipated project outcomes will be to identify the prevalence, causes and consequences of elder abuse in Australia, with the intended benefit of the development of reliable and validated estimates of the population prevalence of elder abuse and identify the early life and current circumstances of women who experience elder abuse.
Read moreRead less
Evolution of the dermomyotome in vertebrates. The project seeks to understand how different muscle populations within the embryo form and have evolved within the vertebrate phylogeny. All amniote muscles, except that of the head, derive from a transient embryonic structure termed the dermomyotome. The formation of muscle from the dermomyotome of amniotes uses a highly conserved mechanism that is distinct from that deployed by bony fish and amphibians. How the dermomyotome evolved to generate th ....Evolution of the dermomyotome in vertebrates. The project seeks to understand how different muscle populations within the embryo form and have evolved within the vertebrate phylogeny. All amniote muscles, except that of the head, derive from a transient embryonic structure termed the dermomyotome. The formation of muscle from the dermomyotome of amniotes uses a highly conserved mechanism that is distinct from that deployed by bony fish and amphibians. How the dermomyotome evolved to generate the distinct types of locomotor systems we see deployed throughout the vertebrate phylogeny remains unresolved. This project aims to contribute to an understanding of how different locomotor strategies deployed at important evolutionary transitions were generated.Read moreRead less
Calls and constraints: do male frogs signal direct benefits? There is international concern over recent declines and disappearances of many species of amphibians. Australia is a hotspot for declines, but causes of declines remain enigmatic. Approximately one quarter of Australia's 230 amphibian species breed in terrestrial situations, but processes such as salinity, wetland and urban developments and climate change are altering the hydrology of our landscape, and preventing the flood events nece ....Calls and constraints: do male frogs signal direct benefits? There is international concern over recent declines and disappearances of many species of amphibians. Australia is a hotspot for declines, but causes of declines remain enigmatic. Approximately one quarter of Australia's 230 amphibian species breed in terrestrial situations, but processes such as salinity, wetland and urban developments and climate change are altering the hydrology of our landscape, and preventing the flood events necessary for the completion of the lifecycle of many species. This research has important conservation implications because it examines the effects of variable moisture regimes on the physiology and reproductive behaviours of terrestrial breeding frogs.Read moreRead less
Fins to Limbs: Investigating the Evolution of complex Limb Musculature. This application aims to investigates the basis of the fin-to-limb transition, an event that set the stage for the entire tetrapod radiation. This project expects to generate new knowledge concerning the natural history of vertebrates using a multidisciplinary approach that combines paleontology and embryology of unique Australian fauna. While the skeletal changes associated with the move from water to land have been investi ....Fins to Limbs: Investigating the Evolution of complex Limb Musculature. This application aims to investigates the basis of the fin-to-limb transition, an event that set the stage for the entire tetrapod radiation. This project expects to generate new knowledge concerning the natural history of vertebrates using a multidisciplinary approach that combines paleontology and embryology of unique Australian fauna. While the skeletal changes associated with the move from water to land have been investigated, little is known about the origin of tetrapod limb muscles. This proposal has as an expected outcome, a determination of how limb muscles arose during evolution. This knowledge should provide significant benefits by transforming our understanding of the origins of the tetrapod body plan and our own natural history.Read moreRead less