.:. Browse > By document type > HDR .:.

231 documents ordered by : Date Title first author name document type Submit date

1 - 2 - 3 - 4 - 5 - 6 - 7 ...

Multifrontal Methods: Parallelism, Memory Usage and Numerical Aspects L'Excellent J.-Y. Ecole normale supérieure de lyon - ENS LYON (25/09/2012), Iain Duff (Pr.) [tel-00737751 - version 2]

Modeling the variability of EEG/MEG data through statistical machine learning Zaremba W. Ecole Polytechnique X (06/09/2012), Gregoire Allaire (Pr.) [tel-00803958 - version 1]

Modèles Formels pour la Programmation et la Composition de Systèmes Distribués Corrects Henrio L. Université de Nice Sophia-Antipolis (19/07/2012), Michel Riveill (Pr.) [tel-00720022 - version 1]

Terminaison des systèmes de réécriture d'ordre supérieur basée sur la notion de clôture de calculabilité Blanqui F. Université Paris-Diderot - Paris VII (13/07/2012), Dale Miller (Pr.) [tel-00724233 - version 2]

Knowledge Representation meets DataBases for the sake of ontology-based data management Goasdoué F. Université Paris Sud - Paris XI (11/07/2012), Michel Chein (Pr.) [tel-00759274 - version 1]

From image coding and representation to robotic vision Babel M. Université Rennes 1 (29/06/2012), Bruno Arnaldi (Pr.) [tel-00754550 - version 1]

De la modélisation littérale à la simulation numérique certifiée Papegay Y. A. Université de Nice Sophia-Antipolis (22/06/2012), Michel Rueher (Pr.) [tel-00787230 - version 1]

Simulation moléculaire : Problèmes dynamiques et hors d'équilibre Stoltz G. Université Paris-Est (18/06/2012), Bernard Derrida (Pr.) [tel-00709965 - version 1]

Une approche algébrique pour la pratique de l'estimation, du diagnostic, de la commande et de la finance Join C. Université de Lorraine (13/06/2012), Janan Zaytoon (Pr.) [tel-00759370 - version 1]

Langages et techniques d'interaction pour la visualisation et la manipulation de masses de données Pietriga E. Université Paris Sud - Paris XI (08/06/2012), Christine Paulin (Pr.) [tel-00709533 - version 1]