.:. Consultation > Liste par type de document > HDR .:.

35 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2 - 3 - 4

Théorie algorithmique des nombres et applications à la cryptanalyse de primitives cryptographiques Thomé E. Université de Lorraine (13/12/2012), Jean-Yves Marion (Pr.) [tel-00765982 - version 2]

Complexité implicite des calculs : interprétation de programmes Bonfante G. Institut National Polytechnique de Lorraine - INPL (09/12/2011), Claude Kirchner (Pr.) [tel-00656766 - version 1]

Nombres de Helly, théorèmes d'épinglement et projection de complexes simpliciaux Goaoc X. Université Henri Poincaré - Nancy I (07/12/2011), Daniel Barlet (Pr.) [tel-00650204 - version 2]

Fouille de textes : des méthodes symboliques pour la construction d'ontologies et l'annotation sémantique guidée par les connaissances Toussaint Y. Université Henri Poincaré - Nancy I (21/11/2011), Jean-Marie Pierrel, Professeur, Université UHP-Nancy 1, ATILF (Pr.) [tel-00764162 - version 1]

Déduction automatique appliquée à l'analyse et la vérification de systèmes infinis Vigneron L. Université Nancy II (14/11/2011), Laurent Fribourg (Pr.) [tel-00642467 - version 1]

The study of neural oscillations by traversing scales in the brain Hutt A. Université de Nice Sophia-Antipolis (27/05/2011), Bruno Cessac (Pr.) [tel-00603975 - version 1]

Fondements biologiques pour le calcul distribué, numérique et adaptatif Rougier N. P. Université Nancy II (19/05/2011), Anne Boyer (Pr.) [tel-00596740 - version 1]

Algorithmes Haute-Performance pour la Reconnaissance de Formes Moléculaires Ritchie D. Université Henri Poincaré - Nancy I (05/04/2011), Bernard Girau (Pr.) [tel-00587962 - version 1]

Contribution à la résolution collective de problème (Modèles d'auto-organisation par interactions directes et indirectes dans les SMA réactifs et robotiques) Simonin O. Université Henri Poincaré - Nancy I (10/12/2010), Marc Schoenauer (Pr.) [tel-00546300 - version 1]

Vers une approche systémique et multivues pour l'analyse de données et la recherche d'information : un nouveau paradigme Lamirel J.-C. Université Nancy II (06/12/2010), Bernard DOUSSET (Pr.) [tel-00552247 - version 1]