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 ×
31 résultats
enregistrer la recherche
Type de document
Rapport
(30)
Article dans une revue
(1)
Auteur
Julia Lawall
(3)
Françoise Baude
(2)
Gilles Muller
(2)
Abhijeet Gaikwad
(1)
Benjamin Ribba
(1)
Benoît Perthame
(1)
Bernard Gilbert
(1)
Bernard Virot
(1)
Charles Consel
(1)
Cheikh Sarr
(1)
Claude Chaudet
(1)
Congduc Pham
(1)
Cristian Ruz
(1)
Cristiana Gomes
(1)
Cyril Pontvieux
(1)
David Cachera
(1)
David Knossow
(1)
Edmundo Rofman
(1)
Fadia Bekkal Brikci
(1)
Felipe Alvarez
(1)
Florent Cadoux
(1)
Francis Collino
(1)
Georg Hoesch
(1)
Gil Utard
(1)
Guillaume Chelius
(1)
Gérard Ferrand
(1)
Ian Stokes-Rees
(1)
J. Frederic Bonnans
(1)
Jean Clairambault
(1)
Jean-Christophe Mignot
(1)
Jean-Luc Gouzé
(1)
José Grimm
(1)
Julien Lancia
(1)
Julien Laurent-Varin
(1)
Laurent Burgy
(1)
Loris Marchal
(1)
Ludovic Hablot
(1)
Mauro Maya
(1)
Melina Rapacioli
(1)
Michaël Lienhardt
(1)
Najed Ksouri
(1)
Pascal Morin
(1)
Pascale Minet
(1)
Pascale Vicat-Blanc Primet
(1)
Paul Feautrier
(1)
Pierre Deransart
(1)
Radu Horaud
(1)
Radu Mateescu
(1)
Raphaël Bolze
(1)
René Rydhof Hansen
(1)
Saoucene Mahfoudh
(1)
Stéphane Genaud
(1)
Vassili Kolokoltsov
(1)
Veronika Rehn
(1)
Viet Dung Doan
(1)
Virginie Legrand Contes
(1)
Vladimir Flores
(1)
Wilfried Jouve
(1)
Xavier Claeys
(1)
Yann Guermeur
(1)
Yann Le Guyadec
(1)
Yoann Padioleau
(1)
Yves Robert
(1)
Alan Schmitt
(1)
Mireille Bossy
(1)
Luc Bougé
(1)
Claude Samson
(1)
David Guiraud
(1)
Dino Lopez Pacheco
(1)
Eddy Caron
(1)
Frédéric Desprez
(1)
Frédéric Vivien
(1)
Hervé Guillard
(1)
Hervé Rivano
(1)
Isabelle Guérin Lassous
(1)
Jean-Bernard Stefani
(1)
Laurent Réveillère
(1)
Laurent Lefèvre
(1)
Mireille Ducassé
(1)
Nicolas Palix
(1)
Olivier Bernard
(1)
Olivier Glück
(1)
Rémi Ronfard
(1)
Youssef Mesri
(1)
Discipline
Informatique [cs]
(22)
Mathématiques [math]
(8)
Physique [physics]
(1)
Sciences du Vivant [q-bio]
(1)
Sciences de l'ingénieur [physics]
(1)
Structure
Inria Grenoble - Rhône-Alpes
(11)
Inria Sophia Antipolis - Méditerranée
(9)
Laboratoire de l'Informatique du Parallélisme
(6)
Inria Paris-Rocquencourt
(5)
Department of computer Science [Copenhagen]
(3)
INRIA Lorraine
(3)
Inria Saclay - Ile de France
(3)
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
(3)
INRIA Futurs
(2)
Inria Rennes – Bretagne Atlantique
(2)
Laboratoire d'Informatique Fondamentale d'Orléans
(2)
Unité de Mathématiques Appliquées
(2)
CITI Centre of Innovation in Telecommunications and Integration of services
(1)
Centre de Mathématiques Appliquées - Ecole Polytechnique
(1)
Centre de modélisation mathématique
(1)
Department of Biostructural Sciences
(1)
Department of Statistics [Warwick]
(1)
Direction des lanceurs
(1)
Département de Mathématiques et Applications
(1)
Ecole Nationale Supérieure d'Electronique, Informatique et Radiocommunications de Bordeaux
(1)
GET
(1)
Graphisme, Vision et Robotique
(1)
Institut de Recherche en Informatique et Systèmes Aléatoires
(1)
Institut für Informatik
(1)
Laboratoire Bordelais de Recherche en Informatique
(1)
Laboratoire Informatique de l'Université de Pau et des Pays de l'Adour
(1)
Laboratoire Jacques-Louis Lions
(1)
Laboratoire Jean Kuntzmann
(1)
Laboratoire Lorrain de Recherche en Informatique et ses Applications
(1)
Laboratoire d'Informatique de Grenoble
(1)
Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
(1)
Laboratoire de Recherche en Informatique et ses Applications de Vannes et Lorient
(1)
Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection
(1)
Service de Pharmacologie Clinique
(1)
Station Zoologique
(1)
Collection
TESTANNE
(31)
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)
CERMICS
(29)
CMA
(29)
CMA-THESE
(29)
AGREENIUM
(28)
INSU
(26)
UMR8623
(26)
LJLL
(25)
UPMC_POLE_1
(24)
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
(28)
français
(3)
Type de dépôt
Document
(31)
Année
2010
(1)
2007
(16)
2006
(10)
2005
(1)
2004
(1)
1996
(1)
1993
(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
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 31 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
inria-00123142
v2
Rapport
Yoann Padioleau
,
René Rydhof Hansen
,
Julia Lawall
,
Gilles Muller
.
Towards Documenting and Automating Collateral Evolutions in Linux Device Drivers
[Research Report] RR-6090, INRIA. 2007
inria-00149411
v2
Rapport
Ludovic Hablot
,
Olivier Glück
,
Jean-Christophe Mignot
,
Stéphane Genaud
,
Pascale Vicat-Blanc Primet
.
Comparison and tuning of MPI implementations in a grid context
[Research Report] INRIA. 2007, pp.25
inria-00074549
v1
Rapport
Olivier Bernard
,
Jean-Luc Gouzé
.
Transcient behavior of biological loop models with application to the droop model
[Research Report] RR-2123, INRIA. 1993
inria-00186037
v2
Rapport
Youssef Mesri
,
Hervé Guillard
.
An automatic mesh coarsening technique for three dimensional anisotropic meshes
[Research Report] RR-6344, INRIA. 2007, pp.52
inria-00083955
v2
Rapport
Dino Lopez Pacheco
,
Congduc Pham
,
Laurent Lefèvre
.
XCP-i : eXplicit Control Protocol for heterogeneous inter-networking of high-speed networks
[Research Report] INRIA. 2006
inria-00084628
v2
Rapport
Radu Mateescu
.
CAESAR_SOLVE: A Generic Library for On-the-Fly Resolution of Alternation-Free Boolean Equation Systems
[Research Report] RR-5948, INRIA. 2006, pp.38
inria-00153375
v3
Rapport
Wilfried Jouve
,
Julien Lancia
,
Nicolas Palix
,
Charles Consel
,
Julia Lawall
.
A Domain-Specific IDL and its Compiler for Pervasive Computing Applications
[Research Report] RR-6213, INRIA. 2007
inria-00144289
v2
Rapport
Florent Cadoux
.
Computing deep facet-defining disjunctive cuts for mixed-integer programming
[Research Report] RR-6177, INRIA. 2007, pp.22
inria-00078254
v2
Rapport
David Guiraud
,
Bernard Gilbert
.
Carte contrôleur et logiciel embarqué pour la commande de systèmes médicaux
[Rapport Technique] RT-0320, INRIA. 2005, pp.28
inria-00108518
v2
Rapport
Loris Marchal
,
Veronika Rehn
,
Yves Robert
,
Frédéric Vivien
.
Scheduling and data redistribution strategies on star platforms
[Research Report] RR-6005, INRIA. 2006, pp.42
inria-00104098
v2
Rapport
David Knossow
,
Rémi Ronfard
,
Radu Horaud
.
Human Motion Tracking with a Kinematic Parameterization of Extremal Contours
[Research Report] RR-6007, INRIA. 2006, pp.38
inria-00070686
v2
Rapport
Yann Guermeur
.
Large Margin Multi-category Discriminant Models and Scale-sensitive Psi-dimensions
[Research Report] RR-5314, INRIA. 2004, pp.49
inria-00149612
v2
Rapport
Michaël Lienhardt
,
Alan Schmitt
,
Jean-Bernard Stefani
.
Oz/K: A kernel language for component-based open programming
[Research Report] RR-6202, INRIA. 2007
inria-00081981
v2
Rapport
Edmundo Rofman
,
Melina Rapacioli
,
Vladimir Flores
.
The Genetic Code Degeneration I: Rules Governing the Code Degeneration and the Spatial Organization of the Codon Informative Properties.
[Research Report] RR-5938, INRIA. 2006
inria-00083723
v2
Rapport
Mauro Maya
,
Pascal Morin
,
Claude Samson
.
Sensor-based control of nonholonomic mobile robots
[Research Report] RR-5944, INRIA. 2006, pp.45
inria-00143515
v2
Rapport
Felipe Alvarez
,
J. Frederic Bonnans
,
Julien Laurent-Varin
.
Asymptotic expansion of the optimal control under logarithmic penalty: worked example and open problems
[Research Report] RR-6170, INRIA. 2007
inria-00196094
v2
Rapport
Pascale Minet
,
Saoucene Mahfoudh
.
SERENA: an energy-efficient strategy to schedule nodes activity in wireless ad hoc and sensor networks
[Research Report] RR-6388, INRIA. 2007, pp.29
inria-00140964
v2
Rapport
Laurent Burgy
,
Laurent Réveillère
,
Julia Lawall
,
Gilles Muller
.
A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations
[Research Report] RR-6167, INRIA. 2007
inria-00080360
v2
Rapport
Vassili Kolokoltsov
.
Nonlinear Markov semigroups and interacting Lévy type processes
[Research Report] RR-5932, INRIA. 2006
inria-00157141
v2
Rapport
Najed Ksouri
.
Méthodes d'approximation numérique pour le pricing des options vanilles et asiatiques dans le modèle de Heston de volatilité stochastique
[Rapport Technique] RT-0339, INRIA. 2007, pp.91
inria-00071389
v1
Rapport
Raphaël Bolze
,
Eddy Caron
,
Frédéric Desprez
,
Georg Hoesch
,
Cyril Pontvieux
.
A Monitoring and Visualization Tool and Its Application for a Network Enabled Server Platform
[Research Report] RR-5879, INRIA. 2006
inria-00192610
v2
Rapport
José Grimm
.
Converting LaTeX to MathML: the Tralics algorithms
[Research Report] RR-6373, INRIA. 2007, pp.16
inria-00080939
v2
Rapport
Cheikh Sarr
,
Claude Chaudet
,
Guillaume Chelius
,
Isabelle Guérin Lassous
.
Improving Accuracy in Available Bandwidth Estimation for 802.11-based Ad Hoc Networks
[Research Report] RR-5935, INRIA. 2006, pp.23
inria-00146323
v3
Rapport
Paul Feautrier
.
Elementary transformation analysis for Array-OL
[Research Report] RR-6193, INRIA. 2007, pp.12
inria-00148395
v2
Rapport
Xavier Claeys
,
Francis Collino
.
Augmented Galerkin Schemes for the Numerical Solution of Scattering by Small Obstacles.
[Research Report] RR-6195, INRIA. 2007
inria-00151285
v3
Rapport
Pierre Deransart
,
Mireille Ducassé
,
Gérard Ferrand
.
Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques (version étendue)
[Interne] RR-6229, INRIA. 2007, pp.54
inria-00182554
v2
Rapport
Cristian Ruz
,
Françoise Baude
,
Virginie Legrand Contes
.
Towards Grid Monitoring and deployment in Jade, using ProActive
[Research Report] RR-6340, INRIA. 2007, pp.20
inria-00148957
v2
Rapport
Cristiana Gomes
,
Hervé Rivano
.
Fair Joint Routing and Scheduling Problem in Wireless Mesh Networks
[Research Report] RR-6198, INRIA. 2007, pp.12
inria-00073660
v1
Rapport
Luc Bougé
,
David Cachera
,
Yann Le Guyadec
,
Gil Utard
,
Bernard Virot
.
Formal Validation of Data-Parallel Programs : a Two-Component Assertional Proof System for a Simple Language
[Research Report] RR-3033, INRIA. 1996
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
1
2
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 31 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
Enregistrer
Annuler
Libellé
Des champs obligatoires n'ont pas été remplis.