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
-
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...
-
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
-
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
-
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
-
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
-
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
-
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
-
analysis of data from a Laboratory Information Management System. Key responsibilities will include: Core Scientific Contribute to the coding and development of custom data analysis algorithms and modelling