Service-oriented negotiation and coordination in multi-agent systems. Australia has a strong competitive advantage in the area of agent software. The outcomes of this project will provide an improved platform for services in application areas such as finance, e-commerce, tourism, and multi-platform media. More broadly, the work proposed here will enable the IT industry in Australia, and Melbourne specifically, to adopt and utilise agent-technology in developing the complex software that is inc ....Service-oriented negotiation and coordination in multi-agent systems. Australia has a strong competitive advantage in the area of agent software. The outcomes of this project will provide an improved platform for services in application areas such as finance, e-commerce, tourism, and multi-platform media. More broadly, the work proposed here will enable the IT industry in Australia, and Melbourne specifically, to adopt and utilise agent-technology in developing the complex software that is increasingly required to meet the needs of the software-driven knowledge economy of the 21st century.Read moreRead less
Modelling, Identification and Control of Complex Networks. Australia has been well known for its leading research in systems and control and many real-world applications in, for instance, telecommunications, defence, power grids and life sciences. This project will further promote Australia's leading position in the emerging new research field - complex networks by theoretical breakthrough in modelling, identification and control of complex networks, and cutting-edge platform technology that can ....Modelling, Identification and Control of Complex Networks. Australia has been well known for its leading research in systems and control and many real-world applications in, for instance, telecommunications, defence, power grids and life sciences. This project will further promote Australia's leading position in the emerging new research field - complex networks by theoretical breakthrough in modelling, identification and control of complex networks, and cutting-edge platform technology that can help Australian energy industry to reduce greenhouse emissions. It will also result in education of the next generation research leaders in this emerging field.Read moreRead less
Information security and digital watermarking with Latin squares. The importance of digital information is increasing constantly. Audio, video, and still image data dominate our daily lives. Such information has commercial and strategic importance. It is invaluable in crime prevention: for example, video from security cameras. The protection of commercially valuable material against piracy and sensitive information against security breaches is vital to our economy and our safety. This project ad ....Information security and digital watermarking with Latin squares. The importance of digital information is increasing constantly. Audio, video, and still image data dominate our daily lives. Such information has commercial and strategic importance. It is invaluable in crime prevention: for example, video from security cameras. The protection of commercially valuable material against piracy and sensitive information against security breaches is vital to our economy and our safety. This project addresses these issues, by developing new, secure watermarks and fingerprints to protect digital information. Such watermarks can also protect radio communication channels, which is important due to the rising demand for wireless connectivity.Read moreRead less
Logic, Abstraction and Construction. This is unashamedly a pure research project in logic. It aims to enhance our understanding of core issues in the nature of the world and how we can appropriately reason about it. Nevertheless, the techniques developed in logic inevitably find a home in applications in computer science, linguistics, mathematics and related fields. This project, in particular, will develop tools for realistically reasoning about the kinds of abstract or constructed objects on ....Logic, Abstraction and Construction. This is unashamedly a pure research project in logic. It aims to enhance our understanding of core issues in the nature of the world and how we can appropriately reason about it. Nevertheless, the techniques developed in logic inevitably find a home in applications in computer science, linguistics, mathematics and related fields. This project, in particular, will develop tools for realistically reasoning about the kinds of abstract or constructed objects one finds in mathematics, and with the vague or contradictory concepts we use in everyday discourse. In addition, the project will provide research training for postgraduate students, and it will strengthen an already internationally recognised research centre in philosophical logic.Read moreRead less
HOLOMORPHIC CURVES, REEB FLOWS AND CONTACT TOPOLOGY. Motion of a satellite is one of many examples of a Reeb dynamical system. The aim of the project is to deepen our understanding of Reeb flows. The Reeb flows, in particular, include Hamiltonian flows on three-dimensional contact type energy surfaces. To study the behaviour of Reeb flows we construct systems of global surfaces of section and study the iterates of the Poincare map, which is obtained by following the flow until it hits a surface. ....HOLOMORPHIC CURVES, REEB FLOWS AND CONTACT TOPOLOGY. Motion of a satellite is one of many examples of a Reeb dynamical system. The aim of the project is to deepen our understanding of Reeb flows. The Reeb flows, in particular, include Hamiltonian flows on three-dimensional contact type energy surfaces. To study the behaviour of Reeb flows we construct systems of global surfaces of section and study the iterates of the Poincare map, which is obtained by following the flow until it hits a surface. The main tools in constructing systems of global surfaces of section are holomorphic curves in symplectization, which are defined on punctured Riemann surfaces and solve nonlinear Cauchy-Riemann type operator. These curves are also main ingredients of new invariants of contact and symplectic manifolds.
These new invariants are now known as Contact Homology and Symplectic Field Theory. In the second part of the project we develop analytical foundations for these theories.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.
Complexity-manageable methodologies and efficient computational tools for analysis and design of large-scale systems. The tools to be developed in this project have impact on a broad range of disciplines, including system analysis, feedback control technology, signal processing, communication network, and information theory. Practically, the success of this project will create cutting edge technologies applicable to design and management of important infrastructures of the modern society such as ....Complexity-manageable methodologies and efficient computational tools for analysis and design of large-scale systems. The tools to be developed in this project have impact on a broad range of disciplines, including system analysis, feedback control technology, signal processing, communication network, and information theory. Practically, the success of this project will create cutting edge technologies applicable to design and management of important infrastructures of the modern society such as communication networks, transportation systems, electrical power grids, and collaborative intelligent machines, and water distribution networks. Success of this project will bring novel methodologies and computational tools which help engineers to systematically design and validate the performance of their engineering systems.Read moreRead less
Robustness Analysis and Control Design of Distributed and Networked Systems. The theory and computational tools to be developed in this project have impact on a broad range of areas, including various engineering disciplines, biology, and medical and environmental sciences. In terms of practical interests, this project will create cutting edge technologies which are applicable to important infrastructures of the modern society such as communication networks, transportation systems, electrical po ....Robustness Analysis and Control Design of Distributed and Networked Systems. The theory and computational tools to be developed in this project have impact on a broad range of areas, including various engineering disciplines, biology, and medical and environmental sciences. In terms of practical interests, this project will create cutting edge technologies which are applicable to important infrastructures of the modern society such as communication networks, transportation systems, electrical power grids, collaborative intelligent machines, and water distribution networks. Read moreRead less
Modelling, Analysis and Synthesis Tools for Multi-Dimensional Signal Processing 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 this project will provide mathematical tools for the advancement of the state-of-the-art in these broad areas.
Eclectic problems in topology, geometry and dynamics. This project aims to resolve a number of problems across several broad areas of pure mathematics. The problems all have a geometric or topological flavour, and some deal with dynamics in the qualitative sense. The problems share two common themes: they have group theoretic aspects and homological aspects. Specifically, the problems lie in the following areas:
1. finite dimensional Lie algebras and their cohomology,
2. low dimensional combin ....Eclectic problems in topology, geometry and dynamics. This project aims to resolve a number of problems across several broad areas of pure mathematics. The problems all have a geometric or topological flavour, and some deal with dynamics in the qualitative sense. The problems share two common themes: they have group theoretic aspects and homological aspects. Specifically, the problems lie in the following areas:
1. finite dimensional Lie algebras and their cohomology,
2. low dimensional combinatorial geometry: graph drawings on surfaces,
3. topological dynamics of group actions,
4. differentiable group actions and foliation theory.
The most significant aims are to resolve two well known conjectures: Halperin's toral rank conjecture and Conway's thrackle conjecture.
Read moreRead less