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
Provable elimination of information leakage through timing channels. This project aims to develop techniques to solve the issue in information security of unauthorised information flow resulting from competition for shared hardware resources. The project will combine operating systems design, formal hardware models, information-flow reasoning and theorem proving to achieve a goal that is widely considered infeasible. The project is expected to result in a system that prevents leakage of critical ....Provable elimination of information leakage through timing channels. This project aims to develop techniques to solve the issue in information security of unauthorised information flow resulting from competition for shared hardware resources. The project will combine operating systems design, formal hardware models, information-flow reasoning and theorem proving to achieve a goal that is widely considered infeasible. The project is expected to result in a system that prevents leakage of critical information, such as encryption keys, through timing channels. This should prevent sophisticated attacks on public clouds, mobile devices and military-grade cross-domain devices.Read moreRead less
Preventing railway suicide: An open-systems perspective. Preventing railway suicide: An open-systems perspective. This project aims to develop an automated suicide risk detection system to reduce the incidence and impact of railway suicide, which has a devastating effect on victims’ families, station staff, train drivers, emergency workers, and bystanders. This project will use open-systems theory to develop two complementary information systems for more effective detection and reporting of suic ....Preventing railway suicide: An open-systems perspective. Preventing railway suicide: An open-systems perspective. This project aims to develop an automated suicide risk detection system to reduce the incidence and impact of railway suicide, which has a devastating effect on victims’ families, station staff, train drivers, emergency workers, and bystanders. This project will use open-systems theory to develop two complementary information systems for more effective detection and reporting of suicide risk; use these systems to investigate how different situational factors interact with different combinations of service interventions to influence suicide risk; and share the findings to reduce railway suicide in Australia and overseas.Read moreRead less
Digital nomadism: How IT enables new forms of working and organising. This project aims to gain a better understanding of digital nomadism. Digital nomads use IT platforms to work remotely over the Internet while perpetually travelling. The project will develop new knowledge by better understanding of how IT transforms work and enable digital nomadism, the motivations and values of workers and their clients/organisations engaged in digital nomadism and the implications and consequences of digita ....Digital nomadism: How IT enables new forms of working and organising. This project aims to gain a better understanding of digital nomadism. Digital nomads use IT platforms to work remotely over the Internet while perpetually travelling. The project will develop new knowledge by better understanding of how IT transforms work and enable digital nomadism, the motivations and values of workers and their clients/organisations engaged in digital nomadism and the implications and consequences of digital nomadism for workers and clients/organisations. The project is expected to have a significant impact on policy and public discourse by providing an in-depth explanation and understanding of digital nomadism based on rigorous research.Read moreRead less
Transforming Microgrid to Virtual Power Plant –ICT Frameworks,Tools,Control. The project aims to enhance large scale renewable penetrations to national power grid by advancing control, optimization, and ancillary services of Virtual Power Plants (VPPs), considering different disruptive events including recent South Australian blackout. This project expects to create new control, frame communication architecture, develop plug and play type IoT enabled grid interfacing inverter, and optimize resou ....Transforming Microgrid to Virtual Power Plant –ICT Frameworks,Tools,Control. The project aims to enhance large scale renewable penetrations to national power grid by advancing control, optimization, and ancillary services of Virtual Power Plants (VPPs), considering different disruptive events including recent South Australian blackout. This project expects to create new control, frame communication architecture, develop plug and play type IoT enabled grid interfacing inverter, and optimize resource management for distributed VPPs. The anticipated benefits from this institutional level collaborations are that VPPs help in enhancing national power grid operations during normal and disruptive conditions when more renewables are connected and also secure benefits of consumers, prosumers, and grid operators.Read moreRead less
Special Research Initiatives - Grant ID: SR200200385
Funder
Australian Research Council
Funding Amount
$262,359.00
Summary
Transforming Democracy in the Bush: A Study of Politics in Rural Australia. This project aims to examine changing patterns of political participation and representation in rural Australia. Almost one third of our population lives outside major cities yet little is known about the democratic dynamics unfolding in rural Australia as it faces major demographic, economic and environmental change. Through in-depth case research this project will analyse how rural Australians participate in politics, ....Transforming Democracy in the Bush: A Study of Politics in Rural Australia. This project aims to examine changing patterns of political participation and representation in rural Australia. Almost one third of our population lives outside major cities yet little is known about the democratic dynamics unfolding in rural Australia as it faces major demographic, economic and environmental change. Through in-depth case research this project will analyse how rural Australians participate in politics, the interests they seek to advance and the efficacy of their political and civic activities. Expected outcomes include strengthened research capacity in rural politics, new frameworks for assessing how democracy is transforming, and reform pathways to enhance the engagement of diverse constituencies in our political system.Read moreRead less
A miniaturised laser manipulator for ultra-precise and pain-free dentistry. This project aims to develop a miniaturized high-precision laser robotic device that can fit comfortably in the mouth to perform pain-free, vibration-free dental operations by utilising silicon-carbide on silicon technology to create a millimetre-sized two-axis controllable, highly-reflective mirror robust to high-power ultra-short laser pulses. This project expects to generate new knowledge in micro-mirror control using ....A miniaturised laser manipulator for ultra-precise and pain-free dentistry. This project aims to develop a miniaturized high-precision laser robotic device that can fit comfortably in the mouth to perform pain-free, vibration-free dental operations by utilising silicon-carbide on silicon technology to create a millimetre-sized two-axis controllable, highly-reflective mirror robust to high-power ultra-short laser pulses. This project expects to generate new knowledge in micro-mirror control using optically excited piezo-resistive sensors, and cold femtosecond laser ablation of hard dental tissue. Expected outcomes include a working prototype for laser removal of tooth materials at speeds exceeding dental drills, providing benefits in miniaturized laser devices and ultimately removing pain from dental procedures. Read moreRead less
Context and Activity Recognition for Personalised Behaviour Recommendation. The Internet of Things (IoT) together with the rising popularity of smartphones opens a new world for many exciting opportunities. The overall goal of this project is to develop new algorithms and data analytical techniques in an IoT environment that can accurately monitor and analyse personalised daily activities on a continuous, real-time basis. The expected result of this project will support many critical application ....Context and Activity Recognition for Personalised Behaviour Recommendation. The Internet of Things (IoT) together with the rising popularity of smartphones opens a new world for many exciting opportunities. The overall goal of this project is to develop new algorithms and data analytical techniques in an IoT environment that can accurately monitor and analyse personalised daily activities on a continuous, real-time basis. The expected result of this project will support many critical applications such as better wellness tracking and lifestyle-related illness prevention, which will be particularly critical to Australia's aging population. This project will also serve as a vehicle to educate and train Australia’s young scholars and engineers.Read moreRead less
Robust Preference Inference from Spatial-Temporal Interaction Networks. This project aims to develop innovative techniques for effectively and efficiently managing user preference profiles from less labelled, sparse and noisy interaction data. A unified novel learning framework along with a set of data analysis techniques are expected to be developed from this project, which will provide a non-intrusive way of conducting predictive analysis on user preference profiling via discovering human expl ....Robust Preference Inference from Spatial-Temporal Interaction Networks. This project aims to develop innovative techniques for effectively and efficiently managing user preference profiles from less labelled, sparse and noisy interaction data. A unified novel learning framework along with a set of data analysis techniques are expected to be developed from this project, which will provide a non-intrusive way of conducting predictive analysis on user preference profiling via discovering human explicit and implicit interest domains. The expected results of this application will not only maintain Australia's leadership in this frontier research area, but also support many important applications that safeguard Australian people and economy such as cyber security, healthcare, and e-Commerce.Read moreRead less
Industrial Transformation Training Centres - Grant ID: IC200100022
Funder
Australian Research Council
Funding Amount
$4,883,406.00
Summary
ARC Training Centre for Information Resilience. The proposed centre aims at building workforce capacity in Australian organisations to create, protect and sustain agile data pipelines, capable of detecting and responding to failures and risks across the information value chain in which the data is sourced, shared, transformed, analysed and consumed. Building on strong foundations of responsible data science, the centre will bring together end-users, technology providers, and cutting-edge researc ....ARC Training Centre for Information Resilience. The proposed centre aims at building workforce capacity in Australian organisations to create, protect and sustain agile data pipelines, capable of detecting and responding to failures and risks across the information value chain in which the data is sourced, shared, transformed, analysed and consumed. Building on strong foundations of responsible data science, the centre will bring together end-users, technology providers, and cutting-edge research, to lift the socio-technical barriers to data driven transformation and develop resilient data pipelines capable of delivering game-changing productivity gains that position Australian organisations at the forefront of technology leadership and value creation from data assets. Read moreRead less