2024 - 2023 - 2022 - 2021 - 2020

Thèses

 

02/12/2024 – Thibault Hilaire : « Algorithmes de couverture pour les réseaux de Petri certifiés en Coq».
Manuscrit
---------------
29/11/2024 – Timothée Corsini : « Accessibilité dans les graphes temporels et problèmes associés “ 
Manuscrit

28/11/2024 – Corto Mascle : « Vérification et synthèse de systèmes distribués à synchronisation faible »
Manuscrit

27/11/2024 – Clément Richefort : « Développement d'un solveur multigrille algébrique pour l'équation de Helmholtz indéfinie »
Manuscrit

25/11/24 – Maxime Fuccellaro : " Dérive des modèles d’apprentissage : détection, mise à jour à la volée et correction"
Manuscrit

22/11/2024 – Naomi Chaix-Eichel : « Étude du rôle de l'architecture des réseaux neuronaux dans les processus de prise de décision utilisant reservoir computing »
Manuscrit

13/11/2024 – Luc-Etienne Pomme-Cassierou : « Visualisation pour l’explication des réseaux de neurones profonds »
Manuscrit
---------------
18/10/2024 – Agathe Houzelot : « Analyse pratique de standards symétriques et asymétriques dans le contexte de la boîte blanche »
Manuscrit
---------------
06/09/2024 – Julien Rodriguez : « Partitionnement de circuits pour plate-formes multi-FPGA »
Manuscrit
---------------

15/07/2024 – Ivan Yakovlev : « Graphes en rubans métriques »
Manuscrit

02/07/2024 - Clément Legrand : « Exploration de l'espace des colorations d'un graphe »
Manuscrit

---------------
20/06/2024 - Christophe Casseau : « Accompagnement à l’exécution des notebooks Jupyter en milieu éducatif »
Manuscrit

19/06/2024 - Corentin Latappy : « Les pratiques de code : de la documentation à la détection »
Manuscrit

---------------
09/05/2024 - Jana Lepsova : “Structures substitutives en combinatoire, théorie des nombres et géométrie discrète”
Manuscrit
---------------
30/04/2024 – Subba Reddy Oota : “ Modèles neurocomputationnels de la compréhension du langage : caractérisation des similarités et des differences entre le traitement cerebral du langage et les modèles de langage”
Manuscrit

29/04/2024 – Maxime Lecomte : « Approche hybride de modélisation explicable du métabolisme des écosystèmes microbiens»
Manuscrit

18/04/2024 – Abdennour Rachedi : « Optimisation de la gestion des ressources des réseaux ITS-G5 pour le support des services C-ITS »
Manuscrit

17/04/2024 – Imed Ghnaya : «Résilience de la perception collective et augmentée des véhicules autonomes connectés par les C-ITS»
Manuscrit

16/04/2024 – Chloé Mercier : «Modéliser les processus cognitifs dans une tâche de résolution créative de problème : des approches symboliques à neuro-symboliques en sciences computationnelles de l’apprentissage»
Manuscrit

---------------
22/03/2024 – Adrien Halnaut : « Méthodes et outils d’analyse visuelle pour la compréhension, l’optimisation et l’élaboration de modèles de réseaux de neurones profonds »
Manuscrit

20/03/2024 – Morgane Koval : « Visualisations prédictives pour des processus décisionnels personnels informés »
Manuscrit
---------------
08/02/2024 – Hugo Chateau-Laurent : « CONSEQUENCE : Un modèle computationnel des interactions entre mémoire épisodique et contrôle cognitif »
Manuscrit

---------------
01/02/2024 – Hernan Carrillo Lindado : « Colorisation d’images avec reseaux de neurones guides par l’interaction humaine »
Manuscrit

---------------
15/01/2024 – Clément Gavoille : « Approche de projection de performance pour l’exploration de l’espace de conception de l’environnement Arm en HPC »
Manuscrit

---------------
18/12/2023 - Badreddine Yacheur : « Hybridation des technologies de communication véhiculaire pour un réseau résilient et performant»
Manuscrit

12/12/2023 - Ambre Assor : « Représentation de données immersives et situées : utiliser le monde physique comme canevas de visualisation»
Manuscrit

12/12/2023 –Soumyajit Paul : “Sur la complexité des jeux à somme nulle à deux joueurs de durée finie avec information imparfaite”
Manuscrit

08/12/2023 – Noureddine Mouhoub : “Algorithmes pour le routage dans les reseaux multicouches”
Manuscrit

---------------
23/11/2023 – Antonio Casares : « Propriétés structurelles des automates sur les mots infinis et mémoire pour les jeux»
Manuscrit

20/11/2023 – Loann Giovannangeli : “Génération et évaluation de visualisations avec des techniques d’apprentissage automatique”
Manuscrit

08/11/2023 - Huy Dung Nguyen : « Apprentissage profond pour la prédiction des maladies neurologiques»
Manuscrit

---------------
20/10/2023 - Rupayan Mallick : "Apprentissage Profond explicable Application aux données multimodales"
Manuscrit

---------------
12/09/2023 - Ritam Raha : « Apprentissage et vérification de systèmes complexes avec des spécifications temporelles »
Manuscrit

20/09/2023 - Christophe Caubet : « Apprentissage sur des données multispectrales et multi-plateformes au profit des systèmes de mission de surveillance »
Manuscrit

21/09/2023 - Victor Nador : « Décompositions combinatoires pour des familles de cartes déformées ou décorées»
Manuscrit

---------------
10/07/2023 – Baptiste Coye : « Ordonnancement dynamique de graphe de tâches par composition»
Manuscrit

06/07/2023 - Korlan Rysbayeva : « Apprentissage par métriques profondes et classification de données hiérarchiques et multimodales : application aux rapports dépollution des sols»
Manuscrit

04/07/2023 – Claire Hilaire : « Structure de graphes, mineurs et arbres induits»
Manuscrit
---------------
22/06/2023 – Emile Barjou : « Reconstruction tomographique en contraste de phase : dans le cadre du projet XPluse»
Manuscrit

---------------
31/03/2023 – Adnane Khattabi : "Amélioration de Complexité d'Implémentations Linéarisables et Wait-free d'Objets Concurrents en Relaxant leurs Spécifications"
Manuscrit

24/03/2023 – Kadir Korkmaz : "Améliorer les performances de la chaîne de blocs en supprimant les goulots d'étranglement courants dans les conceptions de systèmes"
Manuscrit

---------------
07/02/2023 – Warren Jouanneau : "Identification de vêtements dans des images : de la segmentation d’instances à la classification multi-étiquettes faiblement supervisée"
Manuscrit

---------------
26/01/2023 – Myriam Lopez : Analyse et prédiction d’erreurs critiques dans une application industrielle
Manuscrit

13/01/2023 - Reda Kamraoui : "Apprentissage profond en neuroimagerie pour la sclérose en plaque"
Manuscrit

---------------
16/12/2022 - Van Man Nguyen : Vérification et l’optimisation à la compilation des communications MPI non-bloquantes
Manuscrit

15/12/2022 - Célia Tassadit Ait Kaci : Analyse statique et dynamique pour la détection d’erreurs de concurrence d’accès mémoire dans les applications MPI-RMA
Manuscrit

14/12/2022 - Maxime Poret : Vers un modèle pour la sonification de données scientifiques
Manuscrit

14/12/2022 - Kévin Reby : Reconnaissance automatique de la douleur à partir de la posture corporelle par deep learing
Manuscrit

13/12/2022 - Adélaïde Genay : Être un Avatar Virtuel dans un Environnement Réel : Conception et Étude de l’Incarnation d’Avatars en Réalité Augmentée
Manuscrit

13/12/22 - Manh Tu Vu : Apprentissage profond pour l’évaluation automatique des expressions faciales, avec application à l’expression de la douleur
Manuscrit

09/12/22 - Philippe Pérez de San Roman : Détection 3D pour la réalité mixte en maintenance industrielle
Manuscrit

---------------
29/11/2022 - Philippe Swartvagher : De l’interaction entre les supports d’exécution à tâches HPC et les bibliothèques de communications
Manuscrit

---------------
12/09/2022 - Tobias Castanet : Requêtes de distance et de proximité pour des entités mobiles distribuées
Manuscrit

30/09/2022 - Quentin Manière : Requêtes de comptage pour l'accès aux données en présence d'une ontologie
Manuscrit

---------------
18/08/2022 - Anwer Slimi : Contribution à la réalisation d'un système de reconnaissance des émotions : cas multilingue
Manuscrit

---------------
12/07/2022 - Jonathan Narboni : Coloration et recoloration de graphes
Manuscrit

---------------
08/06/2022 - Vincent Martin : Nouveaux biomarqueurs vocaux pour la détection automatique de la somnolence
Manuscrit

---------------
17/05/2022 - Varun Ramanathan : Relations synchronisées : caractérisation logique et complexité de l’évaluation des requêtes
Manuscrit

---------------
28/03/2022 - Antoine Pirrone : Apprentissage profond auto-supervisé de métriques : application à la prédiction d’assemblage de fragments de papyrus
Manuscrit

18/03/2022 - Moubarak Zoure : Vérification d’anomalies dans les services réseau NFV externalisés vers le cloud
Manuscrit

---------------
31/01/2022 - Nicolas Vidal : DASH : ordonnancement des données d'entrée sortie à l'échelle
Manuscrit

21/01/2022 - Thinhinane Yebda : Détection de situations à risques pour des personnes fragiles sur des données multimodales
Manuscrit

---------------
21/09/2021 - Idriss Daoudi : Modélisation de performance et simulation d'applications OpenMP
Manuscrit

16/09/2021 - Rajkumar Darbar : Extension de l'espace d'interaction en réalité augmentée : contributions aux environnements augmentés par transparence optique et par projection
Manuscrit

09/09/2021 - Wei Chen : Evolution de web test suite
Manuscrit

---------------
05/07/2021 - Antonin Lentz : Calcul de plus courts chemins multicritères et problèmes géométriques connexes
Manuscrit

---------------
16/06/2021 - Govind Rajanbabu : Réduction d'ordre partiel pour les systèmes temporisés
Manuscrit

---------------
29/03/2021 - Jason Schoeters : Contributions à la théorie des graphes temporels et problèmes liés à la mobilité
Manuscrit

25/03/2021 - Silvia Pagliarini : Modélisation du réseau neuronal responsable de l'apprentissage du chant chez l'oiseau chanteur
Manuscrit

24/03/2021 - Paul Ouvrard : Problèmes de reconfiguration dans les graphes
Manuscrit

23/03/2021 - Philippe Giraudeau : Interactions au sein d’environnements tangibles et augmentés pour découvrir, comprendre et apprendre
Manuscrit

12/03/2021 - Sougata Bose : Problèmes de décision pour les traducteurs de mots avec la sémantique d’origine
Manuscrit

---------------
26/02/2021 - Karim Aderghal : Classification des images IRM multimodales par l’apprentissage profond : application au diagnostic de la maladie d’Alzheimer
Manuscrit

---------------
18/12/2020 - Pierre-Etienne Martin : Détection et classification fines d'actions à partir de vidéos par réseaux de neurones à convolutions spatio-temporelles. Application au tennis de table
Vidéo
Manuscrit

17/12/2020 - Chahrazed Ksouri : Mobilité intelligente et routage dans l'internet des véhicules basé sur une infrastructure intermittente
Manuscrit

17/12/2020 - Aurélien Appriou : Evaluation des états mentaux liés à l'apprentissage à partir de signaux cérébraux et physiologiques
Manuscrit

14/12/2020 - Tariq Benmansour : Contrôle et surveillance par les réseaux de capteurs corporels sans fils (WBANs)
Manuscrit

08/12/2020 - Adrien Cassagne : Méthodes d'optimisation et de parallélisation pour la radio logicielle
Manuscrit

---------------
27/11/2020 - Simon Archipoff : Développement de la programmation par tuilage pour les systèmes multimédias interactifs
Manuscrit

26/11/2020 - Giorgia Pitteri : Estimation de la pose 3D d'objets dans un environnement industriel
Manuscrit

---------------
15/10/2020 - Valentin Honoré : HPC - Big Data Convergence: Managing the Diversity of Application Profiles on HPC Facilities
Manuscrit

09/10/2020 - Karim Alami : Optimisation des requêtes de préférence skyline dans des contextes dynamiques
Manuscrit

08/10/2020 - Mathias Lacaud : Vers des solutions pragmatiques pour améliorer la qualité des diffusions vidéo dans les réseaux actuels et les réseaux du futur
Vidéo
Manuscrit

07/10/2020 - Simon Da Silva : Diffusion vidéo avec une meilleure qualité d'expérience et respectant la vie privée
Vidéo
Manuscrit

05/10/2020 - Théo Karaboghossian : Invariants polynomiaux et structures algébriques d'objets combinatoires
Manuscrit

---------------
25/09/2020 - Léo Mendiboure : Distribution géographique de données dans l'internet des véhicules : une approche logicielle et sécurisée utilisant les réseaux cellulaires
Manuscrit

10/09/2020 - Romain Pascalie  : Tenseurs aléatoires et modèles de Sachdev-Ye-Kitaev
Manuscrit

---------------
13/07/2020 - Nadia Chaabouni : Détection et prévention des intrusions pour les systèmes IoT en utilisant des techniques d'apprentissage
Manuscrit

09/07/2020 - Abraham Montoya Obeso : Reconnaissance du patrimoine Mexicain sous forme numérique par des réseaux d'apprentissage profond  
Manuscrit

09/07/2020 - Rafik Belloum : Méthodologies outillées de développement de services dédiés à l'assistance domiciliaire
Manuscrit

---------------
30/06/2020 - Antoine Laumond : Exploration, navigation et visualisation des réseaux multi-couches à travers les sciences humaines et sociales
Manuscrit

08/06/2020 - Stéphanie Rey : Apports des interactions tangibles pour la création, le choix et le suivi de parcours de visite personnalisés dans les musées
Manuscrit

---------------
27/01/2020 - Mohamed Oumaziz : Les clones au-delà du code source : étude des pratiques de documentation d'API et d'infrastructure as code
Manuscrit

 

HDR

13/12/2024 – Benjamin Bach : « Understanding Data, One Visualization at a Time: Forms, Tools, and Skills for Big-Data Visual Exploration and Communication»

08/02/2024 – Romain Giot : « Un (petit) pas vers l’explicabilité de l’intelligence artificielle »

---------------
11/07/2023 - Guillaume Pallez : "Conception et précision des modèles pour la gestion de ressources en HPC"

---------------
21/06/2023 - Romain Pacanowski : « Vers un pipeline complet de rendu prédictif pour le prototypage numérique et les applications au patrimoine culturel »

---------------
22/03/2022 - Jean-Luc Rouas : « Contributions à l'analyse de parole: aspects acoustiques et prosodiques »

---------------
11/02/2021 - Nathanaël Fijalkow : The game of synthesis

10/01/2021 - Hervé Hocquard : On various problems related to edge-colorings

---------------
14/12/2020 - Olivier Aumage : Instruments of productivity for high performance computing

22/10/2020 - Diego Figueira : Habilitation thesis. C'est un résumé de quelques travaux épars sur la théorie des bases de données, la théorie du langage et les systèmes d'états infinis

12/10/2020 - Olivier Gauwin  : Transducteurs : ressources et caractérisations