HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am.
More information
Skip to Main content
Skip to Navigation
Toggle navigation
Sign in
Sign in
Sign in with ORCID
se connecter avec Fédération
Create account
Forgot your password?
Have you forgotten your login?
fr
en
Home
Browse
By authors
By research team
By year
Domain list
By document type
Browse last submissions
Search
Services
HalTools
Folder
CasuHALThon
Search
Les Filtres
Filters
All ×
119303 results
save search
Document types
Minimize
Conference papers
(49898)
Journal articles
(36271)
Reports
(13146)
Theses
(5566)
Preprints, Working Papers, ...
(4479)
Book sections
(3459)
Poster communications
(1451)
Directions of work or proceedings
(1148)
Other publications
(1108)
Books
(753)
Habilitation à diriger des recherches
(607)
Master thesis
(489)
Documents associated with scientific events
(396)
Patents
(248)
Lectures
(130)
Software
(99)
Videos
(45)
Notes de synthèse
(6)
Photos
(3)
Other reports
(1)
Author
Minimize
Frédéric Alexandre
(213)
Eitan Altman
(478)
Gabriel Antoniu
(219)
Konstantin Avrachenkov
(183)
Nicholas Ayache
(730)
François Baccelli
(171)
Francis Bach
(220)
Christian Barillot
(312)
Hélène Barucq
(252)
Benoit Baudry
(204)
Olivier Beaumont
(172)
Abdel Belaïd
(180)
Anne Benoit
(241)
Olivier Bernard
(216)
Jean-Daniel Boissonnat
(178)
Francois Bremond
(230)
Marie-Paule Cani
(234)
Eddy Caron
(225)
Bruno Cessac
(187)
François Charpillet
(275)
François Chaumette
(308)
Olivier Colliot
(192)
Pietro Marco Congedo
(222)
Christine Azevedo Coste
(194)
David Coudert
(175)
Bernard Cousin
(190)
Hervé Delingette
(345)
Rachid Deriche
(299)
Frédéric Desprez
(198)
Olivier Devillers
(306)
Julien Diaz
(207)
Stéphane Ducasse
(255)
Stanley Durrleman
(174)
Denis Efimov
(363)
Jérôme Euzenat
(231)
Olivier Faugeras
(213)
Jean-Daniel Fekete
(201)
Olivier Festor
(410)
Eric Fleury
(187)
Dominique Fohr
(176)
Florence Forbes
(216)
Fabien Gandon
(261)
Bruno Gaujal
(179)
Stéphane Girard
(310)
Claude Godart
(184)
Jean-Marie Gorce
(198)
Rémi Gribonval
(354)
Christine Guillemot
(254)
David Guiraud
(216)
Isabelle Herlin
(200)
Radu Horaud
(283)
Valérie Issarny
(192)
Philippe Jacquet
(185)
Patrick Joly
(189)
Jean-Marc Jézéquel
(273)
Anne-Marie Kermarrec
(241)
Jean-Charles Lamirel
(214)
Christian Laugier
(227)
Axel Legay
(246)
Fabien Lotte
(184)
Anatole Lécuyer
(240)
Grégoire Malandain
(233)
Ioana Manolescu
(181)
Frederic Mazenc
(209)
Laurent Mevel
(179)
Nathalie Mitton
(272)
Christine Morin
(305)
Etienne Mémin
(211)
Amedeo Napoli
(476)
Silviu-Iulian Niculescu
(304)
Nicolas Nisse
(191)
Pierre-Yves Oudeyer
(203)
Nikos Paragios
(189)
Xavier Pennec
(374)
Wilfrid Perruquetti
(232)
Andrey Polyakov
(177)
Michel Raynal
(350)
Yves Robert
(640)
Denis Roegel
(211)
Laurent Romary
(366)
Gerardo Rubino
(199)
Michaël Rusinowitch
(187)
Marie-France Sagot
(186)
Benoît Sagot
(204)
Cordelia Schmid
(322)
Marc Schoenauer
(203)
Olivier Sentieys
(281)
Maxime Sermesant
(247)
Marc Shapiro
(197)
Ye-Qiong Song
(225)
Peter Sturm
(245)
Antoine Tabbone
(175)
El-Ghazali Talbi
(281)
Bertrand Thirion
(195)
Denis Trystram
(192)
Bruno Tuffin
(202)
Patrick Valduriez
(304)
Emmanuel Vincent
(302)
Frédéric Vivien
(212)
Thierry Viéville
(201)
Subject field
Minimize
Computer Science [cs]
(85896)
Mathematics [math]
(19436)
Life Sciences [q-bio]
(13551)
Engineering Sciences [physics]
(9947)
Statistics [stat]
(3874)
Physics [physics]
(3620)
Cognitive science
(2702)
Humanities and Social Sciences
(2503)
Environmental Sciences
(1554)
Sciences of the Universe [physics]
(852)
Quantitative Finance [q-fin]
(365)
Nonlinear Sciences [physics]
(301)
Chemical Sciences
(271)
domain_stic
(20)
domain_other
(5)
Laboratory
Minimize
Inria Sophia Antipolis - Méditerranée
(17982)
Institut de Recherche en Informatique et Systèmes Aléatoires
(16987)
Inria Grenoble - Rhône-Alpes
(16068)
Inria Rennes – Bretagne Atlantique
(15305)
Laboratoire Lorrain de Recherche en Informatique et ses Applications
(14873)
Inria Saclay - Ile de France
(11358)
Inria Paris-Rocquencourt
(9879)
Inria Nancy - Grand Est
(7490)
Inria Bordeaux - Sud-Ouest
(7464)
INRIA Lorraine
(6937)
Inria Lille - Nord Europe
(6892)
Laboratoire de Biométrie et Biologie Evolutive - UMR 5558
(6531)
Inria de Paris
(5558)
Laboratoire de l'Informatique du Parallélisme
(4766)
Laboratoire Jean Kuntzmann
(4645)
Laboratoire d'Informatique Fondamentale de Lille
(3723)
Laboratoire Bordelais de Recherche en Informatique
(3708)
Laboratoire d'Informatique de Grenoble
(3644)
Laboratoire de Recherche en Informatique
(3485)
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
(3471)
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
(3463)
Institut de Mathématiques de Bordeaux
(2693)
Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
(2530)
CITI Centre of Innovation in Telecommunications and Integration of services
(2121)
Laboratoire d'informatique de l'École polytechnique [Palaiseau]
(1843)
Laboratoire Jacques-Louis Lions
(1716)
Laboratoire d'Informatique de Paris 6
(1660)
Laboratoire Jean Alexandre Dieudonné
(1614)
Laboratoire d'informatique GRAphique, VIsion et Robotique de Grenoble
(1433)
Centre de Mathématiques Appliquées - Ecole Polytechnique
(1395)
INRIA Rennes
(1376)
Laboratoire d'Informatique de Nantes Atlantique
(1352)
Institut Élie Cartan de Nancy
(1351)
INRIA Rocquencourt
(1336)
Institut Élie Cartan de Lorraine
(1205)
Laboratory of Information, Network and Communication Sciences
(1019)
Laboratoire des signaux et systèmes
(989)
Laboratoire de Mathématiques et de leurs Applications [Pau]
(974)
Laboratoire Paul Painlevé - UMR 8524
(948)
Institut de Recherche Mathématique de Rennes
(935)
Grenoble Images Parole Signal Automatique
(918)
Laboratoire d'InfoRmatique en Image et Systèmes d'information
(863)
Laboratoire d'informatique de l'école normale supérieure
(821)
Institut de recherche en informatique de Toulouse
(809)
Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
(778)
Laboratoire d'océanographie de Villefranche
(773)
Centre d'Enseignement et de Recherche en Mathématiques et Calcul Scientifique
(715)
Service NEUROSPIN
(709)
Laboratoire Traitement et Communication de l'Information
(683)
Laboratoire Spécification et Vérification [Cachan]
(669)
Institut Universitaire de France
(657)
Institut Rhône-Alpin des systèmes complexes
(645)
Laboratoire des Sciences du Numérique de Nantes
(617)
Laboratoire de Mathématiques d'Orsay
(611)
Institut Camille Jordan [Villeurbanne]
(548)
Institut de Recherche Mathématique Avancée
(544)
Institut Charles Delaunay
(510)
Laboratoire d'Automatique, Génie Informatique et Signal
(481)
Centre de vision numérique
(480)
INRIA Futurs
(478)
LIP6
(472)
Max-Planck-Institut für Informatik
(468)
Centre de Recherche en Automatique de Nancy
(460)
Amélioration génétique et adaptation des plantes méditerranéennes et tropicales
(458)
Laboratoire d'Informatique Gaspard-Monge
(440)
Laboratoire de Mathématiques et Applications de Metz
(431)
CEntre de REcherches en MAthématiques de la DEcision
(425)
Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection
(417)
Evaluation des technologies de santé et des pratiques médicales - ULR 2694
(402)
Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
(401)
Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
(394)
Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie
(390)
Parallélisme, Réseaux, Systèmes, Modélisation
(386)
Laboratoire d'Intégration des Systèmes et des Technologies
(385)
Institut de Recherche en Informatique Fondamentale
(381)
Laboratoire d'informatique Algorithmique : Fondements et Applications
(373)
Centre de génétique et de physiologie moléculaire et cellulaire
(372)
Institut des Maladies Neurodégénératives [Bordeaux]
(371)
Département Composants et Systèmes
(369)
Microsoft Research - Inria Joint Centre
(343)
IHU-LIRYC
(340)
Department of Computer Science
(332)
Laboratoire d'analyse et d'architecture des systèmes
(332)
Institut de Biologie Computationnelle
(326)
Institut de Mathématiques de Toulouse UMR5219
(321)
Laboratoire Informatique d'Avignon
(319)
Mathématiques Appliquées aux Systèmes - EA 4037
(313)
Laboratoire Franco-Chinois d'Informatique, d'Automatique et de Mathématiques Appliquées
(305)
Mathématiques, Informatique et STatistique pour l'Environnement et l'Agronomie
(296)
Bordeaux population health
(288)
Inria Siège
(286)
Centre d'Enseignement et de Recherche en Mathématiques, Informatique et Calcul Scientifique
(284)
Centre d'études et de recherche en informatique et communications
(281)
Institut Montpelliérain Alexander Grothendieck
(273)
Laboratoire de mécanique des solides
(267)
XLIM
(264)
Institut du Cerveau et de la Moëlle Epinière = Brain and Spine Institute
(252)
Laboratoire Mouvement Sport Santé
(252)
VERIMAG
(251)
Institut de Biologie Valrose
(246)
Botanique et Modélisation de l'Architecture des Plantes et des Végétations
(245)
Orange Labs [Lannion]
(232)
Laboratoire d'Informatique pour la Mécanique et les Sciences de l'Ingénieur
(229)
Preuves, Programmes et Systèmes
(229)
Commissariat à l'énergie atomique et aux énergies alternatives - Laboratoire d'Electronique et de Technologie de l'Information
(223)
Institut Sophia Agrobiotech
(218)
France Télécom Recherche & Développement
(214)
Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
(211)
Institut d'Électronique et des Technologies du numéRique
(210)
Unité de Mathématiques Pures et Appliquées
(210)
Institut de Recherche en Communications et en Cybernétique de Nantes
(209)
Centre d'Enseignement et de Recherche en Environnement Atmosphérique
(202)
Laboratoire d'Informatique Fondamentale d'Orléans
(202)
Informatique et Distribution
(201)
Laboratoire de l'intégration, du matériau au système
(199)
Laboratoire de Physique de l'ENS Lyon
(197)
Laboratoire Interdisciplinaire des Sciences du Numérique
(196)
Orange Labs [Issy les Moulineaux]
(196)
Département d'Informatique et de Recherche Opérationnelle [Montreal]
(187)
Innovative Computing Laboratory [Knoxville]
(186)
Department of Computer Science and Engineering [Bologna]
(182)
Laboratoire Adaptation et pathogénie des micro-organismes [Grenoble]
(180)
Ingénierie des Agro-polymères et Technologies Émergentes
(179)
Institut de Génétique, Environnement et Protection des Plantes
(177)
Groupe de Recherche en Informatique, Image et Instrumentation de Caen
(175)
Handicap et système nerveux :Action, communication, interaction: rétablissement de la fonction et de la participation [Bordeaux]
(175)
Laboratoire Photonique, Numérique et Nanosciences
(175)
Technicolor R & I [Cesson Sévigné]
(175)
Hydrosciences Montpellier
(174)
Laboratoire Analyse, Géométrie et Applications
(169)
Department of Mathematics
(167)
Laboratoire de Biotechnologie de l'Environnement [Narbonne]
(165)
Mathématiques Appliquées Paris 5
(163)
Supélec Sciences des Systèmes
(161)
Centre de Mathématiques Appliquées
(158)
Service de Neuroradiologie [CHU Pitié-Salpêtrière]
(158)
Laboratoire de Neuroimagerie Assistée par Ordinateur
(157)
Microsoft Research [Cambridge]
(157)
Institut des Systèmes Intelligents et de Robotique
(154)
Laboratoire d'Informatique de Paris-Nord
(153)
Centre de Recherche en Acquisition et Traitement de l'Image pour la Santé
(152)
Laboratoire Traitement du Signal et de l'Image
(152)
Sciences et Technologies de la Musique et du Son
(151)
Institut de Mathématiques et de Modélisation de Montpellier
(148)
Laboratoire de Mathématiques
(146)
Laboratoire Méthodes Formelles
(145)
Laboratoire d'Automatique, de Mécanique et d'Informatique industrielles et Humaines - UMR 8201
(144)
Institut des Sciences de l'Evolution de Montpellier
(143)
Techniques de l'Ingénierie Médicale et de la Complexité - Informatique, Mathématiques et Applications, Grenoble - UMR 5525
(143)
Institut de Mathématiques de Bourgogne [Dijon]
(141)
Alcatel-Lucent Bell Labs France [Nozay]
(140)
Equipes Traitement de l'Information et Systèmes
(140)
Laboratoire International de Recherche en Informatique et Mathématiques Appliquées
(140)
Laboratoire des sciences pour la conception, l'optimisation et la production
(138)
Centre de Robotique
(136)
Laboratoire d'Analyse, Topologie, Probabilités
(136)
Laboratoire de Probabilités et Modèles Aléatoires
(136)
Heuristique et Diagnostic des Systèmes Complexes [Compiègne]
(130)
Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision
(129)
Cardiovasculaire, métabolisme, diabétologie et nutrition
(128)
Laboratoire d'Informatique Fondamentale et d'Intelligence Artificielle
(128)
Centre de Mathématiques et de Leurs Applications
(127)
Dipartimento di Informatica [Pisa]
(127)
Informatique, Biologie Intégrative et Systèmes Complexes
(125)
Institut de Mathématiques de Jussieu - Paris Rive Gauche
(124)
Laboratoire d'Analyse et de Mathématiques Appliquées
(123)
Microsoft Research [Redmond]
(122)
Laboratoire d'Informatique, de Traitement de l'Information et des Systèmes
(120)
TOTAL-Scientific and Technical Center Jean Féger
(120)
Centre de Recherche en Informatique de Lens
(119)
Laboratoire Hubert Curien [Saint Etienne]
(118)
Laboratoire d'Electronique, Antennes et Télécommunications
(118)
Modélisation, Information et Systèmes - UR UPJV 4290
(118)
SUPELEC-Campus Metz
(117)
Mathématiques et Informatique Appliquées du Génome à l'Environnement [Jouy-En-Josas]
(116)
Structure et Instrumentation Intégrée
(116)
Laboratoire d'Informatique, de Modélisation et d'optimisation des Systèmes
(115)
Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes
(114)
Électronique et Commande des Systèmes Laboratoire
(114)
Computer Science Department
(113)
Laboratoire des Sciences de l'Information et des Systèmes
(113)
Facebook AI Research [Paris]
(112)
Orange Labs R&D [Rennes]
(111)
Service de radiologie et imagerie médicale [Rennes] = Radiology [Rennes]
(111)
L'Institut hospitalo-universitaire de Strasbourg
(110)
Laboratoire de Mathématiques Jean Leray
(109)
Laboratoire de Mathématiques de Versailles
(109)
Laboratoire de l'Accélérateur Linéaire
(109)
Institut des Sciences de la Terre
(108)
Analyse et Traitement Informatique de la Langue Française
(107)
DAM Île-de-France
(107)
Biologie Fonctionnelle, Insectes et Interactions
(106)
Centre Automatique et Systèmes
(104)
Instituto de Informática da UFRGS
(104)
Thales Research and Technology [Palaiseau]
(104)
Centre de Recherche en Sciences et Technologies de l'Information et de la Communication - EA 3804
(102)
Epidémiologie et Biostatistique [Bordeaux]
(102)
Laboratoire de Modélisation et Calcul
(102)
Ampère
(101)
Physiologie de la reproduction et des comportements [Nouzilly]
(101)
Language
Minimize
English
(104732)
French
(14100)
Interlingue
(189)
Unknown or Invalid Language
(98)
Spanish
(46)
Portuguese
(36)
German
(28)
Chinese
(23)
Italian
(14)
Japanese
(8)
Russian
(8)
Czech
(4)
Ukrainian
(3)
Dutch
(2)
Polish
(2)
Romanian
(2)
Slovenian
(2)
Turkish
(2)
Breton
(1)
Occitan
(1)
Vietnamese
(1)
Zulu
(1)
Keyword
Minimize
Scheduling
(605)
Machine learning
(555)
Simulation
(536)
Optimization
(473)
Classification
(421)
Security
(393)
Clustering
(323)
Privacy
(313)
Deep learning
(298)
Complexity
(282)
Modeling
(273)
Modélisation
(270)
Stability
(269)
Optimal control
(262)
Verification
(259)
Ordonnancement
(256)
Optimisation
(248)
Segmentation
(214)
Computer vision
(212)
Neural networks
(212)
Cloud computing
(205)
Rewriting
(205)
Coq
(199)
Ontology
(198)
Algorithms
(194)
Machine Learning
(191)
Performance
(191)
Distributed systems
(188)
Semantics
(184)
Routing
(182)
Performance evaluation
(179)
Data mining
(178)
Visualization
(177)
Bioinformatics
(176)
Real-time
(173)
Parallelism
(169)
Robustness
(168)
Evaluation
(162)
IoT
(159)
RDF
(158)
Modelling
(156)
Validation
(153)
Semantic Web
(152)
Réécriture
(150)
Sécurité
(150)
Reliability
(147)
EEG
(146)
FPGA
(146)
Semantic web
(146)
Compilation
(143)
Formal methods
(143)
Internet of Things
(142)
XML
(141)
Cryptography
(139)
Static analysis
(139)
GPU
(138)
Inverse problems
(138)
Virtual reality
(138)
Inverse problem
(137)
Registration
(137)
Scalability
(136)
Reinforcement learning
(135)
Vision par ordinateur
(135)
Algorithm
(133)
MPI
(133)
MRI
(133)
Apprentissage
(132)
Adaptation
(131)
Monitoring
(129)
Cloud Computing
(128)
Embedded systems
(128)
Interoperability
(128)
Data assimilation
(127)
Game theory
(127)
Cloud
(126)
Matching
(126)
Robotics
(126)
Apprentissage automatique
(125)
Concurrency
(124)
Diffusion MRI
(123)
Image processing
(122)
Ontologies
(122)
Parallélisme
(122)
Estimation
(120)
Sparsity
(120)
Fault tolerance
(119)
Web sémantique
(119)
Artificial intelligence
(118)
Cryptographie
(117)
Energy efficiency
(117)
Finite element method
(117)
Speech recognition
(116)
Wireless sensor networks
(115)
Model checking
(114)
Virtualization
(114)
FMRI
(113)
Interaction
(113)
Learning
(113)
Complexité
(112)
Formal verification
(111)
Type of deposit
Minimize
Fulltext
(75625)
Notice
(42996)
Annex
(682)
Year
Minimize
2022
(1864)
2021
(6388)
2020
(5896)
2019
(6415)
2018
(6619)
2017
(6744)
2016
(7097)
2015
(7114)
2014
(7183)
2013
(7250)
2012
(6905)
2011
(6463)
2010
(6243)
2009
(5373)
2008
(4655)
2007
(3923)
2006
(3712)
2005
(2853)
2004
(2376)
2003
(2100)
2002
(1733)
2001
(1324)
2000
(1281)
1999
(1085)
1998
(1040)
1997
(685)
1996
(702)
1995
(616)
1994
(549)
1993
(529)
1992
(428)
1991
(347)
1990
(297)
1989
(286)
1988
(241)
1987
(241)
1986
(156)
1985
(156)
1984
(109)
1983
(101)
1982
(90)
1981
(69)
1980
(57)
1978
(3)
1977
(1)
1970
(1)
1969
(1)
1964
(1)
1941
(1)
Search
Help
Advanced Search…
Simple search…
Default search field (multi-criteria)
Default search field (multi-criteria)
Default search field (multi-criteria) + PDF full text
Titles
Subtitle
Work title
hal_serie_t
Abstract
Full text of PDF document
Keywords
All document identifiers
HAL submission identifier
Language of document (text)
Country (Text)
City
hal_inPress_bool
Author (multi-criteria)
Author: Full name
Author: Last name
Author: First name
Author: middle name
Author: funding institution
Author: IdHal (string)
Author: function
Author: idHal (integer)
Author: Identifier
Author: funding institution identifier
Author: Structure identifier
Thesis director
Publisher
Scientific editor
Series editor
Journals (multi-criteria)
Journal: Publisher
Journal: Abbreviated title
Journal: Title
Journal: Internal identifier
Journal: beginning publication date
Journal: online ISSN
Journal: ISSN
Journal: Publisher
Journal: SHERPA/RoMEO color
Journal: referential status
Conference (multi-criteria)
Conference: Title
Conference: Organiser
Conference: beginning date (Year)
Conference: end date (Year)
Invited communication (yes/no)
ANR project (multi-criteria)
ANR project: Acronym
hal_anrProjectAcronymProgram_t
ANR project: Code decision (reference)
ANR project: Name
ANR project: Internal identifier
ANR project: Referential Status
European project (multi-criteria)
European project: Acronym
European project: Call identifier
European project: Reference
European project: Name
European project: end date
European project: Funding
European project: beginning date
European project: Referential status
European project: Internal identifier
Structure (multi-criteria)
Structure: Acronym
Structure: Name
Structure: Code
Structure: Country
Structure: Type
Structure: Referential status
Structure: Internal structure identifier
Structure/research team: Country
Structure/department: Country
Structure/laboratory: Country
Structure/group of departments: State
Structure/institution: Country
Structure/group of institutions: Country
Publication date: year
Release date: year
hal_publicationDateY_i
Writing date: year
Date modified: year
Submission Date: year
Online Publication date: year
HAL Collection (multi-criteria)
HAL Collection: category
HAL Collection: Code
HAL Collection: Name
HAL Collection: Internal identifier
Contributor/author Internal identifier
Contributor/author Full name
Domains
Primary domain
Root domain
Sub-domain level 1
Sub-domain level 2
Sub-domain level 3
Status of document
Document version
Submission type
Document type
ISBN
Number - reference
Identifier: DOI
Classification
Audience
Vulgarization
Peer reviewing - text (yes or no)
Conference proceedings
Internal reference
Funding
Collaborations
Add
Successfully saved
My saved searches / my alerts
An error occurred while saving
1
2
3
4
5
6
7
8
9
10
Suivant
Dernière
Sort
Relevance
Author A→Z
Author Z→A
Title A→Z
Title Z→A
Date de publication croissante
Date de publication décroissante
Date de dépôt croissante
Date de dépôt décroissante
Number
30 results per page
50 results per page
100 results per page
×
Merci d'indiquer la raison de votre demande
Tools
o
Export
XML-TEI
BibTeX
EndNote
CSV
PDF
HTML
Advanced export...
Syndicated feeds
RSS
ATOM
hal-03679752
v1
Journal articles
Nicolas Aragon
,
Olivier Blazy
,
Jean-Christophe Deneuville
,
Philippe Gaborit
,
Gilles Zemor
.
Ouroboros An efficient and provably secure KEM family
IEEE Transactions on Information Theory
, Institute of Electrical and Electronics Engineers, 2022, pp.1-1.
⟨10.1109/TIT.2022.3168439⟩
hal-03679699
v1
Journal articles
Trungtin Nguyen
,
Faicel Chamroukhi
,
Hien Duy Nguyen
,
Geoffrey Mclachlan
.
Approximation of probability density functions via location-scale finite mixtures in Lebesgue spaces
Communications in Statistics - Theory and Methods
, Taylor & Francis, 2022, pp.1-12.
⟨10.1080/03610926.2021.2002360⟩
hal-03678767
v1
Poster communications
Chloé Mercier
,
Margarida Romero
,
Frédéric Alexandre
,
Thierry Viéville
.
Apprentissage par renforcement sur des connaissances symboliques structurées : modéliser la résolution créative de problèmes
CJC-SCo 2022 - Colloque des jeunes chercheur·se·s en sciences cognitives
, Apr 2022, Paris, France
hal-03678747
v1
Preprints, Working Papers, ...
Muhammed Selcuk Kok
.
Is Okun's law still valid in France?
2022
insu-03678701
v1
Journal articles
Paola Bacigaluppi
,
Mario Ricchiuto
,
Philippe Bonneton
.
Implementation and Evaluation of Breaking Detection Criteria for a Hybrid Boussinesq Model
Water Waves
, 2019, 2, pp.207-241.
⟨10.1007/s42286-019-00023-8⟩
hal-03677528
v2
Preprints, Working Papers, ...
Céline Moucer
,
Adrien Taylor
,
Francis Bach
.
A systematic approach to Lyapunov analyses of continuous-time models in convex optimization
2022
hal-03481978
v2
Journal articles
Renata Bunoiu
,
Karim Ramdani
,
Claudia Timofte
.
T-coercivity for the homogenization of sign-changing coefficients scalar problems with extreme contrasts
Mathematical Reports
, Romanian Academy of Sciences, In press, Marius Tucsnak 60th Anniversary Volume, 24(74) (1-2)
hal-03674979
v1
Preprints, Working Papers, ...
David Baelde
,
Alexandre Debant
,
Stéphanie Delaune
.
Proving Unlinkability using ProVerif through Desynchronized Bi-Processes
2022
hal-03678150
v1
Conference papers
Marvin Nakayama
,
Bruno Tuffin
.
On a Central Limit Theorem and a Confidence Interval for Randomized Quasi-Monte Carlo Methods
Stochastic Numerics and Statistical Learning: Theory and Applications Workshop
, KAUST, May 2022, Djeddah, Saudi Arabia
hal-03677975
v1
Journal articles
Samuel Deslauriers-Gauthier
,
Mauro Zucchelli
,
Hiba Laghrissi
,
Rachid Deriche
.
A Riemannian Revisiting of Structure–Function Mapping Based on Eigenmodes
Frontiers in Neuroimaging
, Frontiers Media, 2022, 1,
⟨10.3389/fnimg.2022.850266⟩
hal-03677966
v1
Conference papers
Vitalii Emelianov
,
Nicolas Gast
,
Patrick Loiseau
.
Fairness in Selection Problems with Strategic Candidates
ACM Conference on Economics and Computation (EC'22)
, Jul 2022, Boulder, Colorado, United States.
⟨10.1145/3490486.3538287⟩
hal-03677908
v1
Conference papers
Solène Tarride
,
Aurélie Lemaitre
,
Bertrand Coüasnon
,
Sophie Tardivel
.
A comparative study of information extraction strategies using an attention-based neural network
15th IAPR International Workshop on Document Analysis Systems
, May 2022, La Rochelle, France
hal-03676479
v1
Journal articles
Laura Xicota
,
Beata Gyorgy
,
Benjamin Grenier-Boley
,
Alexandre Lecoeur
,
Gaelle Fontaine
et al.
Association of APOE-Independent Alzheimer Disease Polygenic Risk Score With Brain Amyloid Deposition in Asymptomatic Older Adults
Neurology
, American Academy of Neurology, In press, pp.10.1212/WNL.0000000000200544.
⟨10.1212/WNL.0000000000200544⟩
tel-03677730
v1
Theses
Wang Zhiping
.
Constructive generative design methods for qualified additive manufacturing
Mechanical engineering [physics.class-ph]. Ecole Centrale de Nantes (ECN), 2021. English
hal-03677650
v1
Conference papers
Fedra Trujillano
,
Jessenia Gonzalez
,
Carlos Saito
,
Andres Flores
,
Racoceanu Daniel
.
Corn Crops Identification Using Multispectral Images from Unmanned Aircraft Systems
IGARSS 2021 - 2021 IEEE International Geoscience and Remote Sensing Symposium
, Jul 2021, Brussels, France. pp.4712-4715,
⟨10.1109/IGARSS47720.2021.9553826⟩
hal-03677649
v1
Journal articles
Songhui Diao
,
Yinli Tian
,
Wanming Hu
,
Jiaxin Hou
,
Ricardo Lambo
et al.
Weakly Supervised Framework for Cancer Region Detection of Hepatocellular Carcinoma in Whole-Slide Pathologic Images Based on Multiscale Attention Convolutional Neural Network
American Journal of Pathology
, American Society for Investigative Pathology, 2022, 192 (3), pp.553-563.
⟨10.1016/j.ajpath.2021.11.009⟩
hal-03372247
v2
Preprints, Working Papers, ...
Andrew Appel
,
Xavier Leroy
.
Efficient Extensional Binary Tries
2022
hal-02904446
v2
Journal articles
Arthur Leroy
,
Pierre Latouche
,
Benjamin Guedj
,
Servane Gey
.
MAGMA: Inference and Prediction using Multi-Task Gaussian Processes with Common Mean
Machine Learning
, Springer Verlag, 2022,
⟨10.1007/s10994-022-06172-1⟩
hal-02066649
v6
Preprints, Working Papers, ...
Sarah Chlyah
,
Nils Gesbert
,
Pierre Genevès
,
Nabil Layaïda
.
On the Optimization of Iterative Programming with Distributed Data Collections
2022
hal-03635206
v1
Journal articles
Samuel Bulteau
,
Andrew Laurin
,
Kalyane Bach-Ngohou
,
Morgane Péré
,
Marie-Anne Vibet
et al.
Feasibility of combining transcranial direct current stimulation and active fully embodied virtual reality for visual height intolerance : a double-blind randomized controlled study
Journal of Clinical Medicine
, MDPI, 2022, 11 (2), pp.345.
⟨10.3390/jcm11020345⟩
tel-03518751
v2
Theses
Manon Prédhumeau
.
Modélisation et simulation de comportements piétons réalistes en espace partagé avec un véhicule autonome
Intelligence artificielle [cs.AI]. Université Grenoble Alpes [2020-..], 2021. Français.
⟨NNT : 2021GRALM070⟩
hal-03676968
v1
Conference papers
Manju Rajan
,
Abhijit Das
,
John Jose
.
LOKI: A Hardware Trojan Affecting Multiple Components of an SoC
ISVLSI 2022 - IEEE Computer Society Annual Symposium on VLSI
, Jul 2022, Paphos, Cyprus
hal-03676865
v1
Book sections
Stéphane Salvan
,
Florence Maqueda
,
Charles Pontonnier
.
Un exemple d'archéologie du geste martial: les guerriers de Paestum
Armes et Guerriers
, BAR Publishing, 2022, BAR international series, 9781407359441
hal-03676720
v1
Conference papers
Anne-Marie Dery-Pinna
,
Philippe Renevier
,
Alain Giboin
,
Sophie Lepreux
.
Distributed interfaces for board games
IHM '18: 30e Conférence Francophone sur l'Interaction Homme-Machine
, Oct 2018, Brest, France. pp.171-178,
⟨10.1145/3286689.3286709⟩
hal-03676589
v1
Journal articles
Cécile Mazon
,
Benjamin Clément
,
Didier Roy
,
Pierre-Yves Oudeyer
,
Hélène Sauzéon
.
Pilot study of an intervention based on an intelligent tutoring system (ITS) for instructing mathematical skills of students with ASD and/or ID
Education and Information Technologies
, Springer Verlag, In press
hal-03676527
v1
Journal articles
Mathieu Gonzalez
,
Eric Marchand
,
Amine Kacete
,
Jerome Royan
.
TwistSLAM: Constrained SLAM in Dynamic Environment
IEEE Robotics and Automation Letters
, IEEE 2022
hal-03676508
v1
Conference papers
Nicolas Zampieri
,
Carlos Ramisch
,
Irina Illina
,
Dominique Fohr
.
Identification of Multiword Expressions in Tweets for Hate Speech Detection
13th Edition of its Language Resources and Evaluation Conference
, Jun 2022, Marseille, France
hal-03676506
v1
Conference papers
Nicolas Zampieri
,
Carlos Ramisch
,
Irina Illina
,
Dominique Fohr
.
Identification des Expressions Polylexicales dans les Tweets
Traitement Automatique des Langues Naturelles (TALN)
, Jun 2022, Avignon, France
hal-03676499
v1
Journal articles
Pauline Clin
,
Frédéric Grognard
,
Didier Andrivon
,
Ludovic Mailleret
,
Frédéric Hamelin
.
Host mixtures for plant disease control: Benefits from pathogen selection and immune priming
Evolutionary Applications
, Blackwell, 2022,
⟨10.1111/eva.13386⟩
hal-03676489
v1
Journal articles
Olivier Etrillard
,
Robin Gerzaguet
,
Laurent Feichter
,
Malo Mabon
,
Antoine Courtay
et al.
LOLA SDR: Low power low latency software defined radio for broadcast audio applications
IEEE Transactions on Circuits and Systems II: Express Briefs
, Institute of Electrical and Electronics Engineers, 2022, pp.1-1.
⟨10.1109/TCSII.2022.3175569⟩
hal-03676475
v1
Journal articles
Giulia Bernardini
,
Paweł Gawrychowski
,
Nadia Pisanti
,
Solon Pissis
,
Giovanna Rosone
.
Elastic-Degenerate String Matching via Fast Matrix Multiplication
SIAM Journal on Computing
, Society for Industrial and Applied Mathematics, 2022, 51 (3), pp.549-576.
⟨10.1137/20M1368033⟩
hal-03119759
v1
Journal articles
Frank Schurr
,
Nicolas Cougoule
,
Marie-Pierre Rivière
,
Magali Ribière-Chabert
,
Hamid Achour
et al.
Trueness and precision of the real-time RT-PCR method for quantifying the chronic bee paralysis virus genome in bee homogenates evaluated by a comparative inter-laboratory study
Journal of Virological Methods
, Elsevier, 2017, 248, pp.217-225.
⟨10.1016/j.jviromet.2017.07.013⟩
hal-03676356
v1
Conference papers
Thaïs Baudon
,
Gabriel Radanne
,
Laure Gonnord
.
Knit&Frog: Pattern matching compilation for custom memory representations (doctoral session)
AFADL 2022 - 21ème journées Approches Formelles dans l'Assistance au Développement de Logiciels
, Jun 2022, Vannes, France
hal-03437328
v2
Preprints, Working Papers, ...
Lorenzo Baldi
,
Bernard Mourrain
.
On the Effective Putinar’s Positivstellensatz and Moment Approximation
2022
hal-03676312
v1
Conference papers
Hicham Lesfari
,
Frédéric Giroire
,
Stéphane Pérennes
.
Biased Majority Opinion Dynamics: Exploiting graph $k$-domination
IJCAI 2022 - International Joint Conference on Artificial Intelligence
, Jul 2022, Vienna, Austria
hal-03672166
v1
Preprints, Working Papers, ...
Antoine Gonon
,
Nicolas Brisebarre
,
Rémi Gribonval
,
Elisa Riccietti
.
Approximation speed of quantized vs. unquantized ReLU neural networks and beyond
2022
hal-03676056
v1
Conference papers
Long Li
,
Etienne Mémin
,
Bertrand Chapron
,
Noé Lahaye
.
Stochastic transport in an idealized ocean-atmosphere coupled system
EGU General Assembly 2022
, May 2022, Vienna, Austria
hal-03675920
v1
Journal articles
Tarso Kraemer Sarzi Sartori
,
Hassen Fourati
,
Manon Létiche
,
Rodrigo Possamai Bastos
.
Assessment of Radiation Effects on Attitude Estimation Processing for Autonomous Things
IEEE Transactions on Nuclear Science
, Institute of Electrical and Electronics Engineers, In press, pp.1-1.
⟨10.1109/TNS.2022.3176676⟩
hal-03675790
v1
Preprints, Working Papers, ...
Daniel Stilck Franca
,
Giacomo de Palma
,
Milad Marvian
,
Cambyse Rouzé
.
Limitations of variational quantum algorithms: a quantum optimal transport approach
2022
hal-03675783
v1
Preprints, Working Papers, ...
Daniel Stilck Franca
,
Liubov A. Markovich
,
V. V. Dobrovitski
,
Albert H. Werner
,
Johannes Borregaard
.
Efficient and robust estimation of many-qubit Hamiltonians
2022
hal-03637273
v2
Journal articles
Nicolas Traut
,
Katja Heuer
,
Guillaume Lemaître
,
Anita Beggiato
,
David Germanaud
et al.
Insights from an autism imaging biomarker challenge: promises and threats to biomarker discovery
NeuroImage
, Elsevier, 2022, 255, pp.119171.
⟨10.1016/j.neuroimage.2022.119171⟩
hal-03040819
v3
Preprints, Working Papers, ...
Daniel Perez
.
On $C^0$-persistent homology and trees
2022
hal-03675618
v1
Conference papers
Pegdwendé Sawadogo
,
Thomas Guyet
,
Etienne Audureau
.
Conceptions de phénotypes computationnels pour la recherche en santé publique
Santé et IA 2022
, Jun 2022, Saint-Etienne, France
hal-03675515
v1
Conference papers
Hee-Soo Choi
.
État de l'art : Liage de ressources lexicales du français
RÉCITAL 2022 - 24e Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues
, Jun 2022, Avignon, France
hal-03674743
v1
Preprints, Working Papers, ...
Nathalie Revol
,
Luis Benet
,
Luca Ferranti
,
Sergei Zhilin
.
Testing interval arithmetic libraries, including their IEEE-1788 compliance
2022
hal-03675366
v1
Conference papers
Vincent Raulin
,
Pierre-François Gimenez
,
Yufei Han
,
Valérie Viet Triem Tong
.
Towards a Representation of Malware Execution Traces for Experts and Machine Learning
RESSI 2022 - Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information
, May 2022, Chambon-sur-Lac, France
hal-03520863
v4
Journal articles
Ana Covelo
,
Anaïs Badoual
,
Audrey Denizot
.
Reinforcing interdisciplinary collaborations to unravel the astrocyte "Calcium Code
Journal of Molecular Neuroscience
, Humana Press, 2022,
⟨10.1007/s12031-022-02006-w⟩
hal-03675359
v1
Conference papers
Adrien Schoen
,
Gregory Blanc
,
Pierre-François Gimenez
,
Yufei Han
,
Frédéric Majorczyk
et al.
Towards generic quality assessment of synthetic traffic for evaluating intrusion detection systems
RESSI 2022 - Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information
, May 2022, Chambon-sur-Lac, France
hal-03675346
v1
Conference papers
Maxime Lanvin
,
Pierre-François Gimenez
,
Yufei Han
,
Frédéric Majorczyk
,
Ludovic Mé
et al.
Detecting APT through graph anomaly detection
RESSI 2022 - Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information
, May 2022, Chambon-sur-Lac, France
hal-03672958
v1
Preprints, Working Papers, ...
Eloïse Berthier
,
Ziad Kobeissi
,
Francis Bach
.
A Non-asymptotic Analysis of Non-parametric Temporal-Difference Learning
2022
1
2
3
4
5
6
7
8
9
10
Suivant
Dernière
Sort
Relevance
Author A→Z
Author Z→A
Title A→Z
Title Z→A
Date de publication croissante
Date de publication décroissante
Date de dépôt croissante
Date de dépôt décroissante
Number
30 results per page
50 results per page
100 results per page
Tools
o
Export
XML-TEI
BibTeX
EndNote
CSV
PDF
HTML
Advanced export...
Syndicated feeds
RSS
ATOM
Label
Save
Cancel
Compulsory field(s) not filled in.