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
A Grid based platform for multi-scaled biological simulation. Heart disease currently affects over 3.5 million Australians. In 2006 it claimed the lives of almost 46,000 Australians (34% of all deaths). We will develop enabling technology that underpins cardiac disease research, offering potential for new treatments and pharmaceutical therapies. Even a small improvement in this area can translate into significant national benefit. Further, the mathematical techniques and software tools we will d ....A Grid based platform for multi-scaled biological simulation. Heart disease currently affects over 3.5 million Australians. In 2006 it claimed the lives of almost 46,000 Australians (34% of all deaths). We will develop enabling technology that underpins cardiac disease research, offering potential for new treatments and pharmaceutical therapies. Even a small improvement in this area can translate into significant national benefit. Further, the mathematical techniques and software tools we will develop, whilst focused on heart tissue, will have broader applicability, and may underpin advancements in other disciplines. Finally, we expect that the software solutions and infrastructure will have both commercial and strategic value in their own right.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.
Human interaction with context-aware computing systems. Context-aware systems can provide seamless support of IT applications in a variety of technologies and therefore can improve: (i) work performance and adoption of IT in many industries; and (ii) the quality of life through better support for health services, education, and everyday tasks. Currently proposed solutions for context-aware systems fail to deliver systems which are usable for non-IT professionals. The proposed project will show h ....Human interaction with context-aware computing systems. Context-aware systems can provide seamless support of IT applications in a variety of technologies and therefore can improve: (i) work performance and adoption of IT in many industries; and (ii) the quality of life through better support for health services, education, and everyday tasks. Currently proposed solutions for context-aware systems fail to deliver systems which are usable for non-IT professionals. The proposed project will show how to design context-aware systems that are usable and whose autonomic decisions can be trusted. Additional benefits include increased scientific competitiveness of Australia, strengthened collaboration with international research institutions, and high quality graduates (PhDs, Masters, Honours).Read moreRead less
Intention Selection in Intelligent Agent Systems. Although intelligent multi-tasking is the foundation of rational behaviour, very little work has been done to date. Work in this area will maintain Australia's reputation of being at the forefront of work in Intelligent Agents. It will also provide a basis which can later be further developed for inclusion in applications and agent platforms. Australia has a number of companies, such as Agent Oriented Software, and government organisations, such ....Intention Selection in Intelligent Agent Systems. Although intelligent multi-tasking is the foundation of rational behaviour, very little work has been done to date. Work in this area will maintain Australia's reputation of being at the forefront of work in Intelligent Agents. It will also provide a basis which can later be further developed for inclusion in applications and agent platforms. Australia has a number of companies, such as Agent Oriented Software, and government organisations, such as the Bureau of Meteorology and the Department of Defence, which use agent technology. These companies would benefit from this work as it would tackle a long-standing key problem in the area of intelligent systems.Read moreRead less
Efficient and Effective Interactive Visualization of Large Graphical Information Spaces. The expected outcome will change ways of interacting with and thinking about information processing for all information systems. As Australian companies became larger and more global, the ability to view and analyse the growing amount of company information becomes crucial to aspects as varied as trouble shooting or new ventures and eventually to the very viability of the organization itself. The expected ou ....Efficient and Effective Interactive Visualization of Large Graphical Information Spaces. The expected outcome will change ways of interacting with and thinking about information processing for all information systems. As Australian companies became larger and more global, the ability to view and analyse the growing amount of company information becomes crucial to aspects as varied as trouble shooting or new ventures and eventually to the very viability of the organization itself. The expected outcome will enhance this ability by providing an optimised global view and an effective navigation scheme of large graphical information spaces. This will attract leading international IT companies to use it for developing cutting-age tools, and will enhance significantly the capacity and international standing of Australian IT industry.Read moreRead less
Algorithms for Memory Management and Memory Design in Embedded Systems. Given the importance of embedded systems technology, Australia must secure a place among significant innovators in the field of embedded systems design. Our research aims at novel algorithmic solutions for customization and resource management for embedded processors. Thus, besides generating intellectual property, our research can be fully commercialized in Australia, because it does not require complex and expensive techn ....Algorithms for Memory Management and Memory Design in Embedded Systems. Given the importance of embedded systems technology, Australia must secure a place among significant innovators in the field of embedded systems design. Our research aims at novel algorithmic solutions for customization and resource management for embedded processors. Thus, besides generating intellectual property, our research can be fully commercialized in Australia, because it does not require complex and expensive technologies and other resources available only to the world's largest corporations. In addition, during our research a number of undergraduate and graduate students will get a chance to get training in the cutting edge embedded systems design, optimization and testing.Read moreRead less
Analysing model transformations for combinatorial problems. Maximising the benefits of limited resources is crucial for our industry, our hospitals, our security and our environment. This is achievable through a technology called combinatorial optimisation, which also supports wiser investment, better engineering, and even accelerated bio-informatics. Applying the technology is highly skilled and effort intensive, so most of its potential benefits are unrealised. This project will break down ....Analysing model transformations for combinatorial problems. Maximising the benefits of limited resources is crucial for our industry, our hospitals, our security and our environment. This is achievable through a technology called combinatorial optimisation, which also supports wiser investment, better engineering, and even accelerated bio-informatics. Applying the technology is highly skilled and effort intensive, so most of its potential benefits are unrealised. This project will break down some of the barriers which make it hard to use. The ultimate goal is to let the user state the problem in simple terms, and the computer work out how best to solve it. Our vision is for groups and organisations large and small to reap the benefits of combinatorial optimisation.Read moreRead less
Provably Correct on-chip Communication-based Design. This project falls in the priority area of Frontier Technologies for Building and Transforming Australian Industries. Embedded systems have complex communication architectures and functionalities due to their mission- and time-critical applications. This project will develop verifiable algorithms and techniques for design reuse to address them, help solve outstanding problems in the VLSI/SoC community and to lift the country's visibility and ....Provably Correct on-chip Communication-based Design. This project falls in the priority area of Frontier Technologies for Building and Transforming Australian Industries. Embedded systems have complex communication architectures and functionalities due to their mission- and time-critical applications. This project will develop verifiable algorithms and techniques for design reuse to address them, help solve outstanding problems in the VLSI/SoC community and to lift the country's visibility and credibility in the area. The economic benefits are better techniques for design reuse for embedded systems that may be integrated into existing Computer Aided Design environments, with potential to commercialise the algorithms to Electronic Design Automation and vendors.Read moreRead less
Computing Order Statistcs over Data Streams. While data stream computation currently is one of the most challenging areas in IT research community, order statistics computation is a very important topic in data stream computation.
This project aims to deliver advanced techniques that promise a great impact on data stream technology. The success of this project will give another competitive edge for Australia to continue her leading role in the development of core IT technology. Moreover,
the ....Computing Order Statistcs over Data Streams. While data stream computation currently is one of the most challenging areas in IT research community, order statistics computation is a very important topic in data stream computation.
This project aims to deliver advanced techniques that promise a great impact on data stream technology. The success of this project will give another competitive edge for Australia to continue her leading role in the development of core IT technology. Moreover,
the research outcome of the project will provide generic solutions to many Australia based
industries, including e-finance, telecommunication, network management, sensor network technology
development, and environment monitoring.
Read moreRead less