Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

146 résultats
Type de document : Thèse
Type de dépôt : Notice

Gestion des occultations en réalité augmentée

Vincent Lepetit
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2001. Français. ⟨NNT : 2001NAN10022⟩
Thèse tel-01746887v1

Modélisation et Optimisation Multi-Objectifs pour l’Extraction de Connaissance

Charles Vernerey
Intelligence artificielle [cs.AI]. IMT Atlantqiue, 2023. Français. ⟨NNT : 2023IMTA0359⟩
Thèse tel-04457399v1

Outils algébriques pour la résolution de problèmes géométriques et l'analyse de trajectoire de robots parallèles prévus pour des applications à haute cadence et grande précision

Luc Hugues Rolland
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2003. Français. ⟨NNT : 2003NAN10180⟩
Thèse tel-01746839v1

Terminaison de la réécriture sous stratégies

Olivier Fissore
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2003. Français. ⟨NNT : 2003NAN10176⟩
Thèse tel-01746842v1

Sphères de comportement pour la modélisation et l'exécution de procédés flexibles

Adnene Guabtni
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2007. Français. ⟨NNT : 2007NAN10017⟩
Thèse tel-01754260v1

Principes de conception de systèmes hypertextes pour la fouille de données bibliographiques multibases

Emmanuel Nauer
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2001. Français. ⟨NNT : 2001NAN10008⟩
Thèse tel-01746426v1

Problèmes de filtrage et problème d'analyse pour les grammaires catégorielles abstraites

Sylvain Salvati
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2005. Français. ⟨NNT : 2005INPL050N⟩
Thèse tel-01750002v1

Conception de procédures de décision par combinaison et saturation

Duc-Khanh Tran
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2007. Français. ⟨NNT : 2007NAN10004⟩
Thèse tel-01746558v1

Outils et ressources linguistiques pour l'alignement de textes multilingues français-vietnamiens

Thi Minh Huyen Nguyen
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2006. Français. ⟨NNT : 2006NAN10104⟩
Thèse tel-01746600v1

Typage et déduction dans le calcul de réécriture

Benjamin Wack
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2005. Français. ⟨NNT : 2005NAN10119⟩
Thèse tel-01746546v1

Méthodes algorithmiques pour l'optimisation mono-objectif et multi-objectif : application aux réseaux de radiodiffusion

Akram Bedoui
Autre [cs.OH]. Université de Lorraine, 2015. Français. ⟨NNT : 2015LORR0135⟩
Thèse tel-01751940v1

Analyse de plans architecturaux

Christian Ah Soon
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 1998. Français. ⟨NNT : 1998INPL100N⟩
Thèse tel-01750723v1

Logiques et réécriture

Sohame Selhab
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 1998. Français. ⟨NNT : 1998NAN10207⟩
Thèse tel-01747674v1

Une approche formelle pour la spécification et la vérification des systèmes temps-réel

Leila Jemni Ben Ayed
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2000. Français. ⟨NNT : 2000INPL023N⟩
Thèse tel-01750490v1

Preuves et sémantiques dans des logiques de ressources

Daniel Méry
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2004. Français. ⟨NNT : 2004NAN10160⟩
Thèse tel-01746770v1

Algorithmes d’optimisation pour un service de transport partagé à la demande

Sven Vallée
Recherche opérationnelle [cs.RO]. Université de Lorraine, 2019. Français. ⟨NNT : 2019LORR0063⟩
Thèse tel-02331745v1

Architecture de contrôle pour robot mobile en environnement intérieur structuré

Olivier Aycard
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 1998. Français. ⟨NNT : 1998NAN10275⟩
Thèse tel-01747648v1

Outils classificatoires par objets pour l'extraction de connaissances dans des bases de données

Arnaud Simon
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2000. Français. ⟨NNT : 2000NAN10069⟩
Thèse tel-01746446v1

Modèles de production de parole et reconnaissance à partir d'automates

Bruno-Charles Mathieu
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 1999. Français. ⟨NNT : 1999NAN10300⟩
Thèse tel-01747264v1

Une approche hiérarchique de la segmentation du signal de parole

Jean-Luc Husson
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 1998. Français. ⟨NNT : 1998NAN10292⟩
Thèse tel-01747636v1

PointSynchro : un service pour la coordination de procédés interentreprises coopératifs

Julia Bitcheva
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2003. Français. ⟨NNT : 2003NAN10171⟩
Thèse tel-01746847v1

Définition et gestion d'une qualité de service pour les applications temps réel

Fabrice Jumel
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2003. Français. ⟨NNT : 2003INPL094N⟩
Thèse tel-01750153v1

Generating Anaphoric Expressions Contextual Reasoning in Sentence Planning

Kristina Striegnitz
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2004. English. ⟨NNT : 2004NAN10186⟩
Thèse tel-01746737v1

Résolution de problèmes d'accessiblité pour la compilation et la validation de protocoles cryptographiques

Yannick Chevalier
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2003. Français. ⟨NNT : 2003NAN10181⟩
Thèse tel-01746836v1

Vibrotactile feedback to support kinesthetic motor imagery in a brain-computer interface for post-stroke motor rehabilitation

Altamira Gabriela Herrera
Computer Science [cs]. Université de Lorraine, 2024. English. ⟨NNT : 2024LORR0002⟩
Thèse tel-04540310v1

Exploration et inférence du réseau de régulation de la transcription de la bactérie symbiotique intracellulaire à génome réduit, Buchnera aphidicola

Lilia Brinza
Microbiologie et Parasitologie. Institut National des Sciences Appliquées de Lyon, 2010. Français. ⟨NNT : ⟩
Thèse tel-02820284v1

Polyhedral Code Generation: Reducing Overhead and Increasing Parallelism

Harenome Razanajato
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Strasbourg (Unistra), FRA., 2020. English. ⟨NNT : ⟩
Thèse tel-03125702v1

Méthodes et outils pour le détourage des malformations artério-veineuses cérébrales dans un contexte multimodalité

René Anxionnat
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2003. Français. ⟨NNT : 2003NAN10154⟩
Thèse tel-01746830v1

Détection de thème et adaptation des modèles de langage pour la reconnaissance automatique de la parole

Armelle Brun
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2003. Français. ⟨NNT : 2003NAN10003⟩
Thèse tel-01746767v1

Identification de relations sémantiques dans des textes scientifiques et techniques en exploitant le raisonnement à partir de cas

Fairouz Arina Chakkour
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2003. Français. ⟨NNT : 2003NAN10192⟩
Thèse tel-01746803v1