Evolutionary algorithms for problems in functional genomics data analysis. Skin cancer has a high incidence in the Australian population. Schizophrenia is a psychiatric disorder that affects a significant proportion of the population worldwide. Both illnesses have genetic roots and can be triggered by environmental factors. We will uncover genetic relationship to disease and their responses to environmental conditions using computational methods and mathematical algorithms that can aid in the de ....Evolutionary algorithms for problems in functional genomics data analysis. Skin cancer has a high incidence in the Australian population. Schizophrenia is a psychiatric disorder that affects a significant proportion of the population worldwide. Both illnesses have genetic roots and can be triggered by environmental factors. We will uncover genetic relationship to disease and their responses to environmental conditions using computational methods and mathematical algorithms that can aid in the determination of function, especially in disease states. Understanding the complex genetic interactions that trigger these illnesses would give great benefits in preventive health care, skin cancer and schizophrenia genetic basis, and may lay the ground for building new methods for "personalized medicine".
Read moreRead less
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
Cryptographic Protocols: Proofs and Designs. Cryptographic protocols are the foundation for protection of the critical electronic communications infrastructure on which much of commerce and industry rely. They will increasingly be required in emerging technologies such as ad-hoc wireless networks and sensor networks. This project will provide the ability to design new and efficient protocols with a mathematical guarantee of security. The resulting practical protocols will benefit all users of el ....Cryptographic Protocols: Proofs and Designs. Cryptographic protocols are the foundation for protection of the critical electronic communications infrastructure on which much of commerce and industry rely. They will increasingly be required in emerging technologies such as ad-hoc wireless networks and sensor networks. This project will provide the ability to design new and efficient protocols with a mathematical guarantee of security. The resulting practical protocols will benefit all users of electronic communications who require security for their information. This includes the financial industries, government, commerce and domestic users.Read moreRead less
Cryptographic Protocols from Pairings: Proofs and Designs. Modern society has become critically dependent on information and communications infrastructures. At the same time, the development of e-commerce is being slowed by lack of confidence in its security. By providing increased assurance and enhanced cryptographic security protocols this research will improve the dependability of the nation's information and communications infrastructure, as well as encourage the growth of e-commerce. Throu ....Cryptographic Protocols from Pairings: Proofs and Designs. Modern society has become critically dependent on information and communications infrastructures. At the same time, the development of e-commerce is being slowed by lack of confidence in its security. By providing increased assurance and enhanced cryptographic security protocols this research will improve the dependability of the nation's information and communications infrastructure, as well as encourage the growth of e-commerce. Through the expertise and experience gained with this project, Australia's excellence in information security research will be reinforced. The training of PhD and Honours students will provide a much needed source of highly trained information security professionals.Read moreRead less
Complexity Constrained Iterative Information Processing. The contribution of Information and Communications Technologies to the National Economy has been widely recognized. ICT enables wealth creation, employment and exports, and underpins many innovation processes. Immediate project benefits will be: Contribution to the knowledge base and fundamental capabilities in high-speed wireless communications networks; Education of future Australian academic and industrial innovators; Raising the inter ....Complexity Constrained Iterative Information Processing. The contribution of Information and Communications Technologies to the National Economy has been widely recognized. ICT enables wealth creation, employment and exports, and underpins many innovation processes. Immediate project benefits will be: Contribution to the knowledge base and fundamental capabilities in high-speed wireless communications networks; Education of future Australian academic and industrial innovators; Raising the international profile of Australian research in the area of information technology. Applied development of the outcomes will lead to the generation of valuable intellectual property. Close links to Australian industry ensures that Australian ICT companies stand to gain commercial advantage.Read moreRead less
Iterative Architechtures for Data Communications. Growing markets for data intensive applications such as real-time video or speech necessitate continual improvements of communications systems. Iterative information processing algorithms have recently received attention for communications equipment design, however theoretical understanding of these methods is still lacking. Within an iterative processing paradigm, the project aim is the optimization of complex communications systems subject to c ....Iterative Architechtures for Data Communications. Growing markets for data intensive applications such as real-time video or speech necessitate continual improvements of communications systems. Iterative information processing algorithms have recently received attention for communications equipment design, however theoretical understanding of these methods is still lacking. Within an iterative processing paradigm, the project aim is the optimization of complex communications systems subject to constraints on computational complexity. Theoretical analysis and design methodologies for such systems will be developed, resulting in basic contributions to statistical science and in cheaper communications infrastructures supporting a wider range of services through better use of limited bandwidth, power and computational complexity.Read moreRead less
Experimental runtime complexity analysis of logic programs. While declarative languages improve programmer productivity, they make it harder for programmers to understand the performance of their code. We will build a tool that will use profiling data and program analysis to allow programmers to predict the running time of their programs.
Quantum decoherence: A game-theoretic perspective. Algorithms based on quantum computation have the ability to significantly speed up information processing compared to standard computers. The increase in computational power can have enormous impact on humankind and this project will help maintain Australia's position in the global forefront of this effort.This project focuses on the thoeretical foundations of quantum computation and complements the efforts of several groups in Australia collabo ....Quantum decoherence: A game-theoretic perspective. Algorithms based on quantum computation have the ability to significantly speed up information processing compared to standard computers. The increase in computational power can have enormous impact on humankind and this project will help maintain Australia's position in the global forefront of this effort.This project focuses on the thoeretical foundations of quantum computation and complements the efforts of several groups in Australia collaborating on the experimental design of quantum computers. The project will increase the fundamental understanding of how quantum information is processed in the presence of noise, which is necessary for the successful operation of quantum computers. 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
Compilation Techniques for Embedded Systems. Highly optimising compiler tools are becoming an important part of the software development process for embedded systems. This project will provide Australia with core technology in the area of tools for embedded systems. It will allow safer embedded systems in mission-critical applications. In addition, the Australian Industry will benefit from a substantially growing embedded systems market where tools are a pre-requisite for a cost-aware and safe s ....Compilation Techniques for Embedded Systems. Highly optimising compiler tools are becoming an important part of the software development process for embedded systems. This project will provide Australia with core technology in the area of tools for embedded systems. It will allow safer embedded systems in mission-critical applications. In addition, the Australian Industry will benefit from a substantially growing embedded systems market where tools are a pre-requisite for a cost-aware and safe software development. The industry interested in embedded system tools are: Telecom/Datacom, Consumer Electronics, Industrial Automation, Retail Automation, Office Automation, Military/Aerospace, Automotive, Information Automation, Medical Devices.Read moreRead less