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époser
Consulter
par date de publication/rédaction
par domaine
par type de publication
par collection
arXiv
Consultation les derniers dépôts
Recherche
Services
HalTools : créer sa page web
Haltools : export RAWEB
Bib2Hal : import par lot à partir d'un fichier BibTeX
Consulter les structures de recherche connues de HAL
Documentation
Aide en ligne de HAL V3
Dernières évolutions de HAL V3
Documentation API HAL
Ajouter des vignettes
Aide en ligne Haltools
Aide en ligne de Bib2hal
OpenAccess@Inria
Supports
Recherche
Filtres
Identifiant interne du contributeur/déposant ×
collCode_s ×
Tous ×
24 résultats
enregistrer la recherche
Type de document
Rapport
(24)
Auteur
Emmanuel Audusse
(3)
Jean-Charles Faugère
(3)
Jean-Michel Busca
(3)
Maria Gradinariu Potop-Butucaru
(3)
Jean-Frédéric Gerbeau
(3)
Sébastien Tixeuil
(3)
Benoît Perthame
(2)
Davide Canepa
(2)
Frédéric Cazals
(2)
Marie-Odile Bristeau
(2)
Pierre Sens
(2)
Stéphane Devismes
(2)
Fabrice Rouillier
(2)
Marc Pouget
(2)
Marc Shapiro
(2)
Americo Marrocco
(1)
Anne-Marie Kermarrec
(1)
Benjamin Ribba
(1)
Carlo L. Bottasso
(1)
Erwan Ermel
(1)
Fabio Picconi
(1)
Fadia Bekkal Brikci
(1)
Fatima Belkouch
(1)
Gwénolé Ars
(1)
Jacques Sainte-Marie
(1)
Jean Clairambault
(1)
Jean Ferrié
(1)
Jean-François Bourgat
(1)
Lamia Benmouffok
(1)
Marin Bertier
(1)
Masafumi Yamashita
(1)
Michelle Cart
(1)
Mikhail Nesterenko
(1)
Nuno Diniz dos Santos
(1)
Nuno Preguiça
(1)
Paola Causin
(1)
Paul Muhlethaler
(1)
Philippe Trebuchet
(1)
Rachid Guerraoui
(1)
Riccardo Sacco
(1)
Sylvie Delaët
(1)
Tony Lelievre
(1)
Vincent Martin
(1)
Claudia-Lavinia Ignat
(1)
Gérald Oster
(1)
Lélia Blin
(1)
Luciana Arantes
(1)
Miguel Angel Fernández
(1)
Pascal Molli
(1)
Pierre Sutra
(1)
Mohab Safey El Din
(1)
Discipline
Informatique [cs]
(19)
Mathématiques [math]
(6)
Physique [physics]
(1)
Sciences du Vivant [q-bio]
(1)
Sciences de l'ingénieur [physics]
(1)
Structure
Inria Paris-Rocquencourt
(22)
Laboratoire d'Informatique de Paris 6
(14)
Laboratoire Jacques-Louis Lions
(10)
Inria Saclay - Ile de France
(4)
Laboratoire d'Informatique Fondamentale de Lille
(3)
Laboratoire de Recherche en Informatique
(3)
Inria Sophia Antipolis - Méditerranée
(2)
Institut de Recherche Mathématique de Rennes
(2)
Centre d'Enseignement et de Recherche en Mathématiques, Informatique et Calcul Scientifique
(1)
Centro de Investigação em Informática e Tecnologias da Informação
(1)
Department of computer science
(1)
Distributed Programming Laboratory
(1)
Département de Mathématiques et Applications
(1)
INRIA Lorraine
(1)
Informatique, Biologie Intégrative et Systèmes Complexes
(1)
Inria Rennes – Bretagne Atlantique
(1)
Institut de Recherche en Informatique et Systèmes Aléatoires
(1)
Laboratoire Lorrain de Recherche en Informatique et ses Applications
(1)
Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
(1)
Laboratoire de Mathématiques Appliquées [Compiegne]
(1)
Service de Pharmacologie Clinique
(1)
Theoretical Computer Science Group
(1)
Collection
UPMC_POLE_1
(24)
INRIA-RRRT
(6506)
INRIA
(6504)
LARA
(6475)
INRIA_TEST
(4177)
CNRS
(2814)
INRIA-SOPHIA
(1797)
INRIASO
(1790)
UR1-MATH-STIC
(1208)
IRISA
(1200)
UR1-UFR-ISTIC
(1200)
IRISA_SET
(1191)
UNIV-RENNES1
(1191)
UR1-HAL
(1191)
INSA-RENNES
(1060)
INRIA-ROCQ
(1006)
INRIA-RHA
(691)
INRIA-NANCY-GRAND-EST
(532)
INRIA-LORRAINE
(528)
LORIA2
(502)
INRIA2
(435)
PARISTECH
(422)
UNIV-LORRAINE
(340)
INPL
(298)
LORIA
(290)
UNICE
(268)
ENS-LYON
(255)
LIP
(251)
PRUNEL
(248)
I3S
(200)
UGA
(196)
INRIA-SACLAY
(193)
PSL
(186)
ENPC
(185)
INSMI
(175)
UNIV-GRENOBLE1
(166)
DIEUDONNE
(150)
TDS-MACS
(146)
IMAG
(135)
UNIV-PSUD
(133)
X
(117)
X-DEP
(117)
ENS-PARIS
(114)
UPMC
(105)
INSTITUT-TELECOM
(94)
ENS-CACHAN
(88)
INRIA-RENNES
(74)
ENSTA
(67)
BIOENVIS
(63)
ENSMP
(58)
UNIV-AMU
(58)
DIEUDONNE-EDP-AN
(52)
ENSMP_CMA
(52)
TESTBORDEAUX
(51)
UNIV-PMF_GRENOBLE
(51)
INSA-LYON
(49)
USPC
(48)
INRIA-FUTURS
(47)
UNIV-LILLE3
(47)
GRID5000
(46)
LIP6
(46)
UNIV-FCOMTE
(46)
ENSMM
(43)
FEMTO-ST
(43)
UNIV-BM
(43)
UNIV-BM-THESE
(43)
IRISA-INSA-R
(40)
LIG
(40)
LIG_SRCPR
(40)
UNIV-PARIS7
(38)
CENTRALESUPELEC
(36)
ENSEIRB
(36)
IECN
(36)
INRIA-LILLE
(36)
UNIV-BORDEAUX
(36)
LABRI
(35)
UPEC-UPEM
(34)
ENS-RENNES
(33)
IRISA-D2
(33)
UPEC
(32)
IRISA-D4
(31)
TESTANNE
(31)
CERMICS
(29)
CMA
(29)
CMA-THESE
(29)
AGREENIUM
(28)
INSU
(26)
UMR8623
(26)
LJLL
(25)
DIEUDONNE-MN-DF
(23)
IRMAR
(23)
IRISA-D5
(22)
UNIV-UBS
(22)
AGROCAMPUS-OUEST
(20)
UNAM
(20)
IRMA
(19)
UNIV-STRASBG
(19)
ACACIA
(17)
IRISA-D7
(17)
LIX
(16)
UNIV-TLSE3
(15)
CV_LIGM
(14)
IRCICA
(14)
X-DEP-INFO
(14)
X-LIX
(14)
HERVETHERY
(13)
MINES-NANTES
(13)
UNIV-NANTES
(13)
CEREMADE
(12)
AOSTE
(11)
CMAP
(11)
DIEUDONNE-ATG
(11)
INFO
(11)
UMA_ENSTA
(11)
UNIV-METZ
(11)
UNIV-STRASBG1
(11)
UNIV-TLSE2
(11)
IMB
(10)
INPG
(10)
INRA
(10)
UVSQ
(10)
X-CMAP
(10)
X-DEP-MATHA
(10)
IRISA-D6
(9)
LIAFA
(9)
LINA
(9)
LJK
(9)
SMS
(9)
UNIV-PARIS13
(9)
CEA
(8)
CSS
(8)
CV_UNIV-MLV
(8)
EDF
(8)
IRISA-D1
(8)
LIRMM
(8)
MIPS
(8)
UCA-TEST
(7)
UNIV-PAU
(7)
IRMAR-AN
(6)
LINA-ASCOLA
(6)
LJK_MAD
(6)
UNIV-BREST
(6)
UNIV-LYON1
(6)
UNIV-ORLEANS
(6)
CRISTAL
(5)
LAAS
(5)
LIF
(5)
MSL
(5)
MSL-THESE
(5)
ASCLEPIOS
(4)
CIRAD
(4)
CRISTAL-DOLPHIN
(4)
ENIB
(4)
ENSSAT
(4)
ENST
(4)
IRMAR-STAT
(4)
LAB-STICC
(4)
LAB-STICC_ENIB
(4)
LAB-STICC_UBO
(4)
LAB-STICC_UBO_CACS
(4)
LIFL
(4)
LIM
(4)
LIX_EMC
(4)
UNIV-LEMANS
(4)
UNIV-PARIS5
(4)
UNIV-REUNION
(4)
UR2-HB
(4)
ARLES
(3)
DEMAR
(3)
EC-LILLE
(3)
EC-LYON
(3)
EMSE
(3)
FAYOL-ENSMSE
(3)
FRANCE-GRILLES
(3)
GALLIUM
(3)
IFR140
(3)
IFSTTAR
(3)
INRIA-BORDEAUX
(3)
INSA-TOULOUSE
(3)
ISCOD-ENSMSE
(3)
LAGIS
(3)
LIRIS
(3)
LJK_MAD_BIPOP
(3)
LJK_MAD_MOISE
(3)
MOVE
(3)
UMR6623
(3)
UNIV-AVIGNON
(3)
UNIV-EVRY
(3)
UNIV-LYON2
(3)
UNIV-MLV
(3)
UNIV-ST-ETIENNE
(3)
AGROCAMPUS-OUEST-IRMAR
(2)
AGROCAMPUS-OUEST-UMR-STLO
(2)
AGROPOLIS
(2)
ALGCO
(2)
AUTO
(2)
BIOSIT
(2)
CNAM
(2)
CNES
(2)
EC-NANTES
(2)
Langue
anglais
(23)
français
(1)
Type de dépôt
Document
(24)
Année
2008
(3)
2007
(8)
2006
(4)
2005
(2)
2004
(7)
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
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 24 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
inria-00166632
v2
Rapport
Davide Canepa
,
Maria Gradinariu Potop-Butucaru
.
Stabilizing leader election in population protocols
[Research Report] RR-6269, INRIA. 2007, pp.17
inria-00166630
v2
Rapport
Davide Canepa
,
Maria Gradinariu Potop-Butucaru
.
Stabilizing flocking via leader election in robot networks
[Research Report] RR-6268, INRIA. 2007, pp.29
inria-00177693
v2
Rapport
Marc Shapiro
,
Nuno Preguiça
.
Designing a commutative replicated data type
[Research Report] RR-6320, INRIA. 2007
inria-00070747
v1
Rapport
Jean-Charles Faugère
,
Gwénolé Ars
.
Comparison of XL and Gröbner basis algorithms over Finite Fields
[Research Report] RR-5251, INRIA. 2004, pp.26
inria-00070712
v1
Rapport
Jean-Michel Busca
,
Fabio Picconi
,
Pierre Sens
.
Pastis: a Highly-Scalable Multi-User Peer-to-Peer File System
[Research Report] RR-5288, INRIA. 2004, pp.29
inria-00070713
v1
Rapport
Jean-Michel Busca
,
Marin Bertier
,
Fatima Belkouch
,
Pierre Sens
,
Luciana Arantes
.
A Performance Evaluation of a Quorum-Based State-Machine Replication Algorithm for Computing Grids
[Research Report] RR-5287, INRIA. 2004, pp.17
inria-00105204
v4
Rapport
Mohab Safey El Din
,
Philippe Trebuchet
.
Strong bi-homogeneous Bézout theorem and its use in effective real algebraic geometry
[Research Report] RR-6001, INRIA. 2006, pp.46
inria-00121425
v2
Rapport
Erwan Ermel
,
Paul Muhlethaler
.
Using OLSR Multipoint Relays (MPRs) to estimate node positions in a Wireless Mesh Network
[Research Report] RR-6072, INRIA. 2006, pp.17
inria-00071225
v1
Rapport
Frédéric Cazals
,
Jean-Charles Faugère
,
Marc Pouget
,
Fabrice Rouillier
.
Topologically certified approximation of umbilics and ridges on polynomial parametric surface
[Research Report] RR-5674, INRIA. 2005, pp.36
inria-00071237
v1
Rapport
Frédéric Cazals
,
Jean-Charles Faugère
,
Marc Pouget
,
Fabrice Rouillier
.
The implicit structure of ridges of a smooth parametric surface
[Research Report] RR-5608, INRIA. 2005, pp.30
inria-00169395
v2
Rapport
Claudia-Lavinia Ignat
,
Gérald Oster
,
Pascal Molli
,
Michelle Cart
,
Jean Ferrié
et al.
A Comparison of Optimistic Approaches to Collaborative Editing of Wiki Pages
[Research Report] RR-6278, INRIA. 2007, pp.19
inria-00111991
v2
Rapport
Nuno Diniz dos Santos
,
Jean-Frédéric Gerbeau
,
Jean-François Bourgat
.
A partitioned fluid-structure algorithm for elastic thin valves with contact
[Research Report] RR-6022, INRIA. 2006, pp.23
inria-00123344
v2
Rapport
Americo Marrocco
.
Aggrégation de bactéries. Simulations numériques de modèles de réaction-diffusion à l'aide des éléments finis mixtes
[Rapport de recherche] RR-6092, INRIA. 2007, pp.57
inria-00232824
v3
Rapport
Jacques Sainte-Marie
,
Marie-Odile Bristeau
.
Derivation of a non-hydrostatic shallow water model; Comparison with Saint-Venant and Boussinesq systems
[Research Report] RR-6451, INRIA. 2008, pp.33
inria-00070737
v1
Rapport
Emmanuel Audusse
,
Benoît Perthame
.
Uniqueness for a Scalar Conservation Law with Discontinuous Flux via Adapted Entropies
[Research Report] RR-5261, INRIA. 2004, pp.19
inria-00070738
v1
Rapport
Emmanuel Audusse
,
Marie-Odile Bristeau
.
A 2d Well-balanced Positivity Preserving Second Order Scheme for Shallow Water Flows on Unstructured Meshes
[Research Report] RR-5260, INRIA. 2004, pp.31
inria-00070749
v1
Rapport
Emmanuel Audusse
.
A Multilayer Saint-Venant Model
[Research Report] RR-5249, INRIA. 2004, pp.35
inria-00077044
v1
Rapport
Carlo L. Bottasso
,
Paola Causin
,
Riccardo Sacco
.
Flux-Upwind Stabilization of the Discontinuous Petrov--Galerkin Formulation with Lagrangian Multipliers for Advection-Diffusion Problems
[Research Report] RR-5157, INRIA. 2004
inria-00081301
v2
Rapport
Fadia Bekkal Brikci
,
Jean Clairambault
,
Benjamin Ribba
,
Benoît Perthame
.
An age-and-cyclin-structured cell population model with proliferation and quiescence for healthy and tumoral tissues
[Research Report] RR-5941, INRIA. 2006
inria-00136971
v2
Rapport
Miguel Angel Fernández
,
Jean-Frédéric Gerbeau
,
Vincent Martin
.
Numerical simulation of blood flows through a porous interface
[Research Report] RR-6146, INRIA. 2007, pp.30
inria-00285206
v2
Rapport
Jean-Frédéric Gerbeau
,
Tony Lelievre
.
Generalized Navier Boundary Condition and Geometric Conservation Law for surface tension
[Research Report] RR-6551, INRIA. 2008, pp.32
inria-00248465
v2
Rapport
Sylvie Delaët
,
Stéphane Devismes
,
Mikhail Nesterenko
,
Sébastien Tixeuil
.
Snap-Stabilization in Message-Passing Systems
[Research Report] RR-6446, INRIA. 2008, pp.29
inria-00166547
v2
Rapport
Lélia Blin
,
Maria Gradinariu Potop-Butucaru
,
Sébastien Tixeuil
.
On the Self-stabilization of Mobile Robots in Graphs
[Research Report] RR-6266, INRIA. 2007, pp.23
inria-00189952
v2
Rapport
Stéphane Devismes
,
Sébastien Tixeuil
,
Masafumi Yamashita
.
Weak vs. Self vs. Probabilistic Stabilization
[Research Report] RR-6366, INRIA. 2007
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 24 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
Enregistrer
Annuler
Libellé
Des champs obligatoires n'ont pas été remplis.