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