Sort by
Refine Your Search
-
Mixed-Integer Programming (MIP) solvers are very powerful tools to solve combinatorial problems that arise in many industries. Modern MIP solvers usually run a sequence of algorithms to solve
-
techniques to design new and efficient algorithms that can provide strong protection during the entire life cycle of ML models used on the devices. Research Task I: Investigate ML algorithms and optimisations
-
. The project will focus on automated distributional shift detection and monitoring, invariant and distributionally robust representation learning algorithms, and deployment-time calibration with uncertainty
-
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
-
Automated Program Repair (APR) is the grand challenge in software engineering research. Many APR methods have shown promising results in fixing bugs with minimal, or even no human intervention. Despite many studies introducing various APR techniques, much remains to be learned, however, about...
-
guarantee that what one believes to be one’s secrets will remain secret. Namely, a DP algorithm cannot ensure that private attributes cannot be inferred from publicly observable attributes if they have strong
-
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
-
guarantees of FL. In this project, we aim at an ambitious goal - designing secure and privacy-enhancing algorithms and framework for FL and applying our designs into real-world applications. To achieve
-
This project aims to employ advanced machine learning techniques to analyse text, audio, images, and videos for signs of harmful behaviour. Natural language processing algorithms are utilized
-
formative assessment and personalised feedback while ensuring fairness, accountability, and transparency. The research will explore a combination of algorithmic design, human–AI interaction, and empirical