Algorithmes  Analyse des données  Apprentissage automatique  Apprentissage profond  Commande, Théorie de la  Cryptographie  Diagnostic  Détection de défaut  Estimation de paramètres  Exploration de données  Fiabilité  Imagerie par résonance magnétique  Ingénierie des systèmes  Intelligence artificielle  Modèles mathématiques  Modélisation  Méthodes formelles  Optimisation  Optimisation mathématique  Recherche opérationnelle  Réseaux de capteurs  Réseaux neuronaux  Simulation  Simulation par ordinateur  Simulation, Méthodes de  Stabilité  Systèmes d'aide à la décision  Systèmes informatiques -- Mesures de sûreté  Systèmes non linéaires  Sécurité  Temps réel  Théorie des graphes  Traitement automatique du langage naturel  Traitement d'images -- Techniques numériques  Traitement du signal  Traitement réparti  

1 defended thesis in this institution Metz

Observabilité et systèmes discrets

by Sabeur Ammar supervised by Gauthier Sallet - Metz

Mathématiques

defended on 2003

262 ongoing theses in this doctoral school IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine
Excerpt from most recent:

Fuzzing guidé de protocoles cryptographiques dans le modèle de Dolev-Yao

by Tom Gouville supervised by Steve Kremer - Université de Lorraine

Informatique

Ongoing since 01-11-2023

Dynamique des longueurs de télomères : modélisation, estimation et application à l'aide au diagnostic

by Sophie Baland supervised by Denis Villemonais - Université de Lorraine

Mathématiques

Ongoing since 01-10-2023

Commande parcimonieuse

by Pierre Cavare supervised by Marc Jungers - Université de Lorraine

Automatique, Traitement du signal et des images, Génie informatique

Ongoing since 01-10-2023

Entiers ellipséphiques représentés par des polynômes à phases criblées

by Serena Pedon supervised by Cécile Dartyge and Anne-Gwénaëlle de Roton . - Université de Lorraine

Mathématiques

Ongoing since 01-10-2023

D'une ontologie dédiée aux conversations au contrôle des modèles conversationnels

by Barbara Gendron supervised by Mathieu d' Aquin - Université de Lorraine

Informatique

Ongoing since 01-10-2023

Interfaces électroniques avancées pour la récupération et la conversion électrique de l'énergie fatale d'origine thermique, à haute efficacité énergétique et à tolérance de pannes

by Niloufar Dizangian supervised by Philippe Poure and Slavisa Jovanovic . - Université de Lorraine

Systèmes électroniques

Ongoing since 01-10-2023

Apprentissage automatique et approches à base de graphes pour prédire la structure de la communauté bactérienne à long terme

by Mohammed Khatbane supervised by Yannick Toussaint - Université de Lorraine

Informatique

Ongoing since 01-10-2023

Convexité combinatoire, ses généralisations et applications à l'optimisation

by Sarah Wajsbrot supervised by Xavier Goaoc - Université de Lorraine

Informatique

Ongoing since 01-10-2023

Reconfiguration dynamique par simulation d'un réseau évolutif d'objets communicants, sous contraintes de service et d'énergie

by Salma Najjar supervised by William Derigent - Université de Lorraine

Automatique, Traitement du signal et des images, Génie informatique

Ongoing since 01-10-2023

Association des techniques de machine Learning et des métaheuristiques pour la résolution des problèmes d'optimisation combinatoire

by Asma Cherrered supervised by Ammar Oulamara - Université de Lorraine

Informatique

Ongoing since 01-10-2023

Processus de Markov déterministes par morceaux et inférence bayésienne de réseaux de gènes

by Mathilde Gaillard supervised by Anne Gegout-petit - Université de Lorraine

Mathématiques

Ongoing since 01-10-2023

Étude de la dynamique conformationnelle des complexes protéine-ARN

by Victor Pryakhin supervised by Malika Smaïl-Tabbone - Université de Lorraine

Informatique

Ongoing since 01-10-2023

Algorithmique et outils automatiques pour la construction et l'analyse de composants de cryptographie symétrique

by Marie Bolzer supervised by Marine Minier - Université de Lorraine

Informatique

Ongoing since 30-09-2023

Conception et analyse de protocoles de vote utilisés ou utilisables en pratique

by Leo Louistisserand supervised by Véronique Cortier and Pierrick Gaudry . - Université de Lorraine

Informatique

Ongoing since 04-09-2023

Hyperbolicité et mesures d'irrationalité

by Raphael Hiault supervised by Damian Brotbek and Gianluca Pacienza . - Université de Lorraine

Mathématiques

Ongoing since 01-09-2023

1162 defended theses in this doctoral school IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine
Excerpt from most recent:

Facing Data Scarcity in Dialogues for Discourse Structure Discovery and Prediction

by Chuyuan Li supervised by Maxime Amblard and Chloé Braud . - Université de Lorraine

Informatique

defended on 24-08-2023

Structural characterization of RNA binding to RNA recognition motif (RRM) domains using data integration, 3D modeling and molecular dynamic simulation

by Hrishikesh Dhondge supervised by Marie-Dominique Devignes and Isaure Chauvot de Beauchêne . - Université de Lorraine

Informatique

defended on 11-07-2023

Théorie spectrale et théorie de la diffusion pour des opérateurs non-auto-adjoints

by Nicolas Frantz supervised by Jérémy Faupin - Université de Lorraine

Mathématiques

defended on 05-07-2023

Coercion-resistance in electronic voting : design and analysis

by Quentin Yang supervised by Véronique Cortier and Pierrick Gaudry . - Université de Lorraine

Informatique

defended on 23-06-2023

Dynamic Epistemic Logic with Quantification And Normative Systems

by Mo Liu supervised by Hans van Ditmarsch and Louwe Kuijer . - Université de Lorraine

Informatique

defended on 23-06-2023

Courses de polynômes irréductibles dans les corps de fonctions

by Youssef Sedrati supervised by Youness Lamzouri and Manfred Madritsch . - Université de Lorraine

Mathématiques

defended on 16-06-2023

Étude de relations entre activités aux échelles cellulaires et macroscopiques. Application au système visuel de reconnaissance des visages

by Pauline Jurczynski supervised by Radu Ranta and Steven Le Cam . - Université de Lorraine

Automatique, Traitement du signal et des images, Génie informatique

defended on 14-06-2023

Exploiting the synergies of unmanned aerial vehicles (UAVs) and 5G network

by Debashisha Mishra supervised by Enrico Natalizio - Université de Lorraine

Informatique

defended on 13-06-2023

AI-based maintenance planning for multi-component systems considering different kinds of dependencies

by Van-Thai Nguyen supervised by Van Phuc Do and Alexandre Voisin . - Université de Lorraine

Automatique, Traitement du signal et des images, Génie informatique

defended on 12-06-2023

Bayesian Deep Learning for Mining and Analyzing Astronomical Data

by Claire Theobald supervised by Miguel Couceiro and Frédéric Pennerath . - Université de Lorraine

Informatique

defended on 06-06-2023

Pronostic de défaillance basé sur les données pour la prise de décision en maintenance : Exploitation du principe d'augmentation de données avec intégration de connaissances à priori pour faire face aux problématiques du small data set

by Antonin Gay supervised by Benoît Iung and Alexandre Voisin . - Université de Lorraine

Automatique, Traitement du signal et des images, Génie informatique

defended on 06-06-2023

CEM des implants cardiaques aux basses fréquences 50 Hz dans un contexte normatif

by Mengxi Zhou supervised by Djilali Kourtiche and Julien Claudel . - Université de Lorraine

Systèmes électroniques

defended on 05-06-2023

Vers la mitigation des biais en traitement neuronal des langues

by Guillaume Le Berre supervised by Christophe Cerisara and Philippe Langlais . - Université de Lorraine

Informatique

defended on 02-06-2023

Fast high-resolution drawing of algebraic curves and surfaces

by Nuwan Herath Mudiyanselage supervised by Marc Pouget - Université de Lorraine

Informatique

defended on 02-06-2023

Langages graphiques pour le contrôle quantique et l'optique linéaire

by Alexandre Clément supervised by Emmanuel Jeandel and Simon Perdrix . - Université de Lorraine

Informatique

defended on 16-05-2023

États fondamentaux dans l'approximation quasi-classique pour des modèles d'électrodynamique quantique non relativiste

by Jimmy Payet supervised by Jérémy Faupin and Sébastien Breteaux . - Université de Lorraine

Mathématiques

defended on 12-05-2023

Anonymizing Speech : Evaluating and Designing Speaker Anonymization Techniques

by Pierre Champion supervised by Denis Jouvet , Anthony Larcher and Slim Ouni . - Université de Lorraine

Informatique

defended on 20-04-2023

Design of New Finite State Dynamical Systems Admitting a Matrix Representation : Application to Cryptography

by Hamid Boukerrou supervised by Gilles Millerioux and Marine Minier . - Université de Lorraine

Automatique, Traitement du signal et des images, Génie informatique

defended on 04-04-2023

Contributions to the modeling, the analysis and the control of networked hybrid dynamical systems

by Simone Mariano supervised by Romain Postoyan and Luca Zaccarian . - Université de Lorraine

Automatique, Traitement du signal et des images, Génie informatique

defended on 27-03-2023

In-network real-value computation on programmable switches

by Matthews Jose supervised by Olivier Festor and Jérôme François . - Université de Lorraine

Informatique

defended on 20-03-2023

Membrane Separation Processes Using Machine Learning Based Mathematical Programming Models

by Amalia Macali supervised by Bernardetta Addis and Christophe Castel . - Université de Lorraine

Informatique

defended on 09-03-2023

Enriching large language models with semantic lexicons and analogies

by Georgios Zervakis supervised by Miguel Couceiro and Emmanuel Vincent . - Université de Lorraine

Informatique

defended on 08-03-2023

Apprentissage profond pour la détection du bégaiement

by Shakeel Ahmad Sheikh supervised by Slim Ouni - Université de Lorraine

Informatique

defended on 24-02-2023

Probabilistic Decision-Making Models for Multi-Agent Systems and Human-Robot Collaboration

by Yang You supervised by Olivier Buffet and Vincent Thomas . - Université de Lorraine

Informatique

defended on 22-02-2023

Localization of brain oscillatory sources from (S)EEG recordings

by Viviana del Rocío Hernández Castañón supervised by Radu Ranta and Steven Le Cam . - Université de Lorraine

Automatique, Traitement du signal et des images, Génie informatique

defended on 08-02-2023

Transfer learning for abusive language detection

by Tulika Bose supervised by Irina Illina and Dominique Fohr . - Université de Lorraine

Informatique

defended on 30-01-2023

Méthodes de détection pour la sécurité des systèmes IoT hétérogènes

by Adrien Hemmer supervised by Isabelle Chrisment and Rémi Badonnel . - Université de Lorraine

Informatique

defended on 17-01-2023

Vers une formalisation d'une chaîne de compilation pour un ordinateur quantique

by Agustín Borgna supervised by Simon Perdrix - Université de Lorraine

Informatique

defended on 13-01-2023

Approche hiérarchique de co-simulation pour l'étude des échanges d'énergie des microréseaux

by Jean-Baptiste Wiart supervised by Vincent Chevrier and Denis Netter . - Université de Lorraine

Informatique

defended on 13-01-2023

Traitement hybride pour l'équité algorithmique

by Guilherme Alves da Silva supervised by Miguel Couceiro and Amedeo Napoli . - Université de Lorraine

Informatique

defended on 20-12-2022