Foundations of Nonmonotonic Logic Programming for Complex Knowledge Systems. This project will fundamentally provide a new paradigm of nonmonotonic logic programming. As such, it will significantly contribute towards Australia's leading role in the cutting edge research of intelligent systems development. The new nonmonotonic logic programming can be used as an effecive platform by many Australian computer companies for building complex knowledge systems in real world domains. Hence this projec ....Foundations of Nonmonotonic Logic Programming for Complex Knowledge Systems. This project will fundamentally provide a new paradigm of nonmonotonic logic programming. As such, it will significantly contribute towards Australia's leading role in the cutting edge research of intelligent systems development. The new nonmonotonic logic programming can be used as an effecive platform by many Australian computer companies for building complex knowledge systems in real world domains. Hence this project has potential economic and social benefits for Australia. With a very strong research team across different universities and a collaborative research training environment, this project will further enhance Australia's international reputation as a leader in computing & IT research.Read moreRead less
Multivariate Algorithmics: Meeting the Challenge of Real World computational complexity. This Project will result in better methods for designing the algorithms that all computer applications depend on. Algorithms are the instruction sets that tell computers how to process information. Some information processing tasks are intrinsically difficult, even for computers working at enormous speeds. This Project will deliver new mathematical approaches to overcome these difficulties. More efficient al ....Multivariate Algorithmics: Meeting the Challenge of Real World computational complexity. This Project will result in better methods for designing the algorithms that all computer applications depend on. Algorithms are the instruction sets that tell computers how to process information. Some information processing tasks are intrinsically difficult, even for computers working at enormous speeds. This Project will deliver new mathematical approaches to overcome these difficulties. More efficient algorithmic approaches for difficult problems enable advances in all areas of computer applications such as medical diagnosis and health prediction, national security, communications efficiency, industrial productivity and all fields of science and engineering.Read moreRead less
A formal foundation for security architecture. Security of computer systems is essential for the maintenance of privacy, confidentiality and integrity of personal, commercial and government data, and the trustworthiness of the computational devices that are embedded in critical societal infrastructure. However, current theoretical understanding of secure systems development is poor. The project will develop our understanding of an emerging approach to the design of secure systems and develop ver ....A formal foundation for security architecture. Security of computer systems is essential for the maintenance of privacy, confidentiality and integrity of personal, commercial and government data, and the trustworthiness of the computational devices that are embedded in critical societal infrastructure. However, current theoretical understanding of secure systems development is poor. The project will develop our understanding of an emerging approach to the design of secure systems and develop verification methods that may be applied to guarantee systems security. Its outcomes will contribute to processes for certifying systems at very high levels of security, a requirement in defence and government settings that will become increasingly significant in the commercial sector.Read moreRead less
Retracing the Early Evolution of Metazoa using Novel Methods and Strategies. Metazoa is one of the best-characterised groups of species in terms of its morphology, fossil record, development, and genetic make-up, but the phylogeny remains obscure because the fossil record is incomplete and because molecular phylogenetic methods have not yet been developed with the complexity of genomic data in mind. We will develop methods and strategies for the analysis of whole genomes, and use them in studies ....Retracing the Early Evolution of Metazoa using Novel Methods and Strategies. Metazoa is one of the best-characterised groups of species in terms of its morphology, fossil record, development, and genetic make-up, but the phylogeny remains obscure because the fossil record is incomplete and because molecular phylogenetic methods have not yet been developed with the complexity of genomic data in mind. We will develop methods and strategies for the analysis of whole genomes, and use them in studies of the mitochondrial genome. We will infer the animal phylogeny, and use it to chart the evolution of animal morphology and development, and the evolution of mitochondrial genetic codes, gene order, and nucleotide content.Read moreRead less
Parameterized Algorithm Design and Complexity Analysis: New Methods and Strategic Applications in the FPT Algorithmic Server Project. A fundamental discovery of the first decades of computer science is that completely efficient (polynomial time) algorithms probably do not exist for thousands of natural computational problems. The project will result in new methods for designing and analyzing algorithms for hard problems with natural parameters, and in improved
algorithms for these problems.
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
House hunting honey bees: speed-accuracy trade-offs in collective decision-making. This project will uncover the mechanisms that underlie the trade-off between speed and accuracy in collective decision-making. We will study two species of honey bee that differ in the relative importance of speed and accuracy when deciding on a new home. Natural selection has shaped the decision-making process differently in the two species, one favouring speed, the other accuracy. We will use the natural wisdom ....House hunting honey bees: speed-accuracy trade-offs in collective decision-making. This project will uncover the mechanisms that underlie the trade-off between speed and accuracy in collective decision-making. We will study two species of honey bee that differ in the relative importance of speed and accuracy when deciding on a new home. Natural selection has shaped the decision-making process differently in the two species, one favouring speed, the other accuracy. We will use the natural wisdom evolved by the bees to design new mathematical models of collective decision-making. These can be applied to create efficient decision-making tools that will be useful for any large organization.Read moreRead less
Foundations of Executable Temporal Logic. In many computer applications, including those of temporal reasoning, distributed computations and knowledge representations, the concept of time is of central importance. Multiple granularity of time also plays a critical role as not all events are necessarily defined over a uniform model of time. This project will develop the foundations of executable logical representations, supporting multiple granularity of time. This will allow system developers a ....Foundations of Executable Temporal Logic. In many computer applications, including those of temporal reasoning, distributed computations and knowledge representations, the concept of time is of central importance. Multiple granularity of time also plays a critical role as not all events are necessarily defined over a uniform model of time. This project will develop the foundations of executable logical representations, supporting multiple granularity of time. This will allow system developers access to powerful logical techniques in those applications. In the process, fundamental problems in modelling multiple granularity of time will be identified, and application-independent solutions to those problems will be provided.Read moreRead less
Knowledge Based Model Updating for the Correctness of Security Protocols. This project will fundamentally provide a new paradigm of the security protocol verification and modification. As such, it will significantly enhance Australia's already leading role in the cutting edge research on information security. By applying the new methodology and technology, Australian IT industry will be able to develop more secure communication systems in real world domains. With a very strong research team acro ....Knowledge Based Model Updating for the Correctness of Security Protocols. This project will fundamentally provide a new paradigm of the security protocol verification and modification. As such, it will significantly enhance Australia's already leading role in the cutting edge research on information security. By applying the new methodology and technology, Australian IT industry will be able to develop more secure communication systems in real world domains. With a very strong research team across different areas such as knowledge reasoning, temporal logics and information security, and a collaborative research training environment, this project will further enhance Australia's international reputation as a leader in computing and IT research.Read moreRead less
Economical and practical design and analysis of probabilistic distributed systems. Complex computing systems composed of communicating processes are
distributed over networks, and interact with embedded hardware
components. They routinely operate in probabilistic environments:
hardware components fail randomly, but at known rates; and tactical
randomisation resolves competition for resources. Effective
specification, development and analysis methods for these systems
is crucial, and probab ....Economical and practical design and analysis of probabilistic distributed systems. Complex computing systems composed of communicating processes are
distributed over networks, and interact with embedded hardware
components. They routinely operate in probabilistic environments:
hardware components fail randomly, but at known rates; and tactical
randomisation resolves competition for resources. Effective
specification, development and analysis methods for these systems
is crucial, and probability makes that particularly difficult.
The focus of this project is to develop new formal methods that are
economical and practical in use. Exploiting our recent advances in
probabilistic program semantics, we will add probability in a new
way to proven techniques in concurrency theory, including
refinement and hierarchical design.Read moreRead less