408 results  save search


...
hal-01898401v1  Master thesis
Ismaïl Lachheb. Une interface pour Dedukti
Informatique [cs]. 2018
...
hal-02317438v1  Master thesis
Simone Ebert. Dynamical synapses in the retina
Computer Science [cs]. 2019
...
hal-01651440v1  Master thesis
Giuseppe Lena. Robust Service Function Chains in OpenStack
Networking and Internet Architecture [cs.NI]. 2017
...
hal-01401264v1  Master thesis
Julien Armand. Developing interfaces for the TRANUS system
Modélisation et simulation. 2016
...
hal-01251290v1  Master thesis
Ivaylo Petrov. Combinatorial Optimization for Fast Scaffolding
Bioinformatics [q-bio.QM]. 2014
...
hal-01661872v1  Master thesis
Antoine Defourné. Tactiques de preuve dans Dedukti
Logique en informatique [cs.LO]. 2017
...
hal-01962358v1  Master thesis
Samuel Thibault. Un ordonnanceur flexible pour machines multiprocesseurs hiérarchisées
Calcul parallèle, distribué et partagé [cs.DC]. 2004
...
hal-01156601v1  Master thesis
Guillaume Baudart. Antescofo : vers une programmation synchrone
Informatique et langage [cs.CL]. 2012
...
hal-01955305v1  Master thesis
Daniel Coggia. On subspace trails cryptanalysis
Cryptography and Security [cs.CR]. 2018