Improved Monte Carlo Methods for Estimation, Optimisation and Counting. The project will benefit the Australian society by building the theoretical and methodological foundations for the next generation of Monte Carlo techniques. The advancement of the knowledge in this area will provide important tools for solving complex estimation, optimisation and counting problems in engineering, statistics, computer science, mathematics and the physical and life sciences. As a result it will generate a com ....Improved Monte Carlo Methods for Estimation, Optimisation and Counting. The project will benefit the Australian society by building the theoretical and methodological foundations for the next generation of Monte Carlo techniques. The advancement of the knowledge in this area will provide important tools for solving complex estimation, optimisation and counting problems in engineering, statistics, computer science, mathematics and the physical and life sciences. As a result it will generate a competitive advantage for various sections of the Australian industry, including telecommunications, biotechnology and finance. The project will enable Australian researchers to continue to work at the forefront of this fast moving and exciting area of international research.Read moreRead less
Cross-Entropy Methods in Complex Biological Systems. The Cross-Entropy method provides a powerful new way to find superior solutions to complicated optimisation problems in biology, ranging from better design and implementation of medical treatments to an increased understanding of complex ecosystems.
Control of Markov jumping processes with constraints. The project outcomes will constitute the set of tools for modelling and optimisation of complex stochastic systems and will lead to new and more precise characterisations of optimal behaviour of complex controllable systems arising in Resource Management, Engineering and Telecommunications. Therefore, the project fits to the research priority areas Breakthrough Science and Frontier Technologies in the topic of mathematical modelling and optim ....Control of Markov jumping processes with constraints. The project outcomes will constitute the set of tools for modelling and optimisation of complex stochastic systems and will lead to new and more precise characterisations of optimal behaviour of complex controllable systems arising in Resource Management, Engineering and Telecommunications. Therefore, the project fits to the research priority areas Breakthrough Science and Frontier Technologies in the topic of mathematical modelling and optimisation of Complex Systems.Read moreRead less
Intelligent Model Checking. Real-world systems are typically so complex that software engineers require specialised CAD tools to debug and verify a design. Model checking is a formal method that is used extensively for this purpose, particularly for mission-critical systems. In this work, a new kind of verifying tool, based on model checking, is developed. This new model checker is intelligent because a heuristic search is integrated into the underlying formalism. It is not exhaustive, and is mo ....Intelligent Model Checking. Real-world systems are typically so complex that software engineers require specialised CAD tools to debug and verify a design. Model checking is a formal method that is used extensively for this purpose, particularly for mission-critical systems. In this work, a new kind of verifying tool, based on model checking, is developed. This new model checker is intelligent because a heuristic search is integrated into the underlying formalism. It is not exhaustive, and is more efficient than a traditional model checker during the design phase because it does only a minimum amount of work in its search for a fault.Read moreRead less
Exploiting Database Technologies for the Visualization and Analysis of Measured and Simulated Plant Structures in Bioinformatics. The project will contribute to both bioinformatics and database research at both the national and international levels, although this project is specifically focusing on plant architecture but it has great potential other fields such as solving computationally difficult problems of branching in nature such as DNA and crystal related research. The results of this resea ....Exploiting Database Technologies for the Visualization and Analysis of Measured and Simulated Plant Structures in Bioinformatics. The project will contribute to both bioinformatics and database research at both the national and international levels, although this project is specifically focusing on plant architecture but it has great potential other fields such as solving computationally difficult problems of branching in nature such as DNA and crystal related research. The results of this research can be applied to all kinds of plants such as rice, cotton, rose etc.Read moreRead less
Emerging applications of advanced computational methods and discrete mathematics. Ongoing improvements in computer performance are revolutionising research in combinatorial discrete mathematics, and leading to exciting new applications in information technology and the biological and chemical sciences. As a result, substantial international research effort, both at universities and in commercial and industrial organisations, is being channelled into high-performance computation and theoretical p ....Emerging applications of advanced computational methods and discrete mathematics. Ongoing improvements in computer performance are revolutionising research in combinatorial discrete mathematics, and leading to exciting new applications in information technology and the biological and chemical sciences. As a result, substantial international research effort, both at universities and in commercial and industrial organisations, is being channelled into high-performance computation and theoretical problems in combinatorial mathematics. Our aim is to develop and apply advanced computational methods through the study of several unsolved theoretical problems in design theory and practical problems in exact matrix computation and drug design.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
Design and Development of a Web-based Intelligent Multimedia Mining System. Increasing amounts of digital multimedia data in the form of video is being captured and stored. However, even the most advanced storage and retrieval techniques lack the features required to be used singly, or in combination, to fulfil a wide range of user needs and rapid access to multimedia resources, even in a very large video database. The core challenges are indeed to develop efficient, smart and intelligent web-ba ....Design and Development of a Web-based Intelligent Multimedia Mining System. Increasing amounts of digital multimedia data in the form of video is being captured and stored. However, even the most advanced storage and retrieval techniques lack the features required to be used singly, or in combination, to fulfil a wide range of user needs and rapid access to multimedia resources, even in a very large video database. The core challenges are indeed to develop efficient, smart and intelligent web-based multimedia mining in Australia and elsewhere. In this project, we will explore techniques and develop algorithms for content-based multimedia retrieval and mining in multimedia databases.Read moreRead less
Integration of Object Behavior in Federated Information Systems. Integration of autonomous object-oriented systems requires the integration
of object structure and object behaviour. Research in federated information
systems has so far mainly addressed integration of object structure. This
project will investigate the integration of object behaviour, especially object
life cycles. A major application area is the integration of business processes,
which is typically required when companies me ....Integration of Object Behavior in Federated Information Systems. Integration of autonomous object-oriented systems requires the integration
of object structure and object behaviour. Research in federated information
systems has so far mainly addressed integration of object structure. This
project will investigate the integration of object behaviour, especially object
life cycles. A major application area is the integration of business processes,
which is typically required when companies merge or enter into
consumer-producer relationships and constitutes a key capability for B2B e-commerce
systems. Consistency criteria for behaviour integration
will be defined and applied in a graphical integration tool that guides the
definition of global behavioural views upon autonomous object-oriented systems.
Read moreRead less
Dynamic Semantic Interoperability for Business Processes. The integration of independently developed applications constitutes
one of the major bottlenecks in modern software development in
business, industry, and defense, in particular for a nation such as
Australia that is highly reliant on overseas trade. Technologies that
facilitate the smooth application integration promise significant
savings in software development. By offering automated support task,
this project offers the potenti ....Dynamic Semantic Interoperability for Business Processes. The integration of independently developed applications constitutes
one of the major bottlenecks in modern software development in
business, industry, and defense, in particular for a nation such as
Australia that is highly reliant on overseas trade. Technologies that
facilitate the smooth application integration promise significant
savings in software development. By offering automated support task,
this project offers the potential of significant cost savings, highly
beneficial to any industry with a major ICT component. Lessons learned
from the demonstration prototype can be directly carried over into
commercial tool development. The project strengthens links to high
quality European research laboratories.
Read moreRead less