Efficient structure search over large graphs. The project aims to develop advanced search technology to support large-scale graph applications. The success of the project not only brings a breakthrough in technology development but also provides training for high quality personnel in this important and growing area, and brings considerable economic and social benefits to Australia.
Automation of metric temporal reasoning. A major contemporary engineering concern is to ensure the predictable and robust operation of computer systems involving software, hardware, and human users. The need for systematic and careful construction of such systems requires the development of formal methods based on a dense view of time rather than the traditional step-by-step models.
automated strategic reasoning. Formal methods are used to ensure robust correct behaviour in design and implementation of computer systems. Traditional models of computer operation involve a linear sequence of behaviour but today’s systems are complex interactions between many components including the environment of the system and human users. Thus analysis is done via a logical game between components where each is trying to meet its specified requirements regardless of what others do: formalis ....automated strategic reasoning. Formal methods are used to ensure robust correct behaviour in design and implementation of computer systems. Traditional models of computer operation involve a linear sequence of behaviour but today’s systems are complex interactions between many components including the environment of the system and human users. Thus analysis is done via a logical game between components where each is trying to meet its specified requirements regardless of what others do: formalisms include branching time and competing coalitions of agents. This project is to take early advantage of recent breakthroughs in automated logical reasoning with such models by the investigator to deliver general practical techniques of system development and verification.Read moreRead less
Terahertz and optical coherence tomography for improved cancer imaging. This project aims to improve cancer imaging by combining two complimentary, novel techniques. Its success will create an internationally leading position for Australia in cutting-edge research in optical and terahertz biomedical imaging. This innovative, fundamental research will expand Australia's research capacity in imaging sciences. The nation will benefit from new medical diagnostic techniques that will improve the dete ....Terahertz and optical coherence tomography for improved cancer imaging. This project aims to improve cancer imaging by combining two complimentary, novel techniques. Its success will create an internationally leading position for Australia in cutting-edge research in optical and terahertz biomedical imaging. This innovative, fundamental research will expand Australia's research capacity in imaging sciences. The nation will benefit from new medical diagnostic techniques that will improve the detection and treatment of cancer; as well as aid the clinical assessment of burns. This multidisciplinary, internationally collaborative research has additional wide ranging benefits in biology, medicine, pharmaceutical science and national security.Read moreRead less
Symmetry and computation. The overall objective of the project is to explore connections between symmetry and computation, especially the theory and algorithms that facilitate the use of groups in computational science. The main outcome will be theoretically fast algorithms and implementations to drive applications in the sciences and for secure communication.
Modelling network innovation performance capability: a multidisciplinary approach. Innovation is created in complex network interactions.
By combining agent-based and fuzzy logic modelling, this project will identify combinations of resources to generate new ideas/technologies. This will enable managers and policy makers to understand the mechanisms behind innovation and implement policies aimed at enhancing innovation processes.
Complexity of group algorithms and statistical fingerprints of groups. This project aims to shape the next generation of efficient randomised algorithms in the field of group theory, the mathematics of symmetry. Fundamental mathematics underpins modern technological tasks such as web searches, sorting and data compression. This project aims to determine characteristic statistical fingerprints of key building-block groups. These group statistics lead to much faster procedures to essentially facto ....Complexity of group algorithms and statistical fingerprints of groups. This project aims to shape the next generation of efficient randomised algorithms in the field of group theory, the mathematics of symmetry. Fundamental mathematics underpins modern technological tasks such as web searches, sorting and data compression. This project aims to determine characteristic statistical fingerprints of key building-block groups. These group statistics lead to much faster procedures to essentially factor huge groups into smaller building-block groups in a manner akin to factoring an integer into its prime factors. The anticipated goal is to include the outcomes in publicly available symbolic algebra computer packages. As the theory of symmetry has broad applications in the mathematical and physical sciences, there is the potential for far reaching benefits.Read moreRead less
Designing an Intelligent Process Operation Management System. The complexity and sophistication of current generation of industrial processes, and the growing need for autonomous agents that control physical systems, motivate the need for the development of an intelligent process operation management system. In this project, the innovative integration of theories from different scientific fields (computer systems, process engineering, systems and control engineering) provides an excellent platfo ....Designing an Intelligent Process Operation Management System. The complexity and sophistication of current generation of industrial processes, and the growing need for autonomous agents that control physical systems, motivate the need for the development of an intelligent process operation management system. In this project, the innovative integration of theories from different scientific fields (computer systems, process engineering, systems and control engineering) provides an excellent platform for development of a smart data management tool, to oversee the major operational tasks within the plant and help the operators and engineers to make more informed decisions. Direct application of the techniques developed in this study to a pilot case study, could be used as a benchmark to show the potential benefits that can be gained through smart information use and data management.Read moreRead less
Improving organisational innovation using social media. This project will examine how social media can be effectively used in organisations to improve levels of innovation. The outcomes of the research will put Australia at the forefront of research in the area and have a significant impact on innovation in Australian organisations.
Coordination control of underactuated ocean vehicles for ocean forecasting. Australia is surrounded by oceans. Ocean forecasting is essential for effective and efficient operations on and within the ocean for a number of applications such as coastal zone management, military operations and scientific research. The successful completion of this project promises to put Australia in a leading position in this area. Due to the multi-disciplinary nature of this project, the project development will a ....Coordination control of underactuated ocean vehicles for ocean forecasting. Australia is surrounded by oceans. Ocean forecasting is essential for effective and efficient operations on and within the ocean for a number of applications such as coastal zone management, military operations and scientific research. The successful completion of this project promises to put Australia in a leading position in this area. Due to the multi-disciplinary nature of this project, the project development will also stimulate the development in many other areas such as new ocean vehicles, sensors and actuators, electronics and control.Read moreRead less