RichProlog, a System for Deducing, Inducing and Learning in the Declarative Programming Paradigm. The aim of the project is to contribute to bridge the gap between learning and logic, theoretically and practically. Our purpose is to extend considerably the scope of the declarative programming paradigm, and build a system that can be used to solve learning or discovery problems as encountered in Artificial Intelligence. The system will enable rapid prototyping when applied to problems involving d ....RichProlog, a System for Deducing, Inducing and Learning in the Declarative Programming Paradigm. The aim of the project is to contribute to bridge the gap between learning and logic, theoretically and practically. Our purpose is to extend considerably the scope of the declarative programming paradigm, and build a system that can be used to solve learning or discovery problems as encountered in Artificial Intelligence. The system will enable rapid prototyping when applied to problems involving deduction, induction, and nonmonotonic reasoning. We intend the system to become a standard tool for tackling a broad range of applications, and the underlying theory to provide new insights on the logical foundations of Artificial Intelligence.
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
Adapting the Bulk Synchronous Parallel processing model to Peer-to-Peer Networked Computing. Advances in distributed computing have shown that data parallel and parametric applications domains are amenable to wide area distribution. The project will advance the Bulk Synchronous Parallel processing model to describe innovative applications from the loosely synchronous domain, e.g. fluid dynamics, strategy algorithms and N-body problems are challenges that have significant scientific and industria ....Adapting the Bulk Synchronous Parallel processing model to Peer-to-Peer Networked Computing. Advances in distributed computing have shown that data parallel and parametric applications domains are amenable to wide area distribution. The project will advance the Bulk Synchronous Parallel processing model to describe innovative applications from the loosely synchronous domain, e.g. fluid dynamics, strategy algorithms and N-body problems are challenges that have significant scientific and industrial value. The project specializes the exciting peer-to-peer paradigm, a frontier of inter-networking technology. By using the latest techniques and taking advantage of the technology implosion caused by low cost parallel infrastructure, the project outcomes will give Australia a strong position in the future of parallel technology.Read moreRead less
Implementing Feferman-Landin Logic. The objective of this project is to utilise computer based verification tools (such as PVS and Rewritting Logic) to develop a software engineering environment for specifying and verifying systems written in high-level programming languages such as Java, Scheme, and ML. The project will thus subtantially advance the use of formal computer based tools to develop reliable programs and specifications for life-critical systems. The project will also develop form ....Implementing Feferman-Landin Logic. The objective of this project is to utilise computer based verification tools (such as PVS and Rewritting Logic) to develop a software engineering environment for specifying and verifying systems written in high-level programming languages such as Java, Scheme, and ML. The project will thus subtantially advance the use of formal computer based tools to develop reliable programs and specifications for life-critical systems. The project will also develop formally
based interoperability between the PVS and Maude systems, two widely
used computer tools for reasoning about complex systems.Read moreRead less
Evolutionary multi-objective algorithms for Global Grids. This research investigates alternative software technologies for Grid-based evolutionary multi-objective decision algorithms. By employing the latest adaptive techniques and taking advantage of the low cost Grid infrastructure, new parallel evolutionary systems will be developed that can rapidly supply robust solutions to complex problems. This project will further develop an understanding of scaling issues in parallel evolutionary syste ....Evolutionary multi-objective algorithms for Global Grids. This research investigates alternative software technologies for Grid-based evolutionary multi-objective decision algorithms. By employing the latest adaptive techniques and taking advantage of the low cost Grid infrastructure, new parallel evolutionary systems will be developed that can rapidly supply robust solutions to complex problems. This project will further develop an understanding of scaling issues in parallel evolutionary systems and pave the way for even more widespread application of evolutionary techniques for large scale, data-intensive applications in science and industry.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
Proof Theoretical Methods for Reasoning about Process Equivalence. The emergence of internet commerce has made the issue of secure computing more urgent than ever. A substantial part of the security issues with today's computer applications are due to design problems.
The principles of secure computation have not been fully understood and adequate tools for the construction of secure applications are still lacking. The understanding of the foundations of secure computation is essential in bu ....Proof Theoretical Methods for Reasoning about Process Equivalence. The emergence of internet commerce has made the issue of secure computing more urgent than ever. A substantial part of the security issues with today's computer applications are due to design problems.
The principles of secure computation have not been fully understood and adequate tools for the construction of secure applications are still lacking. The understanding of the foundations of secure computation is essential in building trusted computer applications. Process calculi and logic represent two promising disciplines in which the principles of analysis and design of secure systems can be studied systematically, out of which formal verification tools can be constructed.Read moreRead less
Entanglement renormalization: a new route to strongly correlated fermions and novel states of matter in two dimensions. The expected outcome of the research program is a significant boost in our understanding of strongly correlated fermion 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 fermion systems, and by ....Entanglement renormalization: a new route to strongly correlated fermions and novel states of matter in two dimensions. The expected outcome of the research program is a significant boost in our understanding of strongly correlated fermion 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 fermion 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, particle, nuclear and atomic physics, quantum computing, quantum atom optics and nanotechnology.Read moreRead less
Towards automated and intelligent processing of web-based information. The successful outcome of this project will enhance Australia's research reputation in an important, practical area of ICT, will contribute to emerging Web standards, will produce frontier technology that will eventually be of benefit to Australian industry, and will train several postgraduate students.
Refinement of Temporal and Epistemic Specifications in Asynchronous Systems. Designing distributed systems is a complex activity requiring rigorous mathematical models of designs and specifications. It is desirable for the mathematical notations to be as close as possible to intuitive notions used by designers. One such notion is the idea that components in a distributed system have states of knowledge. Previous work has developed a calculus enabling derivation of systems with global clock by s ....Refinement of Temporal and Epistemic Specifications in Asynchronous Systems. Designing distributed systems is a complex activity requiring rigorous mathematical models of designs and specifications. It is desirable for the mathematical notations to be as close as possible to intuitive notions used by designers. One such notion is the idea that components in a distributed system have states of knowledge. Previous work has developed a calculus enabling derivation of systems with global clock by series of correctness-preserving transformations from a knowledge-based specification. This project will generalize this work to a calculus for systems that lack a global clock, and implement a tool providing automated support for use of the calculus.Read moreRead less