Home
Browse
By authors
By publications
By year
Domain list
By document type
Last articles
Search
Search
Advanced search
Search by id
Services
Help
Export
HalTools
28595 articles – 22090 references
[version française]
.:.
Browse
>
By document type
> HDR .:.
226 documents ordered by :
Date
Title
first author name
document type
Submit date
...
2
-
3
-
4
-
5
-
6
-
7
-
8
...
Contribution à la conception de systèmes en virgule fixe
Ménard D.
Université Rennes 1 (29/11/2011), Michel Paindavoine (Pr.) [tel-00719431 - version 1]
Excursions en Optimisation Combinatoire, Programmation Entiere et Polyedres.
Stauffer G.
Université Sciences et Technologies - Bordeaux I (28/11/2011), Ridha Mahjoub (Pr.) [tel-00653059 - version 1]
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]
Programmation des grands systèmes distribués: quelques mécanismes, abstractions, et outils
Taïani F.
Université Rennes 1 (17/11/2011), Anne-Marie Kermarrec (Pr.) [tel-00643729 - version 2]
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]
Modèles d'automates d'arbres étendus pour la vérification de systèmes infinis
Jacquemard F.
École normale supérieure de Cachan - ENS Cachan (10/11/2011), Denis Lugiez (Pr.) [tel-00643595 - version 1]
Etude de quelques problèmes issus de la physique des plasmas et de la mécanique des fluides.
Colin M.
Université Sciences et Technologies - Bordeaux I (08/11/2011), Anne de Bouard (Pr.) [tel-00664219 - version 1]
Etude structurelle des réseaux : modèles aléatoires, motifs et cycles.
Birmele E.
Université d'Evry-Val d'Essonne (03/11/2011), Christophe AMBROISE (Pr.) [tel-00750375 - version 1]
Analyse de méthodes mixtes d'éléments finis en mécanique
Capatina D.
Université de Pau et des Pays de l'Adour (02/11/2011), Jean-Claude Nédélec (Pr.) [tel-00647026 - version 2]
Contributions à l'étude mathématique et numérique de quelques modèles en simulation multi-échelle des matériaux
Legoll F.
Université Pierre et Marie Curie - Paris VI (17/10/2011), Yves ACHDOU (Pr.) [tel-00783334 - version 1]