Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
and food chains. These methods implement evolutionary processes in virtual populations of software agents and explore the evolution of their behaviour in diverse environments. Many behaviours
-
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
-
traditional and advanced optimization techniques, including analytical models, simulation-based approaches, and data-driven algorithms. The research also considers practical constraints such as cost, process
-
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...
-
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
-
formula is true or false (EXPTIME vs NP). Can we develop and implement efficient algorithms for this problem? This problem has been attacked using multiple different methods for the past 40 years, without
-
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
-
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
-
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
-
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