Résultats 1 à 10

EXPORTER les résultats
S'ABONNER à theses.fr

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble 1 (3)
  • Grenoble INPG (2)
  • Aix-Marseille 1 (1)
  • Avignon (1)
  • Besançon (1)
  • Bordeaux (1)
  • Bordeaux 1 (1)
  • Cachan, Ecole normale supérieure (1)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (1)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (1)
  • Grenoble (1)
  • Lyon (1)
  • Paris 10 (1)
  • Paris 13 (1)
  • Paris 6 (1)
  • Paris 7 (1)
  • Paris, EHESS (1)
  • Rouen (1)
  • Toulouse, ISAE (1)
  • Tours (1)
  • Université Grenoble Alpes (ComUE) (1)
  • Université d'Oran (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (15)
  • Informatique et applications (2)
  • Sciences du langage (2)
  • ? (1)
  • Informatique Biomédicale (1)
  • Informatique. Systèmes et communication (1)
  • Mathématiques et Informatique (1)
  • Sureté de logiciel et calcul de haute performance (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale de mathématiques et informatique (Talence, Gironde) (2)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (2)
  • Ecole Doctorale Sciences Physiques, Mathématiques et de l'Information pour l'Ingénieur (1)
  • École doctorale Connaissance, langage et modélisation (Nanterre) (1)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (1)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (1)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (1)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (1)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (1)
  • École doctorale de l'École des hautes études en sciences sociales (1)
  • École doctorale en Informatique et Mathématiques de Lyon (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (14)
  • anglais (8)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Maler Oded (2)
  • Alexandre Frédéric (1)
  • Asarin Eugène (1)
  • Beldiceanu Nicolas (1)
  • Bellatreche Ladjel (1)
  • Buscaldi Davide (1)
  • Charnois Thierry (1)
  • Christen Ernst (1)
  • Douence Rémi (1)
  • Dousset Laurent (1)
  • El-Bèze Marc (1)
  • Euzenat Jérôme (1)
  • Gala Pavia Nùria (1)
  • Garavel Hubert (1)
  • Gastin Paul (1)
  • Halfeld Ferrari Alves Mírian (1)
  • Huet Gérard (1)
  • Jaulent Marie-Christine (1)
  • Julliand Jacques (1)
  • Kahane Sylvain (1)
  • Kotsakis Evangelos (1)
  • Laurent Dominique (1)
  • Ly Olivier (1)
  • Markhoff Béatrice (1)
  • Martin Hervé (1)
  • Mesmoudi Amin (1)
  • Mosbah Mohamed (1)
  • Paquet Thierry (1)
  • Pous Damien (1)
  • Raymond Pascal (1)
  • Rougier Nicolas (1)
  • Senouci Mohamed (1)
  • Simonet Michel (1)
  • Tellier Isabelle (1)
  • Véronis Jean (1)
  • Wiels Virginie (1)
  • Zweigenbaum Pierre (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (20)
  • Sciences de l'ingénieur (2)
  • Informatique, information, généralités (1)
  • Langues et linguistique (1)
  • Linguistique générale (1)
  • Technologie (Sciences appliquées) (1)

Domaines :

Fullscreen

Interroger RDF(S) avec des expressions régulières

par Faisal Alkhateeb sous la direction de Jérôme Euzenat - Grenoble 1

Informatique

Soutenue en 2008
thèse soutenue

Détection de mots clés et d'expressions régulières en vue de la reconnaissance d'entités nommées dans des documents manuscrits

par Gautier Bideault sous la direction de Thierry Paquet - Rouen

Informatique

Soutenue le 01-12-2015
thèse en cours de préparation

Anomaly detection technique for sequential data

par Muriel Pellissier sous la direction de Hervé Martin et de Evangelos Kotsakis. - Grenoble

Informatique

Soutenue le 15-10-2013
thèse soutenue

...base de données utilisant les expressions régulières. Cette partie peut être utilisée seule afin de...

Accéder en ligne

Functional description of sequence constraints and synthesis of combinatorial objects

par Ekaterina Arafailova sous la direction de Nicolas Beldiceanu et de Rémi Douence. - Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire

Informatique et applications

Soutenue le 25-09-2018
thèse soutenue

...’objets combinatoiresMot clés : programmation par contraintes, automates, transducteurs, expressions régulières, séries...

Accéder en ligne

Algebras of Relations : from algorithms to formal proofs

par Paul Brunet sous la direction de Damien Pous - Lyon

Informatique

Soutenue le 04-10-2016
thèse soutenue
Accéder en ligne

Théorie algébrique des langages formels temps réel

par Catalin Dima sous la direction de Eugène Asarin et de Oded Maler. - Grenoble 1

Informatique

Soutenue en 2001
thèse soutenue
Accéder en ligne

Une méthode pour l'évolution de schémas XML préservant la validité des documents

par Denio Duarte sous la direction de Dominique Laurent, Béatrice Markhoff et de Mírian Halfeld Ferrari Alves. - Tours

Informatique

Soutenue en 2005
thèse soutenue

Outil d'exploration de corpus et désambiguïté lexicale automatique

par Laurent Audibert sous la direction de Jean Véronis - Aix-Marseille 1

Informatique

Soutenue en 2003
thèse soutenue
Accéder en ligne

Contributions à l'étude de la tension entre cohérence et confidentialité et du classement d'objets selon leur histoire dans les bases de données

par Xavier Delannoy sous la direction de Michel Simonet - Grenoble 1

Informatique

Soutenue en 1997
thèse soutenue

Assertions and measurements for mixed-signal simulation

par Thomas Ferrere sous la direction de Oded Maler et de Ernst Christen. - Université Grenoble Alpes (ComUE)

Mathématiques et Informatique

Soutenue le 28-10-2016
thèse soutenue

Résultats 1 à 10