Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Nantes (26)
  • Toulouse, INPT (15)
  • Rennes 1 (14)
  • Paris 6 (12)
  • Toulouse 3 (12)
  • Nice (11)
  • Orléans (10)
  • Artois (9)
  • Paris 7 (9)
  • Compiègne (8)
  • Montpellier (8)
  • Toulouse, ISAE (8)
  • Université Grenoble Alpes (ComUE) (8)
  • Caen (7)
  • Ecole centrale de Lille (7)
  • Montpellier 2 (7)
  • Nantes, Ecole des Mines (7)
  • Normandie (7)
  • Aix-Marseille 2 (6)
  • Angers (6)
  • Avignon (6)
  • Clermont-Ferrand 2 (6)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (6)
  • Belfort-Montbéliard (5)
  • Dijon (5)
  • Grenoble 1 (5)
  • Lyon, INSA (5)
  • Paris 13 (5)
  • Tours (5)
  • Troyes (5)
  • Besançon (4)
  • Bourgogne Franche-Comté (4)
  • Châtenay-Malabry, Ecole centrale de Paris (4)
  • Grenoble (4)
  • Lille 1 (4)
  • Lyon (4)
  • Paris 11 (4)
  • Toulouse, INSA (4)
  • Université de Lorraine (4)
  • Valenciennes (4)
  • Bordeaux 1 (3)
  • Clermont Auvergne (3)
  • Nancy 1 (3)
  • Paris Est (3)
  • Paris Sciences et Lettres (3)
  • Paris, ENMP (3)
  • Reims (3)
  • Sorbonne université (3)
  • Toulouse, ENSAE (3)
  • Université Côte d'Azur (ComUE) (3)
  • Université Paris-Saclay (ComUE) (3)
  • Vandoeuvre-les-Nancy, INPL (3)
  • Versailles-St Quentin en Yvelines (3)
  • Brest (2)
  • Ecole nationale des Mines d'Albi-Carmaux (2)
  • Lorient (2)
  • Lyon 1 (2)
  • Palaiseau, Ecole polytechnique (2)
  • Paris 1 (2)
  • Rouen (2)
  • Aix-Marseille 1 (1)
  • Amiens (1)
  • Bordeaux (1)
  • Bourges, INSA Centre Val de Loire (1)
  • Brest, École nationale supérieure de techniques avancées Bretagne (1)
  • Cachan, Ecole normale supérieure (1)
  • Centre d'études doctorales en sciences et technologies (Rabat) (1)
  • Corte (1)
  • ENSMP (1)
  • Ecole Centrale de Lille (1)
  • Ecole nationale des sciences appliquées (Agadir) (1)
  • Evry, Institut national des télécommunications (1)
  • Evry-Val d'Essonne (1)
  • Institut Supérieur de Gestion de Sousse (1)
  • Institut polytechnique de Paris (1)
  • La Réunion (1)
  • Laboratoire de recherche de Mécanique, Modélisation et Production (Sfax, Tunisie) (1)
  • Le Havre (1)
  • Lille, Université des Sciences et technologies de Lille (1)
  • Littoral (1)
  • Paris 9 (1)
  • Paris, CNAM (1)
  • Paris, ENSAM (1)
  • Saint-Etienne, EMSE (1)
  • Sorbonne Paris Cité (1)
  • Toulouse 1 (1)
  • University of Sheffield (1)
  • Université Mohamed V (1)
  • Université Sidi Mohamed ben Abdellah (Fès, Maroc). Faculté des Sciences et Techniques (1)
  • Université Sidi Mohamed ben Abdellah (Fès, Maroc). Faculté des lettres (Saïs-Fès, Maroc) (1)
  • Université catholique de Louvain (1970-....) (1)
  • Université d'Oran (1)
  • Université d'Oran Es-Senia (Algérie) (1)
  • Université de Beihang (1)
  • Université de Tunis El-Manar. Faculté des Sciences de Tunis (Tunisie) (1)
  • Université européenne de Bretagne (1)
  • École nationale d'ingénieurs de Sfax (Tunisie) (1)
  • École nationale d'ingénieurs de Tunis (Tunisie) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (192)
  • Informatique et applications (15)
  • Sciences appliquées (12)
  • Systèmes industriels (6)
  • Génie industriel (5)
  • Optimisation et Sûreté des Systèmes (5)
  • Mathématiques appliquées (4)
  • Automatique et informatique industrielle (3)
  • Intelligence Artificielle (3)
  • Intelligence artificielle (3)
  • Mathématiques et Informatique (3)
  • Réseaux, télécom, système et architecture (3)
  • Sciences et techniques (3)
  • Technologies de l'information et des systèmes (3)
  • Automatique et informatique (2)
  • Automatique et informatique appliquée (2)
  • Automatique, génie informatique, traitement du signal et images (2)
  • Contrôle des systèmes (2)
  • Génie industriel conception et production (2)
  • Informatique et applications (2)
  • Informatique temps réel, robotique et automatique (2)
  • Mathématiques (2)
  • Robotique et Informatique (2)
  • Stic (2)
  • Technologies de l'Information et des Systèmes (2)
  • Sciences de l'ingénieur (1)
  • ATS - Automatique et Traitement de Signal (1)
  • Aide à la décision (1)
  • Analyse et modélisation des systèmes biologiques (1)
  • Automatique (1)
  • Automatique et Informatique industrielle (1)
  • Automatique et informatique des systèmes industriels et humains. Informatique (1)
  • Automatique et productique (1)
  • Automatique, Traitement du signal et des images, Génie Informatique (1)
  • Automatique, Traitement du signal et des images, Génie informatique (1)
  • Automatique, génie informatique, traitement du signal et image (1)
  • Automatique, signal, productique, robotique (1)
  • Automatique, traitement du signal et des images (1)
  • BioInformatique (1)
  • Contrôle, optimisation, prospective (1)
  • Ecologie des communautés (1)
  • Electronique, microelectronique, optique et lasers, optoelectronique microondes robotique (1)
  • Energétique et Procédés (1)
  • Energétique et procédés (1)
  • Génie Industriel (1)
  • Génie Industriel : conception et production (1)
  • Génie Informatique (1)
  • Génie civil (1)
  • Génie civil et sciences de l'habitat (1)
  • Génie informatique (1)
  • Génie informatique, automatique et traitement du signal (1)
  • Génie électrique (1)
  • Info - Informatique (1)
  • Informatique : Unité de recherche Heudyasic (UMR-7253) (1)
  • Informatique appliquée. Recherche opérationnelle (1)
  • Informatique et Génie Industriel (1)
  • Informatique et Robotique (1)
  • Informatique et Systèmes embarqués (1)
  • Informatique et génie industriel (1)
  • Informatique et mathématiques (1)
  • Informatique et mathématiquesInformatique et mathématiques (1)
  • Informatique et réseaux (1)
  • Informatique et télécommunications (1)
  • Informatique industrielle (1)
  • Informatique industrielle et automatiqueInformatique industrielle et automatique (1)
  • Informatique, données, IA (1)
  • Informatique, systèmes d'information (1)
  • Informatique. Contraintes (1)
  • Informatique. Intelligence artificielle (1)
  • Informatique. Interaction homme-machine (1)
  • Informatique. Programmation par contraintes (1)
  • Ingénierie informatique (1)
  • Mathématiques appliquées et calcul scientifique (1)
  • Modèles, méthodes et algorithmes en biologie, santé et environnement (1)
  • Mécanique et ingénierie (1)
  • Méthodes et instrumentation pour la médecine et la biologie (1)
  • Pathologie et recherche clinique (1)
  • Productique (1)
  • Productique, automatique et informatique industrielle (1)
  • Productique, automatique et informatique industrielleProductique, automatique et informatique industrielle (1)
  • Programmation (1)
  • Programmation et systèmes (1)
  • Représentation de la connaissance et formalisation du raisonnement (1)
  • Robotique (1)
  • Réseaux, télécoms, systèmes et architecture (1)
  • SInformatique (1)
  • SYAM - Systèmes Automatiques et Micro-Électroniques (1)
  • Science et agronomie. Informatique (1)
  • Science pour l'environnement. Informatique (1)
  • Sciences Pour l'Ingénieur (1)
  • Sciences et génie des activités à risques (1)
  • Sciences et techniques. Sciences et techniques communes (1)
  • Sciences et technologie industrielles (1)
  • Sciences et technologies industrielles (1)
  • Sciences pour l'Ingénieur (1)
  • Sciences pour l'ingénieur (1)
  • Sciences. Informatique (1)
  • Signal, Image, Acoustique et Optimisation (1)
  • Sureté de Logiciel et Calcul à Haute Performance (1)
  • Systèmes (1)
  • Systèmes Informatiques (1)
  • Systèmes embarqués et Robotique (1)
  • Systèmes indusriels et systèmes informatiques (1)
  • Sûreté de logiciel et calcul à haute performance (1)
  • Techniques et Économie de l'exploitation du sous-sol (1)
  • sciences appliquées option génie des procédés (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Sciences pour l'Ingénieur (Lille) (17)
  • École doctorale sciences et technologies de l'information et des matériaux (Nantes) (17)
  • École doctorale Systèmes (Toulouse) (13)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (11)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (9)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (9)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (8)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (8)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (8)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (8)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (7)
  • École doctorale en Informatique et Mathématiques de Lyon (7)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (7)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (6)
  • Ecole doctorale Sciences pour l'Ingénieur (Troyes, Aube) (5)
  • I2S - Information, Structures, Systèmes (5)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (5)
  • Sciences et Technologies de l'Information et Mathématiques (5)
  • École doctorale Informatique, télécommunications et électronique de Paris (5)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (5)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (4)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (4)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (4)
  • École doctorale Sciences pour l'Ingénieur (Châtenay-Malabry, Hauts de Seine) (3)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (3)
  • Ecole doctorale Informatique de Paris-Sud (2)
  • Ecole doctorale Sciences et technologies (Orléans) (2)
  • Ecole doctorale sciences et technologies de Versailles (2010-2015) (2)
  • Informatique, télécommunications et électronique de Paris (2)
  • Sciences et technologie de l'information et mathématiques (2)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (2)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (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 ; 2015-....) (2)
  • École doctorale structures, informations, matière et matériaux (Caen1992-2016) (2)
  • Biodiversité, Agriculture, Alimentation, Environnement, Terre, Eau (Montpellier ; École Doctorale ; 2015-...) (1)
  • ED Sciences Pour l'Ingénieur (n°72) (1)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (1)
  • Ecole doctorale Sciences du Numérique et de lu2019Ingénieur (1)
  • Ecole doctorale Sciences du Numérique et de l’Ingénieur (Reims, Marne) (1)
  • MATHSTIC (1)
  • Mathématiques et STIC (1)
  • SPIM - Sciences Physiques pour l'Ingénieur et Microtechniques (1)
  • STIC - Sciences et technologies de l’information et de la communication (1)
  • SVS - Sciences de la Vie et de la Santé (1)
  • École Doctorale Evolution Ecosystèmes Microbiologie Modélisation (1)
  • École doctorale 536 « Sciences et agrosciences » (Avignon) (1)
  • École doctorale E2S Environnements, Santé, STIC (Dijon ; ....-2012) (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 Sciences Mécaniques et Energétiques, Matériaux et Géosciences (Cachan, Val-de-Marne ; 2015-....) (1)
  • École doctorale Sciences et Ingénierie, Matériaux, Modélisation et Environnement (Champs-sur-Marne, Seine-et-Marne) (1)
  • École doctorale Sciences mathématiques de Paris centre (Paris) (1)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (1)
  • École doctorale de l'Institut polytechnique de Paris (1)
  • École doctorale des sciences physiques et de l’ingénieur (Talence, Gironde) (1)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (1)
  • École doctorale physique, sciences de l’Ingénieur, matériaux, énergie (Saint-Etienne du Rouvray, Seine Maritime) (1)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (1)
  • École doctorale structures, informations, matière et matériaux (Caen ; 1992-2016) (1)
  • École doctorale Électronique, électrotechnique, automatique (Lyon) (1)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (284)
  • anglais (69)
  • null (3)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Boizumault Patrice (14)
  • Fages François (11)
  • Jussien Narendra (9)
  • Beldiceanu Nicolas (7)
  • Benhamou Frédéric (6)
  • Michelon Philippe (6)
  • Solnon Christine (6)
  • Aldanondo Michel (5)
  • Lecoutre Christophe (5)
  • Rueher Michel (5)
  • Artigues Christian (4)
  • Caminada Alexandre (4)
  • Hammadi Slim (4)
  • Lallouet Arnaud (4)
  • Monfroy Éric (4)
  • Baptiste Philippe (3)
  • Bessière Christian (3)
  • Chabrier Jacqueline (3)
  • Charot François (3)
  • Crémilleux Bruno (3)
  • Durand Nicolas (3)
  • Feillet Dominique (3)
  • Gotlieb Arnaud (3)
  • Guéret Christelle (3)
  • Jaulin Luc (3)
  • Lacomme Philippe (3)
  • Michel Claude (3)
  • Pralet Cédric (3)
  • Siegel Anne (3)
  • Van Caneghem Michel (3)
  • Verfaillie Gérard (3)
  • Wolinski Christophe (3)
  • Yim Pascal (3)
  • Audemard Gilles (2)
  • Baala Oumaya (2)
  • Borne Pierre (2)
  • Boukachour Jaouad (2)
  • Cabon Bertrand (2)
  • Chabrier Jean-Jacques (2)
  • Codognet Philippe (2)
  • Collavizza Hélène (2)
  • Colmerauer Alain (2)
  • David Philippe (2)
  • Demongeot Jacques (2)
  • Deransart Pierre (2)
  • Desainte-Catherine Myriam (2)
  • Dolgui Alexandre (2)
  • El Hilali Alaoui Ahmed (2)
  • El-Koursi El-Miloudi (2)
  • Finke Gerd (2)
  • Goualard Frédéric (2)
  • Granvilliers Laurent (2)
  • Grunder Olivier (2)
  • Guinet Alain (2)
  • Hadj Hamou Khaled (2)
  • Hebrard Emmanuel (2)
  • Houssin Laurent (2)
  • Huchard Marianne (2)
  • Jensen Thomas (2)
  • Jouglet Antoine (2)
  • Julliand Jacques (2)
  • Legeard Bruno (2)
  • Lopez Pierre (2)
  • Lorca Xavier (2)
  • Mancini Stéphane (2)
  • Mandiau René (2)
  • Naud Olivier (2)
  • Negny Stéphane (2)
  • Neveu Bertrand (2)
  • Noailles Joseph (2)
  • Norre Sylvie (2)
  • Pagetti Claire (2)
  • Parissis Ioannis (2)
  • Prins Christian (2)
  • Prodhon Caroline (2)
  • Quilliot Alain (2)
  • Ramel Jean-Yves (2)
  • Rolland Colette (2)
  • Régin Jean-Charles (2)
  • Sallantin Jean (2)
  • Saubion Frédéric (2)
  • Sevaux Marc (2)
  • Trombettoni Gilles (2)
  • Vrain Christel (2)
  • Weil Georges (2)
  • Yannou Bernard (2)
  • Zoughaib Assaad (2)
  • Abboudi Saïd (1)
  • Abdulrab Habib (1)
  • Abid Mohamed (1)
  • Agon Carlos (1)
  • Akil Mohamed (1)
  • Aknine Samir (1)
  • Alamir Mazen (1)
  • Albert Patrick (1)
  • Anciaux Didier (1)
  • Assayag Gérard (1)
  • Aubry Philippe (1)
  • Auroux Didier (1)
  • Aït-Ameur Yamine (1)
  • BENEJAM J.-P. (1)
  • Bampis Evripidis (1)
  • Barakat Oussama (1)
  • Baudry Benoit (1)
  • Bel Gérard (1)
  • Belhareth Mustapha (1)
  • Bellahsene Zohra (1)
  • Ben Atitallah Rabie (1)
  • Ben Othman Jalel (1)
  • Bennaceur Hachemi (1)
  • Bennis-Zeitouni Karine (1)
  • Benrejeb Mohamed (1)
  • Berrani Sid-Ahmed (1)
  • Berthomé Pascal (1)
  • Bessiere Christian (1)
  • Bessy Stéphane (1)
  • Bigeon Jean (1)
  • Birnbaum Philippe (1)
  • Bockmayr Alexander (1)
  • Bocquet Jean-Claude (1)
  • Bosq Denis (1)
  • Boudouh Toufik (1)
  • Boufflet Jean-Paul (1)
  • Boukhobza Jalil (1)
  • Boulanger Frédéric (1)
  • Boulay Guy (1)
  • Boulaye Guy (1)
  • Bourdeaud'huy Thomas (1)
  • Bourreau Eric (1)
  • Bouveret Sylvain (1)
  • Bouyakhf El-Houssine (1)
  • Boy Guy (1)
  • Branlant Christiane (1)
  • Breton Vincent (1)
  • Briot Jean-Pierre (1)
  • Buhé Catherine (1)
  • Bui Alain (1)
  • Cafieri Sonia (1)
  • Caillaud Emmanuel (1)
  • Cambazard Hadrien (1)
  • Carlier Jacques (1)
  • Casallas Gutiérrez Rubby (1)
  • Caseau Yves (1)
  • Cegarra Julien (1)
  • Chachoua Mohamed (1)
  • Charoy François (1)
  • Charpillet François (1)
  • Claisse Gauthier (1)
  • Coletta Rémi (1)
  • Comet Jean-Paul (1)
  • Cooper Martin (1)
  • Cooper Martin C. (1)
  • Costa Marie-Christine (1)
  • Craye Étienne (1)
  • Crestani Didier (1)
  • Da Costa Georges (1)
  • Dang Tran Frédéric (1)
  • Danis Michel (1)
  • Dao Thi Bich Hanh (1)
  • Debay Patrick (1)
  • Dejax Pierre (1)
  • Delahaye Jean-Paul (1)
  • Delaunay Franck (1)
  • Delmas Rémi (1)
  • Denoeux Thierry (1)
  • Deplanche Anne-Marie (1)
  • Derbel Bilel (1)
  • Detienne Boris (1)
  • Deville Yves (1)
  • Di Mascolo Maria (1)
  • Di Pompeo Christophe (1)
  • Directeur de thèse inconnu (1)
  • Douence Rémi (1)
  • Ducournau Roland (1)
  • Dugardin Frédéric (1)
  • Duhamel Andréa Cynthia (1)
  • Duhamel Christophe (1)
  • Duvivier David (1)
  • Erschler Jacques (1)
  • Esling Philippe (1)
  • Esquirol Patrick (1)
  • Eveillard Damien (1)
  • Ferrand Gérard (1)
  • Filali Mamoun (1)
  • Fleury Gérard (1)
  • Fonlupt Cyril (1)
  • Fouque Pierre-Alain (1)
  • Fourneau Jean-Michel (1)
  • Frein Yannick (1)
  • Fribourg Laurent (1)
  • Fréville Arnaud (1)
  • Galinier Philippe (1)
  • Gayon Jean-Philippe (1)
  • Gentina Jean-Claude (1)
  • Ghallab Malik (1)
  • Giacometti Arnaud (1)
  • Gianazza David (1)
  • Giavitto Jean-Louis (1)
  • Giorgetti Alain (1)
  • Giraudeau Patrick (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (246)
  • Sciences de l'ingénieur (96)
  • Mathématiques (13)
  • Informatique, information, généralités (11)
  • Gestion et organisation de l'entreprise (9)
  • Sciences de la vie, biologie, biochimie (7)
  • Sciences de la nature et mathématiques (6)
  • Technologie (Sciences appliquées) (5)
  • Physique (2)
  • Médecine et santé (2)
  • Fabrication industrielle (2)
  • Bibliothéconomie et sciences de l'information (1)
  • Statistiques générales (1)
  • Commerce, communications, transports (1)
  • Agronomie, agriculture et médecine vétérinaire (1)
  • Bâtiments (1)

Domaines :

Fullscreen
Informatique. Programmation par contraintes

Soutenue en 2006
thèse soutenue
Informatique

Soutenue le 08-07-2015
thèse soutenue

...’applicationLa programmation par contraintes est une technique de résolution de problèmes qui vientde l...

Accéder en ligne
Informatique

Soutenue le 10-12-2014
thèse soutenue

...Programmation par Contraintes (PPC) pourmodéliser les tâches de clustering sous contraintes utilisateur...

Accéder en ligne

A Combination of Abstract Interpretation and Constraint Programming

par Ghiles nacer Ziat sous la direction de Antoine Mine et de Andrea Pinna. - Sorbonne université

Informatique

Soutenue le 03-07-2019
 thèse en cours de préparation

.... . . . . . . . . . . . . 252 État de l'art sur le parallélisme en Programmation Par Contraintes...

Accéder en ligne
Sciences et techniques. Sciences et techniques communes

Soutenue en 1999
thèse soutenue

...déploiementsde Copilote. Nous proposons d’utiliser la programmation par contraintes pourcela, afin de pouvoir...

Accéder en ligne

Résultats 1 à 10