Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Documentation
Episciences.org
Sciencesconf.org
Support
Connexion
Connexion
Créer un compte
Mot de passe oublié ?
Login oublié ?
fr
en
Accueil
Dépôt
Consulter
Les derniers dépôts
Par discipline
Par date de soutenance
Consultation par collections
Recherche
Documentation HAL
Recherche
Filtres
Structure : Identifiant HAL de la structure ×
Mots-clés ×
Tous ×
68 résultats
enregistrer la recherche
Type de document
Thèse
(64)
HDR
(4)
Auteur
Abdelfattah Abouelaoualim
(1)
Ali Ayad
(1)
Ammar Oulamara
(1)
Benoît Gérard
(1)
Bryan Brancotte
(1)
Christian Konrad
(1)
Clément Dunand
(1)
Cédric Saule
(1)
Cédric Tavernier
(1)
Céline Blondeau
(1)
Damien Stehlé
(1)
Diego Fasoli
(1)
Dimitrios Milioris
(1)
Emilien Ghomi
(1)
Erika De Benedetti
(1)
Fanny Dufossé
(1)
Fatima Zahra Moataz
(1)
Florent Bouchez
(1)
François Bonnet
(1)
Giulio Pellitta
(1)
Guillaume Bonfante
(1)
Guillaume Ducoffe
(1)
Guillaume Hoffmann
(1)
Hélène Renard
(1)
Irénée Briquel
(1)
Jean-Alexandre Anglès d'Auriac
(1)
Julio Araujo
(1)
Laurent Lyaudet
(1)
Leonardo Sampaio
(1)
Liliana Cucu
(1)
Lin Ma
(1)
Loïck Magnin
(1)
Luca De Feo
(1)
Luis Peñaranda
(1)
Marc Kaplan
(1)
Marie-Emilie Voge
(1)
Matthieu Perrinel
(1)
Nicolas Le Scouarnec
(1)
Olivier Bournez
(1)
Pablo Enrique Sartor del Giudice
(1)
Paul Renaud-Goud
(1)
Paulin Fournier
(1)
Paulo Vieira Milreu
(1)
Philippe Aubry
(1)
Ramakrishna Upadrasta
(1)
Rémy Thomasse
(1)
Romain Pechoux
(1)
Ruijing Hu
(1)
Santiago Zanella-Béguelin
(1)
Sébastien Tavenas
(1)
Veronika Rehn-Sonigo
(1)
Vincent Herbert
(1)
Vincent Nesme
(1)
Xavier Zeitoun
(1)
Bart Lamiroy
(1)
Boris Yakobowski
(1)
Bruno Grenet
(1)
Dario Prandi
(1)
David Ilcinkas
(1)
Dorian Mazauric
(1)
Guillaume Moroz
(1)
Hugo Férée
(1)
Julien Fondrevelle
(1)
Pierre Lairez
(1)
Monique Teillaud
(1)
Olivier Laurent
(1)
Pierre Senellart
(1)
Pierre-Jean Spaenlehauer
(1)
Domaine
Informatique [cs]
(61)
Mathématiques [math]
(13)
Sciences du Vivant [q-bio]
(3)
Économie et finance quantitative [q-fin]
(1)
Sciences de l'ingénieur [physics]
(1)
Laboratoire
Laboratoire de l'Informatique du Parallélisme
(13)
Inria Sophia Antipolis - Méditerranée
(12)
Laboratoire de Recherche en Informatique
(12)
Inria Paris-Rocquencourt
(10)
Laboratoire Lorrain de Recherche en Informatique et ses Applications
(9)
Inria Saclay - Ile de France
(7)
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
(7)
INRIA Lorraine
(4)
Inria Grenoble - Rhône-Alpes
(4)
Inria Nancy - Grand Est
(4)
Institut de Recherche en Informatique et Systèmes Aléatoires
(4)
Inria Rennes – Bretagne Atlantique
(3)
Laboratoire d'Informatique de Paris 6
(3)
Institut de Recherche Mathématique de Rennes
(2)
Laboratoire d'informatique de l'École polytechnique [Palaiseau]
(2)
Laboratoire de Biométrie et Biologie Evolutive
(2)
Alcatel-Lucent Bell Labs France [Nozay]
(1)
Centre de Mathématiques Appliquées - Ecole Polytechnique
(1)
Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
(1)
Dipartimento di Scienze dell'Informazione [Bologna]
(1)
Graphisme, Vision et Robotique
(1)
Laboratoire Jean Alexandre Dieudonné
(1)
Laboratoire d'Informatique Fondamentale de Lille
(1)
Laboratoire d'informatique Algorithmique : Fondements et Applications
(1)
Laboratoire d'informatique de l'école normale supérieure
(1)
Laboratory of Information, Network and Communication Sciences
(1)
Parallelism, Graphs and Optimization Research Group
(1)
SMAC
(1)
Technicolor R & I [Cesson Sévigné]
(1)
Langue
français
(39)
anglais
(29)
Mot-clé
Complexité
(32)
Complexity
(24)
Type de dépôt
Document
(68)
Année
2016
(1)
2015
(8)
2014
(4)
2013
(7)
2012
(7)
2011
(8)
2010
(10)
2009
(4)
2008
(2)
2007
(5)
2006
(4)
2005
(3)
2004
(2)
2000
(1)
1998
(1)
1991
(1)
Rechercher
Recherche avancée…
Recherche simple…
Champ de recherche par défaut (multicritères)
Champ de recherche par défaut (multicritères)
Champ de recherche par défaut (multicritères) + texte intégral des PDF
Titres
Sous-titre
Titre de l'ouvrage
Résumé
Texte intégral indexé des documents PDF
Mots-clés
Tous les identifiants du document
Identifiant HAL du dépôt
Langue du document (texte)
Pays (Texte)
Ville
Auteur (multicritères)
Auteur : Nom complet
Auteur : Nom de famille
Auteur : Prénom
Auteur : Complément de nom, deuxième prénom
Auteur : Organisme payeur
Auteur : IdHal (chaîne de caractères)
Auteur : Fonction
Auteur : idHal numérique
Auteur : Identifiant
Auteur : Identifiant de l'organisme payeur
Auteur : Identifiant de la structure
Directeur de thèse
Éditeur
Éditeur scientifique
Éditeur de la série
Revues (multicritères)
Revue : Éditeur
Revue : Titre abrégé
Revue : Titre
Revue : Identifiant interne
Revue : Date de début de publication
Revue : ISSN électronique
Revue : ISSN
Revue : Éditeur
Revue : Couleur dans SHERPA/RoMEO
Revue : État dans le référentiel
Colloque (multicritères)
Colloque : Titre
Colloque : Organisateur
Colloque : date de début (Année)
Colloque : date de fin (Année)
Projets ANR (multicritères)
Projet ANR : Acronyme
Projet ANR : Acronyme de l'appel à projet
Projet ANR : Nom de l'appel à projet
Projet ANR : Référence
Projet ANR : Nom
Projet ANR : Identifiant interne
Projet ANR : État dans le référentiel
Projets européens (multicritères)
Projet européen : Acronyme
Projet européen : Identifiant de l'appel à projet
Projet européen : Référence
Projet européen : Nom
Projet européen : Date de fin
Projet européen : Financement
Projet européen : Date de début
Projet européen : État dans le référentiel
Projet européen : Identifiant interne
Structure (multicritères)
Structure : Acronyme
Structure : Nom
Structure : Code
Structure : Pays
Structure : Type
Structure : État dans le référentiel
Structure : Identifiant HAL de la structure
Date de publication : année
Date de mise en ligne : année
Date d'écriture : année
Date de modification du dépôt : année
Date de dépôt : année
Date de publication électronique : année
Collection HAL (multicritères)
Collection HAL : catégorie
Collection HAL : Code
Collection HAL : Nom
Collection HAL : Identifiant interne
Identifiant interne du contributeur/déposant
Nom complet du contributeur/déposant
Domaines
Domaine primaire
Domaine racine
Sous-domaine niveau 1
Sous-domaine niveau 2
Sous-domaine niveau 3
Statut du document
Version du document
Type de dépôt
Type de document
ISBN
Numéro - référence
Identifiant DOI
Classification
Audience
Vulgarisation
Comité de lecture - texte (oui ou non)
Actes de colloque
Référence interne
Financement
Collaborations
Enregistrement réussi
Mes recherches enregistrées / mes alertes
Une erreur est survenue lors de l'enregistrement
1
2
3
Tri
Pertinence
Auteur A→Z
Auteur Z→A
Titre A→Z
Titre Z→A
Date de publication croissante
Date de publication décroissante
Date de dépôt croissante
Date de dépôt décroissante
Nombre
30 résultats par page
50 résultats par page
100 résultats par page
Outils
Pour les 68 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
tel-00011150
v1
Thèse
Damien Stehlé
.
Algorithmique de la réduction de réseaux et application à la recherche de pires cas pour l'arrondi de fonctions mathématiques
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2005. Français
tel-00412139
v1
Thèse
David Ilcinkas
.
Complexité en espace de l'exploration de graphes
Informatique [cs]. Université Paris Sud - Paris XI, 2006. Français
tel-00424118
v1
Thèse
Veronika Rehn-Sonigo
.
Multi-criteria Mapping and Scheduling of Workflow Applications onto Heterogeneous Platforms
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2009. English
tel-00281533
v1
Thèse
Abdelfattah Abouelaoualim
.
EXPLORATION DES GRAPHES ARETES-COLOREES : TOPOLOGIE, ALGORITHMES, COMPLEXITE ET (NON)-APPROXIMABILITE
Informatique [cs]. Université Paris Sud - Paris XI, 2007. Français
tel-00123104
v1
HDR
Olivier Bournez
.
Modèles Continus. Calculs. Algorithmique Distribuée.
Autre [cs.OH]. Institut National Polytechnique de Lorraine - INPL, 2006
tel-00577229
v1
Thèse
Benoît Gérard
.
Cryptanalyses statistiques des algorithmes de chiffrement à clef secrète.
Autre [cs.OH]. Université Pierre et Marie Curie - Paris VI, 2010. Français
tel-00156762
v1
Thèse
Vincent Nesme
.
Complexité en requêtes et symétries
Mathématiques [math]. Ecole normale supérieure de lyon - ENS LYON, 2007. Français
tel-01089130
v1
Thèse
Pierre Lairez
.
Périodes d'intégrales rationnelles : algorithmes et applications
Calcul formel [cs.SC]. École polytechnique, 2014. Français
pastel-00000711
v1
Thèse
Cédric Tavernier
.
Testeurs, problemes de reconstruction univaries et multivaries, et application a la cryptanalyse du DES.
Informatique [cs]. Ecole Polytechnique X, 2004. Français
tel-00905137
v1
Thèse
Laurent Lyaudet
.
Graphes et hypergraphes : complexités algorithmique et algébrique
Complexité [cs.CC]. Ecole normale supérieure de lyon - ENS LYON, 2007. Français
tel-01152275
v1
Thèse
Dimitrios Milioris
.
Trend Detection and Information Propagation in Dynamic Social Networks
Document and Text Processing. École Polytechnique, 2015. English
tel-00788467
v1
Thèse
Cédric Saule
.
Modèles combinatoires des structures d'ARN avec ou sans pseudonoeuds, application à la comparaison de structures.
Bio-informatique [q-bio.QM]. Université Paris Sud - Paris XI, 2011. Français
tel-00541664
v1
Thèse
Guillaume Hoffmann
.
Tâches de raisonnement en logiques hybrides
Mathématiques [math]. Université Henri Poincaré - Nancy I, 2010. Français
tel-00198150
v1
Thèse
Pierre Senellart
.
Understanding the Hidden Web
Human-Computer Interaction [cs.HC]. Université Paris Sud - Paris XI, 2007. English
tel-00839850
v1
Thèse
Emilien Ghomi
.
Designing expressive interaction techniques for novices inspired by expert activities : the case of musical practice
Other [cs.OH]. Université Paris Sud - Paris XI, 2012. English.
<NNT : 2012PA112400>
tel-00549364
v1
Thèse
François Bonnet
.
Cohérence de calculs répartis face aux défaillances, à l'anonymat et au facteur d'échelle
Réseaux et télécommunications [cs.NI]. Université Rennes 1, 2010. Français
tel-00460805
v1
HDR
Olivier Laurent
.
Investigations classiques, complexes et concurrentes à l'aide de la logique linéaire
Mathématiques [math]. Université Paris-Diderot - Paris VII, 2010
tel-01110756
v1
Thèse
Pierre-Jean Spaenlehauer
.
Solving multi-homogeneous and determinantal systems: algorithms, complexity, applications.
Symbolic Computation [cs.SC]. Université Pierre et Marie Curie (Univ. Paris 6), 2012. English
tel-00812436
v1
Thèse
Guillaume Moroz
.
Sur la décomposition réelle et algébrique des systèmes dépendant de paramètres
Systèmes dynamiques [math.DS]. Université Pierre et Marie Curie - Paris VI, 2008. Français.
<NNT : 2008PA066639>
tel-00931796
v1
Thèse
Ruijing Hu
.
Epidemic dissemination algorithms in large-scale networks: comparison and adaption to topologies
Modeling and Simulation. Université Pierre et Marie Curie - Paris VI, 2013. English
tel-01098839
v1
Thèse
Hugo Férée
.
Complexité d'ordre supérieur et analyse récursive
Complexité [cs.CC]. Université de Lorraine, 2014. Français
tel-00321917
v1
Thèse
Romain Pechoux
.
Analyse de la complexité des programmes par interprétation sémantique
Informatique [cs]. Institut National Polytechnique de Lorraine - INPL, 2007. Français
tel-00656766
v1
HDR
Guillaume Bonfante
.
Complexité implicite des calculs : interprétation de programmes
Complexité [cs.CC]. Institut National Polytechnique de Lorraine - INPL, 2011
tel-00607288
v1
HDR
Ammar Oulamara
.
Contribution à l'étude des problèmes d'ordonnancement flowshop avec contraintes supplémentaires : Complexité et méthodes de résolution
Informatique [cs]. Institut National Polytechnique de Lorraine - INPL, 2009
tel-00012133
v1
Thèse
Hélène Renard
.
Equilibrage de charge et redistribution de données sur plates-formes hétérogènes
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2005. Français
tel-00403504
v2
Thèse
Florent Bouchez
.
Étude des problèmes de
spilling
et
coalescing
liés à l'allocation de registres en tant que deux phases distinctes
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2009. Français
tel-00649842
v1
Thèse
Céline Blondeau
.
La cryptanalyse différentielle et ses généralisations
Cryptographie et sécurité [cs.CR]. Université Pierre et Marie Curie - Paris VI, 2011. Français
tel-00547829
v1
Thèse
Luis Peñaranda
.
Non-linear computational geometry for planar algebraic curves
Other [cs.OH]. Université Nancy II, 2010. English
pastel-00584350
v1
Thèse
Santiago Zanella-Béguelin
.
Formal certification of game-based cryptographic proofs
Computer Science and Game Theory [cs.GT]. École Nationale Supérieure des Mines de Paris, 2010. English.
<NNT : 2010ENMP0050>
tel-00832312
v1
Thèse
Monique Teillaud
.
Vers des algorithmes dynamiques randomisés en géométrie algorithmique
Géométrie algorithmique [cs.CG]. Université Paris Sud - Paris XI, 1991. Français
1
2
3
Tri
Pertinence
Auteur A→Z
Auteur Z→A
Titre A→Z
Titre Z→A
Date de publication croissante
Date de publication décroissante
Date de dépôt croissante
Date de dépôt décroissante
Nombre
30 résultats par page
50 résultats par page
100 résultats par page
Outils
Pour les 68 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
Enregistrer
Annuler
Libellé
Des champs obligatoires n'ont pas été remplis.