Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Lyon (9)
  • Grenoble (8)
  • Paris 11 (8)
  • Paris Saclay (8)
  • Grenoble Alpes (7)
  • Montpellier (4)
  • Paris, CNAM (4)
  • Aix-Marseille (3)
  • Dijon (3)
  • Lyon, INSA (3)
  • Rennes 1 (3)
  • Sorbonne Paris Cité (3)
  • Bordeaux 1 (2)
  • Brest (2)
  • Clermont-Ferrand 2 (2)
  • Côte d'Azur (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)
  • Normandie (2)
  • Paris 1 (2)
  • Paris 6 (2)
  • Paris, ENST (2)
  • Saint-Etienne (2)
  • Université de Lorraine (2)
  • Artois (1)
  • Besançon (1)
  • Compiègne (1)
  • Ecole Nationale des Sciences Informatiques (Tunis) (1)
  • Evry, Institut national des télécommunications (1)
  • IMT Mines Alès (1)
  • La Réunion (1)
  • Lorient (1)
  • Lyon 1 (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 Est (1)
  • Paris, INALCO (1)
  • Strasbourg (1)
  • Toulouse 3 (1)
  • Télécom Bretagne (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 (61)
  • Sciences appliquées (5)
  • Informatique et réseaux (3)
  • Mathématiques et Informatique (3)
  • Informatique et applications (2)
  • Sciences et techniques (2)
  • 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 des Procédés, Environnement, Agroalimentaire (1)
  • Informat. (1)
  • Ingénierie informatique (1)
  • Intelligence artificielle (1)
  • Mathématiques (1)
  • Mathématiques appliquées (1)
  • Mathématiques aux interfaces (1)
  • Mathématiques et informatique (1)
  • Mathématiques et informatique. Informatique (1)
  • Mathématiques et leurs interactions (1)
  • Mécanique des matériaux (1)
  • Nanoélectronique et nanotechnologie (1)
  • Philosophie (1)
  • Recherche clinique. Innovation technologique. Santé publique (1)
  • Science de données (1)
  • Sciences de données (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)
  • 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) (12)
  • École doctorale en Informatique et Mathématiques de Lyon (8)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (7)
  • École doctorale Informatique, télécommunications et électronique (Paris) (6)
  • Ecole doctorale Informatique de Paris-Sud (4)
  • I2S - Information, Structures, Systèmes (4)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (4)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (4)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (3)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (2)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (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 de Sciences mathématiques de Paris Centre (Paris) (2)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (2)
  • 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)
  • MATHSTIC (1)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (1)
  • École Doctorale Interdisciplinaire Sciences-Santé. (Villeurbanne) (1)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (1)
  • École doctorale Abbé Grégoire (Paris) (1)
  • École doctorale E2S Environnements, Santé, STIC (Dijon ; ....-2012) (1)
  • École doctorale Frontières du vivant (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, 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 Philosophie (Paris) (1)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (1)
  • École doctorale Sciences de l'éducation, psychologie, information et communication (Lyon) (1)
  • École doctorale Sciences de la mer (1)
  • École doctorale Sciences pour l'Ingénieur (Lille) (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 mathématiques, information et ingénierie des systèmes (Caen) (1)
  • École doctorale terre, univers, environnement (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (55)
  • français (55)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Spyratos Nicolas (4)
  • Hacid Mohand Saïd (3)
  • Mugnier Marie-Laure (3)
  • Abiteboul Serge (2)
  • Ben Ahmed Mohamed (2)
  • Boochs Frank (2)
  • Collet Christine (2)
  • Cruz Christophe (2)
  • Euzenat Jérôme (2)
  • Gardarin Georges (2)
  • Genevès Pierre (2)
  • Groote Philippe de (2)
  • Laforest Frédérique (2)
  • Layaida Nabil (2)
  • Nicolle Christophe (2)
  • Senellart Pierre (2)
  • Suchanek Fabian (2)
  • Toumani Farouk (2)
  • Abdulrab Habib (1)
  • Abiteboul SS. (1)
  • Ahzi Saïd (1)
  • Amarilli Antoine (1)
  • Amblard Maxime (1)
  • Anciaux Nicolas (1)
  • Awada Ali (1)
  • Baget Jean-François (1)
  • Bahlouli Nadia (1)
  • Balbiani Philippe (1)
  • Beldiceanu Nicolas (1)
  • Benbernou Salima (1)
  • Benguigui Nicolas (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)
  • Bidoit-Tollu Nicole (1)
  • Bisquert Pierre (1)
  • Boillereaux Lionel (1)
  • Boucelma Omar (1)
  • Boussey Jumana (1)
  • Bouveyron Charles (1)
  • Buche Patrice (1)
  • Calabretto Sylvie (1)
  • Cardey-Greenfield Sylviane (1)
  • Carton Olivier (1)
  • Cautis Bogdan (1)
  • Cazelles Bernard (1)
  • Chatelain Florent (1)
  • Chevallet Jean-Pierre (1)
  • Claramunt Christophe (1)
  • Condotta Jean-François (1)
  • Contejean Evelyne (1)
  • Coquery Emmanuel (1)
  • Crespi Noël (1)
  • Croitoru Madalina (1)
  • Cuppens-Boulahia Nora (1)
  • Curé Olivier (1)
  • Douence Rémi (1)
  • Farah Imed Riadh (1)
  • Faron-Zucker Catherine (1)
  • Fayolle Jacques (1)
  • Frindel Carole (1)
  • Garcia André (1)
  • Garlatti Serge (1)
  • Gaussier Éric (1)
  • Gelas Jean-Patrick (1)
  • Ghattas Badih (1)
  • Girard Patrick (1)
  • Gloess Paul Y. (1)
  • Gross-Amblard David (1)
  • Grumbach Stéphane (1)
  • Herman Daniel (1)
  • Horaud Radu (1)
  • Isiklar Alptekin Gulfem (1)
  • Jouanot Fabrice (1)
  • Khalil Mohamad (1)
  • Kistler Max (1)
  • Kodratoff Yves (1)
  • Labbé Cyril (1)
  • Lamarre Philippe (1)
  • Latouche Pierre (1)
  • Laurini Robert (1)
  • Le Bail Alain (1)
  • Le Thanh Nhan (1)
  • Leclère Michel (1)
  • Lesueur François (1)
  • Lewandowski Roger (1)
  • Liberti Leo (1)
  • Lussier Benjamin (1)
  • Maes Frederik (1)
  • Manoussakis Yannis (1)
  • Martin Philippe (1)
  • Marzani Franck (1)
  • Mazure Bertrand (1)
  • Meghini Carlo (1)
  • Mercat Christian (1)
  • Miranda Serge (1)
  • Molli Pascal (1)
  • Montagnat Johan (1)
  • Morin Jean-Benoit (1)
  • Mougenot Isabelle (1)
  • Mrissa Michaël (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)
  • Nguyen Thanh Binh (1)
  • Nuel Grégory (1)
  • Pain Laurent (1)
  • Picard Gauthier (1)
  • Pogodalla Sylvain (1)
  • Poibeau Thierry (1)
  • Pollet Yann (1)
  • Preda Marius (1)
  • Pucheral Philippe (1)
  • Rampacek Sylvain (1)
  • Ranwez Sylvie (1)
  • Ressayre Jean-Pierre (1)
  • Retoré Christian (1)
  • Rey Christophe (1)
  • Roisin Cécile (1)
  • Roncancio Claudia Lucia (1)
  • Saltel Philippe (1)
  • Salvati Sylvain (1)
  • Samozino Pierre (1)
  • Sappey-Marinier Dominique (1)
  • Scholl Michel (1)
  • Schön Walter (1)
  • Segoufin Luc (1)
  • Shariat Ghodous Parisa (1)
  • Skaf Hala (1)
  • Solaiman Basel (1)
  • Talbot Jean-Marc (1)
  • Tchuenté Maurice (1)
  • Termier Alexandre (1)
  • Tettamanzi Andrea (1)
  • Thion Romuald (1)
  • Thouvarecq Régis (1)
  • Tsybakov Alexandre B. (1)
  • Ubeda Stéphane (1)
  • Van Huffel Sabine (1)
  • Vargas-Solar Genoveva (1)
  • Verdier Christine (1)
  • Zacklad Manuel (1)
  • Zechinelli-Martini José-Luis (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (75)
  • Sciences de l'ingénieur (16)
  • Mathématiques (6)
  • Informatique, information, généralités (5)
  • Médecine et santé (3)
  • Sciences de la nature et mathématiques (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)
  • Education et enseignement (1)
  • Langues et linguistique (1)
  • Linguistique générale (1)
  • Physique (1)
  • Sciences de la terre (1)
  • Sport (1)
  • Géographie et histoire (1)

Domaines :

Fullscreen

107 thèses pour "Datalog"

Débuggage de programmes Datalog

par Thomas Pellissier-Tanon sous la direction de Fabian Suchanek et de Antoine Amarilli. - Paris Saclay

Informatique

En préparation depuis le 15-09-2017
 thèse en cours de préparation
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

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

Accéder en ligne
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
Informatique

Soutenue le 30-05-2012
thèse soutenue

Résultats 1 à 10