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
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
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
New Methods for Interactive Visualization of Large Microarray Data Sets. This project will investigate methods for visualising graphs produced by AI-based analysis of real-world biological data. These new visualisation methods will assist biologists to develop new DNA Microarray experiments, the source of raw data for visualisation. Data from new enhanced experiments, plus background knowledge from integrated public databases will produce richer data for visualisation, thus creating a positive f ....New Methods for Interactive Visualization of Large Microarray Data Sets. This project will investigate methods for visualising graphs produced by AI-based analysis of real-world biological data. These new visualisation methods will assist biologists to develop new DNA Microarray experiments, the source of raw data for visualisation. Data from new enhanced experiments, plus background knowledge from integrated public databases will produce richer data for visualisation, thus creating a positive feedback loop in the course of research into both topics.Read moreRead less
Model Update with Localisation, Constraints and Abstraction. This project will fundamentally provide a new paradigm and a system prototype for advanced computer aided system modification. It will significantly enhance Australia's leading role in the cutting edge research in computer aided system development. By applying the new methodology and technology, Australian IT industry will significantly improve its capacity for developing highly complex hardware and software systems for various applica ....Model Update with Localisation, Constraints and Abstraction. This project will fundamentally provide a new paradigm and a system prototype for advanced computer aided system modification. It will significantly enhance Australia's leading role in the cutting edge research in computer aided system development. By applying the new methodology and technology, Australian IT industry will significantly improve its capacity for developing highly complex hardware and software systems for various applications. With a strong research program across different areas such as knowledge system update, model checking and software development, and a collaborative research training environment, this project will strengthen Australia's international reputation as a leader in computing and IT research.Read moreRead less
ARC Centre for Complex Systems. The Australian Centre for Complex Systems brings together leading researchers from several disciplines and institutions to conduct research on questions fundamental to understanding and managing complex systems. Its core research program, based on the theme of computation in and by networks of agents, has two interwoven strands. The science strand addresses questions about emergent properties, natural computation, and nonlinear dynamics. The engineering strand add ....ARC Centre for Complex Systems. The Australian Centre for Complex Systems brings together leading researchers from several disciplines and institutions to conduct research on questions fundamental to understanding and managing complex systems. Its core research program, based on the theme of computation in and by networks of agents, has two interwoven strands. The science strand addresses questions about emergent properties, natural computation, and nonlinear dynamics. The engineering strand addresses issues about methodology, modelling toolkits, and management and control. Practical applications are advanced via collaborative projects that address key issues in biology, environment, and socio-economics.Read moreRead less
A fast and effective automated insider threat detection and prediction system. Threats from insiders directly compromises the security, privacy and integrity of Australian e-commerce, large databases and communication channels. This project will provide an essential step in combating this criminal activity by developing methods to detect such threats and secure the public's information against exposure and identity theft.
Escaping the concurrency trade-off: a new approach to enterprise software. Enterprise software manages the operations of all business and government organisations. Designers of this often rely on their intuition or luck, by using high-performance database facilities whose correctness is not guaranteed. This project will show designers how to use these facilities while still having the assurance that the data will not be corrupted. This will improve the quality of the data used by Australian ent ....Escaping the concurrency trade-off: a new approach to enterprise software. Enterprise software manages the operations of all business and government organisations. Designers of this often rely on their intuition or luck, by using high-performance database facilities whose correctness is not guaranteed. This project will show designers how to use these facilities while still having the assurance that the data will not be corrupted. This will improve the quality of the data used by Australian enterprises, and thus improve their operations. Australian software designers will also benefit, as they will be able to produce software that combines high performance with assurance that concurrency errors will not occur.Read moreRead less
Implementing Bioinformatics Algorithms using .NET-based Stored Procedures in a Database Cluster. We will create the technology for significantly improving the management, processing and sharing of biological data. Areas in which Australia has a large stake, including the development of new drugs, disease research, and agricultural genetic engineering, stand to benefit considerably from these advances. This contribution by Australian researchers to a global problem will have a positive impact on ....Implementing Bioinformatics Algorithms using .NET-based Stored Procedures in a Database Cluster. We will create the technology for significantly improving the management, processing and sharing of biological data. Areas in which Australia has a large stake, including the development of new drugs, disease research, and agricultural genetic engineering, stand to benefit considerably from these advances. This contribution by Australian researchers to a global problem will have a positive impact on our own health industry, and will provide the foundation for improvements in agriculture and financial services.Read moreRead less