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 ×
76 résultats
enregistrer la recherche
Type de document
Thèse
(67)
Rapport
(4)
Communication dans un congrès
(3)
Direction d'ouvrage, Proceedings
(1)
Ouvrage (y compris édition critique et traduction)
(1)
Auteur
Bernard Mourrain
(2)
Jan Sokolowski
(2)
Alain Pietrus
(1)
Albert Cohen
(1)
Alvinice Kodjo
(1)
Amani Khecharem
(1)
Ana Karolinna Maia De Oliveira
(1)
Andrés Dario Moreno Barbosa
(1)
Antoni Zochowski
(1)
Atheer Al-Najdi
(1)
Aurélien Lancin
(1)
Bassem Ouni
(1)
Bi Li
(1)
Carlos Ernesto Gómez Cárdenas
(1)
Chiraz Chaabane
(1)
Christian Brel
(1)
Christian Delettre
(1)
Claire Anjou
(1)
Damián Alberto Vicino
(1)
Daniela Battaglino
(1)
Diego Fasoli
(1)
Émilien Kofman
(1)
Falou Ndoye
(1)
Fatima Zahra Moataz
(1)
Filip Křikava
(1)
Franck Berthelon
(1)
François Le Gland
(1)
Frédéric Cérou
(1)
Guillaume Ducoffe
(1)
Guillaume Urvoy-Keller
(1)
Hend Affes
(1)
Imane Mnie Filali
(1)
Imen Tayari Meftah
(1)
Isabelle Mirbel
(1)
Javier Baladron Pezoa
(1)
Jolita Ralyte
(1)
Justine Rochas
(1)
Khaled Baati
(1)
Khalil Riad Bouzidi
(1)
Kévin Perrot
(1)
Laurent Pellegrino
(1)
Luca Costabello
(1)
Maeva Antoine
(1)
Marie-Françoise Roy
(1)
Mariem Abdelmoula
(1)
Matias Vara Larsen
(1)
Maxime Lefrançois
(1)
Michaël Benguigui
(1)
Mohamed Amine Bergach
(1)
Mohamed Rezgui
(1)
Mohammed Bekkouche
(1)
Mohammed Belaid
(1)
Mounira Bachir
(1)
Nadia Cerezo
(1)
Neetya Shrestha
(1)
Nicolas Marie
(1)
Noureddine Aribi
(1)
Nuno Gaspar
(1)
Oleksandra Kulankhina
(1)
Olfa Yemen
(1)
Ons Mbarek
(1)
Papa Fary Diallo
(1)
Pavel Igorevich Plotnikov
(1)
Philippe Trebuchet
(1)
Pierre Del Moral
(1)
Quentin Jacquemart
(1)
Rakebul Hasan
(1)
Rebecca Deneckere
(1)
Riccardo Ravaioli
(1)
Roberto D'Ambrosio
(1)
Romaric Pighetti
(1)
Ronan Pardo Soares
(1)
Sana Fathallah
(1)
Sid Touati
(1)
Simon Martiel
(1)
Simon Urli
(1)
Somsack Inthasone
(1)
Sonia Belhareth
(1)
Thi Hoa Hue Nguyen
(1)
Tommi Tykkälä
(1)
Truong Khoa Phan
(1)
Vincent Kherbache
(1)
Wafa Bel Haj Ali
(1)
Yanwen Chen
(1)
Yoann Bertrand
(1)
Yves Mazabraud
(1)
Zide Meng
(1)
Dino Lopez Pacheco
(1)
Fabrice Rouillier
(1)
Olivier Gros
(1)
Pascal Lezaud
(1)
Thomas Forissier
(1)
Discipline
Informatique [cs]
(76)
Sciences de l'ingénieur [physics]
(2)
Chimie
(1)
Mathématiques [math]
(1)
Physique [physics]
(1)
Sciences cognitives
(1)
Sciences de l'environnement
(1)
Planète et Univers [physics]
(1)
Sciences du Vivant [q-bio]
(1)
Sciences de l'Homme et Société
(1)
Statistiques [stat]
(1)
Structure
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
(62)
Inria Sophia Antipolis - Méditerranée
(39)
Laboratoire d'Electronique, Antennes et Télécommunications
(6)
Inria de Paris
(5)
Laboratoire Jean Alexandre Dieudonné
(5)
Inria Paris-Rocquencourt
(4)
Institut Élie Cartan de Nancy
(2)
Laboratoire d'Informatique de Paris 6
(2)
Centre d'études de la Navigation Aérienne
(1)
Centre de Recherche en Informatique de Paris 1
(1)
Centre de recherches et de ressources en éducation et formation
(1)
Département d'informatique de l'École normale supérieure
(1)
Evolution Paris Seine
(1)
Géosciences Montpellier
(1)
INRIA Lorraine
(1)
Inria Rennes – Bretagne Atlantique
(1)
Inria Saclay - Ile de France
(1)
Institute of Services Science
(1)
Laboratoire Lorrain de Recherche en Informatique et ses Applications
(1)
Laboratoire de Mathématiques Informatique et Applications
(1)
Laboratoire de Recherche en Informatique
(1)
Laboratoire de l'Informatique du Parallélisme
(1)
Lavrentyev Institute of Hydrodynamics
(1)
Systems Research Institute [Warsaw]
(1)
Collection
UCA-TEST
(76)
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)
LIGM
(83)
SIGMA-CLERMONT
(83)
UNIV-ORLEANS
(82)
DTIP2008
(81)
TIMC-IMAG-GMCAO
(80)
LE2I
(77)
UPEC
(77)
LIMOS
(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
anglais
(51)
français
(25)
Type de dépôt
Document
(74)
Annexe
(1)
Notice
(1)
Année
2017
(2)
2016
(14)
2015
(13)
2014
(20)
2013
(20)
2012
(1)
2011
(1)
2006
(3)
2005
(1)
2004
(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 76 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
tel-00937667
v1
Thèse
Mohammed Belaid
.
Résolution de contraintes sur les flottants dédiée à la vérification de programmes
Autre [cs.OH]. Université Nice Sophia Antipolis, 2013. Français.
<NNT : 2013NICE4121>
tel-00935083
v1
Thèse
Filip Křikava
.
Domain-specific modeling language for self-adaptive software system architectures
Other [cs.OH]. Université Nice Sophia Antipolis, 2013. English.
<NNT : 2013NICE4110>
tel-00937707
v1
Thèse
Sana Fathallah
.
Résolution des interférences pour la composition dynamique de services en informatique ambiante
Autre [cs.OH]. Université Nice Sophia Antipolis, 2013. Français.
<NNT : 2013NICE4155>
tel-00917416
v2
Thèse
Franck Berthelon
.
Modélisation et détection des émotions à partir de données expressives et contextuelles
Autre [cs.OH]. Université Nice Sophia Antipolis, 2013. Français.
<NNT : 2013NICE4151>
tel-00933813
v1
Thèse
Tommi Tykkälä
.
Real-time image-based RGB-D camera motion tracking and environment mapping
Other [cs.OH]. Université Nice Sophia Antipolis, 2013. English.
<NNT : 2013NICE4058>
tel-00931001
v2
Thèse
Carlos Ernesto Gómez Cárdenas
.
Modeling functional and non-functional properties of systems based on a multi-view approach
Other [cs.OH]. Université Nice Sophia Antipolis, 2013. English.
<NNT : 2013NICE4153>
tel-00942559
v1
Thèse
Nadia Cerezo
.
Conceptual workflows
Other [cs.OH]. Université Nice Sophia Antipolis, 2013. English.
<NNT : 2013NICE4149>
tel-00934617
v1
Thèse
Luca Costabello
.
Context-aware access control and presentation of linked data
Other [cs.OH]. Université Nice Sophia Antipolis, 2013. English.
<NNT : 2013NICE4099>
tel-00908227
v2
Thèse
Ronan Pardo Soares
.
Pursuit-evasion, decompositions and convexity on graphs
Other [cs.OH]. Université Nice Sophia Antipolis, 2013. English.
<NNT : 2013NICE4083>
tel-00947611
v2
Thèse
Khaled Baati
.
Stratégie de réduction des cycles thermiques pour systèmes temps-réel multiprocesseurs sur puce
Autre [cs.OH]. Université Nice Sophia Antipolis, 2013. Français.
<NNT : 2013NICE4141>
tel-00978366
v1
Thèse
Falou Ndoye
.
Ordonnancement temps réel préemptif multiprocesseur avec prise en compte du coût du système d’exploitation
Autre [cs.OH]. Université Paris Sud - Paris XI, 2014. Français.
<NNT : 2014PA112056>
tel-01485328
v1
Thèse
Guillaume Ducoffe
.
Metric properties of large graphs
Other [cs.OH]. Université Côte d'Azur, 2016. English.
< NNT : 2016AZUR4134 >
tel-01478403
v1
Thèse
Romaric Pighetti
.
An hybrid method for fine-grained content based image retrieval
Other [cs.OH]. Université Côte d'Azur, 2016. English.
< NNT : 2016AZUR4085 >
tel-01478626
v1
Thèse
Atheer Al-Najdi
.
A closed patterns-based approach to the consensus clustering problem
Other [cs.OH]. Université Côte d'Azur, 2016. English.
< NNT : 2016AZUR4111 >
tel-01419310
v2
Thèse
Vincent Kherbache
.
Ordonnancement des migrations à chaud de machines virtuelles
Autre [cs.OH]. Université Côte d'Azur, 2016. Français.
< NNT : 2016AZUR4130 >
tel-01544855
v1
Thèse
Yoann Bertrand
.
Access control policies and companies data transmission management
Other [cs.OH]. Université Côte d'Azur, 2017. English.
< NNT : 2017AZUR4012 >
tel-01419298
v2
Thèse
Oleksandra Kulankhina
.
A framework for rigorous development of distributed components : formalisation and tools
Other [cs.OH]. Université Côte d'Azur, 2016. English.
< NNT : 2016AZUR4077 >
tel-01440547
v1
Thèse
Imane Mnie Filali
.
Distribution multi-contenus sur Internet
Autre [cs.OH]. Université Côte d'Azur, 2016. Français.
< NNT : 2016AZUR4068 >
tel-01402612
v3
Thèse
Zide Meng
.
Temporal and semantic analysis of richly typed social networks from user-generated content sites on the web
Other [cs.OH]. Université Côte d'Azur, 2016. English.
< NNT : 2016AZUR4090 >
tel-01534440
v1
Thèse
Émilien Kofman
.
Low power application architecture adaptation using SMT solvers
Other [cs.OH]. Université Côte d'Azur, 2017. English.
< NNT : 2017AZUR4009 >
tel-01438203
v1
Thèse
Papa Fary Diallo
.
Aspects socioculturels et temporels dans les ontologies pour les communautés virtuelles
Autre [cs.OH]. Université Côte d'Azur, 2016. Français.
< NNT : 2016AZUR4055 >
tel-01441662
v1
Thèse
Justine Rochas
.
Execution support for multi-threaded active objects : design and implementation
Other [cs.OH]. Université Côte d'Azur, 2016. English.
< NNT : 2016AZUR4062 >
inria-00070537
v1
Communication dans un congrès
Bernard Mourrain
,
Philippe Trebuchet
.
Generalized normal forms and polynomial system solving
M. Kauers.
ISSAC 2005 - International Symposium on Symbolic and Algebraic Computation
, Jul 2005, Beijing, China. ACM New York, NY, USA, pp.253-260, 2005,
<10.1145/1073884.1073920>
inria-00071434
v1
Rapport
Bernard Mourrain
,
Fabrice Rouillier
,
Marie-Françoise Roy
.
Bernstein's basis and real root isolation
[Research Report] RR-5149, INRIA. 2004
inria-00071391
v1
Rapport
Frédéric Cérou
,
Pierre Del Moral
,
François Le Gland
,
Pascal Lezaud
.
Genetic genealogical models in rare event analysis
[Research Report] RR-5878, INRIA. 2006
hal-01481313
v1
Communication dans un congrès
Dino Lopez Pacheco
,
Guillaume Urvoy-Keller
,
Quentin Jacquemart
.
Container-Based Service Chaining: A Performance Perspective
CloudNet 2016
, 2016, Pisa, Italy. 2016
hal-00716183
v1
Communication dans un congrès
Mounira Bachir
,
Albert Cohen
,
Sid Touati
.
On the Effectiveness of Register Moves to Minimise Post-Pass Unrolling in Software Pipelined Loops
IEEE, ACM.
HPCS 2012 : International Conference on High Performance Computing & Simulation
, Jul 2012, Madrid, Spain. 2012
hal-01413318
v1
Direction d'ouvrage, Proceedings
Yves Mazabraud
,
Thomas Forissier
,
Alain Pietrus
,
Olivier Gros
,
Claire Anjou
.
CARIBBEAN ACADEMY OF SCIENCES 20 th GENERAL ASSEMBLY AND BIENNAL MEETING
Nov 2016, Dehaies, Guadeloupe. 2016
tel-01134191
v2
Thèse
Simon Urli
.
Processus flexible de configuration pour lignes de produits logiciels complexes
Autre [cs.OH]. Université Nice Sophia Antipolis, 2015. Français.
< NNT : 2015NICE4002 >
tel-01165064
v1
Thèse
Alvinice Kodjo
.
Design and optimization of wireless backhaul networks
Other [cs.OH]. Université Nice Sophia Antipolis, 2014. English.
< NNT : 2014NICE4140 >
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 76 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
Enregistrer
Annuler
Libellé
Des champs obligatoires n'ont pas été remplis.