Thèses soutenues | LIFO

Thèses soutenues

Thèses soutenues | Thèses en cours

Nombre de thèses : 85

Clustering sous contraintes et explicable fondé sur des méthodes ensemble et des modèles déclaratifs
Doctorant : Mathieu GUILBERT
Thèse soutenue le 9 janvier, 2026
Constrained and explainable clustering through ensemble methods and declarative models

Doctorant : Guilbert Mathieu
Thèse soutenue le 9 janvier, 2026
Sémantique de langages de programmation fonctionnels réactifs avec effets
Doctorant : Jordan ISCHARD
Thèse soutenue le 15 octobre, 2025
Formal verification of trusted layers of software : application to the TPM Software Stack

Doctorant : Ziani Yani
Thèse soutenue le 9 octobre, 2025
Vérification formelle des couches de confiance dans les logiciels : application à la TPM Software Stack
Doctorant : Yani ZIANI
Thèse soutenue le 9 octobre, 2025
Clustering sous contraintes : intégration incrémentale et active des retours utilisateur
Doctorant : Aymeric BEAUCHAMP
Thèse soutenue le 29 septembre, 2025
Intégration de connaissances dans des architectures profondes pour la classification d'images
Doctorant : Franck anael MBIAYA
Thèse soutenue le 12 septembre, 2025
Information extraction from social networks through text/image representation learning : Application to natural disaster management
Doctorant : Badreddine FARAH
Thèse soutenue le 8 janvier, 2025
Méthodes d'évaluation des systèmes biométriques cardiaques
Doctorant : Benjamin VIGNAU
Thèse soutenue le 13 décembre, 2024
Modèle d'évaluation des besoins et de prévision d'une aide à domicile, encadré d'un point de vue éthique
Doctorant : Pierre BOUCHET
Thèse soutenue le 9 décembre, 2024
Parallélisme, équilibrage de charges et extensibilité dans le traitement des mégadonnées sur des systèmes à grande échelle
Doctorant : Sébastien RIVAULT
Thèse soutenue le 2 juillet, 2024
Construction automatique de bases de données pour le domaine médical : Intégration de texte et maintien de la cohérence
Doctorant : Nicolas HIOT
Thèse soutenue le 1 juillet, 2024
Analog Quantum Computing for NP-Hard Combinatorial Graph Problems
Doctorant : Arthur BRAIDA
Thèse soutenue le 20 juin, 2024
Memory safety for synchronous reactive programming
Doctorant : Darine RAMMAL
Thèse soutenue le 19 janvier, 2024
Explainable Artificial Intelligence approaches for Image Captioning
Doctorant : Sofiane ELGUENDOUZE
Thèse soutenue le 11 janvier, 2024
Linked Data Sanitization with Differential Privacy
Doctorant : Sara TAKI
Thèse soutenue le 21 décembre, 2023
Self-Assembly on Various Surfaces
Doctorant : Shahrzad HEYDARSHAHI
Thèse soutenue le 19 décembre, 2023
Modification et couverture de graphes : Approches paramétrées
Doctorant : Mael DUMAS
Thèse soutenue le 15 décembre, 2023
Exploration de micro-posts d'actualité : représentation, structuration et description
Doctorant : Olivier GRACIANNE
Thèse soutenue le 13 décembre, 2023
Courbes d'accumulations des machines à signaux
Doctorant : Aurélien EMMANUEL
Thèse soutenue le 8 décembre, 2023

INSA CVL

© 2026 LIFO. All rights reserved. | Mentions légales