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 ×
69 résultats
enregistrer la recherche
Type de document
Thèse
(58)
HDR
(11)
Auteur
Hervé Rivano
(2)
Monique Teillaud
(2)
Sylvain Lazard
(2)
Sébastien Tixeuil
(2)
Abdelkrim Mebarki
(1)
Adrien Friggeri
(1)
Ala Taftaf
(1)
Alexandre Goldsztejn
(1)
Andreas Enge
(1)
Aurélien Martinet
(1)
Azadeh Saffarian
(1)
Basile Morcrette
(1)
Corine Marchand
(1)
Dounia Bentria
(1)
Eelco De Lange
(1)
Emmanuelle Lebhar
(1)
Florent Lafarge
(1)
Florian Huc
(1)
Frank Nielsen
(1)
Frédo Durand
(1)
Frédéric Chavanon
(1)
Irénée Briquel
(1)
Jean-Paul Cerri
(1)
Joel Falcou
(1)
Julien Demouth
(1)
Jérémy Le Borgne
(1)
Lionel Alberti
(1)
Loris Marchal
(1)
Luca De Feo
(1)
Luis Peñaranda
(1)
Marc Kaplan
(1)
Maria Pentcheva
(1)
Marie-Emilie Voge
(1)
Matthias Gallé
(1)
Matthieu Defrance
(1)
Mohamed Hamza Kaaouachi
(1)
Olivier Bournez
(1)
Pascal Berthomé
(1)
Pascal Desnogues
(1)
Patricio Reyes
(1)
Peva Blanchard
(1)
Philippe Guigue
(1)
Philippe Rinaudo
(1)
Pierre Lezowski
(1)
Pooran Memari
(1)
Rayan Chikhi
(1)
Sabina Akhtar
(1)
Steve Y. Oudot
(1)
Stéphane Riviere
(1)
Sylvain Contassot-Vivier
(1)
Sylvain Pion
(1)
Thomas Lewiner
(1)
Tristan Vaccon
(1)
Vicente Acuña
(1)
Vincent Lacroix
(1)
Willy Malvaut-Martiarena
(1)
Bart Lamiroy
(1)
David Coudert
(1)
Dorian Mazauric
(1)
Guillaume Moroz
(1)
Laurent Dupont
(1)
Olivier Devillers
(1)
Giorgi Pascal
(1)
Samuel Hornus
(1)
Xavier Goaoc
(1)
Domaine
Informatique [cs]
(63)
Mathématiques [math]
(15)
Sciences du Vivant [q-bio]
(4)
Sciences de l'ingénieur [physics]
(1)
Laboratoire
Inria Sophia Antipolis - Méditerranée
(24)
Inria Grenoble - Rhône-Alpes
(10)
Laboratoire Lorrain de Recherche en Informatique et ses Applications
(9)
INRIA Lorraine
(8)
Laboratoire de l'Informatique du Parallélisme
(8)
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
(7)
Laboratoire de Recherche en Informatique
(7)
Inria Saclay - Ile de France
(4)
Graphisme, Vision et Robotique
(3)
Laboratoire d'Informatique de Paris 6
(3)
Laboratoire d'informatique de l'École polytechnique [Palaiseau]
(3)
Inria Rennes – Bretagne Atlantique
(2)
Institut de Recherche Mathématique de Rennes
(2)
Institut de Recherche en Informatique et Systèmes Aléatoires
(2)
Laboratoire d'Informatique Fondamentale de Lille
(2)
Laboratoire de Biométrie et Biologie Evolutive
(2)
CITI Centre of Innovation in Telecommunications and Integration of services
(1)
Informatique et Distribution
(1)
Inria Bordeaux - Sud-Ouest
(1)
Inria Lille - Nord Europe
(1)
Inria Nancy - Grand Est
(1)
Inria Paris-Rocquencourt
(1)
Inria de Paris
(1)
Institut de Mathématiques de Bordeaux
(1)
Institut Élie Cartan de Nancy
(1)
Laboratoire Jean Alexandre Dieudonné
(1)
Laboratoire Jean Kuntzmann
(1)
Laboratoire d'Informatique de Grenoble
(1)
Laboratoire d'informatique Algorithmique : Fondements et Applications
(1)
Laboratoire des sciences et matériaux pour l'électronique et d'automatique
(1)
Langue
français
(50)
anglais
(19)
Mot-clé
Algorithmique
(21)
Type de dépôt
Document
(69)
Année
2017
(1)
2016
(1)
2015
(1)
2014
(4)
2013
(1)
2012
(6)
2011
(6)
2010
(6)
2009
(2)
2008
(5)
2007
(5)
2006
(8)
2005
(5)
2004
(4)
2003
(2)
2000
(1)
1999
(2)
1998
(3)
1997
(1)
1996
(3)
1993
(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 69 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
tel-00011151
v1
Thèse
Jean-Paul Cerri
.
Spectres euclidiens et inhomogènes des corps de nombres
Mathématiques [math]. Université Henri Poincaré - Nancy I, 2005. Français
tel-00175997
v1
HDR
Monique Teillaud
.
Géométrie algorithmique -- De la théorie à la pratique, Des objets linéaires aux objets courbes.
Génie logiciel [cs.SE]. Université Nice Sophia Antipolis, 2007
tel-00771335
v1
Thèse
Pascal Desnogues
.
Triangulations et quadriques
Géométrie algorithmique [cs.CG]. Université Nice Sophia Antipolis, 1996. Français
tel-01074745
v1
HDR
Florent Lafarge
.
Some contributions to geometric modeling of urban environments
Computer Vision and Pattern Recognition [cs.CV]. University of Nice Sophia Antipolis, 2014
tel-00765252
v1
Thèse
Pierre Lezowski
.
Questions d'Euclidianité
Théorie des nombres [math.NT]. Université Sciences et Technologies - Bordeaux I, 2012. Français.
< NNT : 2012BOR14642 >
tel-00123104
v1
HDR
Olivier Bournez
.
Modèles Continus. Calculs. Algorithmique Distribuée.
Autre [cs.OH]. Institut National Polytechnique de Lorraine - INPL, 2006
tel-00124471
v1
Thèse
Matthieu Defrance
.
Algorithmes pour l'analyse de régions régulatrices dans le génome d'eucaryotes supérieurs
Autre [cs.OH]. Université des Sciences et Technologie de Lille - Lille I, 2006. Français
tel-00124848
v1
HDR
Sébastien Tixeuil
.
Vers l'auto-stabilisation des systèmes à grande échelle
Réseaux et télécommunications [cs.NI]. Université Paris Sud - Paris XI, 2006
tel-00124843
v1
Thèse
Sébastien Tixeuil
.
Auto-stabilisation Efficace
Réseaux et télécommunications [cs.NI]. Université Paris Sud - Paris XI, 2000. Français
tel-00379200
v1
Thèse
Aurélien Martinet
.
Structuring 3D Geometry based on Symmetry and Instancing Information
Computer Science [cs]. Institut National Polytechnique de Grenoble - INPG, 2007. English
tel-00460292
v1
HDR
Pascal Berthomé
.
Contribution à l'algorithmique des graphes: quelques représentations pertinentes de graphes
Modélisation et simulation. Université Paris Sud - Paris XI, 2006
tel-00123193
v1
Thèse
Loris Marchal
.
Communications collectives et ordonnancement en régime permanent sur plates-formes hétérogènes
Réseaux et télécommunications [cs.NI]. Ecole normale supérieure de lyon - ENS LYON, 2006. Français
tel-00449506
v1
Thèse
Lionel Alberti
.
Quantitative properties of real algebraic varieties
Mathematics [math]. Université Nice Sophia Antipolis, 2008. English
tel-00650204
v2
HDR
Xavier Goaoc
.
Transversal Helly numbers, pinning theorems and projection of simplicial complexes
Computational Geometry [cs.CG]. Université Henri Poincaré - Nancy I, 2011
tel-00338378
v1
Thèse
Steve Y. Oudot
.
Sampling and Meshing Surfaces with Guarantees
Software Engineering [cs.SE]. Ecole Polytechnique X, 2005. English
tel-00189033
v1
HDR
Sylvain Lazard
.
Problèmes de Géométrie Algorithmique sur les Droites et les Quadriques en Trois Dimensions
Génie logiciel [cs.SE]. Université Nancy II, 2007
tel-00011258
v1
Thèse
Sylvain Pion
.
De la géométrie algorithmique au calcul géométrique
Modélisation et simulation. Université Nice Sophia Antipolis, 1999. Français
tel-00850705
v1
Thèse
Vicente Acuña
.
Models and algorithms for metabolic networks: elementary modes and precursor sets
Algorithme et structure de données [cs.DS]. Université Claude Bernard - Lyon I, 2010. Français
tel-00595494
v1
Thèse
Matthias Gallé
.
Searching for Compact Hierarchical Structures in DNA by means of the Smallest Grammar Problem
Modeling and Simulation. Université Rennes 1, 2011. English
tel-00560010
v1
Thèse
Pooran Memari
.
Geometric Tomography With Topological Guarantees
Computer Science [cs]. Université Nice Sophia Antipolis, 2010. English
tel-00843046
v1
Thèse
Basile Morcrette
.
Combinatoire analytique et modèles d'urnes
Combinatoire [math.CO]. Université Pierre et Marie Curie - Paris VI, 2013. Français
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-00815570
v1
Thèse
Sabina Akhtar
.
Formal Verification of Distributed Algorithms using PlusCal-2
Data Structures and Algorithms [cs.DS]. Université de Lorraine, 2012. English
tel-00103446
v1
Thèse
Laurent Dupont
.
Paramétrage quasi-optimal de l'intersection de deux quadriques : théorie, algorithmes et implantation
Génie logiciel [cs.SE]. Université Nancy II, 2004. Français
tel-00338771
v1
Thèse
Thomas Lewiner
.
Mesh Compression from Geometry
Computer Science [cs]. Université Pierre et Marie Curie - Paris VI, 2005. English
tel-00547829
v1
Thèse
Luis Peñaranda
.
Non-linear computational geometry for planar algebraic curves
Other [cs.OH]. Université Nancy II, 2010. English
tel-01463087
v1
Thèse
Sylvain Contassot-Vivier
.
Calculs parallèles pour le traitement des images satellites
Calcul parallèle, distribué et partagé [cs.DC]. Ecole normale supérieure de Lyon, 1998. Français
tel-00442770
v1
Thèse
Sylvain Lazard
.
Planification de trajectoires de robots mobiles non-holonomes et de robots à pattes
Informatique [cs]. Université Pierre et Marie Curie - Paris VI, 1996. Français
tel-00382535
v1
HDR
Andreas Enge
.
Courbes Algébriques et Cryptologie
Mathématiques [math]. Université Paris-Diderot - Paris VII, 2007
tel-00832414
v1
Thèse
Frank Nielsen
.
Algorithmes géométriques adaptatifs
Géométrie algorithmique [cs.CG]. Université Nice Sophia Antipolis, 1996. 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 69 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
Enregistrer
Annuler
Libellé
Des champs obligatoires n'ont pas été remplis.