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.
Application of novel exact combinatorial optimisation techniques and metaheuristic methods for problems in cancer research. Novel biotechnologies are offering an unprecedented opportunity to understand the genetic basis of cancer development and progression. However, they present us with a challenge; new computational methods and improved mathematical models and algorithms need to be introduced to complement these technologies in the determination of the function of our individual genetic makeup ....Application of novel exact combinatorial optimisation techniques and metaheuristic methods for problems in cancer research. Novel biotechnologies are offering an unprecedented opportunity to understand the genetic basis of cancer development and progression. However, they present us with a challenge; new computational methods and improved mathematical models and algorithms need to be introduced to complement these technologies in the determination of the function of our individual genetic makeup, especially in connection with disease states. The project will deal with research questions and datasets related to some of the highest incidence cancers in Australia. This project will contribute towards the development of new powerful algorithms for pattern recognition for future "personalized" molecular diagnostics methods.Read moreRead less
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
Fast, practical and effective algorithms for clustering with advice. To maintain a safe and healthy society, government and industry need high quality immunization and national security databases. Since we cannot afford to have duplicate, incomplete and conflicting records that refer to the same person, we unify them by identifying clusters of related records.
In the emerging field of functional genomics, diagnosis of certain diseases is enhanced by determining which genes act together. Diffe ....Fast, practical and effective algorithms for clustering with advice. To maintain a safe and healthy society, government and industry need high quality immunization and national security databases. Since we cannot afford to have duplicate, incomplete and conflicting records that refer to the same person, we unify them by identifying clusters of related records.
In the emerging field of functional genomics, diagnosis of certain diseases is enhanced by determining which genes act together. Different experimental runs might result in different clusterings of genes: we need one consensus clustering that summarizes the experimental outcomes.
Cleaning databases and combining clusterings by hand would require vast amounts of time. This project will result in faster and more accurate computational procedures.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
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
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
Efficient Synchronisation of Large Repositories. Accuracy and maintenance of vast quantities of data are essential for any modern society. The economy, health institutes and industries, and our defence and legal systems rely on having data being distributed widely and securely, and on queries being answered accurately and quickly. Complete synchronisation of databases is often impossible due to the limitations of internet bandwidth. Better compression techniques have the potential to allow crit ....Efficient Synchronisation of Large Repositories. Accuracy and maintenance of vast quantities of data are essential for any modern society. The economy, health institutes and industries, and our defence and legal systems rely on having data being distributed widely and securely, and on queries being answered accurately and quickly. Complete synchronisation of databases is often impossible due to the limitations of internet bandwidth. Better compression techniques have the potential to allow critical data to be distributed much more efficiently; we anticipate in some applications that the size of a compressed file could be reduced tenfold or more compared to previous best methods, leading to dramatic savings.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
The Time-Varying Eigenvalue Problem with Application to Signal Processing and Control. Linear models are ubiquitous in representing physical processes. Decomposing a linear model into its fundamental components is known as the eigenvalue problem. In applications as wide ranging as astronomy, aircraft control systems, Internet search engines and communication systems, it is necessary to perform this decomposition of a pertinent time varying linear model on the fly. This project aims to develop si ....The Time-Varying Eigenvalue Problem with Application to Signal Processing and Control. Linear models are ubiquitous in representing physical processes. Decomposing a linear model into its fundamental components is known as the eigenvalue problem. In applications as wide ranging as astronomy, aircraft control systems, Internet search engines and communication systems, it is necessary to perform this decomposition of a pertinent time varying linear model on the fly. This project aims to develop significantly faster and more accurate algorithms for this time varying eigenvalue problem than currently exist. Very modern techniques will be employed to achieve this aim, and the potential benefits to Australian hi-tech industries are great.
Read moreRead less