Discover projects, groups and snippets. Share your projects with others
Unlinkable Updatable Hiding Databases and Privacy-Preserving Loyalty Programs
Multi-solution for detecting and resolving anaphoric ambiguity in requirements
Simulations of the LeoRover for ROS
A speech-to-speech autoencoder.
Repository to store the utility source code for the SPARK Challenge 2022.
Repository for rainbow deliverable for Pierre
A dockerised version of Stab2d
Tamarin Prover on the Luxembourg HPC
DemaRQ: Demarcator for ReQuirements
Tool to draw the templates of chaotic attractors.
Emerging Inter-Swarm Collaboration for Surveillance Using Pheromones and Evolutionary Techniques
A Competitive Predator-Prey Approach to Enhance Surveillance by UAV Swarms