Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Dijon (5)
  • Grenoble (5)
  • Clermont-Ferrand 2 (4)
  • Artois (3)
  • Lyon 1 (3)
  • Nancy 1 (3)
  • Nice (3)
  • Paris 6 (3)
  • Bourgogne Franche-Comté (2)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (2)
  • Grenoble Alpes (2)
  • Montpellier 2 (2)
  • Mulhouse (2)
  • Paris 10 (2)
  • Paris 11 (2)
  • Paris Saclay (2)
  • Aix-Marseille (1)
  • Angers (1)
  • Avignon (1)
  • Compiègne (1)
  • Côte d'Azur (1)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (1)
  • Ecole nationale supérieure d'informatique (1)
  • Grenoble 1 (1)
  • Grenoble INPG (1)
  • La Rochelle (1)
  • La Réunion (1)
  • Lorient (1)
  • Lyon (1)
  • Lyon, INSA (1)
  • Montpellier (1)
  • Normandie (1)
  • Paris 4 (1)
  • Paris 5 (1)
  • Paris 8 (1)
  • Paris Est (1)
  • Paris Sciences et Lettres (1)
  • Paris, CNAM (1)
  • Paris, ENSAM (1)
  • Pau (1)
  • Rennes 1 (1)
  • Rennes 2 (1)
  • Strasbourg (1)
  • Strasbourg 1 (1)
  • Toulouse 3 (1)
  • Tours (1)
  • Universität des Saarlandes (1)
  • Université Louis Pasteur (Strasbourg) (1)
  • Université de Mons (1)
  • Université de Saint-Louis (Sénégal) (1)
  • Université des sciences et de la technologie Houari Boumediene (Alger) (1)
  • Valenciennes (1)
  • École Nationale des Sciences de l'Informatique (Tunis) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (46)
  • Informatique et applications (4)
  • Sciences de l'information et de la communication (3)
  • Sciences du langage : traitement automatique des langues (2)
  • Sciences et techniques (2)
  • Biologie et sciences de la santé (1)
  • Composition musicale (1)
  • Conception (1)
  • Ethnologie (1)
  • Génie informatique (1)
  • Informatique médicale (1)
  • Informatique. Systèmes et logiciels (1)
  • Intelligence artificielle (1)
  • Mathématiques (1)
  • Mathématiques et informatique (1)
  • Mathématiques et informatique. Informatique (1)
  • Modèles, méthodes et algorithmes en biologie, santé et environnement (1)
  • Sciences appliquées specialite informatique (1)
  • Sciences de l'ingénieur (1)
  • Sciences et Technologies de l'Information et de la Communication (1)
  • Sciences et génie des activités à risques (1)
  • Sciences pour l'Ingénieur (1)
  • Stic (1)
  • Technologies de l'Information et des Systèmes : Unité de recherche Heudyasic (UMR-7253) (1)
  • Électronique, électrotechnique, automatique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (6)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (6)
  • École doctorale Informatique, télécommunications et électronique (Paris) (3)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (3)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (3)
  • ED Sciences pour l'ingénieur (n°72) (2)
  • IAEM Lorraine (2)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (2)
  • École doctorale Connaissance, langage et modélisation (Nanterre) (2)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (2)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne) (2)
  • École doctorale Sciences pour l'Ingénieur (Lille) (2)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (1)
  • Ecole doctorale Informatique de Paris-Sud (1)
  • Ecole doctorale Sciences pour l'ingénieur (Clermont-Ferrand) (1)
  • SMI - Sciences des Métiers de l'Ingénieur (1)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (1)
  • École doctorale 537 « Culture et patrimoine » (Avignon) (1)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (1)
  • École doctorale Biologie-Santé (Rennes) (1)
  • École doctorale Concepts et langages (Paris) (1)
  • École doctorale Lettres, Communication, Langues, Arts (Dijon ; Besançon ; 2017-....) (1)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (1)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (1)
  • École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (1)
  • École doctorale Santé publique : épidémiologie et sciences de l'information biomédicale (Paris) (1)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (1)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (1)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (1)
  • École doctorale Sciences humaines et sociales (Rennes) (1)
  • École doctorale Sciences humaines et sociales : cultures, individus, sociétés (Paris) (1)
  • École doctorale Sciences sociales (Saint-Denis, Seine-Saint-Denis) (1)
  • École doctorale Sciences, Technologies et Santé (Saint-Denis, La Réunion) (1)
  • École doctorale en Informatique et Mathématiques de Lyon (1)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (1)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (1)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (1)
  • École doctorale Électronique, électrotechnique, automatique (Lyon) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (65)
  • anglais (12)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Benferhat Salem (3)
  • Keith Bernard (3)
  • Nicolle Christophe (3)
  • Schneider Michel (3)
  • Bellatreche Ladjel (2)
  • Boitet Christian (2)
  • Le Thanh Nhan (2)
  • Rousselot François (2)
  • Shariat Ghodous Parisa (2)
  • Abed Mourad (1)
  • Aimé Xavier (1)
  • Andrieu Jacquet Armelle (1)
  • Bellynck Valérie (1)
  • Ben Ahmed Mohamed (1)
  • Benslimane Djamal (1)
  • Berio Giuseppe (1)
  • Bertaux Aurélie (1)
  • Bonneau Georges-Pierre (1)
  • Bosson Jean-Luc (1)
  • Boucelma Omar (1)
  • Boudjlida Nacer (1)
  • Bouju Alain (1)
  • Boukhobza Jalil (1)
  • Cavarero Jean-Louis (1)
  • Chalmel Frédéric (1)
  • Collet Christine (1)
  • Colloc Joël (1)
  • Cruz Christophe (1)
  • Curé Olivier (1)
  • Dague Philippe (1)
  • Darmoni Stéfan Jacques (1)
  • De luca Livio (1)
  • Demoly Frédéric (1)
  • Desclès Jean-Pierre (1)
  • Devignes Marie-Dominique (1)
  • Dieng-Kuntz Rose (1)
  • Drias Habiba (1)
  • Dubois Catherine (1)
  • Echahed Rachid (1)
  • El Hiki Lahcen (1)
  • Euzenat Jérôme (1)
  • Fanlo Jean-Louis (1)
  • Fortemps Philippe (1)
  • Ganascia Jean-Gabriel (1)
  • Gandon Fabien (1)
  • Gesquière Gilles (1)
  • Giacometti Arnaud (1)
  • Giavitto Jean-Louis (1)
  • Goasdoué François (1)
  • Goedefroit Sophie (1)
  • Gomes Samuel (1)
  • Grau Brigitte (1)
  • Haemmerlé Ollivier (1)
  • Halin Gilles (1)
  • Hassenforder Michel (1)
  • Hernandez Nathalie (1)
  • Jaulent Marie-Christine (1)
  • Khouri Selma (1)
  • Kouloumdjian Jacques (1)
  • Laforest Frédérique (1)
  • Lamolle Myriam (1)
  • Laurini Robert (1)
  • Layaida Nabil (1)
  • Le Duc Chan (1)
  • Le Moënne Christian (1)
  • Leclère Michel (1)
  • Lenne Dominique (1)
  • Libourel Thérèse (1)
  • Lô Moussa (1)
  • Ma Yue (1)
  • Markhoff Béatrice (1)
  • Martin Philippe (1)
  • Mendès Florence (1)
  • Minel Jean-Luc (1)
  • Miranda Serge (1)
  • Mokhtari Aïcha (1)
  • Monticolo Davy (1)
  • Montmain Jacky (1)
  • Moreau-Gaudry Alexandre (1)
  • Mougenot Isabelle (1)
  • Mugnier Marie-Laure (1)
  • Métais Elisabeth (1)
  • Napoli Aldo (1)
  • Pierrel Jean-Marie (1)
  • Poli Marie-Sylvie (1)
  • Pradelle Dominique (1)
  • Puentes John (1)
  • Rampacek Sylvain (1)
  • Ray Cyril (1)
  • Rolland Antoine (1)
  • Roose Philippe (1)
  • Rousset Marie-Christine (1)
  • Roxin Ioan (1)
  • Sam Yacine (1)
  • SanJuan Eric (1)
  • Simonet Ana (1)
  • Simonet Michel (1)
  • Soualmia Lina Fatima (1)
  • Stephan Igor (1)
  • Sérasset Gilles (1)
  • Tajariol Federico (1)
  • Toumani Farouk (1)
  • Vacher Michel (1)
  • Vargas-Solar Genoveva (1)
  • Véron Philippe (1)
  • Yétongnon Kokou (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (59)
  • Sciences de l'ingénieur (11)
  • Informatique, information, généralités (4)
  • Médecine et santé (3)
  • Sciences sociales, sociologie, anthropologie (2)
  • Linguistique générale (2)
  • Sciences de la nature et mathématiques (2)
  • Mathématiques (2)
  • Technologie (Sciences appliquées) (2)
  • Bibliothéconomie et sciences de l'information (1)
  • Organisations générales et muséologie (1)
  • Physique (1)
  • Architecture (1)

Domaines :

Fullscreen

...importantes familles des logiques de description légères. La première partie de la thèse porte surla gestion...

Accéder en ligne
Électronique, électrotechnique, automatique

Soutenue en 1999
thèse soutenue
Informatique

Soutenue le 04-07-2017
thèse soutenue

...Tout concept peut eˆtre transforme´ en un concept e´quivalent dans NNF1.1. LOGIQUES DE DESCRIPTION...

Accéder en ligne

Etude des extraits d'ontologies

par Jieying Chen sous la direction de Philippe Dague et de Yue Ma. - Paris Saclay

Informatique

En préparation depuis le 21-09-2015
thèse en cours de préparation
Sciences et techniques

Soutenue en 2001
thèse soutenue

...des connaissances d un domaine avec les logiques de Description (LD)se réalise en deux niveaux. Le...

Accéder en ligne

....Les logiques de description [Baader et al. 2003] sont une famille de fragments de lalogique du premier ordre...

Accéder en ligne

...3 Introduction aux logiques de descriptionLes logiques de description sont une famille de...

Accéder en ligne

Résultats 1 à 10