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...
-
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
-
healthcare application needs to analyze sensitive patient data across distributed nodes. Researchers and students can explore privacy-preserving algorithms and technologies like federated learning and zero
-
This project aims to develop robust algorithms capable of identifying and analyzing fingertips extracted from both static images and video footage. Machine learning techniques, particularly computer
-
experiments for months before the value of output y is measured for some given input x. This creates an exciting challenge for AI researchers to develop smart algorithms that can find the optimal value of input
-
queries, and automating data transformations. By combining advancements in natural language understanding, algorithm synthesis, and debugging, the proposed framework will enable developers to efficiently
-
publicly available datasets; 3) Proposing algorithms aimed at improving the accuracy of human activity detection; 4) Implementing these algorithms, evaluating their performance empirically, and comparing
-
This PhD project is part of a larger project that aims to explain the uncertainty of Machine Learning (ML) predictions. To this effect, we must quantify uncertainty, devise algorithms that explain