Résultats 1 à 10

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

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

Accéder en ligne
Informatique

Soutenue le 15-12-2017
thèse soutenue

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

Accéder en ligne
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
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
Nanoélectronique et nanotechnologie

Soutenue le 20-10-2016
thèse soutenue

Résultats 1 à 10