SenShaMart: A Trusted Internet of Things Marketplace for Sensor Sharing. This project aims to devise a novel Internet of Things (IoT) sensor sharing marketplace that permits IoT applications to discover, integrate, and pay for any IoT sensor data that is made available by other parties. The project will devise highly-scalable sensor classification, query processing, and transactions solutions and incorporate them in a pair of novel blockchains that work in tandem to securely manage all the infor ....SenShaMart: A Trusted Internet of Things Marketplace for Sensor Sharing. This project aims to devise a novel Internet of Things (IoT) sensor sharing marketplace that permits IoT applications to discover, integrate, and pay for any IoT sensor data that is made available by other parties. The project will devise highly-scalable sensor classification, query processing, and transactions solutions and incorporate them in a pair of novel blockchains that work in tandem to securely manage all the information and contracts needed by IoT applications to discover, integrate, pay, and use sensors provided by another parties. These IoT advancements will provide significant economic, environmental, and social benefits via making low-cost and immediate sensing available across the world.Read moreRead less
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
Stochastic majorization--minimization algorithms for data science. The changing nature of acquisition and storage data has made the process of drawing inference infeasible with traditional statistical and machine learning methods. Modern data are often acquired in real time, in an incremental nature, and are often available in too large a volume to process on conventional machinery. The project proposes to study the family of stochastic majorisation-minimisation algorithms for computation of inf ....Stochastic majorization--minimization algorithms for data science. The changing nature of acquisition and storage data has made the process of drawing inference infeasible with traditional statistical and machine learning methods. Modern data are often acquired in real time, in an incremental nature, and are often available in too large a volume to process on conventional machinery. The project proposes to study the family of stochastic majorisation-minimisation algorithms for computation of inferential quantities in an incremental manner. The proposed stochastic algorithms encompass and extend upon a wide variety of current algorithmic frameworks for fitting statistical and machine learning models, and can be used to produce feasible and practical algorithms for complex models, both current and future.
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.
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
Diagnosis and prediction of business process deviances. This project aims to develop an innovative approach based on process execution semantics, to analyse event data logged by IT systems in order to diagnose and predict business process deviance. Anticipated outcomes include novel business intelligence algorithms producing deviance diagnostics, predictions and recommendations and exposing results via interactive visual analytics. The outcomes are expected to aid process workers in steering bus ....Diagnosis and prediction of business process deviances. This project aims to develop an innovative approach based on process execution semantics, to analyse event data logged by IT systems in order to diagnose and predict business process deviance. Anticipated outcomes include novel business intelligence algorithms producing deviance diagnostics, predictions and recommendations and exposing results via interactive visual analytics. The outcomes are expected to aid process workers in steering business operations towards consistent and compliant outcomes and higher performance, and assist analysts and auditors to explain deviant operations. This should significantly benefit industries such as healthcare, insurance, retail and the government where compliance and integrity management are imperative.Read moreRead less
New play pedagogies for teaching and learning in the early years. Traditional play-based learning in early childhood education cannot account for new play: very young children's everyday play with technologies, digital media and popular culture. This project uses a recently developed web-mapping tool to create a pedagogical approach to new play. The pedagogical approach to new play comprises teaching practices and learning outcomes that capitalise on the educational potential of children's every ....New play pedagogies for teaching and learning in the early years. Traditional play-based learning in early childhood education cannot account for new play: very young children's everyday play with technologies, digital media and popular culture. This project uses a recently developed web-mapping tool to create a pedagogical approach to new play. The pedagogical approach to new play comprises teaching practices and learning outcomes that capitalise on the educational potential of children's everyday play with technologies, digital media and popular culture. It aims to enable teachers to work from a theorised and empirically validated perspective for connecting young children's everyday play with technologies, digital media and popular culture artefacts to their 21st century learning needs.Read moreRead less
Coding animated narratives as contemporary multimodal authorship in schools. This project aims to investigate a re-conceptualisation of multimodal text creation to include inter-related processes of computer programming (coding) and computational thinking, which have previously been confined to technical fields in education research. The project seeks to generate knowledge of cross-curricular teaching pedagogies and student learning of multimodal composition, coding, and computational thinking i ....Coding animated narratives as contemporary multimodal authorship in schools. This project aims to investigate a re-conceptualisation of multimodal text creation to include inter-related processes of computer programming (coding) and computational thinking, which have previously been confined to technical fields in education research. The project seeks to generate knowledge of cross-curricular teaching pedagogies and student learning of multimodal composition, coding, and computational thinking in schools. The project expects to fortify students' capabilities to participate in new forms of digital authorship, developing their capacity for innovative application of computational thinking and coding. Intended benefits include an established evidence base for strengthening English and technology curricula in Australia and internationally.Read moreRead less
Congestion control of networks: a unified stochastic framework. Systems such as the internet, wireless networks and the power grid require efficient allocation of shared resources. This research will develop ways to reduce delays in the internet and allow for growth in the power grid, without requiring additional infrastructure.