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
Analysing and Generating Fault-Tolerant Real-Time Systems. Safety-critical real-time systems are being deployed increasingly in diverse areas such as controlling critical infrastructure like transportation (e.g., railway signalling) as well as in defence applications (e.g., fly-by-wire). Such systems must be dependable and hence must be built using fault-tolerant strategies.
This project is researching frontier ICT technologies for analysing, designing and generating fault-tolerant systems, con ....Analysing and Generating Fault-Tolerant Real-Time Systems. Safety-critical real-time systems are being deployed increasingly in diverse areas such as controlling critical infrastructure like transportation (e.g., railway signalling) as well as in defence applications (e.g., fly-by-wire). Such systems must be dependable and hence must be built using fault-tolerant strategies.
This project is researching frontier ICT technologies for analysing, designing and generating fault-tolerant systems, concentrating on their software control components.Read moreRead less
Verified Emulation of Legacy Mission Computer Systems. Processor obsolescence is a serious maintenance problem for long-lived computer control systems in military aircraft and other critical applications. A promising solution is to interpose an emulator program between the original "legacy" software and a replacement processor. Unfortunately, no techniques exist for accurately verifying that this procedure preserves the original system's functional and timing behaviour. A particular challenge ....Verified Emulation of Legacy Mission Computer Systems. Processor obsolescence is a serious maintenance problem for long-lived computer control systems in military aircraft and other critical applications. A promising solution is to interpose an emulator program between the original "legacy" software and a replacement processor. Unfortunately, no techniques exist for accurately verifying that this procedure preserves the original system's functional and timing behaviour. A particular challenge is that processor emulations involve both legacy code and new subroutines, written in different programming languages. This project will enable verification of safety and mission-critical emulated systems by devising a multilingual modelling and reasoning formalism, based on program refinement theory.Read moreRead less
Yield strength and plastic flow of heterogeneous materials: Designing optimal composites and porous materials. A major goal of materials science is to design materials with improved functionality at lower weight, cost and size. It is important to guide this expensive and time-consuming process with sophisticated computer modelling. In this project we aim to model how and why composite and porous materials fail when they are placed under stress. Our results will make materials design more efficie ....Yield strength and plastic flow of heterogeneous materials: Designing optimal composites and porous materials. A major goal of materials science is to design materials with improved functionality at lower weight, cost and size. It is important to guide this expensive and time-consuming process with sophisticated computer modelling. In this project we aim to model how and why composite and porous materials fail when they are placed under stress. Our results will make materials design more efficient by providing a valuable experimental interpretive tool and a theoretical map for material optimization. Our models will also provide crucial information needed for modelling the behavior of composites in applications.Read moreRead less
The improvement of climate change investigations by developing and applying innovative evolutionary subset time series modelling using semi-parametric sparse-patterned approaches. With an estimated US$6.98 trillion loss indicated in the Stern review, severe climate change will make world climate conditions harsher and more likely include large natural climate disasters. The health of the Australian economy is critically dependent on decisions of environmental managers. However, most problems of ....The improvement of climate change investigations by developing and applying innovative evolutionary subset time series modelling using semi-parametric sparse-patterned approaches. With an estimated US$6.98 trillion loss indicated in the Stern review, severe climate change will make world climate conditions harsher and more likely include large natural climate disasters. The health of the Australian economy is critically dependent on decisions of environmental managers. However, most problems of complexity arising in climate change involve issues on which we do not possess a deep understanding. This project draws upon a set of inter-disciplinary concepts and models centred in neural networks that enable us to advance our understanding of complexity, leading to superior quantitative tools and models to allow for improved environmental decision-making.
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
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0346446
Funder
Australian Research Council
Funding Amount
$312,000.00
Summary
Australian Creative Resources Archive. The facility will digitise wasted cultural materials to create an accessible archive that meets the needs of Australian researchers, artists, entrepreneurs, and the public, specifically in order to stimulate broadband content development. This unique facility and associated research will: (1) provide a rich resource for broadband content development; (2) provide a platform for productive research collaborations with Australian content producers; (3) develop ....Australian Creative Resources Archive. The facility will digitise wasted cultural materials to create an accessible archive that meets the needs of Australian researchers, artists, entrepreneurs, and the public, specifically in order to stimulate broadband content development. This unique facility and associated research will: (1) provide a rich resource for broadband content development; (2) provide a platform for productive research collaborations with Australian content producers; (3) develop innovative classification systems and associated software for content development; (4) develop new intellectual property and new business models; (5) develop new ways to develop and deliver Australian broadband content; and, (6) develop new understandings of creative production processes.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
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
Special Research Initiatives - Grant ID: SR0354605
Funder
Australian Research Council
Funding Amount
$10,000.00
Summary
The Earth System Dynamics Network for a Sustainable Australia. Earth comprises systems of enormous complexity that sustain all life and control the distribution of mineral, energy and water resources. Thus understanding these dynamic systems provides the key to sustainable resource usage. The aim of The Earth System Dynamics Network is to facilitate scientific interactions through establishment of an earth and environmental sciences grid that links national and regional data assets with high per ....The Earth System Dynamics Network for a Sustainable Australia. Earth comprises systems of enormous complexity that sustain all life and control the distribution of mineral, energy and water resources. Thus understanding these dynamic systems provides the key to sustainable resource usage. The aim of The Earth System Dynamics Network is to facilitate scientific interactions through establishment of an earth and environmental sciences grid that links national and regional data assets with high performance computing through open sourced middleware. The result will be an unparalleled predictive capacity for complex Earth systems. The outcome will be confidence in the knowledge that underpins our decisions as stakeholders to keep Australia sustainable.Read moreRead less