An integrative and distributed data management and workflow framework for e-research in biomedical imaging. This project will develop new tools for neuroimaging research: (i) efficient distributed infrastructure and workflow capabilities and (ii) semantic tools using existing ontological frameworks and specific neuroimaging ontologies.
These new capabilities will significantly enhance the productivity of neuroimaging research.
Immersive analytics: interactive data analysis using surfaces and spaces. This project aims to explore the potential for new immersive display and interaction technologies to greatly enhance the field of visual data analytics. Humans struggle to understand the masses of complex data they now accumulate. Visual data analytics offers a solution. The project expects to provide practical and theoretical frameworks for immersive data analysis and valuable intellectual property on the first practical ....Immersive analytics: interactive data analysis using surfaces and spaces. This project aims to explore the potential for new immersive display and interaction technologies to greatly enhance the field of visual data analytics. Humans struggle to understand the masses of complex data they now accumulate. Visual data analytics offers a solution. The project expects to provide practical and theoretical frameworks for immersive data analysis and valuable intellectual property on the first practical tools for immersive data analytics. This will provide significant benefits, such as allowing those across government and industry to make more informed decisions from data.Read moreRead less
A framework for scalable ontology enrichment and change. This project aims to develop novel techniques and software systems for constructing a new generation of knowledge management applications. The results will improve current information management technologies and will be used in practical applications such as the semantic web, bioinformatics and e-sciences.
Responsive automated negotiation in open distributed environments. The outcomes of this project will be of central importance to a wide range of application areas such as service economy, smart energy grids and smart transportation. The work proposed here will enable the information technology industry to utilise distributed systems and agent technologies in developing the software-driven knowledge economy of the twenty-first-century.
Formal Verification of Quantum Logic Circuits. The project aims to develop comprehensive theory and effective techniques for formal modelling, equivalence checking, and model checking of quantum circuits. The research is timely as the rapid growth of quantum computing hardware makes it an urgent task to develop verification techniques for quantum hardware design and quantum compilers. The successful development of the algorithms and software tools proposed in this project will significantly adva ....Formal Verification of Quantum Logic Circuits. The project aims to develop comprehensive theory and effective techniques for formal modelling, equivalence checking, and model checking of quantum circuits. The research is timely as the rapid growth of quantum computing hardware makes it an urgent task to develop verification techniques for quantum hardware design and quantum compilers. The successful development of the algorithms and software tools proposed in this project will significantly advance the knowledge on formal verification of quantum circuits and help Australian quantum start-ups build and maintain an internationally leading position in the rapidly emerging quantum electronic design automation (EDA) industry.Read moreRead less
Coupling Techniques for Reasoning about Quantum Programs. Quantum software is indispensable for unleashing the super-power of quantum computing. This project aims to develop, for the first time, effective techniques for reasoning about the equivalence of quantum programs, with applications for verifying quantum compilers and quantum cryptographic protocols. The successful development of the outcomes and tools proposed in this project will significantly advance the knowledge on logical and mathem ....Coupling Techniques for Reasoning about Quantum Programs. Quantum software is indispensable for unleashing the super-power of quantum computing. This project aims to develop, for the first time, effective techniques for reasoning about the equivalence of quantum programs, with applications for verifying quantum compilers and quantum cryptographic protocols. The successful development of the outcomes and tools proposed in this project will significantly advance the knowledge on logical and mathematical foundations of quantum programming theory and thereby help Australian industries to build frontier technologies for quantum software engineering – in particular for quantum compilers – as well as establish and preserve their competitive status in the quantum computing era.Read moreRead less
Flexible user-guided network layout for biomedical applications. This project will develop techniques for automatic layout of biological network diagrams, allowing users to guide the layout while satisfying any required placement constraints and drawing conventions. As part of the project, these methods will be integrated into several real-world systems biology applications for network browsing and authoring.
Data analytics-based tools and methods to enhance self-regulated learning. This project aims to develop student self-regulated learning skills by harnessing the potential of Big Data analytics. The project expects to generate new knowledge at the intersection of learning analytics, educational technology, learning sciences and teaching practice resulting from novel data collection and analysis tools and methods. The outputs are expected to include insights into metacognitive, motivational, and t ....Data analytics-based tools and methods to enhance self-regulated learning. This project aims to develop student self-regulated learning skills by harnessing the potential of Big Data analytics. The project expects to generate new knowledge at the intersection of learning analytics, educational technology, learning sciences and teaching practice resulting from novel data collection and analysis tools and methods. The outputs are expected to include insights into metacognitive, motivational, and technical issues facing analytics-based personalised feedback. The outcomes are intended to offer benefits for developing pedagogical and the design of educational technology. The outcomes can result in improved student learning outcomes in higher education to ensure graduates are prepared for the digital economy.Read moreRead less
Cognitive intelligent information processing and presentation in navigation. This project aims to develop a personalised navigation system to provide effective augmented-reality (AR)-based support information, built on different navigation preference and the momentary cognitive workload of the user. This will immediately encourage users to become aware of their surroundings and continuous use will facilitate the development of navigation skills. It is expected that this research will advance sci ....Cognitive intelligent information processing and presentation in navigation. This project aims to develop a personalised navigation system to provide effective augmented-reality (AR)-based support information, built on different navigation preference and the momentary cognitive workload of the user. This will immediately encourage users to become aware of their surroundings and continuous use will facilitate the development of navigation skills. It is expected that this research will advance scientific knowledge about individual differences in navigation ability. It will significantly enhance spatial learning and alleviate the apparent decline in navigational ability experienced across the life span, benefiting the aged population in Australia by enabling them to live longer independent lives.Read moreRead less
Facilitating business process standardisation and reuse. One of the most pressing management challenges of today's organisations lies in the reuse and standardisation of best practices across different sectors, products or units. This project will develop an innovative open-source software platform and governance structure to efficiently and effectively support best practice standardisation and reuse.