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
A theory of communicative practices within financial internet discussion site communities. This project aims to use online financial investment communities to identify factors that drive communication and influence knowledge co-creation, examine how systematic variations in these factors influence investor decision making, and develop a mid-range theory for explaining and predicting the influence of online communication patterns on individual decisions and market outcomes. By developing and vali ....A theory of communicative practices within financial internet discussion site communities. This project aims to use online financial investment communities to identify factors that drive communication and influence knowledge co-creation, examine how systematic variations in these factors influence investor decision making, and develop a mid-range theory for explaining and predicting the influence of online communication patterns on individual decisions and market outcomes. By developing and validating a new mid-range theory, initially in the financial investment context, this project will provide significant benefits, such as help to secure Australia’s place in a changing world through improved information flow.Read moreRead less
Discontinued Use of Social Media: Dichotomy of Rational & Emotional Choices. This project aims to gain a better understanding of discontinued use of social media. For businesses and governments, social media serves as a dynamic channel for engagement, value co-creation, and business analytics marketing that is lost when users choose to discontinue its use. This project will generate new knowledge of rational and emotional decision criteria, enabling design features of social media, and their com ....Discontinued Use of Social Media: Dichotomy of Rational & Emotional Choices. This project aims to gain a better understanding of discontinued use of social media. For businesses and governments, social media serves as a dynamic channel for engagement, value co-creation, and business analytics marketing that is lost when users choose to discontinue its use. This project will generate new knowledge of rational and emotional decision criteria, enabling design features of social media, and their complex effects on discontinued use of social media. The expected outcome of this project is an integrated theory of social media discontinuance. The project findings provide significant benefits, such as strategic capabilities and actionable knowledge for businesses and governments to mitigate social media discontinued use.Read moreRead less
Trusted business processes. This project aims to use conceptual design, process modelling and co-design approaches to create a structured approach for the management of trust. With a focus on business processes, it is intended to develop research- informed methods in order to (1) identify and specify trust concerns and opportunities, (2) model these within a common process modelling language and (3) propose patterns for how to mitigate trust concerns and how to benefit from opportunities. If suc ....Trusted business processes. This project aims to use conceptual design, process modelling and co-design approaches to create a structured approach for the management of trust. With a focus on business processes, it is intended to develop research- informed methods in order to (1) identify and specify trust concerns and opportunities, (2) model these within a common process modelling language and (3) propose patterns for how to mitigate trust concerns and how to benefit from opportunities. If successful, this would lead to an operational, and world first, detailed trust methodology for organisations in all sectors. As a result, Australian customers would engage with business processes with reduced trust concerns and experience increased integrity and benevolence.Read moreRead less
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
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
Privacy-Aware and Personalised Explanation Overlays for Recommender Systems. AI-powered recommender systems provide recommendations for daily lives, but they need to be legally interpretable and explainable. This project aims to transform existing black-box recommender models into transparent and trustworthy decision-support systems. The resulting tools will offer granular, explorable rationales for the recommendations in real time, creating greater public confidence while advancing the field. ....Privacy-Aware and Personalised Explanation Overlays for Recommender Systems. AI-powered recommender systems provide recommendations for daily lives, but they need to be legally interpretable and explainable. This project aims to transform existing black-box recommender models into transparent and trustworthy decision-support systems. The resulting tools will offer granular, explorable rationales for the recommendations in real time, creating greater public confidence while advancing the field. The expected outcomes include graph embedding methods for capturing real-world relationships in all their messiness and complexity. The anticipated contributions include impartial and accountable recommender models that are resistant to adversarial attacks and that slow the spread of misinformation.Read moreRead less
What predictions can I trust? Stability of chaotic random dynamical systems. This project aims to make significant progress on the intricate question of global stability of non-autonomous chaotic dynamical systems. Using ergodic theory, this project expects to determine when and how errors in dynamical models that are small and frequent, or large and infrequent, can cause dramatic changes in meaningful mathematical model outputs. Expected outcomes include the discovery of mathematical mechanisms ....What predictions can I trust? Stability of chaotic random dynamical systems. This project aims to make significant progress on the intricate question of global stability of non-autonomous chaotic dynamical systems. Using ergodic theory, this project expects to determine when and how errors in dynamical models that are small and frequent, or large and infrequent, can cause dramatic changes in meaningful mathematical model outputs. Expected outcomes include the discovery of mathematical mechanisms underlying large-scale (in)stability for time-dependent dynamical systems, and reliable numerical methods for detecting instabilities. This research is expected to lead to improved characterisations of shocks or collapse in externally driven dynamical systems and assist scientists to gauge which predictions they can trust.Read moreRead less
Embedding Enterprise Systems in IoT Fog Networks through Microservices. The project will enable automated re-engineering of enterprise systems, to allow them to reused in Internet-of-Things (IoT) applications. It will support efficient ways in which the core business logic of these large scale and monolithic systems can be extended into resource control and data sensing functions managed through the IoT. The project will develop a novel, fine-grained software architecture style suitable for loca ....Embedding Enterprise Systems in IoT Fog Networks through Microservices. The project will enable automated re-engineering of enterprise systems, to allow them to reused in Internet-of-Things (IoT) applications. It will support efficient ways in which the core business logic of these large scale and monolithic systems can be extended into resource control and data sensing functions managed through the IoT. The project will develop a novel, fine-grained software architecture style suitable for localised IoT execution, through microservices executing autonomously on nodes of IoT fog networks. It will develop new techniques for automated discovery of microservices from enterprise systems and the verification of future-state system execution based on current-state behavioural and other properties such as security.Read moreRead less