Principles of Quantum Information Science. The use of quantum mechanical systems to carry and process information is enabling a revolution in information technology through innovations such as quantum computation and quantum teleportation. This project investigates the fundamental theory of quantum information science. The project aims to formulate general principles governing the power and behaviour of quantum information. These principles will, in turn, enable the development of powerful new ....Principles of Quantum Information Science. The use of quantum mechanical systems to carry and process information is enabling a revolution in information technology through innovations such as quantum computation and quantum teleportation. This project investigates the fundamental theory of quantum information science. The project aims to formulate general principles governing the power and behaviour of quantum information. These principles will, in turn, enable the development of powerful new applications of quantum information. Principal areas to be addressed include: general conditions for a physical system to be usable for quantum computation, the development of new algorithms for quantum computers, the development of new quantum communication protocols, and the theory of quantum entanglement.Read moreRead less
Diffusion and transport of saltwater in coastal aquifers. Saltwater intrusion is a severe environmental problem in coastal regions of Australia, resulting in loss of agricultural land at an alarming rate. This project aims to develop a three-dimensional mathematical model for the simulation and prediction of saltwater intrusion into complex coastal aquifers based on recent advances in the theory of anomalous diffusion, stochastic modelling and numerical methods. The parameters of the model such ....Diffusion and transport of saltwater in coastal aquifers. Saltwater intrusion is a severe environmental problem in coastal regions of Australia, resulting in loss of agricultural land at an alarming rate. This project aims to develop a three-dimensional mathematical model for the simulation and prediction of saltwater intrusion into complex coastal aquifers based on recent advances in the theory of anomalous diffusion, stochastic modelling and numerical methods. The parameters of the model such as hydraulic conductivity and porosity will be estimated using multifractal techniques based on field data at the microscale. Once validated from measurements, the model will be used directly for resource management and planning.Read moreRead less
Secure and Efficient Cryptographic Hashing. This project will enhance information security, which is absolutely crucial for rapidly growing e-commerce, e-government services and for national security (Priority 4 -Safeguarding Australia - Protection against Terrorism and Crime). The project will strengthen international collaboration by reciprocal exchange of researchers and postgraduate students leading to more attractive and productive research environment. At the same time, the project will he ....Secure and Efficient Cryptographic Hashing. This project will enhance information security, which is absolutely crucial for rapidly growing e-commerce, e-government services and for national security (Priority 4 -Safeguarding Australia - Protection against Terrorism and Crime). The project will strengthen international collaboration by reciprocal exchange of researchers and postgraduate students leading to more attractive and productive research environment. At the same time, the project will help to maintain high research profile of Australian researchers, to increase the capacity for consultancy and contract work, and provide a cutting-edge information technology for the Australian telecommunications industry, business and government (Priority 3 - Frontier Technologies). 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
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
Generic complexity in computational topology: breaking through the bottlenecks. The project will focus on key computational problems in three-dimensional topology, with the aims of illuminating the theoretical limitations of such problems, developing new computational tools for solving them, and applying these tools to a variety of applications. The project will generate theoretical research, practical software, and rich experimental data.
Approximate proximity for applications in data mining and visualization. Data Mining, pattern recognition and visualization of relational information are all important data analysis techniques in which it is essential to determine which data points are in the vicinity of others. The huge size of the data sets involved and the need for real-time interaction preclude the use of conventional methods for the precise computation of the proximity information required. This project will develop efficie ....Approximate proximity for applications in data mining and visualization. Data Mining, pattern recognition and visualization of relational information are all important data analysis techniques in which it is essential to determine which data points are in the vicinity of others. The huge size of the data sets involved and the need for real-time interaction preclude the use of conventional methods for the precise computation of the proximity information required. This project will develop efficient algorithms and data structures for gathering high-quality approximations of the full proximity information, and will use these innovations as the basis for new, practical tools for visualization, and clustering in data mining.Read moreRead less
Scalable biocomputing on networks: design and mathematical foundations. This project aims to develop technology with the potential to disrupt computation by providing a way to solve combinatorial mathematical problems in an efficient manner. Electronic computers have revolutionised our lives over the last half-century, but there are tasks they can not do, usually those requiring multi-tasking, much as our brains do. This project aims to overcome some of these problems by physically using molecul ....Scalable biocomputing on networks: design and mathematical foundations. This project aims to develop technology with the potential to disrupt computation by providing a way to solve combinatorial mathematical problems in an efficient manner. Electronic computers have revolutionised our lives over the last half-century, but there are tasks they can not do, usually those requiring multi-tasking, much as our brains do. This project aims to overcome some of these problems by physically using molecular parts of living things moving within specially mathematically designed networks to solve, in parallel, "combinatorial" mathematical problems that vex traditional computers, while using far less energy than electronic devices. This project expects to develop this nascent field into a practically useful, disruptive technology based in Australia.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.