Thèses

Thèses en cours

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

Des Données de Qualité vers un Système de Recommandation de Qualité et Dynamique
MBAREK SONIA
Directeur(s) : GROZAVU Nistor, BOUFARÈS Faouzi
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
ONWUDEBEL 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

Mathematical Optimization for Network Analysis
MAZZORAN Andrea
Directeur(s) : TRAVERSI Emiliano, WOLFLER Roberto
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

Using Formal Methods for Service-oriented Applications Design and Management in IoT environments
JAIN Rakesh
Directeur(s) : KLAI Kais, TATA Samir
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) : DAVID Julien, POURNIN Lionel
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 des réseaux multiplexes pour les études de sûreté.
RIFI Mouna
Directeur(s) : BENNANI Younès, KANAWATI Rushed
Date debut : 2016

Column generation methods for personnel scheduling problems.
PAN Stefania
Directeur(s) : WOLFLER Roberto, LETOCART Lucas
Date debut : 2015

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

Efficient Parametric Verification of Real-Time Systems
NGUYEN Hoang Gia
Directeur(s) : PETRUCCI Laure, ANDRE Etienne
Date debut : 2015

Apprentissage Relationnel Massif
LEGER Hippolyte
Directeur(s) : LEBBAH Mustapha, BOUTHINON Dominique
Date debut : 2015

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

Apprentissage non-supervisé à partir de données évolutives
RASTIN Parisa
Directeur(s) : MATEI Basarab, CABANES Guénaël
Date debut : 2015

Modeling Surprisal Effects in Anaphora Resolution
SEMINCK Olga
Directeur(s) : NAZARENKO Adeline, Amsili Pascal
Date debut : 2015

Distributed Model Checking of Concurrent Systems
NGUYEN Thi Thanh Huyen
Directeur(s) : PETRUCCI Laure, COTI Camille
Date debut : 2015

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

Dynamic semantic annotation: analysis, modeling and implementation
GARRIDO MARQUEZ Ivan
Directeur(s) : NAZARENKO Adeline, GARCIA FLORES Jorge
Date debut : 2014

Fouille de motifs et modélisation statistique pour l’extraction de connaissances textuelles
HOLAT Pierre
Directeur(s) : CHARNOIS Thierry, TOMEH Nadi
Date debut : 2014

Calcul de pertinence thématique combinant analyse de contenus et analyse de liens
FIROOZEH Nazanin
Directeur(s) : NAZARENKO Adeline
Date debut : 2014

Apprentissage Artificiel Collectif
VEILLON Lise-Marie
Directeur(s) : SOLDANO Henry, BOURGNE Gauvain
Date debut : 2014

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

malicious behaviors extraction
DAM Khan Huu The
Directeur(s) : TOUILI Tayssir
Date debut : 2014

Analyse de programmes manipulant le pointeur de pile
POMMELLET Adrien
Directeur(s) : TOUILI Tayssir
Date debut : 2014

CARET model checking pour l’analyse de programmes
NGUYEN Huu Vu
Directeur(s) : TOUILI Tayssir
Date debut : 2014

Apprentissage distribué de grandes masses de données.
SARAZIN Tugdual
Directeur(s) : LEBBAH Mustapha, AZZAG Hanene
Date debut : 2012

Thèses soutenues

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

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

Attributed Network Clustering: Application to recommender systems

FALIH Issam
Directeur(s) : BENNANI Younès, KANAWATI Rushed
Date debut : 2014, Date soutenance : 2018-03-08

Types inductifs, fonctionnels et non-linéaires en ludique.
PAVAUX Alice
Directeur(s) : FOUQUERÉ Christophe
Date debut : 2014, Date soutenance : 2017-12-01

Réductions et approximations linéaires
PELLISSIER Luc
Directeur(s) : GUERRINI Stefano, MAZZA Damiano
Date debut : 2014, Date soutenance : 2017-12-08

Développement asymptotique des sommes harmoniques.
BUI Van Chiên
Directeur(s) : MINH HOANG NGOC 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) : NGOC MINH Hoang, 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

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