Thèses soutenues (depuis 2004) & Thèses en cours

Bases de données et apprentissage automatique

Raphaël BAILLY, Méthodes spectrales pour l’inférence grammaticale probabiliste de langages stochastiques rationnels, Univ. de Provence, Dir. François DENIS,12 décembre 2011.

Sébastien NEDJAR, Cubes Émergents pour l’analyse des renversements de tendances dans les bases de données multidimensionnelles , Dir. Lotfi LAKHAL, Univ. de la Méditerranée, 23 novembre 2009.

Guillaume STEMPFEL, Robustesse des Séparateurs Linéaires au Bruit de Classification, Dir. Liva RALAIVOLA, Univ. de Provence, 9 octobre 2009.

Christophe MAGNAN, Apprentissage à partir de données diversement étiquetées pour l’étude du rôle de l’environnement local dans les interactions entre acides aminés, Dir. François DENIS, Univ. de Provence, 12 décembre 2007.

Julie CHABALIER, Elaboration d’une base de connaissances pour l’identification et la reconstruction de systemes biologiques integres, Dir. Cécile CAPPONI, Univ. de Provence, 6 avril 2004.

Alain CASALI, Treillis relationnels et data mining multidimensionnel, Dir. Lotfi LAKHAL, Univ. de la Méditerranée, 16 Décembre 2004.

Yann ESPOSITO, Inférences d’automates probabilistes, Dir. François DENIS, Univ. de Provence, 6 Décembre 2004.

Thèses en cours

Hassani HACHIM, Structure de données efficace pour la manipulation des cubes de données, Co-dir. Rosine CICCHETTI et Noël NOVELLI, Univ. de la Méditerranée.

Sokol KOCO, Problèmes multi-vues et traitement automatique de la langue, Univ. de la Méditerranée, Dir. Frédéric BECHET et Cécile CAPPONI.

Pierre MACHART, Apprentissage multi-vues semi-supervisé, Univ. de Provence, Dir. Hervé GLOTIN (LSIS) et Liva RALAIVOLA.

Emilie MORVANT, Adaptation de domaine et apprentissage par fonctions de similarité, Univ. de la Méditerranée, Dir. Stéphane AYACHE et Amaury HABRARD.

Thomas PEEL, Apprentissage en ligne et optimisation stochastique pour l’ordonnancement, Univ. de Provence, Dir. Sandrine ANTHOINE (LATP) et Liva RALAIVOLA.

Fabien PESCI, Entrepôt d’objets dominants, Dir. Rosine CICCHETTI, Univ. de la Méditerranée.

Combinatoire - Recherche opérationnelle

Nicolas CATUSSE, Spanners pour des réseaux géométriques et plongements dans le plan, Dir. Victor CHEPOI et Yann VAXES, Univ. de la Méditerranée, 9 décembre 2011.

Thanh Hai NGUYEN, Enveloppe convexe des arbres d’Huffman finis, Dir. Jean-Francois MAURRAS, Univ. de la Méditerranée, 10 décembre 2010.

Hassan HIJAZI, Optimisation non-linéaire mixte en nombres entiers pour la conception de réseaux en télécommunications, Dir. Gérard CORNUEJOLS, Pierre BONAMI et Adam OUOROU, Univ. de la Méditerranée, 18 novembre 2010.

Jérôme HULIN, Axe Médian discret : Propriétés Arithmétiques et Algorithmes, Dir. Edouard THIEL, Univ. de la Méditerranée, 20 novembre 2009.

Morgan SESTON, Dissimilarités de Robinson : algorithmes de reconnaissance et d’approximation, Co-dir. Victor CHEPOI et Bernard FICHET, Univ. de la Méditerranée, 9 décembre 2008.

Roumen NEDEV, Enveloppes convexes des plans projectifs finis, Dir. Jean-Francois MAURRAS, Univ. de la Méditerranée, Octobre 2008.

Bertrand ESTELLON, Algorithmes de couverture et d’augmentation de graphes sous contraintes de distance, Dir. Victor CHEPOI et Yann VAXES, Univ. de la Méditerranée, 30 novembre 2007.

Karim NOUIOUA, Enveloppes de Pareto et réseaux de Manhattan, Co-dir. Victor CHEPOI et Yann VAXES, Univ. de la Méditerranée, 12 Décembre 2005.

Frédéric GARDI, Sur certains problèmes liés à la planification d’horaires de travail, Dir. Michel VAN CANEGHEM, Univ. de la Méditerranée, 14 Juin 2005.

Olivier ANGLADA, Ordres Géométries et polyèdres, Dir. Jean-Francois MAURRAS, Univ. de la Méditerranée, 17 Décembre 2004.

Thèses en cours

Sébastien IMBROSCIANO, Fonctionnement fiable de réseaux, Dir. Alexandre LAUGIER (Orange R&D) et Yann VAXES (LIF), Univ. de la Méditerranée.

Daniela MAFTULEAC, Algorithmes pour des complexes planaires de courbure non-positive, Dir. Victor CHEPOI, Univ. de la Méditerranée.

Fabien REBATEL, Bissecteur discret et bases métriques, Dir. Edouard THIEL, Univ. de la Méditerranée.

Johannes SCHMIDT, Complexité de l’énumération : le cas des CSP et des logiques non-monotones, Dir. Nadia CREIGNOU, Univ. de la Méditerranée.

Systèmes complexes, automates et pavages

Alexis BALLIER, Logique, pavages et robustesse, Dir. Bruno DURAND, Univ. de Provence, 30 novembre 2009.

Gaétan RICHARD, Systèmes de particules et collisions discrètes dans les automates cellulaires, Dir. Nicolas OLLINGER, Univ. de Provence, 4 décembre 2008.

Laurent BIENVENU, Caractérisations de l’aléatoire par les jeux : imprédictibilité et stochasticité, Co-dir. Bruno DURAND et Alexander SHEN, Univ. de Provence, 4 avril 2008.

Vincent BERNARDI, Lois de conservation sur automates cellulaires, Co-dir. Bruno DURAND et Nicolas OLLINGER, Univ. de Provence, 10 décembre 2007.

Thèses en cours

Alex BORELLO, Automates cellulaires, temps réel, voisinages en dimension 2, Dir. Bruno DURAND et Victor POUPET, Univ. de Provence.

Martin DELACOURT, Automates cellulaires, signaux, dynamique symbolique, Dir. Bruno DURAND et Victor POUPET, Univ. de Provence.

Fabien GIVORS, Les degrés récursivement énumérables : théorie et expérimentation, Dir. Bruno DURAND et Grégory LAFITTE, Univ. de Provence.

Tarik KACED, Partage de secret et théorie algorithmique de l’information, Dir. Alexander SHEN et Andrei ROMASHCHENKO, Univ. de Provence.

Pascal VANIER, Complexité des invariants dans les pavages, Dir. Bruno DURAND et Emmanuel JEANDEL, Univ. de Provence.

Modélisation et Vérification

Walid BELKHIR, Algèbre et combinatoire pour les jeux de parité, Dir. Luigi SANTOCANALE, Univ. de Provence, 5 décembre 2008.

Lucia ACCIAI, Algèbres de processus pour les architectures orientées service, Dir. Silvano DALZILIO, Univ. de Provence, 12 juillet 2007.

Pascal LAFOURCADE, Vérification de protocoles cryptographiques en présence de théories équationnelles, Dir. Denis LUGIEZ (LIF) et Ralf TREINEN (LSV, ENS Cachan), ENS Cachan, 25 septembre 2006.

Nicolas BAUDRU, Synthèse d’automates asynchrones et communicants, Dir. Rémi MORIN, Univ. de Provence, 6 décembre 2005.

Thèses en cours

Florent AVELLANADA, Modélisation, vérification et synthèse de systèmes concurrents, Dir. Rémi MORIN, Univ. de la Méditerranée.

Julien FERTE, Sécurité des documents XML interactifs, Dir. Clara BERTOLISSI et Denis LUGIEZ, Univ. de Provence.

Rémi JAUBERT, Fiabilité du fonctionnement des aéronefs non habités via l’utilisation de méthodes formelles pour le contrôle, Dir. Pierre-Alain REYNIER et Jean-Marc TALBOT, Univ. de Provence.

Januz MALINOWSKI, Algorithmes hybrides pour le Model-Checking et la synthèse, Dir. Peter NIEBERT, Univ. de Provence.

Stéphane MARTIN, Vers la vérification automatique de services Web, Dir. Denis LUGIEZ, Univ. de Provence.

Traitement Automatique du Langage Ecrit et Parlé

Loïc KERVAJAN, Contribution à la traduction automatique français - Langue des Signes Française au moyen de personnages virtuels, Univ. de Provence, Dir. Jean VERONIS, 9 décembre 2011.

Nathalie RIGAUD, La grammaire et l’art du vide : pour une approche descriptive des phénomènes elliptiques en français, Univ. de Provence, Dir. José DEULOFEU, 27 novembre 2010.

Emilie CHETELAT, Les gestes non manuels en langue des signes française. Annotation, analyse et formalisation : application aux mouvements des sourcils et aux clignements des yeux, Univ. de Provence, Dir. Jean VERONIS et Annelies BRAFFORT, 25 mars 2010.

Olivier TARDIF, Algorithme de résolution de la coréférence d’entités nommées dans des textes journalistiques en français, Dir. Jean VERONIS, Univ. de Provence, 5 février 2010.

Bruno CAVESTRO, Projection d’Annotations au travers de Corpus Parallèles, Dir. Jean VERONIS, Univ. de Provence, 28 janvier 2010.

Mohamed Mahdi MALIK, Structures prédicatives nominales en anglais : acquisition de données lexicales pour l’analyse automatique de textes, Dir. Jean ROYAUTE et Paul SABATIER, Univ. de la Méditerranée, 28 janvier 2010.

Rémi BOVE, Analyse syntaxique automatique de l’oral : étude des disfluences, Dir. Jean VERONIS, Univ. de Provence, 25 novembre 2008.

Manal EL ZANT, Contribution à une représentation spatio-temporelle des dépêches épidémiologiques, Dir. Michel ROUX et Jean ROYAUTE, Univ. de la Méditerranée, 21 mai 2008.

Alberto BRAMATI, Les compléments prépositionnels des verbes français et italiens. Problèmes théoriques et études contrastives, Dir. André VALLI, Univ. de Provence et Université Catholique de Milan, avril 2008.

Nicolas DENAND, Traitement automatique des phrases locatives statiques, Dir. Monique ROLBERT et Paul SABATIER, Univ. de la Méditerranée, juin 2004,

Thèses en cours

Valérie COLLEC CLERC, Génération automatique de phrases complexes en vue de la création d’exercices de formation en ligne pour l’apprentissage du japonais, Aix-Marseille Université, Dir. Michael ZOCK.

Ahmed HAMDI, Analyse syntaxique probabiliste et diacritisation de l’arabe, Aix-Marseille Université, Dir. Alexis NASR et Nuria GALA.

Sokol KOCO, Problèmes multi-vues et traitement automatique de la langue, Aix-Marseille Université, Dir. Frédéric BECHET et Cécile CAPPONI.

Logique, Logiques non classiques, Contraintes

Ilka SCHNOOR JOHANNSEN, La méthode des bases faibles pour les problèmes de satisfaction de contraintes, Co-dir. Nadia CREIGNOU (LIF) et Heribert VOLLMER (Univ. d’Hanovre), Univ. de la Méditerranée et Univ. d’Hanovre, 21 novembre 2007.

Khalil DJELLOUL, Théories complètes autour des arbres, Dir. Alain COLMERAUER, Univ. de la Méditerranée, 15 juin 2006.

Jonathan BEN-NAIM, Autour de la caractérisation de raisonnements de sens commun en présence d’informations incertaines, Dir. Karl SCHLECHTA, Univ. de Provence, 26 avril 2006.

Biomathématiques et Informatique Médicale

Jean GAUDART, Analyse spatio-temporelle et modélisation déterministe des épidémies : application au paludisme à P. falciparum., Dir. Hervé CHAUDET, Univ. de la Méditerranée, 20 novembre 2007.