Thèses

Thèses en cours


Toward a Correct Blockchain-based Business Processes
GARFATTA Ikram
Directeur(s) : KLAI Kais, GAALOUL Walid
Date debut : 2019

Collaborative Clustering: learning from data and learners This thesis topic focuses on collaborative clustering that preserves the confidentiality of data by using other classification results without using data from them. Having a collection of distributed databases on several different sites, the problem is to partition each of these bases by considering local data and remote classifications of other collaborating databases, without sharing data between the different sites. To do this, we propose to study an approach that is subdivided into two phases: A local phase and a collaboration phase. The local phase would be to apply a clustering algorithm, locally and independently on each of the databases, which will result in obtaining a partition for each of these databases. The collaboration phase would be to have each of the databases collaborate with all the partitions associated with the other databases obtained during the local phase. Thus, as a result, we obtain on each site a clustering close to the partition that we would have obtained if we had ignored the confidentiality constraint, namely to have the databases themselves collaborate. At the end of the two phases, all the local clustering will be enriched. In this thesis, we will answer several questions that arise in the context of collaborative learning. In particular, how should local learners be connected so that fruitful collaboration is possible? To what extent should the local learner share a priori about interesting data structures? What information should they exchange? And among which all collaborators? Is there a way to detect negative collaborations? Then, in a distributed and collaborative framework, how to define a stopping criterion? Finally, it is obvious that if there is no variety in the ensemble of learners, nothing can be gained through collaboration. Diversity is thus a requirement. But to what extent? All of these issues are still largely open and pose challenges of great scientific importance in the field.
FOUCADE Yohan
Directeur(s) : BENNANI Younès, Couprie Camille (FAIR-Facebook)
Date debut : 2019

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

Propriétés d’un graphe aléatoire en phase critique
RASOANAIVO Andry
Directeur(s) : BASSINO Frédérique
Date debut : 2018

Reasoning on complex events using IoT models and machine learning for long-term follow up of chronic patients
MODARESI Seyed Mohammad Reza
Directeur(s) : OSMANI Aomar, CHIBANI Abdelghani
Date debut : 2018

Étude de problèmes algorithmiques et structurels dans certains familles de graphes d’intersection
PARDAL Nina
Directeur(s) : VALENCIA PABON Mario
Date debut : 2018

Vers de Nouvelles Méthodes de Clustering de Flux de Données
ATTAOUI Mohammed Oualid
Directeur(s) : LEBBAH Mustapha, AZZAG Hanene
Date debut : 2018

Multitask Deep Learning for Joint Syntactic and Semantic Structure Prediction
ZHANG Xudong
Directeur(s) : CHARNOIS Thierry, LE ROUX Joseph
Date debut : 2018

Combinatoire d’une Géométrie du Calcul
NGUYEN Le Thanh Dung
Directeur(s) : GUERRINI Stefano, SEILLER Thomas
Date debut : 2018

Paver des objets géométriques pour comprendre les pavages du plan.
NURLIGAREEV Khaydar
Directeur(s) : POURNIN Lionel, MONTEIL Thierry
Date debut : 2018

Analyses formelles de systèmes temps-réel
JERRAY Jawher
Directeur(s) : ANDRE Etienne, FRIBOURG Laurent
Date debut : 2018

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

Algorithms for solving derivative-free optimization over mixed-integer domains
TORRES FIGUEROA Juan Jose
Directeur(s) : WOLFLER Roberto, TRAVERSI Emiliano
Date debut : 2018

Géométrie de l’Interaction Différentielle et Développement de Taylor
BARBAROSSA Davide
Directeur(s) : GUERRINI Stefano, MANZONETTO Giulio
Date debut : 2018

Plans discrets substitutifs
LUTFALLA Victor
Directeur(s) : FERNIQUE Thomas
Date debut : 2018

Des Données de Qualité vers un Système de Recommandation de Qualité et Dynamique
MBAREK SONIA
Directeur(s) : BOUFARÈS Faouzi, GROZAVU Nistor
Date debut : 2018

Résumé automatique neuronal de conversations pour un agent conversationnel médical
LOPEZ ESPEJEL Jessica
Directeur(s) : CHARNOIS Thierry, GARCIA FLORES Jorge
Date debut : 2018

Malware detection
ONWUDEBELU Ugochukwu
Directeur(s) : TOUILI Tayssir
Date debut : 2018

Partitionnement incrémental de données massives Analyse de l’usage et usure d’un turbofan pour les moteurs intelligents
FOREST Florent
Directeur(s) : LEBBAH Mustapha, AZZAG Hanene
Date debut : 2017

Résolution des SDP creux de grande taille issus de relaxations des ACOPF
SLIWAK Julie
Directeur(s) : LETOCART Lucas, TRAVERSI Emiliano
Date debut : 2017

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

Méthode de construction de bases de connaissances à partir d’alignements entre ontologies de référence
GHORFI Tayeb
Directeur(s) : NAZARENKO Adeline, ZARGAYOUNA Haïfa
Date debut : 2017

Apprendre à partir d’exemples et de modèles du domaine – cas des objets connectés –
HAMIDI Massinissa
Directeur(s) : OSMANI Aomar, LODDO Jean-Vincent
Date debut : 2017

Quantitative Analysis of Directed Acyclic Graphs Modelizing Concurrency Theory or Boolean Functions
NAIMA Mehdi
Directeur(s) : BODINI Olivier, GENITRINI Antoine
Date debut : 2017

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

Apprentissage de représentations dans le cadre de la théorie du transport optimal
BEN BOUAZZA Fatima-Ezzahraa
Directeur(s) : BENNANI Younès, MATEI Basarab
Date debut : 2017

Apprentissage non supervisé profond quantique de représentations de données évolutives
BENLAMINE Kaoutar
Directeur(s) : BENNANI Younès, MATEI Basarab
Date debut : 2017

Using Formal Methods for Service-oriented Applications Design and Management in IoT environments
JAIN Rakesh
Directeur(s) : KLAI Kais, TATA Samir
Date debut : 2017

Sécurité et Anonymisation de Grandes Masses de Données
ZOUININA Sarah
Directeur(s) : BENNANI Younès, GROZAVU Nistor
Date debut : 2017

Formal verification of parametric real-time systems with preemption
RAMPARISON Mathias
Directeur(s) : ANDRE Etienne, LIME Didier
Date debut : 2016

Génération aléatoire et étude de la combinatoire des polytopes entiers
RAKOTONARIVO Rado
Directeur(s) : POURNIN Lionel, DAVID Julien
Date debut : 2016

Classification et énumération de triangulations en dimension 3
DUB Nicolas
Directeur(s) : BASSINO Frédérique, BONZOM Valentin
Date debut : 2016

Vérification distribuée de systèmes modulaires concurrents
OUNI Hiba
Directeur(s) : KLAI Kais, ZOUARI Belhassen
Date debut : 2016

Méthodes de décomposition en programmation non linéaire en variables mixtes
BETTIOL Enrico
Directeur(s) : LETOCART Lucas, TRAVERSI Emiliano
Date debut : 2016

Self-assembly of tilings
GALANOV Ilya
Directeur(s) : FERNIQUE Thomas
Date debut : 2016

Integrality properties of systems describing multiflows
LANCINI Emiliano
Directeur(s) : WOLFLER Roberto, GRAPPE Roland
Date debut : 2016

Analyse combinatoire de structures aléatoires
DOVGAL Sergey
Directeur(s) : BODINI Olivier, RAVELOMANANA Vlady
Date debut : 2016

Classification massivement distribuée Application à la personnalisation web en temps-réel
BECK Gael
Directeur(s) : AZZAG Hanene, LEBBAH Mustapha
Date debut : 2016

Topic detection and similarity in scientific literature
HERNANDEZ PEREZ Simon David
Directeur(s) : BUSCALDI Davide, CHARNOIS Thierry
Date debut : 2016

Analyse d’algorithmes de recherche de motifs et de leurs structures de données associées
RAKOTOARIMALALA Tsinjo
Directeur(s) : BASSINO Frédérique
Date debut : 2015

Invariants de l’interaction dans les économies monétaires
KASZCZYC Antoine
Directeur(s) : FOUQUERÉ Christophe, BOUDES Pierre
Date debut : 2015

Sur l’analyse du code auto-modifiant.
YE Xin
Directeur(s) : TOUILI Tayssir
Date debut : 2015

Vérification de programmes concurrents
DIAZ Marcio
Directeur(s) : TOUILI Tayssir
Date debut : 2014

Thèses soutenues


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

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

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

"On CARET Model-Checking of Pushdown Systems: Application to Malware Detection"
NGUYEN Huu Vu
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

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

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

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 l’apprentissage à 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 d’ensemble pour l’infé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 à l’identité
KANE Ladji
Directeur(s) : DUCHAMP Gérard
Date debut : 2010, Date soutenance : 2014-06-27

Interrogation d’un réseau sémantique de documents : l’intertextualité dans l’accè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 d’un réseau termino-conceptuel normalisé : contribution à la construction d’ontologies à 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 l’espace 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 d’une 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 d’aide à l’acquisition 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 l’analyse de contenu : vers une méthodologie de l’annotation 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 d’optimisation 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 d’algorithmes 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 d’ontologies à partir de textes. L’apport de l’analyse 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 à l’algorithmique
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 d’une 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 d’apprentissage 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 d’usages de l’Internet
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 d’activité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 l’anaphore pronominale
WEISSENBACHER Davy
Directeur(s) : FOUQUERÉ Christophe, NAZARENKO Adeline
Date debut : 0000, Date soutenance : 2008-11-20

Techniques d’apprentissage 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 d’expression
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 d’EDF
KHEMMOUDJ Idir
Directeur(s) : BENNACEUR Hachemi, PORCHERON Marc
Date debut : 0000, Date soutenance : 2007-04-04