Sort by
Refine Your Search
-
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
-
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
-
through theory and simulation and/or experimental design and testing; developing new image reconstruction algorithms for providing more information with less radiation; and applying our techniques
-
-tracking, pupillometry), cognitive modelling, and regulatory analysis to assess how algorithmic explanations shape human judgement and how existing legal and ethical frameworks align with the evolution
-
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
-
will design quantum-safe threshold encryption and/or authentication algorithms. The expected outcome is the design of methods, techniques and their software prototype to implement quantum-safe threshold