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
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.
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
Integrating and automating testing in multi-agent system development. This research will provide mechanisms that facilitate easier and more thorough testing of multi-agent systems. Multi-agent technology is extremely powerful and can save businesses substantial time and effort in developing complex systems. Automated testing will ensure that systems built using this technology are more robust, and will also enable substantial savings in time required for testing. Multi agent systems are notorio ....Integrating and automating testing in multi-agent system development. This research will provide mechanisms that facilitate easier and more thorough testing of multi-agent systems. Multi-agent technology is extremely powerful and can save businesses substantial time and effort in developing complex systems. Automated testing will ensure that systems built using this technology are more robust, and will also enable substantial savings in time required for testing. Multi agent systems are notoriously difficult to test, due to their complexity. However the approaches used in this project will enable intelligent generation of test cases that are potentially difficult, and also generation of test cases that are based on specified functionality.Read moreRead less
Tools, methodologies and reasoning support for developing companion-toy modules. This project investigates building of modules for an intelligent Toy which can be customised and adapted over time by add-on modules. Intelligent interactive toys are growing in popularity, and the ability for such a toy to develop over a prolonged lifetime, is both a sound business idea and a mechanism for extending the useful life of the Toy.
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.
Advancing Medical Image Analysis through High Performance Heterogeneous Computing, Numerical Simulation, and Novel Human Computer Interfaces. This project will link Australian researchers with a major multi-national IT company. The engagement of world-class personnel from Microsoft will provide unprecedented opportunities for graduate students to experience research in both an academic and an industrial setting. The participation of Microsoft product division offers the potential to transform th ....Advancing Medical Image Analysis through High Performance Heterogeneous Computing, Numerical Simulation, and Novel Human Computer Interfaces. This project will link Australian researchers with a major multi-national IT company. The engagement of world-class personnel from Microsoft will provide unprecedented opportunities for graduate students to experience research in both an academic and an industrial setting. The participation of Microsoft product division offers the potential to transform the outcomes of this project into widely-used software solutions. The project will pave the way for more widespread and reliable evidenced-based computer-aided diagnosis and image-guided treatment. It will produce well-trained and sought-after graduates and research associates with extensive inter-disciplinary knowledge of medical image analysis and high-performance computing.Read moreRead less