Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
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
-
UAV-UGV-UMV Multi-Swarms for Cooperative Surveillance
-
CONSOLE: Intruder Detection Using a UAV Swarm and Security Rings
-
SuSy-EnGaD: Surveillance System Enhanced by Games of Drones.
-
-
-
AVXSIKE is a software library of AVX-512 implementations (using AVX-512IFMA extension) of Supersingular Isogeny Key Encapsulation (SIKE).
