Continuously learning to see. The ultimate goal of computer vision is to make a machine able to understand the world through analysis of images or videos. The new machine learning techniques developed in this project will enable previously impossible methods of computer vision and help strengthen Australia's competitiveness in this important area.
Algorithmics for visual analytics of massive complex networks. The project will provide new scalable algorithms for visual analytics of massive complex networks. These fast algorithms will enable security analysts to detect abnormal behaviours such as money laundering, biologists to understand protein-protein interaction networks, and support software engineers new ways of understanding large software systems.
Dynamic resource provisioning for autonomic management of cloud computing environments. In the next 20 years, service-oriented computing will play an important role in shaping the industry and will require cloud infrastructure hosting applications to deliver services at low cost. This project will develop technologies for self-managed cloud computing platforms that reduce usage and operational costs, thus transforming the Australian economy.
Memetic algorithms for multiobjective optimisation problems in bioinformatics. Many questions of paramount importance in life sciences can be formulated as optimisation problems but using just a single criterion can be misleading. This project will address this problem using multiobjective optimisation and leveraging Australia's investment in supercomputing with algorithms that mimic evolutionary processes in silico.
Data Exploitation for Critical Infrastructure Protection: Gathering Intelligence from Digital Evidence Collected from IT Networks and Process Control Systems. This proposal addresses the National Priority of Safeguarding Australia and its results will serve as a major input into current Australian Federal Government and Defence initiatives in digital evidence collection and exploitation as part of process control system security. It will play a significant part in satisfying the Australian commu ....Data Exploitation for Critical Infrastructure Protection: Gathering Intelligence from Digital Evidence Collected from IT Networks and Process Control Systems. This proposal addresses the National Priority of Safeguarding Australia and its results will serve as a major input into current Australian Federal Government and Defence initiatives in digital evidence collection and exploitation as part of process control system security. It will play a significant part in satisfying the Australian community that steps are being taken to safeguard national services and will develop techniques for protecting Australia against criminal or terrorist cyber attack on national services infrastructure. It will serve to develop niche Australian research expertise in this very specialised international field.Read moreRead less
Easing urban congestion through intelligent use of distributed information. Vehicle-to-vehicle wireless communication can be a solution to road traffic congestion and control without enormous additional infrastructure costs. This project will investigate the fundamental properties of such solution and to devise the practical policies and protocols resulting in interacting game-like behaviours.
Inventiveness and the progress of product innovation. Quantitative models of inventiveness will be used to forecast the potential rate of improvement of a technology and to re-design products to improve more rapidly and steadily. By focusing on innovation in products and technologies in energy conversion, this research can guide development funding for low-carbon energy generation.
Development of methods and algorithms to support multidisciplinary optimisation. This project will aim to develop a number of novel and computationally efficient schemes to deal with the key challenges facing multidisciplinary optimisation. These advancements will allow us to solve a number of challenging and intractable problems in science and engineering.
From plume source to hotspot: quantifying mixing in mantle plumes and its implications for the nature of deep-mantle heterogeneity. Mantle plumes are buoyant upwellings that bring hot material from Earth's deep-mantle to the surface, forming volcanic hotspots, like Hawaii. Although extensively studied, the geochemical variations recorded in hotspot lavas have, so far, proved difficult to understand, particularly how they relate to their heterogeneous deep-mantle source. This project aims to use ....From plume source to hotspot: quantifying mixing in mantle plumes and its implications for the nature of deep-mantle heterogeneity. Mantle plumes are buoyant upwellings that bring hot material from Earth's deep-mantle to the surface, forming volcanic hotspots, like Hawaii. Although extensively studied, the geochemical variations recorded in hotspot lavas have, so far, proved difficult to understand, particularly how they relate to their heterogeneous deep-mantle source. This project aims to use state-of-the-art geodynamical models to determine how deep-mantle heterogeneities are transported into a plume and how such heterogeneities are mixed during plume ascent. This will facilitate the linking, for the first time, of geochemical variations at volcanic hotspots to the deep-mantle's thermo-chemical structure, under an Earth-like, fluid-dynamical framework.Read moreRead less
Qualitative models of rationality: Philosophical foundations and applications. This project aims to establish the qualitative approach to rationality as a viable and attractive choice. Mathematical models of rationality, which aim to formalise the rules of good reasoning and decision making, traditionally assume that beliefs and desires are always given in precise, quantifiable degrees of confidence and value. This assumption is implausibly strong, and alternative, qualitative frameworks have be ....Qualitative models of rationality: Philosophical foundations and applications. This project aims to establish the qualitative approach to rationality as a viable and attractive choice. Mathematical models of rationality, which aim to formalise the rules of good reasoning and decision making, traditionally assume that beliefs and desires are always given in precise, quantifiable degrees of confidence and value. This assumption is implausibly strong, and alternative, qualitative frameworks have been developed to handle the frequent situations in which it fails. These, however, remain incomplete and their foundations poorly understood. The project will address their omissions, secure their conceptual underpinnings and use them to clarify and resolve long-standing philosophical problems.Read moreRead less