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

Filtrer vos résultats

158 résultats
Type de document : Thèse
Type de document : HDR
Type de document : Cours
Type de dépôt : Notice

Optimization boîte grise massivement parallèle et large échelle

Lorenzo Canonne
Informatique [cs]. Université de lille, 2023. Français. ⟨NNT : ⟩
Thèse tel-04391934v1

Développement d'un modèle pour l'explicitation d'un problème décisionnel : un outil d'aide à la décision dans un contexte d'intelligence économique

Najoua Bouaka
Sciences de l'information et de la communication. Université Nancy 2, 2004. Français. ⟨NNT : 2004NAN21022⟩
Thèse tel-01750889v1

Ajustement dynamique du délai de présentation des paquets pour le transport de la voix dans les réseaux ad hoc

Mouna Benaïssa
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2004. Français. ⟨NNT : 2004NAN10029⟩
Thèse tel-01746794v1

Contrôle d'admission en boucle ouverte dans les réseaux

Emmanuel Hyon
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2002. Français. ⟨NNT : 2002INPL108N⟩
Thèse tel-01750261v1

Méthodes statistiques pour la compréhension automatique de la parole

Salma Jamoussi
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2004. Français. ⟨NNT : 2004NAN10170⟩
Thèse tel-01746760v1

Modélisation et développement formel de circuits électroniques

Yann Zimmermann
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2006. Français. ⟨NNT : 2006NAN10213⟩
Thèse tel-01754271v1

Modélisation de 3-variétés à base topologique : application à la géologie

Stéphane Conreaux
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2001. Français. ⟨NNT : 2001INPL038N⟩
Thèse tel-01750302v1

Une approche contrôlée du traitement d'exceptions en programmation fonctionnelle

Catherine Lucquiaud-Pilière
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2001. Français. ⟨NNT : 2001NAN10211⟩
Thèse tel-01746500v1

Contribution à l'analyse des TIOSMs pour la vérification de propriétés temporelles de systèmes complexes

Laurent Kaiser
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2001. Français. ⟨NNT : 2001INPL010N⟩
Thèse tel-01750319v1

Certification formelle de la correction d'algorithmes distribués avec erreurs de transmission

Henri Debrat
Autre [cs.OH]. Université de Lorraine, 2013. Français. ⟨NNT : 2013LORR0268⟩
Thèse tel-01750614v1

Vers une interrogation en langage naturel d'une base de données image

Jean-Christophe Dubois
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 1998. Français. ⟨NNT : 1998NAN10044⟩
Thèse tel-01747063v1

Sécurité du plan de gestion des réseaux IP

Vincent Cridlig
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2006. Français. ⟨NNT : 2006NAN10180⟩
Thèse tel-01746557v1

Contribution à l'évaluation des technologies de l'informatique ambiante

Laurent Ciarletta
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2002. Français. ⟨NNT : 2002NAN10234⟩
Thèse tel-01746725v1

Stratégies d'introduction d'organismes dans un environnement spatialement structuré

Thibaut Morel Journel
Automatique. Université Nice Sophia Antipolis, 2015. Français. ⟨NNT : ⟩
Thèse tel-01241402v1

Annotation and data-driven synthesis of facial expressions of French sign language

Clement Reverdy
Computer science. Université Bretagne-Sud, 2019. English. ⟨NNT : ⟩
Thèse tel-03080311v1

Matheuristique multi-objectif pour la gestion de l'énergie électrique dans les smart grids

Zineb Garroussi
Computer Science [cs]. Université Rabat, 2019. English. ⟨NNT : ⟩
Thèse tel-03780866v1

Recherche combinatoire : problèmes de pesage, reconstruction de graphes et applications

Vladimir Grebinski
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 1998. Français. ⟨NNT : 1998NAN10248⟩
Thèse tel-01754255v1

Contribution au transfert de données : application à MPI

Martial Michel
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2001. Français. ⟨NNT : 2001NAN10197⟩
Thèse tel-01746592v1

Analyse et approfondissement des méthodes de radiosité et d'illumination globale pour le contrôle et la visualisation de simulations numériques de rendu réaliste

Herve Barthelemy
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2001. Français. ⟨NNT : 2001INPL561N⟩
Thèse tel-01750294v1

Echange de données pour le parallélisme à gros grain

Mohamed Essaïdi
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2004. Français. ⟨NNT : 2004NAN10007⟩
Thèse tel-01746810v1

Calcul de réécriture : fondements et applications

Horatiu Cirstea
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2000. Français. ⟨NNT : 2000NAN10087⟩
Thèse tel-01746463v1

Identification de systèmes par réseaux de neurones pour la commande prédictive

Antoine Mahé
Robotique [cs.RO]. CentraleSupélec, Université Paris-Saclay, 2020. Français. ⟨NNT : ⟩
Thèse tel-03081633v1

Systèmes Cyber-Physiques autonomes et communicants en milieux inconnus : Application à l’exploration par robots mobiles

Virgile Daugé
Robotique [cs.RO]. Université de Lorraine, 2021. Français. ⟨NNT : 2021LORR0279⟩
Thèse tel-03569053v1

Application aux images satellitaires multi spectrales, haute résolution

Wim Mees
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2000. Français. ⟨NNT : 2000NAN10282⟩
Thèse tel-01746677v1

Un modèle de cortex pour le comportement motivé d'un agent neuromimétique autonome

Hervé Frezza-Buet
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 1999. Français. ⟨NNT : 1999NAN10246⟩
Thèse tel-01747287v1

Systèmes de reconnaissance de la parole revisités : réseaux bayésiens dynamiques et nouveaux paradigmes

Murat Deviren
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2004. Français. ⟨NNT : 2004NAN10161⟩
Thèse tel-01746769v1

Un portail sémantique pour la gestion des connaissances en cancérologie

Mathieu d' Aquin
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2005. Français. ⟨NNT : 2005NAN10154⟩
Thèse tel-01746651v1

La représentation des informations multimédias à partir des besoins informationnels des utilisateurs : approche d'intelligence économique

Hanene Maghrebi
Sciences de l'information et de la communication. Université Nancy 2, 2010. Français. ⟨NNT : 2010NAN21001⟩
Thèse tel-01752695v1

Modélisation et gestion du dialogue oral homme-machine de commande

Olivier Grisvard
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2000. Français. ⟨NNT : 2000NAN10011⟩
Thèse tel-01746422v1

Etude et réalisation d'un système d'extraction de connaissances à partir de textes

Hacène Cherfi
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2004. Français. ⟨NNT : 2004NAN10164⟩
Thèse tel-01746763v1