Special Research Initiatives - Grant ID: SR0567334
Funder
Australian Research Council
Funding Amount
$125,748.00
Summary
A Grid-Enabled National Archive of Nanostructural Imagery (GRANI). The Nanostructural Analysis Network Organization (NANO) is an Australian Major National Research Facility that provides access to a grid of advanced microscopic instruments for the nanostructural analysis of both physical materials and biological systems. The aim of this initiative is to provide the NANO community with a set of common, interoperable tools and services to enable more efficient, cost-effective storage, management, ....A Grid-Enabled National Archive of Nanostructural Imagery (GRANI). The Nanostructural Analysis Network Organization (NANO) is an Australian Major National Research Facility that provides access to a grid of advanced microscopic instruments for the nanostructural analysis of both physical materials and biological systems. The aim of this initiative is to provide the NANO community with a set of common, interoperable tools and services to enable more efficient, cost-effective storage, management, analysis and sharing of generated microscopic images, video and analytical data. The significance of the proposed middleware is that it will improve collaboration and reduce duplication across many disciplines, through a shareable, distributed national scientific image/video database.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0775747
Funder
Australian Research Council
Funding Amount
$160,000.00
Summary
Distributed Medical Image Analysis and Visualisation Engine (MedVis). Improved understanding of neurological processes is crucial to improving clinical outcomes for patients. MedVis will contribute in three ways: support development of new methods of interpretation and analysis of complex neurological studies, allowing current methods to be applied more efficiently, and enabling distributed simulations and visualisations in real-time from remote sites.
The leading-edge, grid-based, software and ....Distributed Medical Image Analysis and Visualisation Engine (MedVis). Improved understanding of neurological processes is crucial to improving clinical outcomes for patients. MedVis will contribute in three ways: support development of new methods of interpretation and analysis of complex neurological studies, allowing current methods to be applied more efficiently, and enabling distributed simulations and visualisations in real-time from remote sites.
The leading-edge, grid-based, software and computational techniques developed for the project will enable visualization, analysis and modelling of massive volumes of image and other visualisation data. This capability is important in medical research where large visualisation data volumes are being created and studied by experts remote from each other.
Read moreRead less
Multi-Ontologies meet UML: Improving the Software Engineering of Multi-Agent Systems. Multi-agent systems are a new style of software well suited for open, dynamic, distributed, global, heterogeneous environments such as the Internet. Systematic methods are needed to allow multi-agent systems to reason effectively with high level knowledge. This research draws on software engineering practice to develop a theory and methodology for multi-ontologies for expressing knowledge within multi-agent sys ....Multi-Ontologies meet UML: Improving the Software Engineering of Multi-Agent Systems. Multi-agent systems are a new style of software well suited for open, dynamic, distributed, global, heterogeneous environments such as the Internet. Systematic methods are needed to allow multi-agent systems to reason effectively with high level knowledge. This research draws on software engineering practice to develop a theory and methodology for multi-ontologies for expressing knowledge within multi-agent systems that facilitate adaptation and change.
Read moreRead less
Intelligent Collaborative Care Management. The project will provide the basis for new models of consumer care in both social and commercial settings. In a commercial setting, customer care means looking after the customer, with the hope of retaining their business. By developing a formal model of evidence-based care, together with the information technologies to implement this model, the project will result in higher quality, safer, more efficient and more effective care. This will produce si ....Intelligent Collaborative Care Management. The project will provide the basis for new models of consumer care in both social and commercial settings. In a commercial setting, customer care means looking after the customer, with the hope of retaining their business. By developing a formal model of evidence-based care, together with the information technologies to implement this model, the project will result in higher quality, safer, more efficient and more effective care. This will produce significant economic and social benefits for Australia across a wide range of service industries. The project will also generate export opportunities for information technology services and products in health care and other service industries. In addition, it will drive collaboration with leading global businesses, providing new paths to market for Australian research, technologies and innovations.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE140100017
Funder
Australian Research Council
Funding Amount
$394,800.00
Summary
Adaptive Optimisation of Complex Combinatorial Problems. One of the most common problems faced by planners, whether in industry or government, is optimisation, finding the optimal solution to a problem. Even a one per cent improvement in a solution can make a difference of millions of dollars in some cases. Traditionally optimisation problems are solved by analytic means or exact optimisation methods. Today, however, many optimisation problems involve complex combinatorial systems that make such ....Adaptive Optimisation of Complex Combinatorial Problems. One of the most common problems faced by planners, whether in industry or government, is optimisation, finding the optimal solution to a problem. Even a one per cent improvement in a solution can make a difference of millions of dollars in some cases. Traditionally optimisation problems are solved by analytic means or exact optimisation methods. Today, however, many optimisation problems involve complex combinatorial systems that make such traditional approaches unsuitable or intractable. This project aims to assist researchers and practitioners in solving complex combinatorial optimisation problems by adapting the optimisation strategy to the problem being solved, based on problem features such as search space difficulty. Read moreRead less
Agent-Oriented Concept Management. This project will develop innovative agent-oriented approaches to managing information. An understanding of the concepts used by a system will enhance its ability to share information. Knowledge and concept management are key components of an information economy, and it is widely accepted that the success of the next generation of information systems will be their agent-oriented capability and their ability to interact with each other. In response, internation ....Agent-Oriented Concept Management. This project will develop innovative agent-oriented approaches to managing information. An understanding of the concepts used by a system will enhance its ability to share information. Knowledge and concept management are key components of an information economy, and it is widely accepted that the success of the next generation of information systems will be their agent-oriented capability and their ability to interact with each other. In response, international funding agencies have targeted agent-oriented technologies as essential ingredients for prosperity in the 21st century. This project will help to ensure that Australia shares in that prosperity.Read moreRead less
Integrating Model Checking and Knowledge Dynamics for System Verification. The task of system verification is to ensure the correctness of system design and specification in some automatic way. The aim of this project is to develop a new methodology and technology for computer software system verification by integrating traditional model checking approach and knowledge dynamics modeling. By deriving the results of this project, we will understand how model checking and knowledge dynamics modelin ....Integrating Model Checking and Knowledge Dynamics for System Verification. The task of system verification is to ensure the correctness of system design and specification in some automatic way. The aim of this project is to develop a new methodology and technology for computer software system verification by integrating traditional model checking approach and knowledge dynamics modeling. By deriving the results of this project, we will understand how model checking and knowledge dynamics modeling can be integrated for more effective software verification and modification, which will significantly improve current software design and development procedures, increase the correctness and stability of software systems, and provide high security for e-Commerce transaction systems.Read moreRead less
Coding Error Isolation in Computerised Simulation Models with Application to Wastewater Treatment Systems. Simulation code verification through program testing and debugging is crucially important, but is tedious and often difficult. A novel approach will be studied in this project. The approach involves detecting coding errors through back-to-back testing using two independently implemented versions of a given mathematical model, and isolating the coding errors through systematically analysing ....Coding Error Isolation in Computerised Simulation Models with Application to Wastewater Treatment Systems. Simulation code verification through program testing and debugging is crucially important, but is tedious and often difficult. A novel approach will be studied in this project. The approach involves detecting coding errors through back-to-back testing using two independently implemented versions of a given mathematical model, and isolating the coding errors through systematically analysing the test error signal generated (the difference between the outputs of the two models). This is possible because one of the two versions is implemented in such a way that the test error carries an easily identifiable feature. This project could revolutionize the area of model verification.Read moreRead less
Enabling small businesses to more cost-effectively use big data on cloud computing platforms. This project will invent a new generic cost model for managing big data in cloud computing. This model will enable agent-based, innovative data management technologies to reduce the cost of storage, computation and bandwidth consumption in the cloud. Outcomes will enable small businesses to use big data in cloud computing more cost effectively.
Topological Approaches for Three Dimensional Graph Drawing. Human analysis of huge quantities of relational data in biotechnology, web engineering, social networks, and computer networks requires visualization. In recent years, three-dimensional visualisation has promised to give new insights into such abstract data. However the past ten years of visualization research has had very little impact on the industry; visualization software providers have not adopted visualization methods developed b ....Topological Approaches for Three Dimensional Graph Drawing. Human analysis of huge quantities of relational data in biotechnology, web engineering, social networks, and computer networks requires visualization. In recent years, three-dimensional visualisation has promised to give new insights into such abstract data. However the past ten years of visualization research has had very little impact on the industry; visualization software providers have not adopted visualization methods developed by academics. We hypothesise that current 3D relational visualization methods fail because they do not pay attention to the human perception of topology. In this project we will leverage mathematical topology to construct new methods for the 3D visualization of relational data.
Read moreRead less