Skip to Main content Skip to Navigation


...
tel-00329849v1  Theses
Daniele Zucchelli. Combination Methods for Verification Problems
Computer Science [cs]. Université Henri Poincaré - Nancy I, 2008. English
...
tel-00338608v1  Theses
Marilisa Amoia. Reconnaissance d'implications textuelles à forte composante linguistique
Informatique [cs]. Universität des Saarlandes Saarbrücken, 2008. Français
...
tel-01277878v1  Theses
Walid Belkhir. Algebra and Combinatorics of Parity Games
Computer Science and Game Theory [cs.GT]. Aix-Marseille université, 2008. English
...
tel-01735308v1  Theses
Ken Déguernel. Apprentissage de structures musicales en contexte d'improvisation
Intelligence artificielle [cs.AI]. Université de Lorraine, 2018. Français. ⟨NNT : 2018LORR0011⟩
...
tel-01767989v1  Theses
Ludovic Robin. Vérification formelle de protocoles basés sur de courtes chaines authentifiées
Cryptographie et sécurité [cs.CR]. Université de Lorraine, 2018. Français. ⟨NNT : 2018LORR0019⟩
...
tel-01771056v1  Theses
Maxence Reberol. Maillages hex-dominants : génération, simulation et évaluation
Modélisation et simulation. Université de Lorraine, 2018. Français. ⟨NNT : 2018LORR0021⟩
...
tel-01789709v1  Theses
Antoine Fond. Localisation par l'image en milieu urbain : application à la réalité augmentée
Vision par ordinateur et reconnaissance de formes [cs.CV]. Université de Lorraine, 2018. Français. ⟨NNT : 2018LORR0028⟩
...
tel-01862742v1  Theses
Florian Greff. SDRN : réseau maillé temps réel dynamique défini par logiciel
Calcul parallèle, distribué et partagé [cs.DC]. Université de Lorraine, 2018. Français. ⟨NNT : 2018LORR0076⟩
...
tel-01863354v1  Theses
Younes Abid. Automated Risk Analysis on Privacy in Social Networks
Social and Information Networks [cs.SI]. Université de Lorraine, 2018. English. ⟨NNT : 2018LORR0088⟩
...
tel-01897853v1  Theses
Baldwin Dumortier. Contrôle acoustique d'un parc éolien
Systèmes et contrôle [cs.SY]. Université de Lorraine, 2018. Français. ⟨NNT : 2018LORR0131⟩
...
tel-02094910v1  Theses
Daishi Kondo. Preventing information leakage in NDN with name and flow filters
Networking and Internet Architecture [cs.NI]. Université de Lorraine, 2018. English. ⟨NNT : 2018LORR0233⟩
...
tel-02096324v1  Theses
Guillaume Rosinosky. Élasticité de l’exécution des processus métier
Modélisation et simulation. Université de Lorraine, 2019. Français. ⟨NNT : 2019LORR0003⟩
...
tel-02096672v1  Theses
Amina Ahmed Nacer. Contributions au déploiement sécurisé de processus métiers dans le cloud
Web. Université de Lorraine; Université A. Mira (Bejaïa, Algérie), 2019. Français. ⟨NNT : 2019LORR0013⟩
...
tel-02150106v1  Theses
Timothée Bernard. Approches formelles de l'analyse du discours
Informatique et langage [cs.CL]. Université Sorbonne Paris Cité, 2019. Français
...
tel-02188304v1  Theses
Mathieu Fontaine. Processus alpha-stables pour le traitement du signal
Traitement du signal et de l'image [eess.SP]. Université de Lorraine, 2019. Français. ⟨NNT : 2019LORR0037⟩