research
∙
07/25/2023
The GANfather: Controllable generation of malicious activity to improve defence systems
Machine learning methods to aid defence systems in detecting malicious a...
share
research
∙
07/17/2023
From random-walks to graph-sprints: a low-latency node embedding framework on continuous-time dynamic graphs
Many real-world datasets have an underlying dynamic graph structure, whe...
research
∙
07/07/2023
Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents
Autonomous agents are increasingly being proposed for use in healthcare,...
research
∙
02/01/2023
Faster Convergence with Lexicase Selection in Tree-based Automated Machine Learning
In many evolutionary computation systems, parent selection methods can a...
research
∙
12/22/2021
Safety assurance of an industrial robotic control system using hardware/software co-verification
As a general trend in industrial robotics, an increasing number of safet...
research
∙
12/14/2021
Anti-Money Laundering Alert Optimization Using Machine Learning with Graphs
Money laundering is a global problem that concerns legitimizing proceeds...
research
∙
10/29/2019
A Survey on Subgraph Counting: Concepts, Algorithms and Applications to Network Motifs and Graphlets
Computing subgraph frequencies is a fundamental task that lies at the co...
research
∙
07/18/2019
Priorities in tock-CSP
The tock-CSP encoding embeds a rich and flexible approach to modelling d...
research
∙
08/24/2018