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
...
tel-00605791v1  Theses
Octave Boussaton. Application de la théorie des jeux à l'optimisation du routage réseau - solutions algorithmiques
Informatique [cs]. Université Henri Poincaré - Nancy I, 2010. Français
...
tel-01752605v2  Theses
Smaïl Khouider. Outils d'aide à la décision pour la prise de commandes imprévues
Sciences de l'ingénieur [physics]. Université Paul Verlaine - Metz, 2008. Français. ⟨NNT : 2008METZ039S⟩
...
tel-00642951v1  Theses
Romain Cosset. Applications des fonctions thêta à la cryptographie sur courbes hyperelliptiques.
Cryptographie et sécurité [cs.CR]. Université Henri Poincaré - Nancy I, 2011. Français
...
tel-00643842v1  Theses
Roméo Courbis. Contributions à l'analyse de systèmes par approximation d'ensembles réguliers
Autre [cs.OH]. Université de Franche-Comté, 2011. Français
...
tel-00646395v1  Theses
Philippe Beaucamps. Analyse de Programmes Malveillants par Abstraction de Comportements
Logique en informatique [cs.LO]. Institut National Polytechnique de Lorraine - INPL, 2011. Français
...
tel-01746214v2  Theses
Bertrand Thierry. Analyse et Simulations Numériques du Retournement Temporel et de la Diffraction Multiple
Equations aux dérivées partielles [math.AP]. Université Henri Poincaré - Nancy 1, 2011. Français. ⟨NNT : 2011NAN10071⟩
...
tel-01749052v2  Theses
Imen Ellouze. Etude de la stabilité et de la stabilisation des systèmes à retard et des systèmes impulsifs
Optimisation et contrôle [math.OC]. Université Paul Verlaine - Metz; Université de Sfax, 2010. Français. ⟨NNT : 2010METZ038S⟩
...
tel-01749298v3  Theses
Ghislain Haine. Observateurs en dimension infinie. Application à l'étude de quelques problèmes inverses
Equations aux dérivées partielles [math.AP]. Université de Lorraine, 2012. Français
...
tel-01749662v2  Theses
Jérôme Lohéac. Contrôle en temps optimal et nage à bas nombre de Reynolds
Optimisation et contrôle [math.OC]. Université de Lorraine, 2012. Français. ⟨NNT : 2012LORR0336⟩
...
tel-00836717v1  Theses
Imen Jemaa. Suivi de Formants par analyse en Multirésolution
Interface homme-machine [cs.HC]. Université de Lorraine; Faculté des Sciences de Tunis, 2013. Français
...
tel-00838913v1  Theses
Julie Busset. Inversion acoustique articulatoire à partir de coefficients cepstraux
Traitement du signal et de l'image [eess.SP]. Université de Lorraine, 2013. Français
...
tel-00844673v1  Theses
Wilfried Kirschenmann. Vers des noyaux de calcul intensif pérennes
Calcul parallèle, distribué et partagé [cs.DC]. Université de Lorraine, 2012. Français
...
tel-01752678v2  Theses
Abdoul Azziz Fall. Études de quelques modèles épidémiologiques : application à la transmission du virus de l'hépatite B en Afrique subsaharienne (cas du Sénégal)
Systèmes dynamiques [math.DS]. Université Paul Verlaine - Metz; Université Gaston Berger, Saint Louis, Sénégal, 2010. Français. ⟨NNT : 2010METZ003S⟩
...
tel-01749597v2  Theses
Léontine Nkague Nkamba. Robustesse des Seuils en Épidémiologie et Stabilité Asymptotique d'un Modèle à Infectivité et Susceptibilité Différentielle
Systèmes dynamiques [math.DS]. Université de Lorraine; Université Gaston Berger, Saint Louis, Sénégal, 2012. Français. ⟨NNT : 2012LORR0382⟩
...
tel-00845655v2  Theses
Christophe Salperwyck. Apprentissage incrémental en ligne sur flux de données
Autre [cs.OH]. Université Charles de Gaulle - Lille III, 2012. Français. ⟨NNT : 2012LIL30037⟩
...
tel-01749865v3  Theses
Maxime Rio. Modèles bayésiens pour la détection de synchronisations au sein de signaux électro-corticaux
Traitement du signal et de l'image [eess.SP]. Université de Lorraine, 2013. Français
...
tel-00878714v1  Theses
Fehd Ben Aicha,. Modélisation et commande de systèmes de conversion d'énergie pour l'automobile.
Automatique / Robotique. Université de Metz, 2008. Français
...
tel-00919272v1  Theses
Soumeya Hernane. Modèles et algorithmes de partage de données cohérents pour le calcul parallèle et distribué à haut débit.
Calcul parallèle, distribué et partagé [cs.DC]. Université de Lorraine; Université des Sciences et de la Technologie d'Oran, 2013. Français
...
tel-00921040v1  Theses
Florent Pompigne. Modélisation logique de la langue et Grammaires Catégorielles Abstraites
Informatique et langage [cs.CL]. Université de Lorraine, 2013. Français
...
tel-01750369v2  Theses
Joan Calvet. Analyse Dynamique de Logiciels Malveillants
Cryptographie et sécurité [cs.CR]. Université de Lorraine, 2013. Français. ⟨NNT : 2013LORR0083⟩
...
tel-00924743v1  Theses
Nicolas Estibals. Algorithmes et arithmétique pour l'implémentation de couplages cryptographiques
Cryptographie et sécurité [cs.CR]. Université de Lorraine, 2013. Français
...
tel-01749575v2  Theses
Oussema Dabbebi. Gestion des Risques dans les Infrastructures VoIP
Réseaux et télécommunications [cs.NI]. Université de Lorraine, 2013. Français. ⟨NNT : 2013LORR0044⟩
...
tel-00927147v1  Theses
Fadoua Bahja. Détection du fondamental de la parole en temps réel : application aux voix pathologiques
Traitement du signal et de l'image [eess.SP]. Université Mohammed V-Agdal UFR Informatique et Télécommunications Laboratoire LRIT Unité associée au CNRST, URAC 29, Faculté des sciences, 2013. Français
...
tel-00936953v1  Theses
Antoine Bautin. Stratégie d'exploration multirobot fondées sur le calcul de champs de potentiels
Intelligence artificielle [cs.AI]. Université de Lorraine, 2013. Français
...
tel-00904887v2  Theses
Pierre Glanc. Approximation numérique de l'équation de Vlasov par des méthodes de type remapping conservatif
Equations aux dérivées partielles [math.AP]. Université de Strasbourg, 2014. Français
...
tel-01750512v2  Theses
Romain Bar. Développement de méthodes d'analyse de données en ligne
Statistiques [math.ST]. Université de Lorraine, 2013. Français. ⟨NNT : 2013LORR0216⟩
...
tel-01070972v1  Theses
Amandine Dubois. Mesure de la fragilité et détection de chutes pour le maintien à domicile des personnes âgées
Intelligence artificielle [cs.AI]. Université de Lorraine, 2014. Français
...
tel-01750793v2  Theses
Jano Yazbeck. Accrochage immatériel sûr et précis de véhicules automatiques
Intelligence artificielle [cs.AI]. Université de Lorraine, 2014. Français. ⟨NNT : 2014LORR0070⟩
...
tel-01751160v2  Theses
Hugo Férée. Complexité d'ordre supérieur et analyse récursive
Complexité [cs.CC]. Université de Lorraine, 2014. Français. ⟨NNT : 2014LORR0173⟩
...
tel-00772312v1  Theses
Hadrien Courtecuisse. Nouvelles architectures parallèles pour simulations interactives médicales
Calcul parallèle, distribué et partagé [cs.DC]. Université des Sciences et Technologie de Lille - Lille I, 2011. Français
...
tel-01165320v1  Theses
Vincent Majorczyk. Modélisation des interactions entre solides déformables et films fluides pour la simulation médicale temps-réel
Modélisation et simulation. Université des Sciences et Technologies de Lille, 2015. Français
...
tel-01189560v1  Theses
Xabier Jaureguiberry. Fusion pour la séparation de sources audio
Traitement du signal et de l'image [eess.SP]. TELECOM ParisTech; INRIA Nancy, équipe Multispeech, 2015. Français. ⟨NNT : 2015ENST0030⟩
...
tel-01251128v1  Theses
Luiza Orosanu. Reconnaissance de la parole pour l’aide à la communication pour les sourds et malentendants
Traitement du signal et de l'image [eess.SP]. Université de Lorraine, 2015. Français. ⟨NNT : 2015LORR0172⟩
...
tel-01751533v2  Theses
Mehdi Ahmed-Nacer. Méthodologie d'évaluation pour les types de données répliqués
Calcul parallèle, distribué et partagé [cs.DC]. Université de Lorraine, 2015. Français. ⟨NNT : 2015LORR0039⟩
...
tel-01751648v2  Theses
Cyril Bouvier. Algorithmes pour la factorisation d'entiers et le calcul de logarithme discret
Cryptographie et sécurité [cs.CR]. Université de Lorraine, 2015. Français. ⟨NNT : 2015LORR0053⟩
...
tel-01751411v2  Theses
Aurélien Thierry. Désassemblage et détection de logiciels malveillants auto-modifiants
Informatique et langage [cs.CL]. Université de Lorraine, 2015. Français. ⟨NNT : 2015LORR0011⟩
...
tel-01293742v1  Theses
Mohammed Anis Mekki. Synthèse et compilation de services web sécurisés
Informatique [cs]. Universite de Lorraine, 2011. Français
...
tel-01308731v1  Theses
Jamila Ben Slimane. ALLOCATION CONJOINTE DES CANAUX DE FREQUENCE ET DES CRENEAUX DE TEMPS ET ROUTAGE AVEC QdS DANS LES RESEAUX DE CAPTEURS SANS FIL DENSES ET ETENDUS
Réseaux et télécommunications [cs.NI]. Université de lorraine; Ecole Supérieure des Communications de Tunis, 2013. Français