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