Deep correction of DNA sequencing errors by data mining algorithms. This project aims to investigate the many layers of error correction problems in the terabytes of genomic sequence data, and aims to solve these problems by novel data mining algorithms. High-throughput sequencing platforms have generated massive amounts of useful raw data, but also made widespread errors. The new algorithms are capable of correcting errors at deeper layers to further enhance data quality. Expected outcome inclu ....Deep correction of DNA sequencing errors by data mining algorithms. This project aims to investigate the many layers of error correction problems in the terabytes of genomic sequence data, and aims to solve these problems by novel data mining algorithms. High-throughput sequencing platforms have generated massive amounts of useful raw data, but also made widespread errors. The new algorithms are capable of correcting errors at deeper layers to further enhance data quality. Expected outcome includes the knowledge advancement of genomic data industry and interdisciplinary collaboration between biotechnology and data mining. This also provides significant benefit for genomic decisions in forensics and personalised medicine which demand accurate genomic information.Read moreRead less
Efficient data mining methods for evidence-based decision making. This project aims to develop efficient data mining methods for causal predictions. Evidence-based decision making (EBD), such as evidence-based medicine and policy, is always preferable. To support EBD, causal predictions forecast how outcomes change when conditions are manipulated. Progress has been made in theoretical research on causal inference based on observational data, but few methods can automatically mine causal signals ....Efficient data mining methods for evidence-based decision making. This project aims to develop efficient data mining methods for causal predictions. Evidence-based decision making (EBD), such as evidence-based medicine and policy, is always preferable. To support EBD, causal predictions forecast how outcomes change when conditions are manipulated. Progress has been made in theoretical research on causal inference based on observational data, but few methods can automatically mine causal signals from the data and methods for efficient causal predictions based on data are even fewer. This project will apply its methods to biomedical problems. The outcomes could support smart and data-driven evidence based decision making in many areas, such as therapeutics and government policy making.Read moreRead less
User-task co-adaptation for effective interactive simulation environments. This project aims to deliver smart interactive simulation environments in which users and simulation tasks work together. This project aims to create novel adaptive algorithms to automatically discover those user and task features that vary together to smartly adapt users and simulation tasks to work together harmoniously, seamlessly and effectively. Interactive simulation environments are the backbone for evaluating conc ....User-task co-adaptation for effective interactive simulation environments. This project aims to deliver smart interactive simulation environments in which users and simulation tasks work together. This project aims to create novel adaptive algorithms to automatically discover those user and task features that vary together to smartly adapt users and simulation tasks to work together harmoniously, seamlessly and effectively. Interactive simulation environments are the backbone for evaluating concepts, designs, products and advanced training systems in industry and government organisations. By bringing the user naturally inside the simulation as a task's component, users can improve their experience while task performance is simultaneously optimised. Intended outcomes include novel dynamic user-task profiling algorithms and new adaptive algorithms for user-task co-adaptation. Practical outcomes may include robust and highly effective simulation environments.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
Planning and Learning in BDI Agents. Intelligent agents are becoming increasingly important in a range of complex and dynamic applications. BDI agent systems are extremely successful robust and flexible, in real time applications. However they are not actually able to do any traditional planning. Nor do they incorporate learning. This project will incorporate learning and planning capabilities into a BDI system framework, in a focussed and integrated manner that allows benefits from these approa ....Planning and Learning in BDI Agents. Intelligent agents are becoming increasingly important in a range of complex and dynamic applications. BDI agent systems are extremely successful robust and flexible, in real time applications. However they are not actually able to do any traditional planning. Nor do they incorporate learning. This project will incorporate learning and planning capabilities into a BDI system framework, in a focussed and integrated manner that allows benefits from these approaches where appropriate, but without compromising the real-time capability of existing BDI systems. Learned information and new plans will then be fully incorporated for later use by the standard BDI mechanisms.Read moreRead less
Searching for near-exact protein models. This project aims to develop novel and efficient heuristic-based algorithms leading to near accurate protein tertiary structure models. Knowledge about protein structures is fundamental to our understanding of living systems. The progress on experimental determination of these structures has been extremely limited and remains an open challenge in molecular biology. Computational prediction of protein structures from sequences is emerging as a promising ap ....Searching for near-exact protein models. This project aims to develop novel and efficient heuristic-based algorithms leading to near accurate protein tertiary structure models. Knowledge about protein structures is fundamental to our understanding of living systems. The progress on experimental determination of these structures has been extremely limited and remains an open challenge in molecular biology. Computational prediction of protein structures from sequences is emerging as a promising approach, but its accuracy is far from satisfactory. The software systems developed in this project will be used in structural identification of target proteins in drug design. This will make drug design process more efficient, saving time and cost, potentially saving lives.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.
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
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