Formally-Based Security Evaluation Procedures. Guaranteeing information security is of critical national importance, especially in the current political climate. Devices intended to safeguard Australia's electronic communications must be proven secure using leading-edge techniques. Currently, evaluation of such devices relies on informal procedures and the experience of individuals. This project will introduce more rigour into security evaluations by adapting techniques from the fields of saf ....Formally-Based Security Evaluation Procedures. Guaranteeing information security is of critical national importance, especially in the current political climate. Devices intended to safeguard Australia's electronic communications must be proven secure using leading-edge techniques. Currently, evaluation of such devices relies on informal procedures and the experience of individuals. This project will introduce more rigour into security evaluations by adapting techniques from the fields of safety analysis and formal methods. In particular, mathematical concepts will be introduced using notations suitable for use by security personnel with no prior formal methods experience. The outcomes of this project will enable more efficient and effective information security evaluations.Read moreRead less
Centre for Quantum Computer Technology. Development of a quantum computer (QC) for massively parallel computing is one of the major challenges in science and engineering this century. Since 2000 the Centre has achieved two major breakthroughs in this field: constructing the key functional element of a silicon solid-state QC; and co-inventing a scheme for efficient linear optics QC. The proposed CoE aims to align these two nationally co-ordinated research programs with the world's existing comput ....Centre for Quantum Computer Technology. Development of a quantum computer (QC) for massively parallel computing is one of the major challenges in science and engineering this century. Since 2000 the Centre has achieved two major breakthroughs in this field: constructing the key functional element of a silicon solid-state QC; and co-inventing a scheme for efficient linear optics QC. The proposed CoE aims to align these two nationally co-ordinated research programs with the world's existing computer and IT industries to realise a fault-tolerant multiple qubit quantum processor with integrated control and qubit chips, and develop a scaleable optical quantum processor providing significant economic benefit to Australia.Read moreRead less
A Formal Approach to Resource Allocation in Service Oriented Marketplaces. There was a strong opinion at the 2004 World Economic Forum that interorganisational computing was a major factor in productivity improvements underpinning continuing economic growth in the developed world, and will continue to be so for the foreseeable future. The results of the proposed research are directed to advanced systems of this type, and will add momentum to Australia's Information Technology research community. ....A Formal Approach to Resource Allocation in Service Oriented Marketplaces. There was a strong opinion at the 2004 World Economic Forum that interorganisational computing was a major factor in productivity improvements underpinning continuing economic growth in the developed world, and will continue to be so for the foreseeable future. The results of the proposed research are directed to advanced systems of this type, and will add momentum to Australia's Information Technology research community. Increased international recognition will positively impact on future interactions with the service composition research groups in Europe and the USA.Read moreRead less
The genomic programming of complex organisms. The project will have far-reaching consequences in medicine, agriculture, biotechnology, engineering, information science and associated industries. It will provide a platform for the rationalization of genetic epidemiology and genetic improvement programs, the development of a wide range of new diagnostics and therapies, the development of new core technologies and practical approaches in genetics and genetic diversity, a framework for advanced gen ....The genomic programming of complex organisms. The project will have far-reaching consequences in medicine, agriculture, biotechnology, engineering, information science and associated industries. It will provide a platform for the rationalization of genetic epidemiology and genetic improvement programs, the development of a wide range of new diagnostics and therapies, the development of new core technologies and practical approaches in genetics and genetic diversity, a framework for advanced genetic engineering, the development of new principles and systems for information storage and transmission, and the design of artificial systems capable of self-referential assembly in other environments.Read moreRead less
Predictive Assessment Tool for Beach Conditions Using Video Imaging and Neural Network Analysis. Beaches are vital part of Australian lifestyle and economic development. Monitoring of variable beach conditions is vital for beach safety and for management of storm erosion. The aim of this project is to develop an assessment tool which will permit a rating system of beach conditions both from an environmental as well as a leisure aspect. This tool will be developed into a software analysis system ....Predictive Assessment Tool for Beach Conditions Using Video Imaging and Neural Network Analysis. Beaches are vital part of Australian lifestyle and economic development. Monitoring of variable beach conditions is vital for beach safety and for management of storm erosion. The aim of this project is to develop an assessment tool which will permit a rating system of beach conditions both from an environmental as well as a leisure aspect. This tool will be developed into a software analysis system which will include components of artificial intelligence to enable the system to use feedback loops to create a better prediction of the beach morphology relative to the breaking wave characteristics.Read moreRead less
Quantum Information and Entanglement: a new framework for Science and Technology with quantum many-body systems. The expected outcome of the research program is a significant boost in the understanding of quantum many-body systems, which will reinforce Australia's competitiveness and international profile in aspects of breakthrough science and frontier technologies. By developing both the underpinning theory and innovative computational tools, and by applying them to problems of recognised impor ....Quantum Information and Entanglement: a new framework for Science and Technology with quantum many-body systems. The expected outcome of the research program is a significant boost in the understanding of quantum many-body systems, which will reinforce Australia's competitiveness and international profile in aspects of breakthrough science and frontier technologies. By developing both the underpinning theory and innovative computational tools, and by applying them to problems of recognised importance, this program will have direct implications in areas of condensed matter physics, quantum statistical mechanics, particle physics, complex systems, quantum information science and technology, quantum computation, engineered quantum systems and nanotechnology. Read moreRead less
Self-assembly of gelling biopolymer particles. Biopolymers provide a renewable source of structuring agents for a variety of potential uses in food, pharmaceutical and other applications that require bio-compatibility. Swollen biopolymer particles of sub-millimetre size are particularly useful as they combine macroscopic structure formation with an ability to flow and a desirable soft solid texture. Two limitations to the current utilisation of biopolymer particles are that they either cannot be ....Self-assembly of gelling biopolymer particles. Biopolymers provide a renewable source of structuring agents for a variety of potential uses in food, pharmaceutical and other applications that require bio-compatibility. Swollen biopolymer particles of sub-millimetre size are particularly useful as they combine macroscopic structure formation with an ability to flow and a desirable soft solid texture. Two limitations to the current utilisation of biopolymer particles are that they either cannot be predictably produced direct from a dried form, or if they are (e.g. cooked starch granules), there is a lack of scientific understanding that limits use of natural sources without subsequent chemical modification. This project will provide the science & technology to overcome these limitations.Read moreRead less
Coordination and communication in critical care: Assessing potential technology support. This project will examine temporal coordination demands of busy critical care environments, with the goal of developing better models and tools for evaluating the impact of information and communication technology (ICT) innovation. Millions of dollars can be wasted on healthcare ICT updates when the nature of critical care work, the means of communication, and temporal coordination demands are not fully unde ....Coordination and communication in critical care: Assessing potential technology support. This project will examine temporal coordination demands of busy critical care environments, with the goal of developing better models and tools for evaluating the impact of information and communication technology (ICT) innovation. Millions of dollars can be wasted on healthcare ICT updates when the nature of critical care work, the means of communication, and temporal coordination demands are not fully understood. The outcome of this project will be better conceptual and computational tools for assessing the impact of ICT innovation on safety-critical systems such as healthcare, so providing more cost-effective ICT solutions where there is rapidly-evolving ICT innovation.Read moreRead less
Novel approaches to strongly correlated quantum systems in two dimensions. The expected outcome of the research program is a significant boost in our understanding of strongly correlated quantum systems, which will reinforce Australia's competitiveness and international profile in aspects of breakthrough science and frontier technologies. By strengthening both the underpinning theory and innovative computational tools to study quantum many-body systems, and by applying them to specific problems ....Novel approaches to strongly correlated quantum systems in two dimensions. The expected outcome of the research program is a significant boost in our understanding of strongly correlated quantum systems, which will reinforce Australia's competitiveness and international profile in aspects of breakthrough science and frontier technologies. By strengthening both the underpinning theory and innovative computational tools to study quantum many-body systems, and by applying them to specific problems of recognized importance, this program will have direct implications in condensed matter physics and will exert significant influence in areas such as quantum chemistry, high energy physics, quantum computing, quantum atom optics and nanotechnology.Read moreRead less
ARC Centre for Complex Systems. The Australian Centre for Complex Systems brings together leading researchers from several disciplines and institutions to conduct research on questions fundamental to understanding and managing complex systems. Its core research program, based on the theme of computation in and by networks of agents, has two interwoven strands. The science strand addresses questions about emergent properties, natural computation, and nonlinear dynamics. The engineering strand add ....ARC Centre for Complex Systems. The Australian Centre for Complex Systems brings together leading researchers from several disciplines and institutions to conduct research on questions fundamental to understanding and managing complex systems. Its core research program, based on the theme of computation in and by networks of agents, has two interwoven strands. The science strand addresses questions about emergent properties, natural computation, and nonlinear dynamics. The engineering strand addresses issues about methodology, modelling toolkits, and management and control. Practical applications are advanced via collaborative projects that address key issues in biology, environment, and socio-economics.Read moreRead less