Skip to Main content Skip to Navigation


...
tel-01432876v1  Theses
Stéfane Paris. Reconnaissance par indexation en vision par ordinateur
Multimédia [cs.MM]. INPL - INP de LORRAINE, 1992. Français
...
tel-01753499v1  Theses
Claus Hintermeier. Déduction avec sortes ordonnées et égalités
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 1995. Français. ⟨NNT : 1995NAN10182⟩
...
tel-01748568v2  Theses
Laurent Buniet. Traitement automatique de la parole en milieu bruité : étude de modèles connexionnistes statiques et dynamiques
Interface homme-machine [cs.HC]. Université Henri Poincaré - Nancy 1, 1997. Français
...
tel-01747519v1  Theses
David Chamont. Architecture logicielle pour la simulation des transferts radiatifs
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 1997. Français. ⟨NNT : 1997NAN10254⟩
...
tel-01747412v1  Theses
Thomas Genet. Contraintes d'ordre et automates d'arbres pour les preuves de terminaison
Informatique [cs]. Université Henri Poincaré - Nancy 1, 1998. Français. ⟨NNT : 1998NAN10245⟩
...
tel-01747557v1  Theses
Gilles Simon. Vers un système de réalité augmentée autonome
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 1999. Français. ⟨NNT : 1999NAN10272⟩
...
tel-01749938v1  Theses
Erwan Kerrien. Outils d'imagerie multimodalité pour la neuroradiologie interventionnelle
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2000. Français. ⟨NNT : 2000INPL003N⟩
...
tel-01750479v1  Theses
François Cuny. Radiosité à base d'ondelettes sur des surfaces paramétriques
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2000. Français. ⟨NNT : 2000INPL082N⟩
...
tel-01746477v2  Theses
Nicolas Rougier. Modèles de mémoires pour la navigation autonome
Modélisation et simulation. Université Henri Poincaré - Nancy 1, 2000. Français. ⟨NNT : 2000NAN10122⟩
...
tel-01750475v1  Theses
Guillaume Bonfante. Constructions d'ordres, analyse de la complexité
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2000. Français. ⟨NNT : 2000INPL102N⟩
...
tel-01747581v1  Theses
Olivier Zendra. Traduction et optimisation globale dans les langages de classes
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2000. Français. ⟨NNT : 2000NAN10085⟩
...
tel-00565633v1  Theses
Olivier Zendra. Traduction et optimisation globale dans les langages de classes
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2000. Français
...
tel-01746779v2  Theses
Laurent Bougrain. Etude de la construction par réseaux neuromimétiques de représentations interprétables
Réseau de neurones [cs.NE]. Université Henri Poincaré - Nancy 1, 2000. Français. ⟨NNT : 2000NAN10241⟩
...
tel-01748119v1  Theses
Hubert Dubois. Système de règles de production et calcul de réécriture
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2001. Français. ⟨NNT : 2001NAN10123⟩
...
tel-00112982v1  Theses
Sylvain Pogodalla. Réseaux de preuve et génération pour les grammaires de types logiques
Interface homme-machine [cs.HC]. Institut National Polytechnique de Lorraine - INPL, 2001. Français
...
tel-01749813v1  Theses
Sylvain Pogodalla. Réseaux de preuve et génération pour les grammaires de types logiques
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2001. Français. ⟨NNT : 2001INPL056N⟩
...
tel-01754351v1  Theses
Eric Deplagne. Système de preuve modulo récurrence
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2002. Français. ⟨NNT : 2002NAN10240⟩
...
tel-00003378v1  Theses
Laurent Jeanpierre. Apprentissage et adaptation pour la modélisation stochastique de systèmes dynamiques réels
Modélisation et simulation. Université Henri Poincaré - Nancy I, 2002. Français
...
tel-00003377v1  Theses
Bruno Scherrer. Apprentissage de représentation et auto-organisation modulaire pour un agent autonome
Interface homme-machine [cs.HC]. Université Henri Poincaré - Nancy I, 2003. Français. ⟨NNT : 2003NAN10018⟩
...
tel-00112096v1  Theses
Frédéric Landragin. Modélisation de la communication multimodale : vers une formalisation de la pertinence
Interface homme-machine [cs.HC]. Université Henri Poincaré - Nancy I, 2003. Français
...
tel-01750193v1  Theses
Alberto Ciaffaglione. Certified reasoning on real numbers and objects in co-inductive type theory
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2003. Français. ⟨NNT : 2003INPL026N⟩
...
tel-01749855v1  Theses
Freddy Deppner. Ordonnancement d'atelier avec contraintes temporelles entre opérations
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2004. Français. ⟨NNT : 2004INPL021N⟩
...
tel-01754419v1  Theses
Damien Eveillard. Modélisation statistique et formelle de la régulation de l'épissage alternatif
Biologie moléculaire. Université Henri Poincaré - Nancy 1, 2004. Français. ⟨NNT : 2004NAN10037⟩
...
tel-01749746v1  Theses
Christophe Bouthier. Mise en contexte de la conscience de groupe : adaptation et visualisation
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2004. Français. ⟨NNT : 2004INPL051N⟩
...
tel-00011195v1  Theses
Hacène Cherfi. Etude et réalisation d'un système d'extraction de connaissances à partir de textes
Interface homme-machine [cs.HC]. Université Henri Poincaré - Nancy I, 2004. Français
...
tel-01754380v1  Theses
Yves Caniou. Ordonnancement sur une plate-forme de métacomputing
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2004. Français. ⟨NNT : 2004NAN10200⟩
...
tel-00011165v1  Theses
Cédric Wilwert. Influence des fautes transitoires et des performances temps réel sur la sûreté des systèmes X-by-Wire
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Lorraine - INPL, 2005. Français
...
tel-01754436v1  Theses
Suzanne Kieffer. Assistance multimodale à l'exploration de visualisations 2D interactives
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2005. Français. ⟨NNT : 2005NAN10021⟩
...
tel-01748142v1  Theses
Frédéric Wagner. Redistribution de données à travers un réseau à haut débit
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2005. Français. ⟨NNT : 2005NAN10156⟩
...
tel-01746679v2  Theses
Sami Bhiri. Approche Transactionnelle pour Assurer des Compositions Fiables de Services Web
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy 1, 2005. Français. ⟨NNT : 2005NAN10116⟩
...
tel-00010546v1  Theses
Benjamin Wack. Typage et déduction dans le calcul de réécriture
Autre [cs.OH]. Université Henri Poincaré - Nancy I, 2005. Français
...
tel-01746548v2  Theses
Jean-Paul Cerri. Spectres euclidiens et inhomogènes des corps de nombres
Mathématiques [math]. Université Henri Poincaré - Nancy 1, 2005. Français. ⟨NNT : 2005NAN10121⟩
...
tel-00128631v1  Theses
Nicolas Biri. Logiques spatiales de ressources, modèles d'arbres et applications
Modélisation et simulation. Université Henri Poincaré - Nancy I, 2005. Français
...
tel-01748174v1  Theses
Guillaume Doyen. Supervision des réseaux et services pair à pair
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2005. Français. ⟨NNT : 2005NAN10159⟩
...
tel-00012095v1  Theses
Guillaume Doyen. Supervision des réseaux et services pair à pair
Réseaux et télécommunications [cs.NI]. Université Henri Poincaré - Nancy I, 2005. Français