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
THE DEVELOPMENT OF MECHANISTIC MODELS FOR BUBBLY FLOWS WITH HEAT AND MASS TRANSFER. Commercially available CFD computer codes are currently widely used in many Australian industrial sectors. It is clearly recognised that the state-of-the-art models for dealing with complex bubbly flows with/without heat and mass transfer in these computer codes require further developments and improvements. This research project will address the prevalent deficiency in many of these computer codes. It is antici ....THE DEVELOPMENT OF MECHANISTIC MODELS FOR BUBBLY FLOWS WITH HEAT AND MASS TRANSFER. Commercially available CFD computer codes are currently widely used in many Australian industrial sectors. It is clearly recognised that the state-of-the-art models for dealing with complex bubbly flows with/without heat and mass transfer in these computer codes require further developments and improvements. This research project will address the prevalent deficiency in many of these computer codes. It is anticipated that through this major development of new models capable of predicting a wide range of industrial bubbly flow problems and implementation thereafter in these computer codes, industries will experience significant benefits especially reduce time and costs in their design and production.Read moreRead less
An Integrative and Interactive Approach for Co-estimation of Multiple Sequence Alignment and Phylogeny Reconstruction. In this project innovative IT methods will be developed to assist biologists to solve complex and important biological problems. Many important applications in computational biology need very accurate and reliable tools for multiple sequence alignment and phylogeny reconstruction. Unfortunately, current existing tools are unreliable and are prone to serious errors when applied t ....An Integrative and Interactive Approach for Co-estimation of Multiple Sequence Alignment and Phylogeny Reconstruction. In this project innovative IT methods will be developed to assist biologists to solve complex and important biological problems. Many important applications in computational biology need very accurate and reliable tools for multiple sequence alignment and phylogeny reconstruction. Unfortunately, current existing tools are unreliable and are prone to serious errors when applied to large and divergent biological sequences. The success of this project will not only make significant contribution to the relevant research fields, but also help achieve goals in certain real-life biological research projects which are unique and important to Australia.Read moreRead less
Refinement of Temporal and Epistemic Specifications in Asynchronous Systems. Designing distributed systems is a complex activity requiring rigorous mathematical models of designs and specifications. It is desirable for the mathematical notations to be as close as possible to intuitive notions used by designers. One such notion is the idea that components in a distributed system have states of knowledge. Previous work has developed a calculus enabling derivation of systems with global clock by s ....Refinement of Temporal and Epistemic Specifications in Asynchronous Systems. Designing distributed systems is a complex activity requiring rigorous mathematical models of designs and specifications. It is desirable for the mathematical notations to be as close as possible to intuitive notions used by designers. One such notion is the idea that components in a distributed system have states of knowledge. Previous work has developed a calculus enabling derivation of systems with global clock by series of correctness-preserving transformations from a knowledge-based specification. This project will generalize this work to a calculus for systems that lack a global clock, and implement a tool providing automated support for use of the calculus.Read moreRead less
Redesigning Typesetting for the Digital Age: Multilingual Layout on Multiple Media. We propose to create and develop a new model for character-level automatic typesetting, much more flexible than existing approaches. This model will support quality typesetting of all of the modern - and many ancient - languages and scripts, on media such as paper, computer screen, paper maps and online maps, for regular and safety-critical applications.
The fundamental innovations in this proposal are the us ....Redesigning Typesetting for the Digital Age: Multilingual Layout on Multiple Media. We propose to create and develop a new model for character-level automatic typesetting, much more flexible than existing approaches. This model will support quality typesetting of all of the modern - and many ancient - languages and scripts, on media such as paper, computer screen, paper maps and online maps, for regular and safety-critical applications.
The fundamental innovations in this proposal are the use of a tree-structured parameter space (generalization of Unix environment variables) and a multiple-pass approach to typesetting (as used in compilers). These innovative techniques will be integrated into computer software used worldwide.Read moreRead less
Security for Peer-to-Peer Systems. The importance of adequate security for Internet and online services has been underscored by recent events. The protection of information infrastructures in this ever-increasing digital world has become essential for businesses, governments and individuals. Secure interactions over the Internet have become a strategic necessity and it is critically important for Australia to possess the technology to anticipate and respond to security threats to its industry an ....Security for Peer-to-Peer Systems. The importance of adequate security for Internet and online services has been underscored by recent events. The protection of information infrastructures in this ever-increasing digital world has become essential for businesses, governments and individuals. Secure interactions over the Internet have become a strategic necessity and it is critically important for Australia to possess the technology to anticipate and respond to security threats to its industry and society. The outcomes of this research project will result in secure and trustworthy computing technologies that will enable secure e-commerce applications and on-line services and trusted interactions between users over the Internet. Read moreRead less
Trust-Oriented Social Relation Analysis and Social Relation Aware Rating Analysis in Trust Management. Trust management is an emerging field offering critical challenges on evaluating the quality and trustworthiness of objects, services and raters. Thus it requires the development of novel techniques and solutions to address these challenges both conceptually and practically. This project will develop innovative techniques to infer trust in complex social networks, detect bias in trust ratings a ....Trust-Oriented Social Relation Analysis and Social Relation Aware Rating Analysis in Trust Management. Trust management is an emerging field offering critical challenges on evaluating the quality and trustworthiness of objects, services and raters. Thus it requires the development of novel techniques and solutions to address these challenges both conceptually and practically. This project will develop innovative techniques to infer trust in complex social networks, detect bias in trust ratings and its dependencies with social relations. They can greatly contribute to breakthrough techniques enabling trust-oriented social network analysis and more objective trust management systems that can be transferred to the Australian IT industry to promote the trustworthiness of Web services and reduce monetary loss.Read moreRead less
Providing End-to-End Quality of Service to Internet Applications. Current Internet only supports limited quality of service (QoS) within isolated domains. This project allows critical applications to be deployed over the global Internet. The project employs a programmable architecture for composing services and intelligent software elements for negotiating acceptable QoS responses for individual application flows over multiple administrative domains. The architecture employs DiffServ's aggregati ....Providing End-to-End Quality of Service to Internet Applications. Current Internet only supports limited quality of service (QoS) within isolated domains. This project allows critical applications to be deployed over the global Internet. The project employs a programmable architecture for composing services and intelligent software elements for negotiating acceptable QoS responses for individual application flows over multiple administrative domains. The architecture employs DiffServ's aggregation property to make it scalable for the Internet core. Successful outcomes would open the floodgates, allowing the development and deployment of applications such as high quality videoconferences, live sport broadcasts, remote medical services, network games, real-time on-line educations, and multimedia distributions.
Read moreRead less
Grid Computing for Phylogenetic Analysis. This interdisciplinary project relates to information technology and bioinformatics, which both can be classified as Frontier Technology in the priority areas outlined by the ARC. Grid computing and using the state-of-art IT technologies to solve grand challenging problems in phylogenetic analysis are forefront research topics in information technology and bioinformatics. The analytical results and new technologies obtained in this project will certainly ....Grid Computing for Phylogenetic Analysis. This interdisciplinary project relates to information technology and bioinformatics, which both can be classified as Frontier Technology in the priority areas outlined by the ARC. Grid computing and using the state-of-art IT technologies to solve grand challenging problems in phylogenetic analysis are forefront research topics in information technology and bioinformatics. The analytical results and new technologies obtained in this project will certainly have significant implications in the relevant areas. New platforms and software developed could have commercial value. It is of great significance that Australia maintains its pioneering position and international reputation in research in Grid computing and its applications.Read moreRead less
Fair Intelligent Quality of Service Control and Path Discovery Mechanisms for Internet Scalable Architectures. Until now the Internet only provides best effort service without guaranteeing the timeliness or actual delivery of data. Quality of Service (QoS) architectures have been proposed but not deployed due to a fundamental problem: either the architecture is not scalable or it does not guarantee end-to-end QoS. The project tackles the problem by introducing mechanisms for network path discove ....Fair Intelligent Quality of Service Control and Path Discovery Mechanisms for Internet Scalable Architectures. Until now the Internet only provides best effort service without guaranteeing the timeliness or actual delivery of data. Quality of Service (QoS) architectures have been proposed but not deployed due to a fundamental problem: either the architecture is not scalable or it does not guarantee end-to-end QoS. The project tackles the problem by introducing mechanisms for network path discovery in the network core. The solution allows an integration of both scalability and end-to-end QoS architectures. The outcomes allow network providers to provision network resources efficiently, to develop competitive Internet-based products; and the service providers to develop quality services such as high quality IP phone, multimedia distributions.
Read moreRead less