Investigating a classroom simulation designed to support pre-service teacher decision making in planning and implementing literacy teaching. This project investigates teacher mentor and preservice teacher participation in an online simulation of the teaching of literacy in junior primary classrooms. It will investigate how simulation can support preservice teachers to make complex sequences of decisions about the use of language and learning resources, teaching strategies and behaviour managemen ....Investigating a classroom simulation designed to support pre-service teacher decision making in planning and implementing literacy teaching. This project investigates teacher mentor and preservice teacher participation in an online simulation of the teaching of literacy in junior primary classrooms. It will investigate how simulation can support preservice teachers to make complex sequences of decisions about the use of language and learning resources, teaching strategies and behaviour management strategies for a class of virtual students. The simulation will employ embedded cognitive tools to support teacher decision making. Once effective simulation learning of teacher performance is achieved, it will investigate the transfer of these skill to the real classrooms.Read moreRead less
Intelligent Model Checking. Real-world systems are typically so complex that software engineers require specialised CAD tools to debug and verify a design. Model checking is a formal method that is used extensively for this purpose, particularly for mission-critical systems. In this work, a new kind of verifying tool, based on model checking, is developed. This new model checker is intelligent because a heuristic search is integrated into the underlying formalism. It is not exhaustive, and is mo ....Intelligent Model Checking. Real-world systems are typically so complex that software engineers require specialised CAD tools to debug and verify a design. Model checking is a formal method that is used extensively for this purpose, particularly for mission-critical systems. In this work, a new kind of verifying tool, based on model checking, is developed. This new model checker is intelligent because a heuristic search is integrated into the underlying formalism. It is not exhaustive, and is more efficient than a traditional model checker during the design phase because it does only a minimum amount of work in its search for a fault.Read moreRead less
Scenario driven management in a network environment. Scenario planning is the process of identifying plausible futures and their inherent risks. The organisation, the network within which it is embedded, and the environment in which the network operates, form a complex system of non-linear, dynamic, interrelationships. This project will develop a continuous process of scenario planning, capturing learning about the future as it emerges. The project fuses the use of agents for intelligent data co ....Scenario driven management in a network environment. Scenario planning is the process of identifying plausible futures and their inherent risks. The organisation, the network within which it is embedded, and the environment in which the network operates, form a complex system of non-linear, dynamic, interrelationships. This project will develop a continuous process of scenario planning, capturing learning about the future as it emerges. The project fuses the use of agents for intelligent data collection and negotiation with agent-based modelling to build powerful network-based scenario modelling systems for commercial applications. This outcome will place Australia on the frontier of smart information use.Read moreRead less
Innovative visualization of next-generation biomedical images. This project addresses the difficult problems associated with managing the vast amounts of data that are currently available with advanced imaging devices and displaying these data so that the maximum amount of information can be extracted. Developing visualization capabilities for such data is not a trivial undertaking but the outcome of this research will produce enabling visualization technologies that will significantly impact th ....Innovative visualization of next-generation biomedical images. This project addresses the difficult problems associated with managing the vast amounts of data that are currently available with advanced imaging devices and displaying these data so that the maximum amount of information can be extracted. Developing visualization capabilities for such data is not a trivial undertaking but the outcome of this research will produce enabling visualization technologies that will significantly impact the life science, biomedical research and the way clinicians view and use these data for patient management. These technologies will have broad applications across biology and molecular science and will enhance Australia's leading position in the development of frontier technologies.Read moreRead less
Discovering Activity Patterns Driven by High Impacts in Heterogeneous and Imbalanced Data. The identification of high impact activities is important for detecting and preventing their occurrences and reducing resulting risks and losses to our society. This project will deliver cutting-edge techniques for effectively extracting activity patterns driven by high business impacts. It can safeguard Australia and build and transform Australian industries by delivering frontier techniques and smart pre ....Discovering Activity Patterns Driven by High Impacts in Heterogeneous and Imbalanced Data. The identification of high impact activities is important for detecting and preventing their occurrences and reducing resulting risks and losses to our society. This project will deliver cutting-edge techniques for effectively extracting activity patterns driven by high business impacts. It can safeguard Australia and build and transform Australian industries by delivering frontier techniques and smart prevention and intervention capabilities to enhance key industries such as finance compliance, national security and crime reduction. The resulting activity mining system, researchers trained and high quality publications will further enhance Australia's global leading role in tackling critical data mining challenges and applications.Read moreRead less
A Framework for Adaptive Extensible Personae for Interactive Toys. This project will be of benefit in that it will facilitate the development of quality toys, based on sound psychological foundations. These toys will have a long life since they can be extended over time, growing with the child. There is also potential to be used for children with psychological difficulties, and applications in health and aged-care. This project will provide opportunities for Australian business, and will also h ....A Framework for Adaptive Extensible Personae for Interactive Toys. This project will be of benefit in that it will facilitate the development of quality toys, based on sound psychological foundations. These toys will have a long life since they can be extended over time, growing with the child. There is also potential to be used for children with psychological difficulties, and applications in health and aged-care. This project will provide opportunities for Australian business, and will also help to keep Australia at the forefront in the area of intelligent agent technology. It is an example of a project that helps create a culture of innovation in Australian industry.Read moreRead less
Domain-Driven Actionable Link Discovery. Driven by emergent data mining applications such as detecting terrorist and distributed fraudulent activities, this project will deliver effective techniques and algorithms for discovering isolated yet important links dispersed across related enterprise information systems. The outcomes will enable Australia to play a significant role in the new link discovery area. They will empower Australian organizations with powerful data mining capabilities to deal ....Domain-Driven Actionable Link Discovery. Driven by emergent data mining applications such as detecting terrorist and distributed fraudulent activities, this project will deliver effective techniques and algorithms for discovering isolated yet important links dispersed across related enterprise information systems. The outcomes will enable Australia to play a significant role in the new link discovery area. They will empower Australian organizations with powerful data mining capabilities to deal with critical cross-organization problems, for instance, counter-terrorism, cross-market surveillance, auditing surveillance and social network analysis. They will enhance Australian social security, compliance and life quality through smart information use.Read moreRead less
Pattern Discovery of Discriminating Behaviour Associated with Hidden Communities. A sound understanding of discriminating behaviour in hidden communities, e.g. market manipulation, is essential for effective intervention and prevention. This project will deliver novel and workable algorithms and tools for modelling and pattern discovery of such behaviour. This will safeguard Australia by tackling crucial business and social issues like abnormal trading, online crime and terrorism, thereby enhanc ....Pattern Discovery of Discriminating Behaviour Associated with Hidden Communities. A sound understanding of discriminating behaviour in hidden communities, e.g. market manipulation, is essential for effective intervention and prevention. This project will deliver novel and workable algorithms and tools for modelling and pattern discovery of such behaviour. This will safeguard Australia by tackling crucial business and social issues like abnormal trading, online crime and terrorism, thereby enhancing public confidence, compliance and security in both the economy and society, by preventing and reducing economic and social impact. It will create skills and outcomes to further Australia's leadership in managing emerging data mining challenges and applications, and will deepen collaboration with eminent researchers worldwide.Read moreRead less