Thèses soutenues | LIFO

Thèses soutenues

Thèses soutenues | Thèses en cours

Nombre de thèses : 82

Sémantique de langages de programmation fonctionnels réactifs avec effets
Doctorant : Jordan ISCHARD
Thèse soutenue le 15 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 : Farah Badreddine
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
Extraction d'Informations dans les réseaux sociaux par apprentissage de représentations textes/images : application à la gestion des catastrophes naturelles
Doctorant : Badreddine FARAH
Thèse soutenue le 8 septembre, 2024
Parallélisme, équilibrage de charges et extensibilité dans le traitement des mégadonnées sur des systèmes à grande échelle - HAL : 4730569
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 - HAL : 4794341
Doctorant : Nicolas HIOT
Thèse soutenue le 1 juillet, 2024
Analog Quantum Computing for NP-Hard Combinatorial Graph Problems - HAL : 4706199
Doctorant : Arthur BRAIDA
Thèse soutenue le 20 juin, 2024
Memory safety for synchronous reactive programming - HAL : 4546776
Doctorant : Darine RAMMAL
Thèse soutenue le 19 janvier, 2024
Explainable Artificial Intelligence approaches for Image Captioning - HAL : 4546106
Doctorant : Sofiane ELGUENDOUZE
Thèse soutenue le 11 janvier, 2024
Linked Data Sanitization with Differential Privacy - HAL : 4688533
Doctorant : Sara TAKI
Thèse soutenue le 21 décembre, 2023
Self-Assembly on Various Surfaces - HAL : 4844034
Doctorant : Shahrzad HEYDARSHAHI
Thèse soutenue le 19 décembre, 2023
Modification et couverture de graphes : Approches paramétrées - HAL : 4638902
Doctorant : Mael DUMAS
Thèse soutenue le 15 décembre, 2023
Exploration de micro-posts d'actualité : représentation, structuration et description - HAL : 4633635
Doctorant : Olivier GRACIANNE
Thèse soutenue le 13 décembre, 2023
Courbes d'accumulations des machines à signaux - HAL : 4603797
Doctorant : Aurélien EMMANUEL
Thèse soutenue le 8 décembre, 2023
Paraconsistent and fuzzy modal logics for reasoning about uncertainty

Doctorant : Daniil KOZHEMIACHENKO
Thèse soutenue le 15 septembre, 2023
Time series classification with Shapelets : Application to predictive maintenance on event logs - HAL : 4482222
Doctorant : Antoine GUILLAUME
Thèse soutenue le 4 janvier, 2023

INSA CVL

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