263 results  save search


...
hal-01401264v1  Master thesis
Julien Armand. Developing interfaces for the TRANUS system
Modélisation et simulation. 2016
...
hal-01250862v1  Master thesis
Gabriel Lewertowski. Ensembles nominaux dans Coq/SSreflect
Langage de programmation [cs.PL]. 2015
...
dumas-00350003v1  Master thesis
Fabien Teytaud. Optimisation évolutionnaire parallèle
Algorithme et structure de données [cs.DS]. 2008
...
hal-01252752v1  Master thesis
Romain Prou. Gestion des communications centrée sur les accès mémoire à distance
Réseaux et télécommunications [cs.NI]. 2015
...
hal-01502802v1  Master thesis
Émilie Colin. Modélisation du cervelet
Sciences cognitives. 2015
...
dumas-00854847v1  Master thesis
Pierre Wilke. Analyse statique de code dynamique
Théorie et langage formel [cs.FL]. 2013
...
dumas-00854973v1  Master thesis
Simon Bouget. Implémenter le droit à l'oubli
Cryptographie et sécurité [cs.CR]. 2013
hal-00655089v1  Master thesis
Maxime Clementz. Classification de malware par traces réseau
Réseaux et télécommunications [cs.NI]. 2011
hal-00655084v1  Master thesis
Olivier Ruas. Analyse et visualisation de communautés dans les données P2P
Réseaux et télécommunications [cs.NI]. 2011
...
hal-00858233v1  Master thesis
Raphaël Bleuse. Utilisation efficace des accélérateurs GPU -- Ordonnancement sur machines hybrides
Calcul parallèle, distribué et partagé [cs.DC]. 2013
hal-01109071v1  Master thesis
Sébastien Duval. Étude d’outils cryptographiques
Cryptographie et sécurité [cs.CR]. 2015
...
hal-01256728v1  Master thesis
Alexandre Viollet. Un protocole entre agents pour l'alignement d'ontologies
Intelligence artificielle [cs.AI]. 2004
...
hal-01156601v1  Master thesis
Guillaume Baudart. Antescofo : vers une programmation synchrone
Informatique et langage [cs.CL]. 2012
...
hal-00908389v1  Master thesis
Safaa Mrad. Analyse non linéaire de la parole pour la détection des voix pathologiques
Traitement du signal et de l'image [eess.SP]. 2013
...
hal-00908395v1  Master thesis
Blaise Bertrac. MATCHING PURSUIT POUR LE CODAGE ET LA CLASSIFICATION DE LA PAROLE
Traitement du signal et de l'image [eess.SP]. 2013