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
Enhancing Performance in Controlling Finite Level Quantum Systems with Uncertainties. Australia is a recognized leader in the international race to develop quantum frontier technologies. Funding of this project will consolidate and strengthen Australia's leadership in quantum information technology by developing new theory and tractable control approaches to deal with typical uncertainties arising in practical applications and to enhance performance in controlling finite level quantum systems, a ....Enhancing Performance in Controlling Finite Level Quantum Systems with Uncertainties. Australia is a recognized leader in the international race to develop quantum frontier technologies. Funding of this project will consolidate and strengthen Australia's leadership in quantum information technology by developing new theory and tractable control approaches to deal with typical uncertainties arising in practical applications and to enhance performance in controlling finite level quantum systems, and will also enhance the capability of Australian researchers to participate in promising quantum technologies. The outcomes of this project will play an important role in establishing Australian quantum information industries, which can provide new commercial opportunities and benefit Australia's economy.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
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.
Special Research Initiatives - Grant ID: SR0354741
Funder
Australian Research Council
Funding Amount
$10,000.00
Summary
Quantum Many-Body Systems Network: Breakthrough Science and Frontier Technologies. This Initiative will bring together leading researchers with complementary expertise in mathematics and the enabling sciences to form a Network fostering world leading fundamental research and innovation in quantum many-body systems. The collaborative effort between mathematicians with powerful and sophisticated new techniques and physicists and chemists with deep insight into the challenges and opportunities of t ....Quantum Many-Body Systems Network: Breakthrough Science and Frontier Technologies. This Initiative will bring together leading researchers with complementary expertise in mathematics and the enabling sciences to form a Network fostering world leading fundamental research and innovation in quantum many-body systems. The collaborative effort between mathematicians with powerful and sophisticated new techniques and physicists and chemists with deep insight into the challenges and opportunities of the quantum realm will lead to breakthrough science of vital importance to the development of frontier technologies in Australia. This Network will also place a strong emphasis on research training, the mentoring of early career researchers and establishing collaborations with leading international research groups and networks.
Read moreRead less
New quantum and robust control theory with applications to quantum optics. The application of quantum mechanics to the creation of quantum technology promises to be one of the most exciting technological developments of this century. Possible applications of quantum technologies include vastly improved sensors to search for minerals or gravity waves, secure quantum cryptography, and quantum computing. Quantum feedback control is a key tool in quantum technology. This project will lay the fou ....New quantum and robust control theory with applications to quantum optics. The application of quantum mechanics to the creation of quantum technology promises to be one of the most exciting technological developments of this century. Possible applications of quantum technologies include vastly improved sensors to search for minerals or gravity waves, secure quantum cryptography, and quantum computing. Quantum feedback control is a key tool in quantum technology. This project will lay the foundations of systematic theories of robust, coherent and nonlinear quantum feedback control and lead to advances in the control of highly resonant systems which underlie experimental quantum and nano technology. This will enable Australia to reap great benefits as this new technological area emerges.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
Special Research Initiatives - Grant ID: SR0354553
Funder
Australian Research Council
Funding Amount
$30,000.00
Summary
Network on Control, Dynamics and Systems (NCDS). Control systems theory provides principles and methods for design of complex engineering systems that automatically maintain desired performance despite changes in their environment (e.g. autopilot in an aircraft). This field is facing many new exciting challenges at the dawn of new millenium, such as design of complex engineering systems in possibly networked, asynchronous and distributed environments. The network will play a major role in addres ....Network on Control, Dynamics and Systems (NCDS). Control systems theory provides principles and methods for design of complex engineering systems that automatically maintain desired performance despite changes in their environment (e.g. autopilot in an aircraft). This field is facing many new exciting challenges at the dawn of new millenium, such as design of complex engineering systems in possibly networked, asynchronous and distributed environments. The network will play a major role in addressing these challenges by providing a national research focus, facilitating collaboration and the sharing of people and ideas. By delivering a National Graduate School, the network will enhance learning conditions for graduate students. Moreover, it will provide an important catalyst between Australian universities and industry. This initiative will be essential in assessing the present state of control research in Australia and drafting a detailed plan for the network's leading research role in the future. Read moreRead less
Integrated Photonics for Secure Communication and Related Applications in Financial Transaction Data Analysis. The project includes excellent basic science, semiconductor device fabrication and applied mathematics with explicitly identified consequences for innovation. There is strong potential for national economic benefits through the manufacture of new integrated photonic devices, the application of these devices in secure communication systems, the research of advanced non-linear analysis pr ....Integrated Photonics for Secure Communication and Related Applications in Financial Transaction Data Analysis. The project includes excellent basic science, semiconductor device fabrication and applied mathematics with explicitly identified consequences for innovation. There is strong potential for national economic benefits through the manufacture of new integrated photonic devices, the application of these devices in secure communication systems, the research of advanced non-linear analysis protocols, and the implementation of these in financial transaction analysis. Professional development and research education of postgraduate students and early career researchers will be carried out in a multi-disciplinary research environment with ongoing uptake of the research in industry and commercial sectors.Read moreRead less