Résultats 1 à 10

EXPORTER les résultats
S'ABONNER à theses.fr

Dates de soutenance :


Etablissements :

Valider et fermer
  • Université Grenoble Alpes (ComUE) (12)
  • Rennes 1 (6)
  • Université Paris-Saclay (ComUE) (5)
  • Université de Lorraine (4)
  • Lyon (3)
  • université Paris-Saclay (3)
  • Bordeaux (2)
  • Bourgogne Franche-Comté (2)
  • Cachan, Ecole normale supérieure (2)
  • Clermont Auvergne (2)
  • Grenoble (2)
  • Montpellier (2)
  • Paris Est (2)
  • Angers (1)
  • Artois (1)
  • Bourges, INSA Centre Val de Loire (1)
  • CentraleSupélec (1)
  • Chennai Mathematical Institute (1)
  • Clermont-Ferrand 2 (1)
  • Ecole centrale de Lille (1)
  • Institute of Computing Technologies (Pekin, Chine) (1)
  • Johann-Wolfgang-Goethe-Universität (Francfort-sur-le-Main, Allemagne) (1)
  • Lorient (1)
  • Nancy 1 (1)
  • Orléans (1)
  • Paris 6 (1)
  • Paris Sciences et Lettres (ComUE) (1)
  • Paris, Ecole normale supérieure (1)
  • Sorbonne Paris Cité (1)
  • Sorbonne université (1)
  • Strasbourg (1)
  • Toulouse 3 (1)
  • Toulouse, INPT (1)
  • Universidad técnica Federico Santa María (Valparaiso, Chili) (1)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (1)
  • University of Nebraska-Lincoln (1)
  • Université Grenoble Alpes (1)
  • Université Lomonossov (Moscou) (1)
  • Université du Luxembourg (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (49)
  • Mathématiques et Informatique (2)
  • Nanoélectronique et nanotechnologie (2)
  • Automatique, Génie informatique, Traitement du signal et Images (1)
  • Génomique et Ecologie Microbienne (1)
  • Informatique (STIC) (1)
  • Informatique et Télécommunications (1)
  • Informatique. Informatique fondamentale (1)
  • Nano electronique et nano technologies (1)
  • Nanoélectronique et nanotechnologie (1)
  • Pathologie, toxicologie, génétique et nutrition (1)
  • Physique des particules élémentaires (1)
  • Sciences de la vie et de la santé (1)
  • Stic (1)
  • Systèmes automatiques et micro-électroniques (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (9)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (5)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (4)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (4)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (4)
  • MATHSTIC (3)
  • École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....) (3)
  • École doctorale en Informatique et Mathématiques de Lyon (3)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (2)
  • École doctorale Informatique, télécommunications et électronique de Paris (2)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (2)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (2)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (2)
  • École doctorale Sciences et technologies de l'information et de la communication (2)
  • École doctorale Sciences pour l'Ingénieur (Lille) (2)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (2)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (2)
  • IAEM Lorraine (1)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (1)
  • École doctorale Physique et chimie-physique (Strasbourg ; 1994-....) (1)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (1)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (1)
  • École doctorale Sciences écologiques, vétérinaires, agronomiques et bioingénieries (Toulouse) (1)
  • École doctorale Structure et dynamique des systèmes vivants (Gif-sur-Yvette, Essonne ; 2015-....) (1)
  • École doctorale de mathématiques et informatique (1)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (1)
  • École doctorale des sciences de la vie, santé, agronomie, environnement (Clermont-Ferrand) (1)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (1)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (57)
  • français (12)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Seznec André (3)
  • Festor Olivier (2)
  • Fouque Pierre-Alain (2)
  • Kheddouci Hamamache (2)
  • Kucherov Gregory (2)
  • Pointcheval David (2)
  • Seba Lagraa Hamida (2)
  • Zergainoh Nacer-Eddine (2)
  • Allauzen Alexandre (1)
  • Artières Thierry (1)
  • Bardin Sébastien (1)
  • Beaudou Laurent (1)
  • Benoit Pascal (1)
  • Beroulle Vincent (1)
  • Bessière Christian (1)
  • Bichot Charles-Edmond (1)
  • Bidan Christophe (1)
  • Boeva Valentina (1)
  • Borrione Dominique (1)
  • Boucheret Marie-Laure (1)
  • Bouillaguet Charles (1)
  • Boulanger Frédéric (1)
  • Cappelle Cindy (1)
  • Chen Lin (1)
  • Choueiry Berthe Y. (1)
  • Collange Caroline (1)
  • Condotta Jean-François (1)
  • Couchot Jean-François (1)
  • Coussy Philippe (1)
  • D'Orazio Laurent (1)
  • Demri Stéphane P. (1)
  • Déharbe David (1)
  • Effantin dit Toussaint Brice (1)
  • El-Koursi El-Miloudi (1)
  • Engel Thomas (1)
  • Fernandez Jean-Claude (1)
  • Fontaine Pascal (1)
  • Fradet Pascal (1)
  • Fraigniaud Pierre (1)
  • François Jérôme (1)
  • Gallinari Patrick (1)
  • Gardent Claire (1)
  • Genevès Pierre (1)
  • Girault Alain (1)
  • Goubin Louis (1)
  • Géraud Thierry (1)
  • Hacid Mohand Saïd (1)
  • Hoeven Joris van der (1)
  • Jensen Thomas (1)
  • Joloboff Vania (1)
  • Jourdan Fabien (1)
  • Khoudour Louahdi (1)
  • Kumar Narayan (1)
  • Lafourcade Pascal (1)
  • Lauradoux Cédric (1)
  • Lozes Etienne (1)
  • Lyubashevsky Vadim (1)
  • Maabout Sofian (1)
  • Maiza Claire (1)
  • Maler Oded (1)
  • Mancini Stéphane (1)
  • Mazure Bertrand (1)
  • Melançon Guy (1)
  • Merz Stephan (1)
  • Minier Marine (1)
  • Monfroy Éric (1)
  • Monin Jean-François (1)
  • Monniaux David (1)
  • Morin-Allory Katell (1)
  • Médigue Claudine (1)
  • Naccache David (1)
  • Nguyen Benjamin (1)
  • Nicolaïdis Michael (1)
  • Oudjida Abdelkrim Kamel (1)
  • Peyret Pierre (1)
  • Pinaud Bruno (1)
  • Potet Marie-Laure (1)
  • Poulliat Charly (1)
  • Rami Fouad (1)
  • Rastello Fabrice (1)
  • Raynaud Olivier (1)
  • Roisin Cécile (1)
  • Ruichek Yassine (1)
  • Salamatian Kavé (1)
  • Saubion Frédéric (1)
  • Schnoebelen Philippe (1)
  • State Radu (1)
  • Stroth Joachim (1)
  • Termier Alexandre (1)
  • Todinca Ioan (1)
  • Torres Lionel (1)
  • Tran Nga (1)
  • Vallenet David (1)
  • Velazco Raoul (1)
  • Vereshchagin Nikolay (1)
  • Videau Marion (1)
  • Wolff Burkhart (1)
  • Xie Gaogang (1)
  • Zalko Daniel (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (53)
  • Sciences de l'ingénieur (7)
  • Informatique, information, généralités (2)
  • Sciences de la vie, biologie, biochimie (2)
  • Mathématiques (1)
  • Physique (1)
  • Médecine et santé (1)

Domaines :

Fullscreen

65 thèses pour Bit-vector encoding

Heuristiques et conjectures à propos de la 2-dimension des ordres partiels

par Kaoutar Ghazi sous la direction de Olivier Raynaud et de Laurent Beaudou. - Clermont Auvergne

Informatique

Soutenue le 29-09-2017
thèse soutenue

...lite-rature, there is the bit-vector encoding. In this thesis, we consider the problem ofcomputing a...

Accéder en ligne

Subgraph Isomorphism Search In Massive Graph Data

par Chems Eddine Nabti sous la direction de Hamida Seba Lagraa - Lyon

Informatique

Soutenue le 15-12-2017
thèse soutenue
Accéder en ligne

Obfuscation par expressions mixtes arithmético-booléennes : reconstruction, analyse et outils de simplification

par Ninon Eyrolles sous la direction de Louis Goubin et de Marion Videau. - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 30-06-2017
thèse soutenue

...techniques not directly relatedto MBA obfuscation.Bit-vector Size ExtensionThe result of the computations...

Accéder en ligne

Design, Optimization, and Formal Verification of Circuit Fault-Tolerance Techniques

par Dmitry Burlyaev sous la direction de Pascal Fradet et de Alain Girault. - Université Grenoble Alpes (ComUE)

Informatique

Soutenue le 26-11-2015
thèse soutenue
Accéder en ligne

Procédures de décision pour l'analyse de vulnérabilités

par Benjamin Farinier sous la direction de Marie-Laure Potet et de Sébastien Bardin. - Université Grenoble Alpes

Mathématiques et Informatique

Soutenue le 24-06-2020
thèse soutenue

...previousapproaches. The technique is based on three key components: A re-encoding of write sequences (total order) as...

Accéder en ligne

Efficient extreme classification

par Mouhamadou Moustapha Cisse sous la direction de Thierry Artières et de Patrick Gallinari. - Paris 6

Informatique

Soutenue le 25-07-2014
thèse soutenue

...functions are used to representeach ∈Lby a bit vector of size B with at most K non-zero bits, where each...

Accéder en ligne

Signatures : detecting and characterizing complex recurrent behavior in sequential data

par Clément Gautrais sous la direction de Alexandre Termier - Rennes 1

Informatique

Soutenue le 16-10-2018
thèse soutenue
Accéder en ligne

Tolérance aux fautes et fiabilité pour les réseaux sur puce 3D partiellement connectés

par Alexandre Augusto Da penha coelho sous la direction de Raoul Velazco et de Nacer-Eddine Zergainoh. - Université Grenoble Alpes (ComUE)

Nanoélectronique et nanotechnologie

Soutenue le 25-10-2019
thèse soutenue
Accéder en ligne

Conception et prototypage d'architectures robustes de tags RFID UHF

par Omar Abdelmalek sous la direction de Vincent Beroulle - Université Grenoble Alpes (ComUE)

Nanoélectronique et nanotechnologie

Soutenue le 20-10-2016
thèse soutenue
Accéder en ligne

On the Static Analysis for SPARQL Queries using Modal Logic

par Nicola Guido sous la direction de Cécile Roisin et de Pierre Genevès. - Université Grenoble Alpes (ComUE)

Informatique

Soutenue le 03-12-2015
thèse soutenue
Accéder en ligne

Résultats 1 à 10