Quantum entanglement and its role in complex quantum systems. Quantum entanglement - non-classical correlations in quantum states - is the physical resource at the heart of modern applications of quantum technology, such as absolutely secure communication, and teleportation of quantum states from one location to another. This project aims to deepen our theoretical understanding of entanglement by characterizing the type and amount of entanglement present in the ground and thermal states of a ge ....Quantum entanglement and its role in complex quantum systems. Quantum entanglement - non-classical correlations in quantum states - is the physical resource at the heart of modern applications of quantum technology, such as absolutely secure communication, and teleportation of quantum states from one location to another. This project aims to deepen our theoretical understanding of entanglement by characterizing the type and amount of entanglement present in the ground and thermal states of a general physical system. These results will enable us to study the central role entanglement plays in quantum phase transitions - the change of a physical system from one state of matter to another, different, state of matter, one with a truly quantum character.Read moreRead less
A Virtual Electromagnetic Compatibility (EMC) Lab Based on Advanced Computer Modeling and Simulation Techniques. The proposed project will provide a framework of electromagnetic compatibility computer modelling technologies for an electromagnetic compatibility/electromagnetic interference problem-solving environment. It will result in theoretical and practical contributions to the field of electromagnetic compatibility/electromagnetic interference and computational electromagnetics. The project ....A Virtual Electromagnetic Compatibility (EMC) Lab Based on Advanced Computer Modeling and Simulation Techniques. The proposed project will provide a framework of electromagnetic compatibility computer modelling technologies for an electromagnetic compatibility/electromagnetic interference problem-solving environment. It will result in theoretical and practical contributions to the field of electromagnetic compatibility/electromagnetic interference and computational electromagnetics. The project will provide an innovative technology to industry and societies with following major benefits: a) increased productivity and minimized the product risk with low failure rate, b) quicker project management cycles through such cost-effective electromagnetic compatibility computer modelling and simulation techniques based virtual Electromagnetic Compatibility Lab. and c) improved electromagnetic compatibility/electromagnetic interference problem solving environment and techniques for scientific research and commercial applications.Read moreRead less
Supercomputer Simulation and Risk Evaluation of Tsunami Generation Induced by Earthquakes. New hotspot forecasts show that great earthquakes are likely to occur during the next decade in the Western Pacific north of New Zealand which potentially poses a tsunami risk to Australia. The project will enable this risk to be reliably assessed thereby providing the information needed to properly manage this risk thus addressing the national research priority: Safeguarding Australia. Building on extensi ....Supercomputer Simulation and Risk Evaluation of Tsunami Generation Induced by Earthquakes. New hotspot forecasts show that great earthquakes are likely to occur during the next decade in the Western Pacific north of New Zealand which potentially poses a tsunami risk to Australia. The project will enable this risk to be reliably assessed thereby providing the information needed to properly manage this risk thus addressing the national research priority: Safeguarding Australia. Building on extensive geo-data and Australia's forefront position in solid earth simulation via investment in the ACcESS Major National Research Facility, the project provides an opportunity for Australia to play a key role in constructing next generation real-time tsunami warning systems.Read moreRead less
Coarse Grained Parallel Algorithms. Various fields of research face barriers created by problems that are computationally hard and/or require processing of large amounts of data. For example, some computational biochemistry methods on protein or gene sequences can not be scaled up to data sets required for human health research because of performance problems. Parallel computing enables new research by increasing the size of solvable problems. In addition to fundamental parallel computing resear ....Coarse Grained Parallel Algorithms. Various fields of research face barriers created by problems that are computationally hard and/or require processing of large amounts of data. For example, some computational biochemistry methods on protein or gene sequences can not be scaled up to data sets required for human health research because of performance problems. Parallel computing enables new research by increasing the size of solvable problems. In addition to fundamental parallel computing research, this project studies parallel algorithms for structure-based drug design and protein-protein interaction prediction that will enable new biochemistry research, as well as parallel algorithms for data cubes that will help enable the next generation of very large data warehouses.Read moreRead less
Assuring dependability of complex adaptive multi-agent systems using time bands. As the complexity of computer-based systems rapidly increases, we need new methods for assuring their correct behaviour. This project will provide a means of relating behaviour at different timescales, enabling us to understand how the long-term behaviour of a system results from the short-term interactions between its components.
Efficient Pre-Processing of Hard Problems: New Approaches, Basic Theory and Applications. Computers store even larger amounts of data about all aspects of human and industrial activity. However, they have not become significantly better at solving common problems in optimization and search. Traditional complexity theory indicates many of these problems require algorithms that are very unlikely to exist. The Parameterized Complexity approach allows us to obtain very efficient algorithms for a lar ....Efficient Pre-Processing of Hard Problems: New Approaches, Basic Theory and Applications. Computers store even larger amounts of data about all aspects of human and industrial activity. However, they have not become significantly better at solving common problems in optimization and search. Traditional complexity theory indicates many of these problems require algorithms that are very unlikely to exist. The Parameterized Complexity approach allows us to obtain very efficient algorithms for a large variety of problems, but the machinery required was diverse and complicated. This research will organize the machinery into a new approach that systematically finds good algorithms by applying simplifications around a parameter of the domain of the problem. As a result, efficient algorithms are obtained for many diverse areas.Read moreRead less
Modelling interactions of spray droplets with plants. This project addresses the National Research Priority of an environmentally sustainable Australia by developing sophisticated mathematical models and interactive software that will identify environmentally friendlier technologies to efficiently deliver agrichemicals while minimising large scale water usage. National benefits will accrue from the provision for postdoctoral, PhD and IT staff training, while direct links with industry will provi ....Modelling interactions of spray droplets with plants. This project addresses the National Research Priority of an environmentally sustainable Australia by developing sophisticated mathematical models and interactive software that will identify environmentally friendlier technologies to efficiently deliver agrichemicals while minimising large scale water usage. National benefits will accrue from the provision for postdoctoral, PhD and IT staff training, while direct links with industry will provide technology transfer to end-users to ensure community uptake. The project will benefit rural and regional communities by providing long-term solutions in the areas of water use and quality, pesticide pollution reduction, and improved environment and human health care.Read moreRead less
Algorithmic engineering and complexity analysis of protocols for consensus. Opinions, rankings, observations, votes, gene sequences, sensor-networks in security systems or climate models. Massive datasets and the ability to share information at unprecedented speeds, makes finding the most central representative, the Consensus Problem, extremely complex. This research delivers new insights and new, efficient algorithms.
Concept learning and Structure Formation for Document Navigation. This proposal is motivated by its interest in document retrieval and
discovery using formal concept analysis. The hypothesis to be tested
is that logical structures can be automatically inferred from
a document collection using information inference and
concept learning.
Mechanisms of nerve fibre guidance by molecular gradients. Brain wiring is crucial for brain function. The project will investigate the basic principles underlying the development of brain wiring, using both experiments and mathematical models. This will lead a predictive model of how wiring develops, both in normal and abnormal situations.