Skip to Main content Skip to Navigation


...
tel-00004633v1  Theses
Romuald Ginhoux. Compensation des mouvements physiologiques en chirurgie robotisée par commande prédictive
Automatique / Robotique. Université Louis Pasteur - Strasbourg I, 2003. Français
...
tel-00142675v1  Theses
Emmanuel Hainry. Modèles de calcul sur les réels, résultats de comparaison
Autre [cs.OH]. Institut National Polytechnique de Lorraine - INPL, 2006. Français
...
tel-01746556v2  Theses
Stefan Duprey. Etude mathématique et numérique de la propagation acoustique d'un turboréacteur
Mathématiques [math]. Université Henri Poincaré - Nancy 1, 2006. Français. ⟨NNT : 2006NAN10185⟩
...
tel-01752904v2  Theses
Romain Pechoux. Analyse de la complexité des programmes par interprétation sémantique
Informatique [cs]. Institut National Polytechnique de Lorraine - INPL, 2007. Français. ⟨NNT : 2007INPL084N⟩
...
tel-01748443v3  Theses
Yannick Privat. Quelques problèmes d'optimisation de formes en sciences du vivant
Mathématiques [math]. Université Henri Poincaré - Nancy 1, 2008. Français. ⟨NNT : 2008NAN10045⟩
...
tel-00338362v1  Theses
Eugen Zalinescu. Sécurité des protocoles cryptographiques : décidabilité et résultats de transfert
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2007. Français
...
tel-00338608v1  Theses
Marilisa Amoia. Reconnaissance d'implications textuelles à forte composante linguistique
Informatique [cs]. Universität des Saarlandes Saarbrücken, 2008. Français
...
tel-01777259v2  Theses
Séverine Baillet. Optimisation de forme d'une pompe générique de fond de puits
Mathématiques [math]. Université Henri Poincaré - Nancy I, 2007. Français. ⟨NNT : 2007NAN10104⟩
...
tel-00411964v2  Theses
Alexandre Mouton. Approximation multi-échelles de l'équation de Vlasov
Mathématiques [math]. Université de Strasbourg, 2009. Français. ⟨NNT : 2009STRA6082⟩
...
tel-00417290v1  Theses
Najah Chridi. Contributions à la vérification automatique de protocoles de groupes.
Autre [cs.OH]. Université Henri Poincaré - Nancy I, 2009. Français
...
tel-00528942v1  Theses
Damien Robert. Fonctions thêta et applications à la cryptographie
Informatique [cs]. Université Henri Poincaré - Nancy I, 2010. Français
...
tel-00540646v1  Theses
Nawal Guermouche. Etude des Interactions Temporisées dans la Composition de Services Web
Informatique [cs]. Université Henri Poincaré - Nancy I, 2010. Français
...
tel-01741716v2  Theses
Paul Bedaride. Implication Textuelle et Réécriture
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2010. Français. ⟨NNT : 2010NAN10062⟩
...
tel-01746342v2  Theses
Guillaume Hoffmann. Tâches de raisonnement en logiques hybrides
Mathématiques [math]. Université Henri Poincaré - Nancy 1, 2010. Français. ⟨NNT : 2010NAN10110⟩
...
tel-01748652v2  Theses
Stéphane Weiss. Edition collaborative massive sur réseaux Pair-à-Pair
Réseaux et télécommunications [cs.NI]. Université Henri Poincaré - Nancy 1, 2010. Français. ⟨NNT : 2010NAN10077⟩
...
tel-00543961v1  Theses
Charbel Rahhal. Wikis sémantiques distribués sur réseaux pair-à-pair
Informatique [cs]. Université Henri Poincaré - Nancy I, 2010. Français
...
tel-00561061v1  Theses
Christophe Guébert. Suture en chirurgie virtuelle : simulation interactive et modèles hétérogènes
Modélisation et simulation. Université des Sciences et Technologie de Lille - Lille I, 2010. Français
...
tel-00580582v1  Theses
Duc-Khanh Tran. Conception de Procédures de Décision par Combinaison et Saturation
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2007. Français
...
tel-00594384v1  Theses
Diène Ngom. Observation et régulation de certains modèles discrets d'écosystèmes
Mathématiques [math]. Université Gaston Berger de Saint-Louis, 2008. Français