Prochaines soutenances de thèse
Modelisation par des modeles deep learning dynamiques de l'etat dusure de moteurs davion grace aux donnees historiques pour une meilleure prevision de leur entretien
BINET Thomas
Directeur(s) : AZZAG Hanene
Date de soutenance : 2026-11-30 17:00:00
Thèses en cours
Limites des modalités gradées
LAURE Thomas
Directeur(s) : BREUVART Flavien, MAYERO Micaela
Date debut : 2025
Graphes et structures aléatoires avec motifs interdits
KITTEL Léonie
Directeur(s) : BASSINO Frédérique, GERIN Lucas
Date debut : 2025
Decomposition methods for quantum quadratic optimization
DESHAYES Baptiste
Directeur(s) : LÉTOCART Lucas, DI GREGORIO Silvia
Date debut : 2025
Efficient lightweight verification of cyberphysical systems
TA QUANG Minh
Directeur(s) : ANDRE Etienne, PETRUCCI Laure
Date debut : 2025
Cohesion, Linear Logic, and Differentiation
SCHROEDER Quentin
Directeur(s) : FREY Jonas, MAZZA Damiano
Date debut : 2025
Personnalisation de retours dinformation émotionnelle par recommandation démotions
FANG Tian
Directeur(s) : GUIBON Gaël, BUSCALDI Davide
Date debut : 2025
Interpretability for Multiple Instance Learning for Medical Imaging
EL YACOUBA BILLI Abdoulaye
Directeur(s) : PAPASTERGIOU Thomas, ROUVEIROL Céline
Date debut : 2025
DÉVELOPPEMENT D'UN MODÈLE DE TRAITEMENT AUTOMATIQUE DES SENTIMENTS APPLIQUÉ AU DISCOURS POLITIQUE EN ALBANAIS
QORRASI Ueda
Directeur(s) : GREZKA Aude, PERNELLE Nathalie
Date debut : 2025
Approches explicatives et prédictives pour létude de comportements
ELOUNI Hadhami
Directeur(s) : PERNELLE Nathalie, ROUVEIROL Céline
Date debut : 2024
Nouvelles approches pour lenrichissement des grands modèles de langage à base de graphes de connaissances multimodales.
OUKID ILYES
Directeur(s) : AZZAG Hanene, TOMEH Nadi
Date debut : 2024
Apprentissage collaboratif multimodal
BELGHADI Mohammed
Directeur(s) : BENNANI Younès
Date debut : 2024
Large Language Models for Information Extraction
ZHANG Yanjian
Directeur(s) : TOMEH Nadi, CHARNOIS Thierry
Date debut : 2024
Integrating External Knowledge into Language Models
KANKANAMPATI Yash
Directeur(s) : TOMEH Nadi, LE ROUX Joseph
Date debut : 2024
Désapprentissage pour la mitigation dattaques en apprentissage fédéré
KERZAZI Achraf
Directeur(s) : BENNANI Younès, BENNANI Younès
Date debut : 2024
Explicable Machine Learning via Classification Trees and Discrete Optimization
KOPISITSKIY Daniel
Directeur(s) : DI GREGORIO Silvia, WOLFLER CALVO Roberto
Date debut : 2024
Algorithms, data, and logic
MOSCA Caterina
Directeur(s) : SEILLER Thomas
Date debut : 2024
Logique Linéaire Différentielle et Théorie des Types
KOLEILAT Jad
Directeur(s) : KERJEAN Marie, GUERRINI Stefano
Date debut : 2024
Geometric Approximations of Massive Data, with Applications to Optimization
COUSAERT Alice
Directeur(s) : MUSTAFA Nabil
Date debut : 2024
Propriétés géométriques des graphes de bascules de surfaces
AHMADI Mohammad Masoud
Directeur(s) : POURNIN Lionel
Date debut : 2024
Apprentissage de profils dapprenants à partir de traces complexes hétérogènes dans le cloud MarioNUM
BOUZERIRA Abdelmounaim
Directeur(s) : MATEI Basarab, KANAWATI Rushed
Date debut : 2024
Formal Verification of Blockchain-based Systems
SIDI BRAHIM Mohamed
Directeur(s) : KLAI Kais, OLARTE Carlos
Date debut : 2024
Explicabilité des solutions optimales d'un problème d'affectation de grande taille
NICOLAS-THOUVENIN Jules
Directeur(s) : FOUILHOUX Pierre, GRAPPE Roland
Date debut : 2023
Segmentation et Reconstruction 3D de structures anatomiques par apprentissage profond auto-supervisé
MARRAKCHI Ghassen
Directeur(s) : MATEI Basarab
Date debut : 2023
Réalisabilité et interprétation calculatoire de l'axiome du choix.
FURLAN Jacopo
Directeur(s) : MAZZA Damiano, FONTANELLA Laura
Date debut : 2023
Modèles de calcul(s)
LAGHJICHI Yasmine
Directeur(s) : SEILLER Thomas, undefined undefined
Date debut : 2023
Apprentissage de représentations sur des graphes complexes par GNN pour le débruitage des graphes de connaissances.
ATTALI Hugo
Directeur(s) : BUSCALDI Davide, PERNELLE Nathalie
Date debut : 2023
Géométrie de lInteraction Différentielle et Développement de Taylor
CATOZI Stefano
Directeur(s) : GUERRINI Stefano
Date debut : 2023
Etude du problème dintégration de réseaux virtuels pour le placement des slices 5G Thèse CIFRE proposée avec Orange
SCHNEIDER Alexis
Directeur(s) : FOUILHOUX Pierre, LETOCART Lucas
Date debut : 2022
Optimisation combinatoire pour la prise de décision multi-objectif
ZHANG Yue
Directeur(s) : LETOCART Lucas, FOUILHOUX Pierre
Date debut : 2022
SYNthesis in PArametric TImed games with Concurrency and data
FIEVET Baptiste
Directeur(s) : PETRUCCI Laure, VAN DE POL Jaco
Date debut : 2022
utilisation des /vision transformers/ pour le traitement automatique des langues
FLOQUET Nicolas
Directeur(s) : LE ROUX Joseph, CHARNOIS Thierry
Date debut : 2022
Leçons de la syntaxe transcendantale: nouveaux réseaux et complexité
RAGOT Adrien
Directeur(s) : GUERRINI Stefano, SEILLER Thomas
Date debut : 2022
A Categorical Approach to Descriptive Complexity Theory
CHANUS Baptiste
Directeur(s) : MAZZA Damiano
Date debut : 2022
Indexer la logique linéaire par des opérateurs différentiels
MIRWASSER Simon
Directeur(s) : KERJEAN Marie, GUERRINI Stefano
Date debut : 2022
Embedding Machine Learning for accelerating Optimization solver
SCHULZ Alexandre
Directeur(s) : WOLFLER Roberto, LE ROUX Joseph
Date debut : 2022
Modular Geometric Machine Learning
BEN SALEM Nosseiba
Directeur(s) : BENNANI Younès
Date debut : 2022
Box-integrality and the integer decomposition property
VALLÉE Mathieu
Directeur(s) : GRAPPE Roland, VALLETTE Bruno
Date debut : 2022
OPTIMISATION DES PROCESSUS SIAG 1 PAR DES APPROCHES MACHINE LEARNING
ZANGATO Théo
Directeur(s) : OSMANI Aomar, ALIZADEH Pegah
Date debut : 2021
AKOUBA Meliha
Directeur(s) : ROUVEIROL Céline, CLERTANT Mathieu
Date debut : 2021
The Geometry of Approximations in Programming Languages
DUFOUR Aloÿs
Directeur(s) : MAZZA Damiano
Date debut : 2021
Embedding Structured Machine Learning in decomposition Techniques
DEMELAS Francesco
Directeur(s) : WOLFLER Roberto, LACROIX Mathieu
Date debut : 2021
Une ontologie pour la représentation des connaissances et la prise de décision pour les systèmes multi-capteurs de systèmes aéroportés
BEUGNET Vincent
Directeur(s) : PERNELLE Nathalie, ZARROUK Manel
Date debut : 2021
Thèses soutenues
Object Detection and Tracking Approaches for Aerial Images Using Deep Learning-Based Algorithms
FAYE Bilal
Directeur(s) : AZZAG Hanene, FANGCHEN FENG
Date debut : 2022, Date soutenance : 2025-06-24
Apprentissage adaptatif appliqué à la Fraude
AMEKOE Kodjo Mawuena
Directeur(s) : AZZAG Hanene, LEBBAH Mustapha
Date debut : 2022, Date soutenance : 2025-04-03
Faster Algorithms for Approximating Combinatorial and Geometric Data
LOUVET Alexandre
Directeur(s) : MUSTAFA Nabil
Date debut : 2021, Date soutenance : 2025-07-16
Complexity theory: medley
LÉCHINE Ulysse
Directeur(s) : SEILLER Thomas, undefined undefined
Date debut : 2021, Date soutenance : 2024-12-03
Detection of Automatically Generated Academic Content
LIYANAGE Vijini
Directeur(s) : NAZARENKO Adeline, BUSCALDI Davide
Date debut : 2021, Date soutenance : 2024-05-16
Quantification et supervision de lopacité : Application au processus dans lIOT
SOUID Nour Elhouda
Directeur(s) : KLAI Kais, BEN AHMED SAMIR
Date debut : 2021, Date soutenance : 2024-12-18
Extraction d'entités et de relations dans le domaine scientifique
ZARATIANA Urchade
Directeur(s) : TOMEH Nadi, CHARNOIS Thierry
Date debut : 2021, Date soutenance : 2024-11-27
Mathematical foundations of the proofs-as-programs correspondence, and its connections with Singular Learning
TROIANI William
Directeur(s) : SEILLER Thomas, MAZZA Damiano
Date debut : 2020, Date soutenance : 2024-05-30
Towards Picard-Vessiot theory for noncommutative differential equations
NGUYEN DINH Vu
Directeur(s) : HOANG NGOC MINH Vincel, DUCHAMP Gérard
Date debut : 2020, Date soutenance : 2023-11-23
Deep multitask learning with latent structure prediction for natural language processing
ELKHBIR Niama
Directeur(s) : CHARNOIS Thierry, TOMEH Nadi
Date debut : 2020, Date soutenance : 2024-11-22
Apprentissage sur données hétérogènes et non-structurées Application à la classification de facteurs explicatifs des consommations sur les plateformes de streaming
MATROSOVA Kristina
Directeur(s) : BODINI Olivier, LOUAIL Thomas
Date debut : 2020, Date soutenance : 2024-12-19
Arbres pleinement feuillus dans des graphes induits par des pavages non périodiques.
PORRIER Carole
Directeur(s) : FERNIQUE Thomas, BLONDIN-MASSÉ Alexandre
Date debut : 2020, Date soutenance : 2023-11-03
On the combinatorics of some families of lattice polytopes
BUFFIÈRE Théophile
Directeur(s) : POURNIN Lionel, MARCHAL Philippe
Date debut : 2020, Date soutenance : 2023-11-27
Modèles opérationnel et catégorique de PCF : l'adressage des machines et distribution en semi-anneaux
MUNNICH Nicolas
Directeur(s) : MANZONETTO Giulio, Breuvart Flavien
Date debut : 2020, Date soutenance : 2024-05-23
Matrices totalement équimodulaires
PISANU Francesco
Directeur(s) : WOLFLER Roberto, GRAPPE Roland
Date debut : 2020, Date soutenance : 2023-12-22
Densité des arrangements de disques et des empilements de sphères
PCHELINA Daria
Directeur(s) : FERNIQUE Thomas
Date debut : 2020, Date soutenance : 2023-10-26
Co-k-plexes and k-defective coloring: polytopes and algorithms
DUPONT-BOUILLARD Alexandre
Directeur(s) : FOUILHOUX Pierre, LACROIX Mathieu
Date debut : 2020, Date soutenance : 2024-05-06
Apprentissage supervisé de modèles relationnels probabilistes interprétables
KAZI AOUAL Malik
Directeur(s) : ROUVEIROL Céline, SOLDANO Henry
Date debut : 2020, Date soutenance : 2024-11-20
Learnheuristics pour le transport à la demande dynamique
ZIGRAND Louis
Directeur(s) : WOLFLER Roberto, TRAVERSI Emiliano
Date debut : 2020, Date soutenance : 2023-12-07
A Protocol for Running any Type of Containers on any Type of HPC cluster -- Resonance between HPC and Cloud
GRENECHE Nicolas
Directeur(s) : CÉRIN Christophe
Date debut : 2020, Date soutenance : 2023-11-20
Quantum Machine Learning Approaches for Graphs and Sequences: Application to Nuclear Safety Assessment
ZAIOU Ahmed
Directeur(s) : MATEI Basarab, BENNANI Younès
Date debut : 2020, Date soutenance : 2022-12-09
Interpretable Sentence Representation with Variational Autoencoders and Attention
FELHI Ghazi
Directeur(s) : NAZARENKO Adeline, LE ROUX Joseph
Date debut : 2019, Date soutenance : 2023-01-26
Assemblage de supercristaux par approche prédictive
CHINAUD-CHAIX Clémence
Directeur(s) : FERNIQUE Thomas, Tricard Simon
Date debut : 2019, Date soutenance : 2023-01-26
A story of lambda-calculus and Approximation
KERINEC Axel
Directeur(s) : MANZONETTO Giulio
Date debut : 2019, Date soutenance : 2023-06-06
Unsupervised Learning for Third-Order Tensors: The Clustering Approach
ANDRIANTSIORY Dina Faneva
Directeur(s) : LEBBAH Mustapha, BEN GELOUN Joseph
Date debut : 2019, Date soutenance : 2023-07-07
Structural Optimal Transport for Domain Adaptation with Theoretical Guarantees
EL HAMRI Mourad
Directeur(s) : BENNANI Younès
Date debut : 2019, Date soutenance : 2022-12-15
Etude asymptotique de certaines classes combinatoires différentiellement algébriques divergentes
SINGH Alexandros
Directeur(s) : BODINI Olivier
Date debut : 2019, Date soutenance : 2022-11-15
Geometry of Interaction and Space Complexity
ENG Boris
Directeur(s) : MAZZA Damiano, SEILLER Thomas
Date debut : 2019, Date soutenance : 2023-06-20
LApprentissage Artificiel au service de la qualité de données : détection de contraintes
CHEVALLIER Marc
Directeur(s) : BOUFARÈS Faouzi
Date debut : 2019, Date soutenance : 2022-11-23
Toward a Correct Blockchain-based Business Processes
GARFATTA Ikram
Directeur(s) : KLAI Kais, GAALOUL Walid
Date debut : 2019, Date soutenance : 2022-12-13
Learning from Data and Learners
FOUCADE Yohan
Directeur(s) : BENNANI Younès, Couprie Camille (Meta-Facebook)
Date debut : 2019, Date soutenance : 2022-06-10
Clustering Multi-Blocs et Visualisation Analytique de Données Séquentielles Massives Issues de Simulation du Véhicule Autonome
GOFFINET Etienne
Directeur(s) : LEBBAH Mustapha, Azzag Hanane
Date debut : 2018, Date soutenance : 2021-12-15
Meta-Decomposition and Evaluation Processes in Machine Learning Applications
MODARESI Seyed Mohammad Reza
Directeur(s) : OSMANI Aomar, CHIBANI Abdelghani
Date debut : 2018, Date soutenance : 2023-12-15
Caractérisation structurelle de quelques problèmes dans les graphes de cordes et dintervalles.
PARDAL Nina
Directeur(s) : VALENCIA PABON Mario, DURÁN Guillermo
Date debut : 2018, Date soutenance : 2020-03-30
Vers de Nouvelles Méthodes de Clustering de Flux de Données
ATTAOUI Mohammed Oualid
Directeur(s) : LEBBAH Mustapha, AZZAG Hanene
Date debut : 2018, Date soutenance : 2021-06-30
Multitask Deep Learning for Joint Syntactic and Semantic Structure Prediction
ZHANG Xudong
Directeur(s) : CHARNOIS Thierry, LE ROUX Joseph
Date debut : 2018, Date soutenance : 2022-05-11
Automates implicites en logique linéaire et théorie catégorique des transducteurs
NGUYEN Le Thanh Dung
Directeur(s) : GUERRINI Stefano, SEILLER Thomas
Date debut : 2018, Date soutenance : 2021-12-03
Irreducibility of combinatorial objects: asymptotic probability and interpretation
NURLIGAREEV Khaydar
Directeur(s) : POURNIN Lionel, MONTEIL Thierry
Date debut : 2018, Date soutenance : 2022-10-20
Analyses formelles de systèmes temps-réel
JERRAY Jawher
Directeur(s) : ANDRE Etienne, FRIBOURG Laurent
Date debut : 2018, Date soutenance : 2021-12-10
Application-based fault tolerance for numerical linear algebra at large scale
TORRES GONZáLES Daniel Alberto
Directeur(s) : PETRUCCI Laure, COTI Camille
Date debut : 2018, Date soutenance : 2021-12-15
Algorithms for solving derivative-free optimization over mixed-integer domains
TORRES FIGUEROA Juan Jose
Directeur(s) : WOLFLER Roberto, TRAVERSI Emiliano
Date debut : 2018, Date soutenance : 2022-07-11
Une théorie de lapproximation des programmes basée sur la notion de ressources
BARBAROSSA Davide
Directeur(s) : MANZONETTO Giulio, undefined undefined
Date debut : 2018, Date soutenance : 2021-12-10
Plans discrets substitutifs
LUTFALLA Victor
Directeur(s) : FERNIQUE Thomas
Date debut : 2018, Date soutenance : 2021-07-07
Résolution des SDP creux de grande taille issus de relaxations des ACOPF
SLIWAK Julie
Directeur(s) : LETOCART Lucas, TRAVERSI Emiliano
Date debut : 2018, Date soutenance : 2021-06-22
Résumé automatique abstractif des textes médicaux longs avec un Transformer à multi-encodeurs et évaluation de résumé du domaine général avec wikiSERA
LOPEZ ESPEJEL Jessica
Directeur(s) : CHARNOIS Thierry, GARCIA FLORES Jorge
Date debut : 2018, Date soutenance : 2021-05-05
Apprentissage non supervisé de représentations de données et structures departitionnement : applications à la surveillance à grande échelle de turbofans
FOREST Florent
Directeur(s) : LEBBAH Mustapha, AZZAG Hanene
Date debut : 2017, Date soutenance : 2021-03-22
Allocation de ressources par une approche hybride apprentissage automatique et optimisation pour l'hébergement et l'infogérance de services web
LECLERCQ Etienne
Directeur(s) : ROUPIN Frédéric, ROUVEIROL Céline
Date debut : 2017, Date soutenance : 2022-10-17
Méta-apprentissage guidé par les connaissances du domaine
HAMIDI Massinissa
Directeur(s) : OSMANI Aomar
Date debut : 2017, Date soutenance : 2022-12-20
Quantitative Analysis of Directed Acyclic Graphs Modelizing Concurrency Theory or Boolean Functions
NAIMA Mehdi
Directeur(s) : BODINI Olivier, GENITRINI Antoine
Date debut : 2017, Date soutenance : 2020-12-18
Découverte et enrichissement de connaissances à partir de textes pour la recherche d'experts.
ZEVIO Stella
Directeur(s) : CHARNOIS Thierry, ZARGAYOUNA Haïfa
Date debut : 2017, Date soutenance : 2021-02-23
Multi-models clustering through optimal transport theory
BEN BOUAZZA Fatima-Ezzahraa
Directeur(s) : BENNANI Younès, CABANES Guénaël
Date debut : 2017, Date soutenance : 2020-11-26
Quantum Enhanced Machine Learning
BENLAMINE Kaoutar
Directeur(s) : BENNANI Younès, MATEI Basarab
Date debut : 2017, Date soutenance : 2020-11-03
Data Anonymization through Unsupervised Learning
ZOUININA Sarah
Directeur(s) : BENNANI Younès, ROGOVSCHI Nicoleta
Date debut : 2017, Date soutenance : 2020-10-06
Enumeration of triangulations modulo symmetries and of rooted triangulations counted by their number of (d - 2)-simplices in dimension d >= 2
DUB Nicolas
Directeur(s) : BASSINO Frédérique, BONZOM Valentin
Date debut : 2016, Date soutenance : 2021-06-28
On the theory and practice of updatable parametric timed automata
RAMPARISON Mathias
Directeur(s) : ANDRE Etienne, LIME Didier
Date debut : 2016, Date soutenance : 2019-09-05
"Sur lauto-assemblage de pavages octogonaux plans de type fini".
GALANOV Ilya
Directeur(s) : FERNIQUE Thomas
Date debut : 2016, Date soutenance : 2019-12-17
Sur la combinatoire des polytopes en nombres entiers, génération aléatoire et enumération
RAKOTONARIVO Rado
Directeur(s) : POURNIN Lionel, DAVID Julien
Date debut : 2016, Date soutenance : 2019-09-18
Parallel verification of concurrent systems using the Symbolic Observation Graph
OUNI Hiba
Directeur(s) : KLAI Kais, ZOUARI Belhassen
Date debut : 2016, Date soutenance : 2019-12-20
"Column generation methods for quadratic mixed binary programming"
BETTIOL Enrico
Directeur(s) : LETOCART Lucas, TRAVERSI Emiliano
Date debut : 2016, Date soutenance : 2019-11-06
TDIness and Multicuts
LANCINI Emiliano
Directeur(s) : WOLFLER Roberto, GRAPPE Roland
Date debut : 2016, Date soutenance : 2019-12-20
Interdisciplinary image of Analytic Combinatorics
DOVGAL Sergey
Directeur(s) : BODINI Olivier, RAVELOMANANA Vlady
Date debut : 2016, Date soutenance : 2019-09-18
Scalable Clustering Applying Local Accretions
BECK Gael
Directeur(s) : AZZAG Hanene, LEBBAH Mustapha
Date debut : 2016, Date soutenance : 2019-10-14
Détection de topiques et leur similarité dans les textes scientifiques
HERNANDEZ PEREZ Simon David
Directeur(s) : BUSCALDI Davide, CHARNOIS Thierry
Date debut : 2016, Date soutenance : 2019-12-20
Modélisation et Analyse des Réseaux Complexes : application à la sûreté nucléaire.
RIFI Mouna
Directeur(s) : BENNANI Younès, KANAWATI Rushed
Date debut : 2016, Date soutenance : 2019-05-03
Column generation methods for personnel scheduling problems.
PAN Stefania
Directeur(s) : WOLFLER Roberto, LETOCART Lucas
Date debut : 2015, Date soutenance : 2018-12-13
Complexité de la recherche de motifs dans un texte aléatoire
RAKOTOARIMALALA Tsinjo
Directeur(s) : BASSINO Frédérique
Date debut : 2015, Date soutenance : 2019-07-08
"Méthodes statiques pour la programmation fonctionnelle de simulateurs déconomies".
KASZCZYC Antoine
Directeur(s) : FOUQUERÉ Christophe, BOUDES Pierre
Date debut : 2015, Date soutenance : 2019-12-18
Efficient Parametric Verification of Parametric Timed Automata
NGUYEN Hoang Gia
Directeur(s) : PETRUCCI Laure, ANDRE Etienne
Date debut : 2015, Date soutenance : 2018-08-28
Passage à l échelle de la theta-subsomption
LEGER Hippolyte
Directeur(s) : LEBBAH Mustapha, BOUTHINON Dominique
Date debut : 2015, Date soutenance : 2019-02-14
Apprentissage non-supervisé à partir de données évolutives
RASTIN Parisa
Directeur(s) : MATEI Basarab, CABANES Guénaël
Date debut : 2015, Date soutenance : 2018-06-26
Modèles cognitifs et computationnels de la résolution des pronoms
SEMINCK Olga
Directeur(s) : NAZARENKO Adeline, Amsili Pascal
Date debut : 2015, Date soutenance : 2018-11-23
Quasi optimal model checking for concurrent systems
NGUYEN Thi Thanh Huyen
Directeur(s) : PETRUCCI Laure, COTI Camille
Date debut : 2015, Date soutenance : 2018-12-21
Model Checking Self Modifying Code
YE Xin
Directeur(s) : TOUILI Tayssir
Date debut : 2015, Date soutenance : 2019-09-30
Lagrangian Based Approaches for Lexicalized Tree Adjoining Grammar Parsing
CORRO Caio
Directeur(s) : NAZARENKO Adeline, LE ROUX Joseph
Date debut : 2014, Date soutenance : 2018-03-09
Dynamics in semantic annotation, a perspective of information access system
GARRIDO MARQUEZ Ivan
Directeur(s) : NAZARENKO Adeline, GARCIA FLORES Jorge
Date debut : 2014, Date soutenance : 2019-02-08
Implémentations de complexités implicites dans les compilateurs.
RUBIANO Thomas
Directeur(s) : MOGBIL Virgile, MOYEN Jean-Yves
Date debut : 2014, Date soutenance : 2017-12-01
Process Algebras inside Ludics: an interpretation of the Calculus of Communicating Systems
DEL VECCHIO Stefano
Directeur(s) : MOGBIL Virgile
Date debut : 2014, Date soutenance : 2018-09-19
Attributed Network Clustering: Application to recommender systems
FALIH Issam
Directeur(s) : BENNANI Younès, KANAWATI Rushed
Date debut : 2014, Date soutenance : 2018-03-08
Fouille de motifs et modélisation statistique pour l'extraction de connaissances textuelles
HOLAT Pierre
Directeur(s) : CHARNOIS Thierry, TOMEH Nadi
Date debut : 2014, Date soutenance : 2018-10-05
Semantic-oriented Recommendation for Content Enrichment / Recommandation sémantique pour l'enrichissement de contenus textuels
FIROOZEH Nazanin
Directeur(s) : NAZARENKO Adeline
Date debut : 2014, Date soutenance : 2018-03-29
Types inductifs, fonctionnels et non-linéaires en ludique.
PAVAUX Alice
Directeur(s) : FOUQUERÉ Christophe
Date debut : 2014, Date soutenance : 2017-12-01
Apprentissage artificiel collectif, aspects dynamiques et structurels.
VEILLON Lise-Marie
Directeur(s) : SOLDANO Henry, BOURGNE Gauvain
Date debut : 2014, Date soutenance : 2018-03-08
Réductions et approximations linéaires
PELLISSIER Luc
Directeur(s) : GUERRINI Stefano, MAZZA Damiano
Date debut : 2014, Date soutenance : 2017-12-08
Automatic Learning and Extraction of Malicious Behaviors
DAM Khan Huu The
Directeur(s) : TOUILI Tayssir
Date debut : 2014, Date soutenance : 2018-07-03
"On Model-checking Pushdown System Models"
POMMELLET Adrien
Directeur(s) : TOUILI Tayssir
Date debut : 2014, Date soutenance : 2018-07-05
Développement asymptotique des sommes harmoniques.
BUI Van Chiên
Directeur(s) : HOANG NGOC MINH Vincel, DUCHAMP Gérard
Date debut : 2013, Date soutenance : 2016-12-09
Double régularisation des polyzêtas dans les multi-indices négatifs et extensions rationnelles
NGO Quoc Hoan
Directeur(s) : HOANG NGOC MINH Vincel, DUCHAMP Gérard
Date debut : 2013, Date soutenance : 2016-12-09
Pavages aléatoires
UGOLNIKOVA Alexandra
Directeur(s) : BODINI Olivier, FERNIQUE Thomas
Date debut : 2013, Date soutenance : 2016-12-02
Reconnaissance d'expériences vécues dans les avis d'utilisateurs : une méthode basée sur les événements
HASSAN Ehab
Directeur(s) : GANGEMI Aldo, BUSCALDI Davide
Date debut : 2013, Date soutenance : 2017-05-03
Une approche combinatoire pour les dynamiques de type Rauzy
DE MOURGUES Quentin
Directeur(s) : BASSINO Frédérique, SPORTIELLO Andrea
Date debut : 2013, Date soutenance : 2017-12-05
Apprentissage non supervisé de flux de données massives : Application aux Big Data d'assurance
GHESMOUNE Mohammed
Directeur(s) : LEBBAH Mustapha, AZZAG Hanene
Date debut : 2013, Date soutenance : 2016-11-25
De l'usage des opérateurs en combinatoire : construction, analyse et génération aléatoire.
ROLIN Nicolas
Directeur(s) : BODINI Olivier
Date debut : 2013, Date soutenance : 2016-10-06
Approches pour la modélisation et vérification des systèmes temporisés en utilisant les diagrammes états-transitions et les réseaux de Petri colorés
BENMOUSSA Mohamed Mahdi
Directeur(s) : CHOPPY Christine, ANDRE Etienne
Date debut : 2013, Date soutenance : 2016-12-06
High Performance Computational Fluid Dynamics on Clusters and Clouds: the ADAPT Experience
KISSAMI Imad
Directeur(s) : CERIN Christophe, BENKHALDOUN Fayssal
Date debut : 2013, Date soutenance : 2017-02-28
Exact and Heuristic Algorithms for Container Rearrangement and Retrieval Problems at Container Terminals.
DE MELO DA SILVA Marcos
Directeur(s) : WOLFLER Roberto, TOULOUSE Sophie
Date debut : 2013, Date soutenance : 2017-09-19
Algorithmes pour des problèmes d'optimisation avec des ressources fractionnaires.
CASAZZA Marco
Directeur(s) : WOLFLER Roberto
Date debut : 2013, Date soutenance : 2016-02-26
Elicitation et Planification dans les Processus de Decision de Markov avec Recompenses Incertaines
ALIZADEH Pegah
Directeur(s) : CHEVALEYRE Yann
Date debut : 2012, Date soutenance : 2016-12-09
Recherche d'information sémantique : graphe sémantico-documentaire et propagation d'activation
BANNOUR Ines
Directeur(s) : NAZARENKO Adeline, ZARGAYOUNA Haifa
Date debut : 2012, Date soutenance : 2017-05-09
A Polyhedral Approach for the Double TSP with Multiple Stacks and Lexicographical Orders
BARBATO Michele
Directeur(s) : WOLFLER Roberto, LACROIX Mathieu
Date debut : 2012, Date soutenance : 2016-10-05
Modèles de tenseurs aléatoires : combinatoire, géométrie, gravité quantique et intégrabilité
DARTOIS Stéphane
Directeur(s) : TANASA Adrian
Date debut : 2012, Date soutenance : 2015-10-09
Machine Learning methods for optimization in Multi-Agent Decision Support System: application to Sign Placement for Tsunami Evacuation
LE Van Minh
Directeur(s) : CHEVALEYRE Yann, ZUCKER Jean-Daniel
Date debut : 2012, Date soutenance : 2016-12-13
Nonnegative Matrix Factorization for Transfer learning
REDKO Ievgen
Directeur(s) : BENNANI Younès
Date debut : 2012, Date soutenance : 2015-11-26
BIG DATA: Nouvel enjeu de lapprentissage à partir de données massives
REHAB Moufida
Directeur(s) : BOUFARèS Faouzi
Date debut : 2012, Date soutenance : 2016-04-01
Relational Graph Models and Morris's Observability: resource-sensitive semantic investigations on the untyped lambda-calculus
RUOPPOLO Domenico
Directeur(s) : GUERRINI Stefano, MANZONETTO Giulio
Date debut : 2012, Date soutenance : 2016-12-13
Apprentissage distribué de grandes masses de données.
SARAZIN Tugdual
Directeur(s) : LEBBAH Mustapha, AZZAG Hanene
Date debut : 2012, Date soutenance : 2018-06-26
Combinatorial Hopf algebras based on the selection/quotient rule
HOANG Nguyen
Directeur(s) : DUCHAMP Gérard, TANASA Adrian
Date debut : 2011, Date soutenance : 2014-09-23
Revisiter les grilles de PCs avec des technologies du Web et le Cloud computing
ABIDI Leila
Directeur(s) : CERIN Christophe
Date debut : 2011, Date soutenance : 2015-03-03
Routage et planification des personnels pour l'hospitalisation à domicile
ALLAOUA Hanane
Directeur(s) : WOLFLER Roberto, BORNE Sylvie
Date debut : 2011, Date soutenance : 2014-12-16
Qualité contextuelle des données : Détection et nettoyage guidés par la sémantique des données
BEN SALEM Aicha
Directeur(s) : BOUFARèS Faouzi
Date debut : 2011, Date soutenance : 2015-03-31
Constructions par greffe, combinatoire analytique et génération aléatoire
JACQUOT Alice
Directeur(s) : BODINI Olivier
Date debut : 2011, Date soutenance : 2014-04-01
Abstraction and Modular Verification of Inter-Enterprise Business Processes
OCHI Hanen
Directeur(s) : KLAI Kais
Date debut : 2011, Date soutenance : 2015-12-11
Reconnaissance de comportements complexes par traitement en ligne de flux d'événements
PIEL Ariane
Directeur(s) : CHOPPY Christine
Date debut : 2011, Date soutenance : 2014-10-27
Sharing, Superposition and Expansion. Geometrical Studies on the Semantics and Implementation of lambda-calculi and Proof-nets
SOLIERI Marco
Directeur(s) : GUERRINI Stefano, PAGANI Michele
Date debut : 2011, Date soutenance : 2016-11-30
Concurrency in Interaction Nets and Graph Rewriting
DORMAN Andrei
Directeur(s) : GUERRINI Stefano, MAZZA Damiano
Date debut : 2010, Date soutenance : 2013-06-20
Rigorous and formal approaches for modelling and designing service systems
TRAN Dung Khanh
Directeur(s) : CHOPPY Christine
Date debut : 2010, Date soutenance : 2013-09-20
Logique linéaire et classes de complexité sous-polynomiales
AUBERT Clément
Directeur(s) : GUERRINI Stefano
Date debut : 2010, Date soutenance : 2013-11-26
Classification non supervisée à deux niveaux guidée par le voisinage et la densité
CABANES Guénaël
Directeur(s) : BENNANI Younes
Date debut : 2010, Date soutenance : 2010-12-03
Modèles hiérarchiques et topologiques pour le partitionnement et la visualisation des données
DOAN Nhat-Quang
Directeur(s) : LEBBAH Mustapha, AZZAG Hanene
Date debut : 2010, Date soutenance : 2013-12-09
Contribution en apprentissage topologique non supervisé pour la fouille de données
CHAIBI Amine
Directeur(s) : LEBBAH Mustapha, AZZAG Hanene
Date debut : 2010, Date soutenance : 2013-11-29
Contributions à l'apprentissage collaboratif non supervisé
GHASSANY Mohamad
Directeur(s) : BENNANI Younes
Date debut : 2010, Date soutenance : 2013-11-07
Apprentissage interactif de règles d'extraction d'information textuelle
BANNOUR Sondes
Directeur(s) : SOLDANO Henry, AUDIBERT Laurent
Date debut : 2010, Date soutenance : 2015-06-16
The Monitoring Power of Forcing Transformations
BRUNEL Alois
Directeur(s) : GUERRINI Stefano, MAZZA Damiano
Date debut : 2010, Date soutenance : 2014-06-27
Méthodes densemble pour linférence de réseaux de régulation coopératifs
CHEBIL Ines
Directeur(s) : ROUVEIROL Céline
Date debut : 2010, Date soutenance : 2014-09-26
Optimisation Stratégique et Tactique en Logistique Urbaine
GIANESSI Paolo
Directeur(s) : WOLFLER Roberto, LETOCART Lucas
Date debut : 2010, Date soutenance : 2014-11-26
Combinatoire et algorithmique des factorisations tangentes à lidentité
KANE Ladji
Directeur(s) : DUCHAMP Gérard
Date debut : 2010, Date soutenance : 2014-06-27
Interrogation dun réseau sémantique de documents : lintertextualité dans laccès à l'information juridique
MIMOUNI Nada
Directeur(s) : NAZARENKO Adeline, SALOTTI Sylvie
Date debut : 2010, Date soutenance : 2015-01-27
Prévision de liens dans les grands graphes de terrain (Application aux réseaux bibliographiques)
PUJARI Manisha
Directeur(s) : ROUVEIROL Céline, KANAWATI Rushed
Date debut : 2010, Date soutenance : 2015-03-04
Détection et évaluation des communautés dans les réseaux complexes
YAKOUBI Zied
Directeur(s) : SOLDANO Henry, KANAWATI Rushed
Date debut : 2010, Date soutenance : 2014-12-04
Méthodologie de conception des modèles exprimés en réseaux de Petri : Raffinement des réseaux de Petri colorés
SANOGO Alfred
Directeur(s) : PETRUCCI Laure, CHOPPY Christine
Date debut : 2009, Date soutenance : 2012-12-17
Modèles de mélanges topologiques pour la classification de données structurées en séquences
JAZIRI Rakia
Directeur(s) : BENNANI Younes, CHENOT Jean-Hugues
Date debut : 2009, Date soutenance : 2013-06-27
Apprentissage en distributions déséquilibrées
HAMDI Fatma
Directeur(s) : BENNANI Younes
Date debut : 2009, Date soutenance : 2012-12-06
Intégrales Itérées en Physique Combinatoire
DENEUFCHATEL Matthieu
Directeur(s) : DUCHAMP Gérard, LUQUE Jean-Gabriel
Date debut : 2009, Date soutenance : 2012-09-27
Structurer pour mieux exploiter les folksonomies
VAN PUYMBROUCK Jonathan
Directeur(s) : NAZARENKO Adeline, ROZENKNOP Antoine
Date debut : 2009, Date soutenance : 2013-12-19
Méthode de construction dun réseau termino-conceptuel normalisé : contribution à la construction dontologies à partir de textes
OMRANE Nouha
Directeur(s) : NAZARENKO Adeline, SZULMAN Sylvie
Date debut : 2009, Date soutenance : 2013-09-30
Extraction de motifs dans des données bruitées
MOUHOUBI Karima
Directeur(s) : ROUVEIROL Céline, LETOCART Lucas
Date debut : 2009, Date soutenance : 2013-09-20
Abstraction et analyse de lespace des états des réseaux de Petri temporels
ABER Naim
Directeur(s) : PETRUCCI Laure, KLAI Kais
Date debut : 2009, Date soutenance : 2013-07-12
Combinatoire analytique des langages réguliers et algébriques
TAFAT BOUZID Hanane
Directeur(s) : BANDERIER Cyril
Date debut : 2009, Date soutenance : 2012-12-12
Construction dune cartographie de domaine à partir de ressources sémantiques hétérogènes
BEN ABBES Sarra
Directeur(s) : NAZARENKO Adeline, ZARGAYOUNA Haifa
Date debut : 2009, Date soutenance : 2013-10-25
Une plateforme daide à lacquisition et à la maintenance des règles métier à partir de textes réglementaires
GUISSÉ Abdoulaye
Directeur(s) : LEVY François
Date debut : 2009, Date soutenance : 2013-01-30
Specification and Verification of the NEO Storage Distributed Protocol
DEDOVA Anna
Directeur(s) : PETRUCCI Laure, EVANGELISTA Sami
Date debut : 2009, Date soutenance : 2012-07-09
Ontologies, Logics and Interaction
ROMANO Marco
Directeur(s) : FOUQUERE Christophe, ABRUSCI Michele
Date debut : 2009, Date soutenance : 2011-04-26
Les ressources annotées, un enjeu pour lanalyse de contenu : vers une méthodologie de lannotation manuelle de corpus
FORT Karen
Directeur(s) : NAZARENKO Adeline
Date debut : 2008, Date soutenance : 2012-12-07
Model-Driven Data Warehouse and its Automation using Machine Learning Techniques
ESSAIDI Moez
Directeur(s) : ROUVEIROL Céline, OSMANI Aomar
Date debut : 2008, Date soutenance : 2013-07-02
Aspects combinatoires et analytiques des problèmes doptimisation difficiles : les coupes maximales
RASENDRAHASINA Vongy
Directeur(s) : RAVELOMANANA Vlady
Date debut : 2008, Date soutenance : 2012-09-25
Réduction de graphes et application à la segmentation de tumeurs pulmonaires
LERMÉ Nicolas
Directeur(s) : MALGOUYRES François, LETOCART Lucas
Date debut : 2008, Date soutenance : 2011-12-07
Analyse et conception dalgorithmes de recherche de motifs
AIT MOUS Omar
Directeur(s) : BASSINO Frédérique
Date debut : 2008, Date soutenance : 2012-06-25
Prévision de nouveaux liens dans les réseaux d'interactions bipartis : Application au calcul de recommandation
BENCHETTARA Nasserin
Directeur(s) : ROUVEIROL Céline, KANAWATI Rushed
Date debut : 2008, Date soutenance : 2011-11-19
Apprentissage incrémental de modèles d'action relationnels
RODRIGUES Christophe
Directeur(s) : ROUVEIROL Céline, GéRARD Pierre
Date debut : 2007, Date soutenance : 2013-01-21
Combinatoire des matrices à signes alternants et des partitions planes
CHEBALLAH Hayat
Directeur(s) : BIANE Philippe, TOLLU Christophe
Date debut : 2007, Date soutenance : 2011-12-12
GNU epsilon : an extensible programming langage
SAIU Luca
Directeur(s) : FOUQUERé Christophe, LODDO Jean-Vincent
Date debut : 2007, Date soutenance : 2012-11-19
Approches en gestion de ressources mémoire et de communication pour architectures parallèles de griles et/ou à base de processeurs multicores
FKAIER Hazem
Directeur(s) : CERIN Christophe
Date debut : 2006, Date soutenance : 2009-10-08
Classification à base de modèles de mélanges topologiques des données catégorielles et continues
ROGOVSCHI Nicoleta
Directeur(s) : BENNANI Younes
Date debut : 2006, Date soutenance : 2009-12-04
Classification Topologique pondérée : approches modulaires, hybrides et collaboratives
GROZAVU Nistor
Directeur(s) : BENNANI Younes
Date debut : 2006, Date soutenance : 2009-12-08
Acquisition automatique de schémas de sous-catégorisation à partir de corpus bruts
MESSIANT Cédric
Directeur(s) : NAZARENKO Adeline, POIBEAU Thierry
Date debut : 2006, Date soutenance : 2010-11-05
Construction dontologies à partir de textes. Lapport de lanalyse de concepts formels
MONDARY Thibault
Directeur(s) : NAZARENKO Adeline
Date debut : 2006, Date soutenance : 2011-05-27
Contribution au résumé automatique multi-documents
BOSSARD Aurélien
Directeur(s) : KAYSER Daniel
Date debut : 2006, Date soutenance : 2010-07-12
Un système de génération de descriptions argumentées
BOUTOUHAMI Sara
Directeur(s) : KAYSER Daniel
Date debut : 2006, Date soutenance : 2010-11-16
Problèmes de couverture en nombres entiers : génération de colonnes, heuristiques d'approximation garantie et schémas hybrides. Applications en transport ferroviaire et en planification de production
SADKI Jalila
Directeur(s) : NAGIH Anass, ALFANDARI Laurent
Date debut : 2006, Date soutenance : 2011-07-06
Réseaux de capteurs sans fil de grande taille : quelques contributions à la modélisation et à lalgorithmique
KENNICHE Hichem
Directeur(s) : LAVAULT Christian, DUCHAMP Gérard
Date debut : 2006, Date soutenance : 2011-04-01
Vers une architecture générique et pérenne pour lévaluation en traitement automatique des langues : spécifications, méthodologies et mesures
HAMON Olivier
Directeur(s) : NAZARENKO Adeline
Date debut : 2006, Date soutenance : 2010-12-06
Des ressources aux traitements linguistiques : le rôle dune architecture linguistique
CAILLIAU Frederik
Directeur(s) : NAZARENKO Adeline
Date debut : 2005, Date soutenance : 2010-12-09
Apprentissage à base de noyaux sémantiques pour le Traitement de Données Textuelles
ASEERVATHAM Sujeevan
Directeur(s) : BENNANI Younes
Date debut : 2004, Date soutenance : 2007-12-12
Réduction de dimension en apprentissage numérique non supervisé
GUÉRIF Sébastien
Directeur(s) : BENNANI Younes
Date debut : 2003, Date soutenance : 2006-12-11
Ordonnancement Multiprocesseurs et Distribué Temps réel
HAKEM Mourad
Directeur(s) : LAVAULT Christian, BUTELLE Franck
Date debut : 2002, Date soutenance : 2006-12-13
Systèmes dapprentissage connexionnistes et raisonnement à partir de cas pour la classification et le classement de séquences
ZEHRAOUI Farida
Directeur(s) : BENNANI Younes
Date debut : 2000, Date soutenance : 2004-10-12
Approches Connexionnistes pour la classification et la visualisation des séquences évolutives : Application aux données issues dusages de lInternet
BENABDESLEM Khalid
Directeur(s) : BENNANI Younes
Date debut : 2000, Date soutenance : 2003-12-17
Fusion de Caractéristiques et de Décisions dans les Systèmes d'Apprentissage Connexionnistes
RADEVSKI Vladimir
Directeur(s) : BENNANI Younes
Date debut : 0000, Date soutenance : 2000-07-21
Approches Connexionnistes pour le Diagnostic des Systèmes Complexes : Application au Réseau Téléphonique
BOSSAERT Fabrice
Directeur(s) : BENNANI Younes
Date debut : 0000, Date soutenance : 1999-10-22
Sélection de caractéristiques et optimisation d'architectures dans les systèmes d'apprentissage connexionnistes
YACOUB Meziane
Directeur(s) : BENNANI Younes
Date debut : 0000, Date soutenance : 1999-01-20
Réseaux de neurones artificiels et connaissances symboliques : insertion, raffinement et extraction
NEDJARI Tayeb
Directeur(s) : BENNANI Younes
Date debut : 0000, Date soutenance : 1997-09-17
Détection dactivités par un système de reconnaissance de chroniques et application au cas des simulations distribuées HLA
BERTRAND Olivier
Directeur(s) : CHOPPY Christine, CARLE Patrice
Date debut : 0000, Date soutenance : 2009-06-17
Approches de décentralisation de la gestion des ressources dans les grilles de PC
ABBES Heithem
Directeur(s) : CÉRIN Christophe, JEMNI Mohamed
Date debut : 0000, Date soutenance : 2009-12-15
Programmation fonctionnelle, typage en logique linéaire et réduction optimale
ATASSI Vincent
Directeur(s) : VAUZEILLES Jacqueline, BAILLOT Patrick
Date debut : 0000, Date soutenance : 2008-12-02
Amélioration des performances du schéma de la génération de colonnes : Application aux problèmes de tournées de véhicules
TOUATI Nora
Directeur(s) : NAGIH Anass, LETOCART Lucas
Date debut : 0000, Date soutenance : 2008-12-03
Influence des annotations imparfaites sur les systèmes de Traitement Automatique des Langues. Un cadre applicatif : la résolution de lanaphore pronominale
WEISSENBACHER Davy
Directeur(s) : FOUQUERÉ Christophe, NAZARENKO Adeline
Date debut : 0000, Date soutenance : 2008-11-20
Techniques dapprentissage par explication et par détection de similarités
BOUFFIER Amanda
Directeur(s) : KAYSER Daniel, POIBEAU Thierry
Date debut : 0000, Date soutenance : 2008-10-16
Apprentissage de réseaux de régulation génétique à partir de données dexpression
ELATI Mohamed
Directeur(s) : ROUVEIROL Céline
Date debut : 0000, Date soutenance : 2007-12-18
Système coopératif de type égal-à-égal pour la recommandation : Application à la gestion et la recommandation de références bibliographiques
KAROUI Hager
Directeur(s) : PETRUCCI Laure, KANAWATI Rushed
Date debut : 0000, Date soutenance : 2007-12-11
Etude des méthodes de recherche locale pour la satisfaction de contraintes
DJEROUROU Fayçal
Directeur(s) : BENNACEUR Hachemi
Date debut : 0000, Date soutenance : 2007-06-15
Représentation et comparaison de Web services complexes avec des logiques dynamiques
BOURGOIS Laure
Directeur(s) : LÉVY François, DELTEIL A.
Date debut : 0000, Date soutenance : 2007-06-19
Extraction et utilisation de normes pour le raisonnement causal dans un corpus textuel
NOUIOUA Farid
Directeur(s) : KAYSER Daniel
Date debut : 0000, Date soutenance : 2007-04-25
Contribution de la programmation par contraintes à la résolution du problème de placement des arrêts des réacteurs nucléaires dEDF
KHEMMOUDJ Idir
Directeur(s) : BENNACEUR Hachemi, PORCHERON Marc
Date debut : 0000, Date soutenance : 2007-04-04