Research projects in Information Technology
Displaying 21 - 30 of 186 projects.
Model-based depth of anaesthesia monitoring
Epileptic Seizure Prediction
Seizure prediction algorithms will be developed using the one-of-a-kind ultra-long-term human intracranial EEG dataset obtained from the Neurovista Corporation clinical trial of their Seizure Advisory System, or data from other implantable or wearable devices. This involves consideration of both feature-based machine learning or data science approaches and neural mass parameter estimation approaches to classify the EEG and predict seizures. Recent approaches focus on critical slowing as a marker for seizure susceptability and the influence of brain rhythms.
Securing Generative AI for Digital Trust
Safe Neuro-symbolic Automated Decision Making with Mathematical Optimisation
Planning is the reasoning side of acting in Artificial Intelligence. Planning automates the selection and the organisation of actions to reach desired states of the world as best as possible. For many real-world planning problems however, it is difficult to obtain a transition model that governs state evolution with complex dynamics.
Safe Continuous-time Automated Decision Making with Mathematical Optimisation
SCIPPlan is a mathematical optimisation based automated planner for domains with i) mixed (i.e., real and/or discrete valued) state and action spaces, ii) nonlinear state transitions that are functions of time, and iii) general reward functions. SCIPPlan iteratively i) finds violated constraints (i.e., zero-crossings) by simulating the state transitions, and ii) adds the violated constraints back to its underlying optimization model, until a valid plan is found.
End-to-End Prediction and Optimisation for Neuro-Symbolic Artificial Intelligence
Optimisation methods, such as mixed integer linear programming, have been very successful at decision-making for more than 50 years. Optimisation algorithms support basically every industry behind the scenes and the simplex algorithm is one of the top 10 most influential algorithms. Major success stories include rostering nurses in hospitals, managing chains of organ transplants, planning production levels for manufacturing, routing delivery trucks for transport, scheduling power stations and electricity grids, to name just a few.
Branch-and-Cut-and-Price Algorithms for Computing Cost-Effective and Time-Efficient Delivery Routes for Trucks and Drones
Transport and logistics businesses today use a large fleet of trucks and vans to deliver packages widely across a city. Deciding which package should be loaded on to which vehicle and deciding which package should be prioritised are surprisingly difficult computational tasks. State-of-the-art high-performance algorithms are used to calculate routes for the vehicles in order to minimise costs and maximise efficiency.
Recordkeeping for Empowerment of Marginalised Communities in Australia
This PhD project will explore how individuals in a marginalised community in Australia access, create, and manage information and their preferences for oral, written or digital tools to preserve information for the medium to long-term. The emphasis of the project will be to support and strengthen community-based initiatives and to investigate the factors that influence the choice of tools by different groups and the longevity and sustainability of recordkeeping practices.
LLM models for learning and retrieving software knowledge
The primary objective of this project is to enhance Large Language Models (LLMs) by incorporating software knowledge documentation. Our approach involves utilizing existing LLMs and refining them using data extracted from software repositories. This fine-tuning process aims to enable the models to provide answers to queries related to software development tasks.