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
Sous-domaine niveau 1 ×
collCode_s ×
Tous ×
83 résultats
enregistrer la recherche
Type de document
Thèse
(64)
Communication dans un congrès
(7)
Article dans une revue
(5)
Rapport
(3)
Chapitre d'ouvrage
(1)
HDR
(1)
Ouvrage (y compris édition critique et traduction)
(1)
Poster
(1)
Auteur
Marie-France Sagot
(5)
Julien Allali
(5)
Jean-Eric Pin
(3)
Jean-Philippe Pons
(3)
Renaud Keriven
(3)
Didier Parigot
(2)
Dominique Perrin
(2)
Gilles Roussel
(2)
Loïc Correnson
(2)
Olivier Carton
(2)
Patrick Labatut
(2)
Étienne Duris
(2)
Alberto Dennunzio
(1)
Alessio Langiu
(1)
Anastasia Yannacopoulou
(1)
Anna Maria Jezierska
(1)
Anne-Laure Chauve
(1)
Anthony Giroud
(1)
Anthony Sigogne
(1)
Bangalore Ravi Kiran
(1)
Benjamin Raynal
(1)
Benoît Masson
(1)
Bruno Petazzoni
(1)
Burak Arslan
(1)
Camille Couprie
(1)
Christian Steinmetz
(1)
Cristiana Ciocanea
(1)
Damien Masson
(1)
David Ok
(1)
Dietmar Hildenbrand
(1)
Du-Eun Eum
(1)
Elena Florian
(1)
Eun Jin Jung
(1)
Fabio Augusto Salve Dias
(1)
Fadi Yaacoub
(1)
Florian Sikora
(1)
François De Sorbier de Pougnadoresse
(1)
Frédéric Fauberteau
(1)
Gautier Loyauté
(1)
Gohsran Chung
(1)
Harold Phelippeau
(1)
Hoang Hiep Vu
(1)
Hoang-Hiep Vu
(1)
Hyun Gue Huh
(1)
Ismail Salhi
(1)
Jan Bartovsky
(1)
Javier Miguel Sastre Martinez
(1)
Jean Berstel
(1)
Jean-Gabriel Luque
(1)
Jean-Paul Bultel
(1)
Jean-Yves Audibert
(1)
Jérôme Courchay
(1)
Krit Kosawat
(1)
Laszlo Marak
(1)
Laurent Fuchs
(1)
Luc Boasson
(1)
Marc Sage
(1)
Mario Monteleone
(1)
Matthieu Constant
(1)
Michel Chilowicz
(1)
Nathalie Aubrun
(1)
Nelly Pustelnik
(1)
Nicolas Bedon
(1)
Nicolas Ngan
(1)
Nizar Jegham
(1)
Olena Tankyevych
(1)
Olivier Blanc
(1)
Omid Bonakdar Sakhi
(1)
Pascal Degenne
(1)
Pascal Vallet
(1)
Patrice Bouvier
(1)
Paul Morel
(1)
Petr Hofman
(1)
Petr Červenka
(1)
Pierre Boulenguez
(1)
Pierre Peterlongo
(1)
Pierre-Loïc Méliot
(1)
Radek Seifert
(1)
Ramzi Mahmoudi
(1)
Roland Levillain
(1)
Romain Veltz
(1)
Samuele Giraudo
(1)
So-Yun Kim
(1)
Stavroula Voyatzi
(1)
Stéphane Breuils
(1)
Sun-Mee Bae
(1)
Trong Hiêu Dinh
(1)
Vincent Bismuth
(1)
Vincent Carnino
(1)
Vincent Nozick
(1)
Viviane Pons
(1)
Werner Benger
(1)
Yaroub Elloumi
(1)
Yasmina Abdeddaïm
(1)
Yohan Thibault
(1)
Yongchao Xu
(1)
Agata Savary
(1)
Damien Masson
(1)
Karel Brinda
(1)
Pierre Guillon
(1)
Discipline
Informatique [cs]
(83)
Mathématiques [math]
(7)
Sciences de l'Homme et Société
(7)
Sciences de l'ingénieur [physics]
(4)
Sciences du Vivant [q-bio]
(2)
Physique [physics]
(1)
Structure
Laboratoire d'Informatique Gaspard-Monge
(82)
Department of Computer Science
(5)
IMAGINE [Marne-la-Vallée]
(5)
Inria Grenoble - Rhône-Alpes
(5)
Laboratoire de Biométrie et Biologie Evolutive
(5)
Laboratoire d'informatique Algorithmique : Fondements et Applications
(3)
Inria Paris-Rocquencourt
(2)
Acute3D company
(1)
Centre d'Etude et De Recherche en Informatique et Communications
(1)
Dipartimento di Informatica Sistemistica e Comunicazione
(1)
Japanese French Laboratory for Informatics
(1)
Laboratoire Bordelais de Recherche en Informatique
(1)
Laboratoire d'informatique Fondamentale de Marseille - UMR 6166
(1)
Louisiana State University
(1)
Lycée Berthelot, St Maur
(1)
Nokia Location & Commerce
(1)
XLIM
(1)
Collection
LIGM
(83)
INRIA
(11140)
CNRS
(10391)
LARA
(6951)
INRIA-RRRT
(6160)
INRIA_TEST
(5251)
LORIA2
(3589)
UNIV-LORRAINE
(3344)
LORIA
(3279)
INPL
(3252)
INRIA-NANCY-GRAND-EST
(3221)
INRIA-LORRAINE
(3189)
INRIA-SOPHIA
(1996)
INRIASO
(1982)
INRIA2
(1806)
UR1-MATH-STIC
(1559)
UNIV-RENNES1
(1546)
UR1-HAL
(1545)
UR1-UFR-ISTIC
(1542)
IRISA
(1525)
IRISA_SET
(1522)
STAR
(1279)
INSA-RENNES
(1158)
LABRI
(1121)
UNIV-BORDEAUX
(1118)
ENSEIRB
(1102)
INRIA-ROCQ
(1070)
INRIA-RHA
(1038)
UGA
(971)
UNIV-GRENOBLE1
(892)
UNIV-BORDEAUX1
(753)
PARISTECH
(634)
INSTITUT-TELECOM
(608)
UNIV-PARIS1
(594)
CRI
(581)
UPMC
(471)
IMAG
(435)
ENS-LYON
(426)
LIP
(410)
UNICE
(403)
TESTANNE
(387)
INPG
(341)
INRIA-SACLAY
(341)
CENTRALESUPELEC
(340)
GRID5000
(335)
LABO-LORIA-SET
(331)
PSL
(320)
UNIV-PMF_GRENOBLE
(314)
I3S
(313)
SHS
(313)
PRUNEL
(296)
TESTBORDEAUX
(296)
UNIV-PSUD
(292)
MIPS
(291)
LIRMM
(289)
UNIV-AMU
(289)
LIG
(283)
ENPC
(276)
UPMC_POLE_1
(259)
USPC
(256)
ENS-CACHAN
(243)
ENSAM
(239)
INSMI
(239)
UNIV-LILLE3
(221)
UNIV-UBS
(218)
ENS-RENNES
(215)
UNIV-NANTES
(199)
LIG_SRCPR
(194)
UNIV-PARIS7
(186)
TDS-MACS
(178)
UNIV-BORDEAUX2
(177)
INRIA-RENNES
(172)
LIP6
(172)
IRCAM
(171)
UPEC-UPEM
(171)
ENS-PARIS
(170)
UNIV-TLSE3
(169)
STMS
(168)
UMR8623
(164)
UNIV-TLN
(157)
AO-MUSICOLOGIE
(153)
LABRI-MABIOVIS
(153)
LIFL
(153)
DTIP
(152)
X
(149)
X-DEP
(149)
LSIS
(148)
DIEUDONNE
(147)
INRA
(145)
CRISTAL
(138)
INSA-LYON
(134)
UNIV-LYON2
(132)
UNIV-TLSE2
(120)
UNIV-FCOMTE
(116)
UNAM
(115)
AGROPOLIS
(113)
UNIV-BM
(110)
TELECOM-SUDPARIS
(108)
UNIV-BM-THESE
(108)
ENSMM
(103)
FEMTO-ST
(103)
INRIA-BORDEAUX
(103)
PRES_CLERMONT
(102)
IRISA-D2
(100)
UNIV-LYON1
(97)
IRISA-D4
(96)
PASTEL
(96)
UJF
(96)
CV_LIGM
(94)
INRIA-LILLE
(94)
LIAFA
(93)
UNIV-BPCLERMONT
(93)
UNIV-PARIS13
(93)
ENSMP
(90)
SMS
(90)
UNIV-BOURGOGNE
(90)
EC-NANTES
(89)
OPENAIRE
(88)
TIMC-IMAG
(87)
UNIV-MLV
(87)
AGREENIUM
(86)
LINA
(86)
EC-LYON
(85)
UNIV-CLERMONT1
(85)
IRCCYN
(83)
SIGMA-CLERMONT
(83)
UNIV-ORLEANS
(82)
DTIP2008
(81)
TIMC-IMAG-GMCAO
(80)
LE2I
(77)
UPEC
(77)
LIMOS
(76)
UCA-TEST
(76)
UR1-THESES
(75)
MSL
(74)
ENSTA
(73)
BIOENVIS
(71)
CLEMU-THESES
(71)
DTIP2007
(71)
UNIV-PARIS-SACLAY
(67)
ENSI-BOURGES
(66)
CV_UNIV-MLV
(65)
LIRIS
(64)
UVSQ
(64)
CEA
(63)
THESES-ENS-LYON
(62)
ENPC-LIGM
(61)
INRIA-FUTURS
(60)
COMUE-NORMANDIE
(58)
UNIV-PAU
(58)
CRISTAL-NOCE
(57)
IECN
(57)
AIV
(55)
ENSMP_CMA
(55)
IRCCYN-STR
(55)
LIF
(55)
UNIV-ST-ETIENNE
(55)
GIP-BE
(54)
LIESP
(54)
PRISM
(53)
THESES-EN-LIGNE-DAGROCAMPUS-OUEST
(53)
INSA-TOULOUSE
(52)
IRISA-D1
(51)
IRISA-D5
(50)
MFCA
(50)
DIEUDONNE-EDP-AN
(49)
LIX
(49)
UNIV-COMPIEGNE
(49)
IRISA-INSA-R
(48)
X-DEP-INFO
(47)
X-LIX
(47)
LIPN
(46)
HEUDIASYC
(45)
MERE
(45)
AO-ECONOMIE
(44)
CNAM
(42)
THESES-UPMC
(42)
IN2P3
(41)
MINES-NANTES
(41)
U-BORDEAUX
(41)
MSL-THESE
(40)
UNIV-AVIGNON
(40)
THESES-ENS-CACHAN
(39)
TIMA
(39)
CRISTAL-FOX
(38)
IRCCYN-MEFORBIO
(38)
IRISA-D3
(38)
LIMSI
(38)
UNIV-STRASBG
(38)
IRCCYN-MOVES
(37)
ARITH
(35)
DRT
(35)
ENST
(35)
LAHC
(35)
LIG_TDCGE_GETALP
(35)
UNIV-ROUEN
(35)
IMB
(34)
INSU
(34)
LIX_EMC
(34)
LSIS-GMOD
(34)
Langue
français
(46)
anglais
(37)
Type de dépôt
Document
(80)
Notice
(3)
Année
2017
(1)
2016
(1)
2014
(3)
2013
(5)
2012
(13)
2011
(16)
2010
(9)
2009
(4)
2008
(8)
2007
(2)
2006
(4)
2005
(5)
2004
(3)
2003
(4)
2002
(1)
2000
(1)
1999
(1)
1998
(2)
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 83 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
tel-00250312
v1
HDR
Jean-Gabriel Luque
.
Invariants des hypermatrices
Autre [cs.OH]. Université de Marne la Vallée, 2008
inria-00073341
v1
Rapport
Loïc Correnson
,
Étienne Duris
,
Didier Parigot
,
Gilles Roussel
.
Symbolic Composition
[Research Report] RR-3348, INRIA. 1998
inria-00073070
v1
Rapport
Loïc Correnson
,
Étienne Duris
,
Didier Parigot
,
Gilles Roussel
.
How to Deforest in Accumulative Parameters?
[Research Report] RR-3608, INRIA. 1999
hal-00340797
v1
Chapitre d'ouvrage
Olivier Carton
,
Dominique Perrin
,
Jean-Eric Pin
.
Automata and semigroups recognizing infinite words
J. Flum, E. Grädel and T. Wilke.
Logic and Automata, History and perspectives
, Amsterdam University Press, pp.585-596, 2007
hal-01552462
v1
Communication dans un congrès
Stéphane Breuils
,
Vincent Nozick
,
Laurent Fuchs
,
Dietmar Hildenbrand
,
Werner Benger
et al.
A hybrid approach for computing products of high-dimensional geometric algebras
CGI / ENGAGE 2017
, Jun 2017, Hiyoshi, Japan. pp.1 - 6, 2017, CGI '17 Proceedings of the Computer Graphics International Conference
<10.1145/3095140.3097284>
tel-00587367
v1
Thèse
Pierre Boulenguez
.
Caractérisation multispectrale imageante du champ de lumière de sources et de matériaux pour la photosimulation
Autre [cs.OH]. Université Paris-Est, 2010. Français.
<NNT : 2010PEST1008>
hal-00711065
v1
Communication dans un congrès
Anne-Laure Chauve
,
Jean-Philippe Pons
,
Jean-Yves Audibert
,
Renaud Keriven
.
Transductive Segmentation of Textured Meshes
9th Asian conference on Computer Vision (ACCV 2009)
, Sep 2009, Xi'an, China. Springer-Verlag, 5995, pp.502-513, 2010, Lecture Notes in Computer Science.
<10.1007/978-3-642-12304-7_47>
hal-00306661
v1
Communication dans un congrès
Julien Allali
,
Marie-France Sagot
.
Novel tree edit operations for RNA secondary structure comparison
Workshop on Algorithms in Bioinformatics 2004
, 2004, Bergen, Denmark. 3240, pp.412--425, 2004
hal-00306660
v1
Communication dans un congrès
Julien Allali
,
Marie-France Sagot
.
A Multiple Graph Layers Model with Application to RNA Secondary Structures Comparison
String Processing and Information Retrieval 2005
, Nov 2005, Argentina. Mariano Consens and Gonzalo Navarro, 3772, pp.348--359, 2005
hal-00306572
v1
Communication dans un congrès
Pierre Peterlongo
,
Julien Allali
,
Marie-France Sagot
.
The Gapped-Factor Tree
Prague Stringology Conference 2006
, 2006, Czech Republic. pp.182--196, 2006
hal-00112831
v1
Ouvrage (y compris édition critique et traduction)
Jean-Eric Pin
,
Dominique Perrin
.
Infinite Words: Automata, Semigroups, Logic and Games
Elsevier, pp.538, 2004
tel-00499252
v1
Thèse
Harold Phelippeau
.
Méthodes et algorithmes de dématriçage et de filtrage du bruit pour la photographie numérique
Autre [cs.OH]. Université Paris-Est, 2009. Français.
< NNT : 2009PEST1002 >
hal-00628579
v1
Rapport
Burak Arslan
.
Implementation of Collocation Extraction in Unitex
2007
hal-00688069
v2
Communication dans un congrès
Yasmina Abdeddaïm
,
Damien Masson
.
Real-Time Scheduling of Energy Harvesting Embedded Systems with Timed Automata
RTCSA 2012
, Aug 2012, Seoul, South Korea. pp.31-40, 2012,
<10.1109/RTCSA.2012.21>
pastel-00664331
v1
Thèse
Nathalie Aubrun
.
Dynamique symbolique des systèmes 2D et des arbres infinis
Autre [cs.OH]. Université Paris-Est, 2011. Français.
<NNT : 2011PEST1004>
tel-00665732
v1
Thèse
Trong Hiêu Dinh
.
Grammaires de graphes et langages formels
Autre [cs.OH]. Université Paris-Est, 2011. Français.
<NNT : 2011PEST1015>
pastel-00667769
v1
Thèse
Cristiana Ciocanea
.
Lexique-grammaire des constructions converses en a da/ a primi en roumain
Linguistique. Université Paris-Est, 2011. Français.
<NNT : 2011PEST1011>
tel-00621249
v2
Thèse
Javier Miguel Sastre Martinez
.
Efficient finite-state algorithms for the application of local grammars
Other [cs.OH]. Université Paris-Est, 2011. English.
<NNT : 2011PEST1047>
tel-00660736
v2
Thèse
Pascal Vallet
.
Random matrices and applications to statistical signal processing
Other [cs.OH]. Université Paris-Est, 2011. English.
<NNT : 2011PEST1055>
tel-00668537
v2
Thèse
Frédéric Fauberteau
.
Sûreté temporelle pour les systèmes temps réel multiprocesseurs
Autre [cs.OH]. Université Paris-Est, 2011. Français.
<NNT : 2011PEST1019>
pastel-00673121
v1
Thèse
Roland Levillain
.
Towards a software architecture for generic image processing
Other [cs.OH]. Université Paris-Est, 2011. English.
<NNT : 2011PEST1032>
pastel-00680788
v1
Thèse
Nicolas Ngan
.
Etude et conception d'un réseau sur puce dynamiquement adaptable pour la vision embarquée
Autre [cs.OH]. Université Paris-Est, 2011. Français.
<NNT : 2011PEST1040>
pastel-00667797
v1
Thèse
Florian Sikora
.
Aspects algorithmiques de la comparaison d'éléments biologiques
Autre [cs.OH]. Université Paris-Est, 2011. Français.
<NNT : 2011PEST1048>
pastel-00665070
v1
Thèse
Jérôme Courchay
.
Calibration par programmation linéaire et reconstruction spatio-temporelle à partir de réseaux d’images
Autre [cs.OH]. Université Paris-Est, 2011. Français.
<NNT : 2011PEST1014>
tel-00686695
v1
Thèse
Romain Veltz
.
Nonlinear analysis methods in neural field models
Other [cs.OH]. Université Paris-Est, 2011. English.
<NNT : 2011PEST1056>
pastel-00674122
v1
Thèse
Jean-Paul Bultel
.
Déformations d'algèbres de Hopf combinatoires et inversion de Lagrange non commutative
Autre [cs.OH]. Université Paris-Est, 2011. Français.
<NNT : 2011PEST1006>
tel-00666878
v2
Thèse
Camille Couprie
.
Graph-based variational optimization and applications in computer vision
Other [cs.OH]. Université Paris-Est, 2011. English.
<NNT : 2011PEST1013>
pastel-00674619
v1
Thèse
Samuele Giraudo
.
Combinatoire algébrique des arbres
Autre [cs.OH]. Université Paris-Est, 2011. Français.
<NNT : 2011PEST1023>
pastel-00680735
v1
Thèse
Ramzi Mahmoudi
.
Real time image processing : algorithm parallelization on multicore multithread architecture
Other [cs.OH]. Université Paris-Est, 2011. English.
<NNT : 2011PEST1033>
hal-00274003
v1
Communication dans un congrès
Alberto Dennunzio
,
Pierre Guillon
,
Benoît Masson
.
Topological properties of sand automata as cellular automata
Bruno Durand.
JAC 2008
, Apr 2008, Uzès, France. Издательство МЦНМО, pp.216-227, 2008, Exploratory paper track
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 83 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
Enregistrer
Annuler
Libellé
Des champs obligatoires n'ont pas été remplis.