Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important effici ....Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important efficiency gains, but can introduce complex and error-prone behaviours that cannot be managed using traditional software development approaches. This project will produce better, scalable and mechanised methods for the design and verification of such software which is expected to reduce the prevalence of failures in efficient, modern software.Read moreRead less
The Open Innovation Process: Factors and Technologies that Matter. This project aims to identify approaches to enable firms to find and introduce ideas through open innovation. Open innovation, with its focus on external sources of ideas, is a promising approach for increasing organisational innovation. While uptake of open innovation is on the increase, the lack of understanding of practices and technologies used to successfully introduce it into firms, limits its usefulness and results in wast ....The Open Innovation Process: Factors and Technologies that Matter. This project aims to identify approaches to enable firms to find and introduce ideas through open innovation. Open innovation, with its focus on external sources of ideas, is a promising approach for increasing organisational innovation. While uptake of open innovation is on the increase, the lack of understanding of practices and technologies used to successfully introduce it into firms, limits its usefulness and results in wasted resources. This project aims to investigate open innovation and relevant technologies to identify success factors for the idea generation and assessment phases of open innovation, develop guidelines for their application, identify effective technologies and related recommendations for use, and quantify their impact on innovation.Read moreRead less
Tracing real Internet attackers through information correlation. If this research accomplishes successfully, it will be a big step forward on tracing Internet attackers in terms of traceback scope, accuracy, usability and deployment. This will empower authorities to control and punish Internet crime and terrorism. It will also greatly reduce the damage caused by Internet crime and terrorism. The prototype of the distributed information correlation tracing system can possibly be patented or even ....Tracing real Internet attackers through information correlation. If this research accomplishes successfully, it will be a big step forward on tracing Internet attackers in terms of traceback scope, accuracy, usability and deployment. This will empower authorities to control and punish Internet crime and terrorism. It will also greatly reduce the damage caused by Internet crime and terrorism. The prototype of the distributed information correlation tracing system can possibly be patented or even be commercialised. The capability of a nation to trace the real source of any attacks on its information infrastructure is central to the control of such attacks and hence to a nation's long-term survival and prosperity.Read moreRead less
Crucibles of creativity? Australian universities and path-breaking intellectual work. The project will investigate path-breaking creative work by 60-80 Australians working at home and abroad, focusing on the role of Australian universities in forming creative persons and agendas and providing conditions for (or inhibiting) creativity. The practical question is ‘How might the role of universities in path-breaking work be enhanced?'
Computational modelling of nanofluids for industrial applications. The use of nanoparticles in heat transfer fluids, then known as nanofluids, increases their specific heat and thermal conductivity. Recent experimental works highlight that anomalous transport phenomena are evident in nanofluids that cannot be adequately described by classical conservation laws. We will extend these conservation laws to incorporate fractional operators to capture the fluid memory effects and the impact of particl ....Computational modelling of nanofluids for industrial applications. The use of nanoparticles in heat transfer fluids, then known as nanofluids, increases their specific heat and thermal conductivity. Recent experimental works highlight that anomalous transport phenomena are evident in nanofluids that cannot be adequately described by classical conservation laws. We will extend these conservation laws to incorporate fractional operators to capture the fluid memory effects and the impact of particle clustering. Computational modelling and experimental investigations will be undertaken to identify the heat transfer mechanisms of various nanofluids. The outcomes of the work will increase knowledge on nanofluids and offer a significant opportunity to improve the efficiency of many thermal engineering systems.Read moreRead less
The recirculation of myeloid dendritic cells. This project aims to understand dendritic cell recirculation. It will use virological tools to track dendritic cell migration, and identify key decision points. Expected outcomes include enhanced capacity in basic research and greater interdisciplinary collaboration between virology and immunology research groups. Significant benefits will include a new understanding of how G protein coupled receptor signalling and other tissue cues guide dendritic c ....The recirculation of myeloid dendritic cells. This project aims to understand dendritic cell recirculation. It will use virological tools to track dendritic cell migration, and identify key decision points. Expected outcomes include enhanced capacity in basic research and greater interdisciplinary collaboration between virology and immunology research groups. Significant benefits will include a new understanding of how G protein coupled receptor signalling and other tissue cues guide dendritic cell recirculation, and what consequences the recirculation has for immune cell function. This understanding will significantly advance our basic understanding of the immune system.Read moreRead less
Improved Businesss Decision-Making via Liquid Process Model Collections. This project aims to develop an innovative approach to create and update as necessary the large collection of business process models that represent a complex organisation, so that this collection captures the actual way in which the organisation performs its business processes. Deploying theoretical, conceptual and empirical research, this project aims to capitalise on the value hidden in large process data, as recorded in ....Improved Businesss Decision-Making via Liquid Process Model Collections. This project aims to develop an innovative approach to create and update as necessary the large collection of business process models that represent a complex organisation, so that this collection captures the actual way in which the organisation performs its business processes. Deploying theoretical, conceptual and empirical research, this project aims to capitalise on the value hidden in large process data, as recorded in event logs. The approach is intended to be implemented in an open-source technology to facilitate advanced investigations and predictions that can ultimately lead to better strategic decision-making. This technology also has the potential to become a research-enabling tool for the large research community in business process management.Read moreRead less
Cost-aware business process management. The project aims to inform business process management (BPM) with the latest insights from the field of management accounting in order to make BPM systems cost-aware. By incorporating the cost dimension, organisations can obtain an accurate and immediate overview of the true cost of their processes and make cost-informed decisions.
Stability Analysis of Power System with Massive Power Electronic Devices. The decarbonization of Australia's power systems is to integrate massive renewable energy sources which are interfaced with many power electronic devices (PEDs). The fast and complex dynamics of PEDs have significantly changed the nature of the power system, which limits the applicability of existing tools and methods to assess its stability. The goal of this project is to gain a comprehensive insight into the stability of ....Stability Analysis of Power System with Massive Power Electronic Devices. The decarbonization of Australia's power systems is to integrate massive renewable energy sources which are interfaced with many power electronic devices (PEDs). The fast and complex dynamics of PEDs have significantly changed the nature of the power system, which limits the applicability of existing tools and methods to assess its stability. The goal of this project is to gain a comprehensive insight into the stability of a futuristic power system with high penetration of PEDs. The intended outcomes will be a model and data jointly driven methodology for high-efficient and real-time stability assessment. The methodology developed in this project will support Australia's transition to a stable, secure, and low-carbon power grid.Read moreRead less
Variable Structure Control Systems in Networked Environments. This project will be the first in the world to lay the foundation for a new theory for understanding and designing new variable structure control systems in the networked environments, which is in great need due to increasing use of shared communication networks in modern industrial systems. It will firmly place Australia at the forefront of this research by developing a cutting edge technology for improving reliability and efficiency ....Variable Structure Control Systems in Networked Environments. This project will be the first in the world to lay the foundation for a new theory for understanding and designing new variable structure control systems in the networked environments, which is in great need due to increasing use of shared communication networks in modern industrial systems. It will firmly place Australia at the forefront of this research by developing a cutting edge technology for improving reliability and efficiency of industrial variable structure control systems in the networked environments, hence resulting in cost-saving and improved productivity for industry. It will provide training for new leading researchers specialised in this new theory and technology.Read moreRead less