Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble Alpes (10)
  • Paris Saclay (9)
  • Grenoble (7)
  • Université de Lorraine (5)
  • Lyon (4)
  • Sorbonne Paris Cité (4)
  • Grenoble 1 (3)
  • Paris 6 (3)
  • Aix-Marseille (2)
  • Bourges, INSA Centre Val de Loire (2)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (2)
  • Dijon (2)
  • Grenoble INPG (2)
  • Montpellier (2)
  • Normandie (2)
  • Paris 11 (2)
  • Paris, CNAM (2)
  • Toulouse 3 (2)
  • Angers (1)
  • Belfort-Montbéliard (1)
  • Brest (1)
  • Clermont Auvergne (1)
  • Côte d'Azur (1)
  • Institute of Computing Technologies (Pekin, Chine) (1)
  • La Rochelle (1)
  • Le Mans (1)
  • Lille 2 (1)
  • Littoral (1)
  • Lorient (1)
  • Nancy 1 (1)
  • Orléans (1)
  • Paris, EPHE (1)
  • Paris, INALCO (1)
  • Rennes, Agrocampus Ouest (1)
  • Rennes, Ecole nationale supérieure de chimie (1)
  • Sung Kyun Kwan university (Séoul) (1)
  • Toulouse 2 (1)
  • Universitas Diponegoro (Semarang) (1)
  • Università degli studi La Sapienza (Rome) (1)
  • Université Politehnica de Bucarest (1)
  • Université de Ngaoundéré (Cameroun) (1)
  • Université de Sherbrooke (Québec, Canada) (1)
  • Université libannaise de Beyrouth (1)
  • École Doctorale des Sciences et de Technologie (Beyrouth) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (34)
  • Chimie (2)
  • Energétique (2)
  • Micro et nano-électronique (2)
  • Mécanique des solides, des matériaux, des structures et des surfaces (2)
  • Mécanique et énergétique (2)
  • Sciences de la vie et de la santé (2)
  • Biochimie. Biotechnologie (1)
  • Biotechnologies (1)
  • Chimie - physique (1)
  • Chimie des matériaux (1)
  • Chimie et physico-chimie des matériaux (1)
  • Chimie inorganique et bio inorganique (1)
  • Chimie inorganique, de la molecule au materiau (1)
  • Droit public (1)
  • Génétique des cancers (1)
  • Géographie humaine et économique (1)
  • Géographie physique, humaine, économique et régionale (1)
  • Hydrologie, hydrogéologie, géostatistique et géochimie des eaux (1)
  • Informatique et sciences du langage (1)
  • Intelligence artificielle (1)
  • Mathématiques et Informatique (1)
  • Mathématiques et informatique (1)
  • Mécanique des fluides Energétique, Procédés (1)
  • Mécanique, génie mécanique (1)
  • Nanoélectronique et nanotechnologie (1)
  • Océan, Atmosphère, Hydrologie (CEOAH) (1)
  • Optique et photonique (1)
  • Physique (1)
  • Physique Théorique (1)
  • Physique de la matière condensée et du rayonnement (1)
  • Physique. Acoustique physique (1)
  • Science de l'aliment (1)
  • Sciences Vie Santé spécialité Biologie Cellulaire et Moléculaire (1)
  • Sciences de l'éducation (1)
  • Sciences du langage (1)
  • Sciences et technologie industrielles (1)
  • Sciences religieuses (1)
  • Sciences économiques (1)
  • Stic (1)
  • Systèmes automatiques et micro-électroniques (1)
  • Vision pour la Robotique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (7)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (6)
  • École doctorale Physique en Île-de-France (Paris) (3)
  • EMMA - Ecole Doctorale Energie - Mécanique - Matériaux (2)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (2)
  • Ecole doctorale Informatique de Paris-Sud (2)
  • École doctorale BioSE - Biologie, Santé, Environnement (2)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (2)
  • École doctorale Informatique, télécommunications et électronique (Paris) (2)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (2)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (2)
  • École doctorale Sciences et Ingénierie des Matériaux, Mécanique, Energétique et Aéronautique (Poitiers ; 2009-2018) (2)
  • École doctorale en Informatique et Mathématiques de Lyon (2)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (2)
  • École doctorale physique (Grenoble) (2)
  • École doctorale Énergie, Matériaux, Sciences de la Terre et de l'Univers (Centre-Val de Loire) (2)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (2)
  • Biologie-Santé (1)
  • Chimie et Sciences du Vivant (1)
  • Ecole doctorale Sciences et technologies (Orléans) (1)
  • Ed Sis 488 (1)
  • I2S - Information, Structures, Systèmes (1)
  • Sciences Chimiques Balard (1)
  • École Doctorale de Chimie (Lyon) (1)
  • École doctorale Agriculture, Alimentation, Biologie, Environnement, Santé (Paris ; 2015-....) (1)
  • École doctorale Carnot (Dijon ; .....-2012) (1)
  • École doctorale Carnot-Pasteur (Besançon ; Dijon ; 2012-....) (1)
  • École doctorale Comportement, Langage, Éducation, Socialisation, Cognition (Toulouse) (1)
  • École doctorale Euclide (La Rochelle ; 2018-....) (1)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (1)
  • École doctorale INTERFACES : approches interdisciplinaires / fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (1)
  • École doctorale Langage et langues (Paris) (1)
  • École doctorale Langues, littératures et sociétés du monde (Paris) (1)
  • École doctorale Matière, Molécules et Matériaux (Le Mans) (1)
  • École doctorale Ondes et Matière (Orsay, Essonne ; 2015-....) (1)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (1)
  • École doctorale Sciences de la matière, du rayonnement et de l'environnement (Villeneuve d'Ascq, Nord) (1)
  • École doctorale Sciences de la mer et du littoral (Plouzané) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (1)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (1)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (1)
  • École doctorale Vie-Agro-Santé (Rennes) (1)
  • École doctorale de l'École pratique des hautes études (Paris) (1)
  • École doctorale des Sciences Juridiques, Politiques et de Gestion (Lille) (1)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (1)
  • École doctorale langues, littératures et sciences humaines (Grenoble) (1)
  • École doctorale physiologie, physiopathologie et thérapeutique (1)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (1)
  • École doctorale terre, univers, environnement (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (53)
  • anglais (33)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Borrione Dominique (4)
  • Grau Brigitte (3)
  • Chetehouna Khaled (2)
  • Dubois Catherine (2)
  • Gascoin Nicolas (2)
  • Gigliotti Marco (2)
  • Morin-Allory Katell (2)
  • Adam Sébastien (1)
  • Adda Gilles (1)
  • Adouane Lounis (1)
  • Ah-Pine Julien (1)
  • Albuisson Eliane (1)
  • Amini Massih-Reza (1)
  • Anciaux Nicolas (1)
  • Aouezova Lizette Joumanazar (1)
  • Artières Thierry (1)
  • Aussenac-Gilles Nathalie (1)
  • Balarac Guillaume (1)
  • Benamara Farah (1)
  • Berruet Pascal (1)
  • Bhargavan Karthikeyan (1)
  • Blanchet Juliette (1)
  • Blazy Sandrine (1)
  • Blum Alain (1)
  • Boissier Olivier (1)
  • Bokova Maria (1)
  • Botella Olivier (1)
  • Bui Marc (1)
  • Bychkov Eugène (1)
  • Béchet Frédéric (1)
  • Béringhier Marianne (1)
  • Cabrio Elena (1)
  • Calvary Gaëlle (1)
  • Camelin Nathalie (1)
  • Cansell Dominique (1)
  • Cavazza Christine (1)
  • Charcosset Catherine (1)
  • Chareyre Bruno (1)
  • Collura Ada (1)
  • Dhahri Essebti (1)
  • Duffner Stefan (1)
  • Dumont Pierre (1)
  • Dupont Didier (1)
  • Dupuy-Chessa Sophie (1)
  • El Kissi Nadia (1)
  • Estève Yannick (1)
  • Favre Benoît (1)
  • Fesquet Laurent (1)
  • Fradet Pascal (1)
  • Franck Manuelle (1)
  • Gangemi Aldo (1)
  • Garcia Christophe (1)
  • Gardiès Cécile (1)
  • Garrault-Gauffinet Sandrine (1)
  • Ghassan Ibrahim (1)
  • Girard Patrick (1)
  • Girault Alain (1)
  • Greige-Gerges Hélène (1)
  • Groote Philippe de (1)
  • Guidère Mathieu (1)
  • Hadrich Belguith Lamia (1)
  • Harthong Barthélémy (1)
  • Harvey Pierre D. (1)
  • Hlil El Kebir (1)
  • Hubert Gilles (1)
  • Joloboff Vania (1)
  • Jugé Sylvain (1)
  • Larcher Gérald (1)
  • Lavenue Jean-Jacques (1)
  • Le Cloirec Pierre (1)
  • Le Floc'h Pascal (1)
  • Le Thanh Nhan (1)
  • Lee Sukhan (1)
  • Lesage Denis (1)
  • Levet Jean-Pierre (1)
  • Lottin Olivier (1)
  • Loudcher Rabaseda Sabine (1)
  • Lucas Dominique (1)
  • Luporsi Elisabeth (1)
  • Lupu Anatole (1)
  • Madsen Anders L. (1)
  • Mahboubi Assia (1)
  • Manier Marie-Ange (1)
  • Maranzana Gaël (1)
  • Marcel Jean-François (1)
  • Marchi-Delapierre Caroline (1)
  • Marché Claude (1)
  • Marrou Louis (1)
  • Masetti-Rouault Maria Grazia (1)
  • Mateescu Radu (1)
  • Miller Dale (1)
  • Monin Jean-François (1)
  • Moriceau Véronique (1)
  • Naoufal Daoud (1)
  • Nasr Alexis (1)
  • Neuvéglise Cécile (1)
  • Nonat André (1)
  • Oquendo Flavio (1)
  • Pannier Yannick (1)
  • Pauchet Alexandre (1)
  • Peltier Nicolas (1)
  • Pesty Sylvie (1)
  • Peter Patrick (1)
  • Pierre Laurence (1)
  • Pogodalla Sylvain (1)
  • Prada Claire (1)
  • Pucheral Philippe (1)
  • Quilliet Catherine (1)
  • Ramboz Claire (1)
  • Ramdane Abderrahim (1)
  • Rebiscoul Diane (1)
  • Rosset Sophie (1)
  • Roux Denis (1)
  • Salamatian Kavé (1)
  • Serwe Wendelin Bernhard (1)
  • Skali-Lami Salaheddine (1)
  • Soetomo Sugiono (1)
  • Soutif Eric (1)
  • Stella Fulvio (1)
  • Tellier Isabelle (1)
  • Toguyeni Abdoul Karim Armand (1)
  • Varin-Blank Nadine (1)
  • Virazel Arnaud (1)
  • Xie Gaogang (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (34)
  • Sciences de l'ingénieur (17)
  • Physique (10)
  • Chimie, minéralogie, cristallographie (7)
  • Informatique, information, généralités (4)
  • Sciences de la vie, biologie, biochimie (3)
  • Sciences de la terre (2)
  • Médecine et santé (2)
  • Economie (1)
  • Droit (1)
  • Education et enseignement (1)
  • Langues et linguistique (1)
  • Linguistique générale (1)
  • Autres langues (1)
  • Sciences de la nature et mathématiques (1)
  • Technologie (Sciences appliquées) (1)
  • Génie chimique, technologies alimentaires (1)
  • Géographie et histoire (1)
  • Géographie et voyages (1)
  • Histoire ancienne et préhistoire (1)

Domaines :

Fullscreen

81 thèses pour "Acl2"

...forthe ANE- loaded liposomes after 3 months. For ACL2, the sizeincreased from 150 nm to 180 nm after...

Accéder en ligne
Micro et nano-électronique

Soutenue en 2006
thèse soutenue

.../ 15Chapitre 4Acl2:Omsonédu-.Gv,TxPVNLqSMBDzkgI03;978152Diagnostc d Iervl m (2013) 94, 7—8REVW / Muk CT...

Accéder en ligne
Informatique

Soutenue le 10-07-2013
thèse soutenue

...used to perform the certification on the formalmodel itself: Coq in our case; ACL2, HOL, etc. in other...

Accéder en ligne

....Algorithm Ruleset(size) Memory size Mem. accessesHyperSplit ACL1 100K 2.12MB 32ACL2 100K 83MB 43EffiCuts ACL1 100K 3...

Accéder en ligne

Résultats 1 à 10