Theses in progress
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
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
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, PETRUCCI Laure
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
Object Detection and Tracking Approaches for Aerial Images Using Deep Learning-Based Algorithms
FAYE Bilal
Directeur(s) : AZZAG Hanene, FANGCHEN FENG
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
Apprentissage adaptatif appliqué à la Fraude
AMEKOE Kodjo Mawuena
Directeur(s) : AZZAG Hanene, LEBBAH Mustapha
Date debut : 2022
Approximations of High-Dimensional Data
LOUVET Alexandre
Directeur(s) : MUSTAFA Nabil
Date debut : 2021
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
Complexité en moyenne, entropies, et fonctions à sens unique
LÉCHINE Ulysse
Directeur(s) : SEILLER Thomas, GUERRINI Stefano
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
Quantification et supervision de lopacité : Application au processus dans lIOT
SOUID Nour Elhouda
Directeur(s) : KLAI Kais, BEN AHMED SAMIR
Date debut : 2021
Extraction d'entités et de relations dans le domaine scientifique
ZARATIANA Urchade
Directeur(s) : TOMEH Nadi, CHARNOIS Thierry
Date debut : 2021
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
Deep multitask learning with latent structure prediction for natural language processing
ELKHBIR Niama
Directeur(s) : CHARNOIS Thierry, TOMEH Nadi
Date debut : 2020
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
MATROSSOVA Kristina
Directeur(s) : BODINI Olivier, LOUAIL Thomas
Date debut : 2020
Apprentissage supervisé de modèles relationnels probabilistes interprétables
KAZI AOUAL Malik
Directeur(s) : ROUVEIROL Céline, SOLDANO Henry
Date debut : 2020
Theses defended
Collaborative Multimodal Learning
BARBARA Abir
Directeur(s) : BENNANI Younès
Date debut : 2022, Date soutenance : 2024-03-18
Detection of Automatically Generated Academic Content
LIYANAGE Vijini
Directeur(s) : NAZARENKO Adeline, BUSCALDI Davide
Date debut : 2021, Date soutenance : 2024-05-16
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
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
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