Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Université Paris-Saclay (ComUE) (17)
  • Université Grenoble Alpes (ComUE) (10)
  • Lyon (9)
  • Grenoble (8)
  • Montpellier (8)
  • Paris 11 (8)
  • Sorbonne Paris Cité (6)
  • Université de Lorraine (6)
  • Nancy 1 (4)
  • Paris, CNAM (4)
  • Aix-Marseille (3)
  • Dijon (3)
  • Lyon 1 (3)
  • Lyon, INSA (3)
  • Normandie (3)
  • Rennes 1 (3)
  • Saint-Etienne (3)
  • Bordeaux 1 (2)
  • Brest (2)
  • Clermont-Ferrand 2 (2)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (2)
  • Montpellier 2 (2)
  • Nantes, Ecole nationale vétérinaire (2)
  • Paris 1 (2)
  • Paris 6 (2)
  • Paris Est (2)
  • Paris Sciences et Lettres (2)
  • Paris, ENST (2)
  • Sorbonne université (2)
  • Toulouse 3 (2)
  • Université Côte d'Azur (ComUE) (2)
  • Artois (1)
  • Besançon (1)
  • Compiègne (1)
  • Ecole Nationale des Sciences Informatiques (Tunis) (1)
  • Ecole centrale de Nantes (1)
  • Evry, Institut national des télécommunications (1)
  • IMT Mines Alès (1)
  • La Réunion (1)
  • Lorient (1)
  • Nantes (1)
  • Nice (1)
  • Oniris - Ecole Nationale Vétérinaire, Agroalimentaire et de l’Alimentation (Nantes Atlantique) (1)
  • Paris 13 (1)
  • Paris 5 (1)
  • Paris 7 (1)
  • Paris, INALCO (1)
  • Saint-Etienne, EMSE (1)
  • Strasbourg (1)
  • Toulon (1)
  • Télécom Bretagne (1)
  • Università degli studi della Calabria (1)
  • Université Djillali Liabès (Sidi Bel-Abbès, Algérie) (1)
  • Université catholique de Louvain (1970-....) (1)
  • Université de Danang (Vietnam) (1)
  • Université de Yaoundé I (1)
  • École Nationale des Sciences de l'Informatique (La Manouba, Tunisie) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (84)
  • Sciences appliquées (5)
  • Informatique et réseaux (3)
  • Mathématiques (3)
  • Mathématiques et Informatique (3)
  • Mathématiques et informatique (3)
  • Informatique et applications (2)
  • Mathématiques appliquées (2)
  • Recherche clinique. Innovation technologique. Santé publique (2)
  • Sciences et techniques (2)
  • Astroparticules et cosmologie (1)
  • Automatique (1)
  • Automatique et productique (1)
  • Biologie et physiologie de l'exercice (1)
  • Biostatistiques (1)
  • Epistémologie et histoire des sciences et des techniques (1)
  • Genie des procédés (1)
  • Génie électrique (1)
  • Génie des Procédés, Environnement, Agroalimentaire (1)
  • Informatique et Télécommunications (1)
  • Informatique. Génération automatique de texte (1)
  • Ingénierie informatique (1)
  • Intelligence artificielle (1)
  • Mathématiques aux interfaces (1)
  • Mathématiques et informatique. Informatique (1)
  • Mathématiques et leurs interactions (1)
  • Mécanique des matériaux (1)
  • Nanoélectronique et nanotechnologie (1)
  • Neurosciences (1)
  • Philosophie (1)
  • Physique (1)
  • Réseaux, information et communications (1)
  • Science de données (1)
  • Sciences de données (1)
  • Sciences de l'Univers et Environnement (1)
  • Sciences de l'information et de la communication (1)
  • Sciences de l'éducation. Didactique des mathématiques (1)
  • Sciences de la terre et de l'univers, et de l'environnement (1)
  • Sciences du langage. Traitement automatique des langues (1)
  • Sciences et Techniques des Activités Physiques et Sportives (1)
  • Sciences et technologies industrielles (1)
  • Sciences économiques (1)
  • Signal, Image, Vision (1)
  • Staps (1)
  • Stic (1)
  • Systèmes automatiques et micro-électroniques (1)
  • Technologies de l'Information et des Systèmes : Unité de recherche Heudyasic (UMR-7253) (1)
  • Traitement automatique des langues (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (14)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (13)
  • École doctorale en Informatique et Mathématiques de Lyon (10)
  • I2S - Information, Structures, Systèmes (7)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (7)
  • École doctorale Informatique, télécommunications et électronique de Paris (7)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (5)
  • Ecole doctorale Informatique de Paris-Sud (4)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (4)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (3)
  • École doctorale Sciences mathématiques de Paris centre (Paris) (3)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (3)
  • IAEM Lorraine (2)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (2)
  • École Doctorale Interdisciplinaire Sciences-Santé. (Villeurbanne) (2)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (2)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (2)
  • École doctorale Sciences pour l'ingénieur, Géosciences, Architecture (Nantes) (2)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (2)
  • ED SIS 488 (1)
  • Ecole Doctorale Informatique et Information Pour La Societe. 1992-2009 (Lyon) (1)
  • Ecole doctorale Langages, Espaces, Temps, Sociétés (Besançon ; 1991-2016) (1)
  • Ecole doctorale Sciences pour l'ingénieur (Clermont-Ferrand) (1)
  • Ecole doctorale de Dauphine (Paris) (1)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (1)
  • Institut Galilée (Villetaneuse, Seine-Saint-Denis) (1)
  • MATHSTIC (1)
  • École Doctorale Information, Structures, Systèmes (1)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (1)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (1)
  • École doctorale Abbé Grégoire (Paris) (1)
  • École doctorale Cerveau, cognition, comportement (Paris) (1)
  • École doctorale E2S Environnements, Santé, STIC (Dijon ; ....-2012) (1)
  • École doctorale Frontières de l'innovation en recherche et éducation (Paris) (1)
  • École doctorale INTERFACES : approches interdisciplinaires, fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (1)
  • École doctorale Langues, littératures et sociétés du monde (Paris) (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, informatique et télécommunications (Toulouse) (1)
  • École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (1)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (1)
  • École doctorale Mer et Sciences. ED 548 (Toulon) (1)
  • École doctorale Particules, Hadrons, Énergie et Noyau : Instrumentation, Imagerie, Cosmos et Simulation (Orsay, Essonne ; 2015-....) (1)
  • École doctorale Philosophie (Paris) (1)
  • École doctorale Physique en Île-de-France (Paris ; 2014-....) (1)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (1)
  • École doctorale Sciences de l'Homme et de la Société (Sceaux, Hauts-de-Seine ; 2015-....) (1)
  • École doctorale Sciences de l'éducation, psychologie, information et communication (Lyon) (1)
  • École doctorale Sciences de la mer (1)
  • École doctorale Sciences mathématiques de Paris centre (1)
  • École doctorale Sciences pour l'Ingénieur (Lille) (1)
  • École doctorale Sciences, Ingénierie et Environnement (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (1)
  • École doctorale Sciences, Technologies et Santé (Saint-Denis, La Réunion) (1)
  • École doctorale Sociétés, temps, territoires (Angers) (1)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....) (1)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (1)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (1)
  • École doctorale homme, sociétés, risques, territoire (Caen) (1)
  • École doctorale terre, univers, environnement (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (81)
  • français (69)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Hacid Mohand Saïd (4)
  • Mugnier Marie-Laure (4)
  • Spyratos Nicolas (4)
  • Groote Philippe de (3)
  • Abiteboul Serge (2)
  • Ben Ahmed Mohamed (2)
  • Bidoit-Tollu Nicole (2)
  • Boochs Frank (2)
  • Collet Christine (2)
  • Croitoru Madalina (2)
  • Cruz Christophe (2)
  • Euzenat Jérôme (2)
  • Gardarin Georges (2)
  • Genevès Pierre (2)
  • Horaud Radu (2)
  • Kirchner Claude (2)
  • Layaida Nabil (2)
  • Leclère Michel (2)
  • Molli Pascal (2)
  • Nicolle Christophe (2)
  • Pogodalla Sylvain (2)
  • Retoré Christian (2)
  • Sappey-Marinier Dominique (2)
  • Senellart Pierre (2)
  • Shariat Ghodous Parisa (2)
  • Toumani Farouk (2)
  • Abdulrab Habib (1)
  • Abiteboul SS. (1)
  • Ahzi Saïd (1)
  • Alahari Karteek (1)
  • Alameda-Pineda Xavier (1)
  • Amann Bernd (1)
  • Amblard Maxime (1)
  • Anciaux Nicolas (1)
  • Arioui Hichem (1)
  • Awada Ali (1)
  • Baget Jean-François (1)
  • Bahlouli Nadia (1)
  • Balbiani Philippe (1)
  • Beldiceanu Nicolas (1)
  • Belli Alain (1)
  • Benbernou Salima (1)
  • Benguigui Nicolas (1)
  • Bennis-Zeitouni Karine (1)
  • Benslimane Djamal (1)
  • Benslimane Sidi Mohamed (1)
  • Benzaken Véronique (1)
  • Berio Giuseppe (1)
  • Berrut Catherine (1)
  • Bertolissi Clara (1)
  • Bérenguer Christophe (1)
  • Bisquert Pierre (1)
  • Boillereaux Lionel (1)
  • Boucelma Omar (1)
  • Bouissou Marc (1)
  • Boussey Jumana (1)
  • Bouveyron Charles (1)
  • Buche Patrice (1)
  • Calabretto Sylvie (1)
  • Calimeri Francesco (1)
  • Cardey-Greenfield Sylviane (1)
  • Carton Olivier (1)
  • Cautis Bogdan (1)
  • Cazelles Bernard (1)
  • Chamroukhi Faicel (1)
  • Chatelain Florent (1)
  • Chevallet Jean-Pierre (1)
  • Cirstea Horatiu (1)
  • Claramunt Christophe (1)
  • Collet Pierre (1)
  • Condotta Jean-François (1)
  • Contejean Evelyne (1)
  • Coquery Emmanuel (1)
  • Crespi Noël (1)
  • Crépon Bruno (1)
  • Cuppens-Boulahia Nora (1)
  • Curé Olivier (1)
  • Danlos Laurence (1)
  • De Marchi Fabien (1)
  • Delteil Alexandre (1)
  • Douence Rémi (1)
  • Farah Imed Riadh (1)
  • Faron-Zucker Catherine (1)
  • Fayolle Jacques (1)
  • Forestier Nicolas (1)
  • Frindel Carole (1)
  • Fursin Grigori (1)
  • Garcia André (1)
  • Gardent Claire (1)
  • Garlatti Serge (1)
  • Gaussier Éric (1)
  • Gelas Jean-Patrick (1)
  • Ghattas Badih (1)
  • Girard Patrick (1)
  • Girardot Jean-Jacques (1)
  • Gloess Paul Y. (1)
  • Glotin Hervé (1)
  • Goasdoué François (1)
  • Gross-Amblard David (1)
  • Grumbach Stéphane (1)
  • Hadj-Said Nouredine (1)
  • Haemmerlé Ollivier (1)
  • Herman Daniel (1)
  • Ignat Claudia-Lavinia (1)
  • Isiklar Alptekin Gulfem (1)
  • Jalby William (1)
  • Jouanot Fabrice (1)
  • Khalil Mohamad (1)
  • Kirchner Hélène (1)
  • Kistler Max (1)
  • Kodratoff Yves (1)
  • Kushik Natalia (1)
  • Laarouchi Youssef (1)
  • Labbé Cyril (1)
  • Laforest Frédérique (1)
  • Lamarre Philippe (1)
  • Latouche Pierre (1)
  • Laurini Robert (1)
  • Le Bail Alain (1)
  • Le Thanh Nhan (1)
  • Leclere Michel (1)
  • Lesueur François (1)
  • Lewandowski Roger (1)
  • Liberti Leo (1)
  • Lussier Benjamin (1)
  • Maes Frederik (1)
  • Mammar Said (1)
  • Manolescu Goujot Ioana Gabriela (1)
  • Manoussakis Yannis (1)
  • Martin Philippe (1)
  • Marzani Franck (1)
  • Mazure Bertrand (1)
  • Meghini Carlo (1)
  • Mercat Christian (1)
  • Miné Antoine (1)
  • Miranda Serge (1)
  • Montagnat Johan (1)
  • Moreau Pierre-Etienne (1)
  • Morin Jean-Benoit (1)
  • Mougenot Isabelle (1)
  • Moulin Emmanuel (1)
  • Mrissa Michaël (1)
  • Mugnier Marie-laure (1)
  • Médini Lionel (1)
  • Méhaut Jean-François (1)
  • Mémin Étienne (1)
  • Métais Elisabeth (1)
  • Naaim Mohamed (1)
  • Nadif Mohamed (1)
  • Napoli Amedeo (1)
  • Nehaoua Lamri (1)
  • Nguyen Thanh Binh (1)
  • Nuel Grégory (1)
  • Pain Laurent (1)
  • Perrin Olivier (1)
  • Peyré Gabriel (1)
  • Poibeau Thierry (1)
  • Pollet Yann (1)
  • Preda Marius (1)
  • Prost Jean-Philippe (1)
  • Pucheral Philippe (1)
  • Rampacek Sylvain (1)
  • Ranwez Sylvie (1)
  • Ressayre Jean-Pierre (1)
  • Rey Christophe (1)
  • Ricard Damien (1)
  • Roisin Cécile (1)
  • Roncancio Claudia Lucia (1)
  • Roux Olivier (1)
  • Saltel Philippe (1)
  • Salvati Sylvain (1)
  • Samozino Pierre (1)
  • Schmid Cordelia (1)
  • Scholl Michel (1)
  • Schön Walter (1)
  • Segoufin Luc (1)
  • Semblat Jean-François (1)
  • Skaf Hala (1)
  • Solaiman Basel (1)
  • Soldano Henry (1)
  • Suchanek Fabian (1)
  • Talbot Jean-Marc (1)
  • Tchuenté Maurice (1)
  • Termier Alexandre (1)
  • Terracina Giorgio (1)
  • Tettamanzi Andrea (1)
  • Thion Romuald (1)
  • Thomopoulos Rallou (1)
  • Thouvarecq Régis (1)
  • Trojahn dos Santos Cassia (1)
  • Tsybakov Alexandre B. (1)
  • Ubeda Stéphane (1)
  • Ulliana Federico (1)
  • Van Huffel Sabine (1)
  • Vargas-Solar Genoveva (1)
  • Verdier Christine (1)
  • Vidal Pierre Paul (1)
  • Vodislav Christian Dan (1)
  • Voituriez Raphaël (1)
  • Zacklad Manuel (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (98)
  • Sciences de l'ingénieur (20)
  • Mathématiques (10)
  • Informatique, information, généralités (8)
  • Médecine et santé (6)
  • Langues et linguistique (2)
  • Sciences de la nature et mathématiques (2)
  • Physique (2)
  • Sciences de la terre (2)
  • Sciences de la vie, biologie, biochimie (2)
  • Technologie (Sciences appliquées) (2)
  • Philosophie, psychologie (1)
  • Epistémologie, causalité, genre humain (1)
  • Sciences sociales, sociologie, anthropologie (1)
  • Statistiques générales (1)
  • Economie (1)
  • Education et enseignement (1)
  • Linguistique générale (1)
  • Astronomie, cartographie, géodésie (1)
  • Gestion et organisation de l'entreprise (1)
  • Sport (1)
  • Géographie et histoire (1)

Domaines :

Fullscreen

147 thèses pour Datalog

Sciences appliquées

Soutenue en 1989
thèse soutenue

Mise en oeuvre de datalog sur une architecture parallele

par RACHID EL BOUSSARGHINI sous la direction de Daniel Herman - Rennes 1

Informatique

Soutenue en 1989
thèse soutenue

...formalizing Datalog. Separating the type of ground constructs from that of con-structs with variables helped...

Accéder en ligne
Sciences appliquées

Soutenue en 1996
thèse soutenue
Informatique

Soutenue le 26-09-2019
thèse soutenue

...-atoms of F .Definition 3.3. Let R be a datalog ruleset. A predicate p is uniformlybounded in R if there...

Accéder en ligne

...The knowledgerepresentation we consider is the existential rules framework (Datalog±), afamily of...

Accéder en ligne
Informatique

Soutenue le 30-05-2012
thèse soutenue
Informatique

Soutenue le 09-07-2018
thèse soutenue

...representation we consider is the existentialrules framework (Datalog±) [Cali et al., 2010a], a family of logical...

Accéder en ligne

..., Datalog+/-, Re`gles Existentielles, Requeˆtes Conjonctives...

Accéder en ligne

Résultats 1 à 10