Skip to Main content Skip to Navigation
Help


hal-01109071v1  Master thesis
Sébastien Duval. Étude d’outils cryptographiques
Cryptographie et sécurité [cs.CR]. 2015
...
hal-01156601v1  Master thesis
Guillaume Baudart. Antescofo : vers une programmation synchrone
Informatique et langage [cs.CL]. 2012
hal-00925999v1  Master thesis
Abdellatif Atki. Implémentation du domaine asbtrait numérique TVPI pour APRON
Performance et fiabilité [cs.PF]. 2013
...
hal-00919871v1  Master thesis
Ali Assaf. Traduction de HOL en Dedukti
Logique en informatique [cs.LO]. 2012
hal-00926979v1  Master thesis
Matthias Bry. Synchronisation de fils d'exécution en interprétation abstraite
Performance et fiabilité [cs.PF]. 2013
...
hal-01066603v1  Master thesis
Rong Gong. Suivi de partition pour l'alignement de la voix chantée
Intelligence artificielle [cs.AI]. 2014
hal-00931253v1  Master thesis
Virginie Lallemand. Amélioration des attaques différentielles sur KLEIN
Cryptographie et sécurité [cs.CR]. 2013
...
hal-01196455v1  Master thesis
Maxime Sirbu. Clustering incrémental de signaux audio
Apprentissage [cs.LG]. 2015
...
hal-01244864v1  Master thesis
Rodolfo Canto Torres. Décodage générique de codes linéaires
Cryptographie et sécurité [cs.CR]. 2015