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
Browse
Browse last submissions
Les Filtres
Filters
All ×
119292 results
save search
Document types
Minimize
Conference papers
(49901)
Journal articles
(36282)
Reports
(13069)
Theses
(5558)
Preprints, Working Papers, ...
(4478)
Book sections
(3480)
Poster communications
(1457)
Directions of work or proceedings
(1150)
Other publications
(1122)
Books
(756)
Habilitation à diriger des recherches
(608)
Master thesis
(489)
Documents associated with scientific events
(398)
Patents
(250)
Lectures
(136)
Software
(102)
Videos
(45)
Notes de synthèse
(6)
Photos
(3)
Other reports
(1)
Audios
(1)
Author
Minimize
Yves Robert
(633)
Nicholas Ayache
(584)
Amedeo Napoli
(475)
Eitan Altman
(419)
Olivier Festor
(391)
Xavier Pennec
(374)
Denis Efimov
(372)
Laurent Romary
(365)
Rémi Gribonval
(354)
Hervé Delingette
(340)
Christian Barillot
(310)
Stéphane Girard
(310)
Patrick Valduriez
(305)
Christine Morin
(303)
Emmanuel Vincent
(301)
Olivier Devillers
(299)
Silviu-Iulian Niculescu
(297)
François Chaumette
(288)
El-Ghazali Talbi
(285)
Olivier Sentieys
(283)
Radu Horaud
(283)
François Charpillet
(276)
Jean-Marc Jézéquel
(273)
Nathalie Mitton
(269)
Michel Raynal
(264)
Cordelia Schmid
(262)
Fabien Gandon
(262)
Stéphane Ducasse
(261)
Hélène Barucq
(250)
Peter Sturm
(244)
Anatole Lécuyer
(240)
Maxime Sermesant
(240)
Anne Benoit
(239)
Grégoire Malandain
(231)
Wilfrid Perruquetti
(231)
Sébastien Tixeuil
(230)
Jérôme Euzenat
(229)
Christian Laugier
(226)
Eddy Caron
(226)
Pietro Marco Congedo
(222)
David Guiraud
(220)
Ye-Qiong Song
(220)
Gabriel Antoniu
(219)
Rachid Deriche
(218)
Florence Forbes
(216)
Frédéric Alexandre
(216)
Jean-Charles Lamirel
(214)
Frédéric Vivien
(211)
Jean-Marie Gorce
(211)
Marc Shapiro
(209)
Denis Roegel
(208)
Marie-Paule Cani
(207)
Julien Diaz
(206)
Pierre-Yves Oudeyer
(205)
Jean-Daniel Fekete
(204)
Anne-Marie Kermarrec
(203)
Benoît Sagot
(202)
Christine Azevedo Coste
(199)
Marc Schoenauer
(199)
Frédéric Desprez
(197)
Olivier Colliot
(195)
Bruno Cessac
(194)
Nicolas Nisse
(191)
Bernard Cousin
(190)
Denis Trystram
(189)
Patrick Joly
(189)
Etienne Mémin
(188)
Eric Fleury
(187)
Isabelle Herlin
(183)
Philippe Jacquet
(182)
Fabien Lotte
(181)
Mario Ricchiuto
(180)
Dominique Fohr
(179)
Ioana Manolescu
(179)
Konstantin Avrachenkov
(179)
Laurent Mevel
(179)
Bruno Gaujal
(178)
Andrey Polyakov
(175)
David Coudert
(175)
Jean-Michel Gaillard
(174)
Olivier Beaumont
(172)
Hervé Rivano
(171)
Carlos Canudas de Wit
(170)
Jean Lieber
(170)
Bernard Brogliato
(169)
Dominique Méry
(169)
Emmanuel Jeannot
(169)
Gang Zheng
(166)
Gaël Varoquaux
(166)
Valérie Issarny
(166)
Christine Guillemot
(165)
Claude Godart
(165)
Pierre Sens
(165)
Frédéric Havet
(163)
Christophe Godin
(162)
Romain Rouvoy
(161)
Eric Marchand
(159)
Guillaume Gravier
(159)
Houman Borouchaki
(159)
Stéphane Cotin
(158)
Subject field
Minimize
Computer Science [cs]
(85870)
Mathematics [math]
(19439)
Life Sciences [q-bio]
(13595)
Engineering Sciences [physics]
(9955)
Statistics [stat]
(3866)
Physics [physics]
(3634)
Cognitive science
(2720)
Humanities and Social Sciences
(2544)
Environmental Sciences
(1553)
Sciences of the Universe [physics]
(857)
Quantitative Finance [q-fin]
(364)
Nonlinear Sciences [physics]
(302)
Chemical Sciences
(270)
domain_stic
(20)
domain_other
(5)
Laboratory
Minimize
Inria Sophia Antipolis - Méditerranée
(17968)
Institut de Recherche en Informatique et Systèmes Aléatoires
(17039)
Inria Grenoble - Rhône-Alpes
(15960)
Inria Rennes – Bretagne Atlantique
(15339)
Laboratoire Lorrain de Recherche en Informatique et ses Applications
(14858)
Inria Saclay - Ile de France
(11360)
Inria Paris-Rocquencourt
(9794)
Inria Nancy - Grand Est
(7512)
Inria Bordeaux - Sud-Ouest
(7443)
INRIA Lorraine
(6912)
Inria Lille - Nord Europe
(6866)
Laboratoire de Biométrie et Biologie Evolutive - UMR 5558
(6501)
Inria de Paris
(5636)
Laboratoire de l'Informatique du Parallélisme
(4755)
Laboratoire Jean Kuntzmann
(4589)
Laboratoire Bordelais de Recherche en Informatique
(3703)
Laboratoire d'Informatique Fondamentale de Lille
(3692)
Laboratoire d'Informatique de Grenoble
(3610)
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
(3488)
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
(3472)
Laboratoire de Recherche en Informatique
(3456)
Institut de Mathématiques de Bordeaux
(2667)
Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
(2540)
CITI Centre of Innovation in Telecommunications and Integration of services
(2118)
Laboratoire d'informatique de l'École polytechnique [Palaiseau]
(1833)
Laboratoire Jacques-Louis Lions
(1746)
Laboratoire d'Informatique de Paris 6
(1657)
Laboratoire Jean Alexandre Dieudonné
(1631)
Laboratoire d'informatique GRAphique, VIsion et Robotique de Grenoble
(1462)
Centre de Mathématiques Appliquées - Ecole Polytechnique
(1395)
INRIA Rennes
(1368)
Institut Élie Cartan de Nancy
(1349)
Laboratoire d'Informatique de Nantes Atlantique
(1339)
INRIA Rocquencourt
(1328)
Institut Élie Cartan de Lorraine
(1213)
Laboratory of Information, Network and Communication Sciences
(1000)
Laboratoire des signaux et systèmes
(994)
Laboratoire de Mathématiques et de leurs Applications [Pau]
(969)
Laboratoire Paul Painlevé - UMR 8524
(942)
Institut de Recherche Mathématique de Rennes
(930)
Grenoble Images Parole Signal Automatique
(918)
Laboratoire d'InfoRmatique en Image et Systèmes d'information
(859)
Laboratoire d'informatique de l'école normale supérieure
(813)
Institut de recherche en informatique de Toulouse
(810)
Laboratoire d'océanographie de Villefranche
(781)
Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
(777)
Centre d'Enseignement et de Recherche en Mathématiques et Calcul Scientifique
(720)
Service NEUROSPIN
(709)
Laboratoire des Sciences du Numérique de Nantes
(684)
Laboratoire Traitement et Communication de l'Information
(683)
Institut Universitaire de France
(664)
Laboratoire Spécification et Vérification [Cachan]
(661)
Institut Rhône-Alpin des systèmes complexes
(649)
Laboratoire de Mathématiques d'Orsay
(594)
Institut de Recherche Mathématique Avancée
(543)
Institut Camille Jordan [Villeurbanne]
(540)
Institut Charles Delaunay
(497)
Centre de vision numérique
(487)
LIP6
(481)
Laboratoire d'Automatique, Génie Informatique et Signal
(472)
INRIA Futurs
(471)
Max-Planck-Institut für Informatik
(469)
Centre de Recherche en Automatique de Nancy
(460)
Amélioration génétique et adaptation des plantes méditerranéennes et tropicales
(455)
Laboratoire d'Informatique Gaspard-Monge
(446)
Laboratoire de Mathématiques et Applications de Metz
(430)
CEntre de REcherches en MAthématiques de la DEcision
(428)
Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection
(415)
Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
(406)
Inria Lyon
(405)
Evaluation des technologies de santé et des pratiques médicales - ULR 2694
(394)
Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
(393)
Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie
(392)
Laboratoire d'Intégration des Systèmes et des Technologies
(388)
Institut de Recherche en Informatique Fondamentale
(387)
Parallélisme, Réseaux, Systèmes, Modélisation
(386)
Département Composants et Systèmes
(375)
Institut des Maladies Neurodégénératives [Bordeaux]
(371)
Laboratoire d'informatique Algorithmique : Fondements et Applications
(371)
Centre de génétique et de physiologie moléculaire et cellulaire
(361)
Microsoft Research - Inria Joint Centre
(338)
Laboratoire d'analyse et d'architecture des systèmes
(331)
Department of Computer Science
(328)
Institut de Biologie Computationnelle
(326)
IHU-LIRYC
(321)
Laboratoire Informatique d'Avignon
(320)
Institut de Mathématiques de Toulouse UMR5219
(317)
Mathématiques Appliquées aux Systèmes - EA 4037
(312)
Laboratoire Franco-Chinois d'Informatique, d'Automatique et de Mathématiques Appliquées
(304)
Bordeaux population health
(299)
Mathématiques, Informatique et STatistique pour l'Environnement et l'Agronomie
(290)
Centre d'Enseignement et de Recherche en Mathématiques, Informatique et Calcul Scientifique
(284)
Inria Siège
(284)
Centre d'études et de recherche en informatique et communications
(283)
Institut Montpelliérain Alexander Grothendieck
(278)
Laboratoire de mécanique des solides
(271)
XLIM
(265)
Laboratoire Mouvement Sport Santé
(256)
Botanique et Modélisation de l'Architecture des Plantes et des Végétations
(253)
Institut de Biologie Valrose
(253)
Institut du Cerveau et de la Moëlle Epinière = Brain and Spine Institute
(252)
VERIMAG
(249)
Orange Labs [Lannion]
(232)
Institut Sophia Agrobiotech
(229)
Preuves, Programmes et Systèmes
(228)
Laboratoire Interdisciplinaire des Sciences du Numérique
(227)
Laboratoire d'Informatique pour la Mécanique et les Sciences de l'Ingénieur
(224)
Commissariat à l'énergie atomique et aux énergies alternatives - Laboratoire d'Electronique et de Technologie de l'Information
(223)
France Télécom Recherche & Développement
(214)
Institut d'Électronique et des Technologies du numéRique
(214)
Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
(210)
Institut de Recherche en Communications et en Cybernétique de Nantes
(205)
Laboratoire d'Informatique Fondamentale d'Orléans
(204)
Unité de Mathématiques Pures et Appliquées
(204)
Centre d'Enseignement et de Recherche en Environnement Atmosphérique
(199)
Informatique et Distribution
(199)
Laboratoire de Physique de l'ENS Lyon
(199)
Laboratoire de l'intégration, du matériau au système
(194)
Orange Labs [Issy les Moulineaux]
(192)
Département d'Informatique et de Recherche Opérationnelle [Montreal]
(187)
Innovative Computing Laboratory [Knoxville]
(185)
Department of Computer Science and Engineering [Bologna]
(182)
Ingénierie des Agro-polymères et Technologies Émergentes
(179)
Institut de Génétique, Environnement et Protection des Plantes
(179)
Laboratoire Adaptation et pathogénie des micro-organismes [Grenoble]
(179)
Laboratoire Photonique, Numérique et Nanosciences
(179)
Hydrosciences Montpellier
(176)
Handicap et système nerveux :Action, communication, interaction: rétablissement de la fonction et de la participation [Bordeaux]
(175)
Groupe de Recherche en Informatique, Image et Instrumentation de Caen
(174)
Technicolor R & I [Cesson Sévigné]
(173)
Laboratoire Analyse, Géométrie et Applications
(167)
Department of Mathematics
(164)
Laboratoire Méthodes Formelles
(163)
Supélec Sciences des Systèmes
(161)
Service de Neuroradiologie [CHU Pitié-Salpêtrière]
(160)
Mathématiques Appliquées Paris 5
(159)
Centre de Mathématiques Appliquées
(157)
Centre de Recherche en Acquisition et Traitement de l'Image pour la Santé
(157)
Institut des Systèmes Intelligents et de Robotique
(157)
Laboratoire de Biotechnologie de l'Environnement [Narbonne]
(157)
Laboratoire de Neuroimagerie Assistée par Ordinateur
(156)
Laboratoire Traitement du Signal et de l'Image
(153)
Microsoft Research [Cambridge]
(153)
Laboratoire d'Informatique de Paris-Nord
(152)
Institut de Mathématiques et de Modélisation de Montpellier
(148)
Laboratoire International de Recherche en Informatique et Mathématiques Appliquées
(148)
Sciences et Technologies de la Musique et du Son
(148)
Equipes Traitement de l'Information et Systèmes
(146)
Institut des Sciences de l'Evolution de Montpellier
(145)
Laboratoire de Mathématiques
(145)
Techniques de l'Ingénierie Médicale et de la Complexité - Informatique, Mathématiques et Applications, Grenoble - UMR 5525
(144)
Laboratoire d'Automatique, de Mécanique et d'Informatique industrielles et Humaines - UMR 8201
(143)
Institut de Mathématiques de Bourgogne [Dijon]
(142)
Laboratoire des sciences pour la conception, l'optimisation et la production
(140)
Alcatel-Lucent Bell Labs France [Nozay]
(138)
Centre de Robotique
(136)
Laboratoire d'Analyse, Topologie, Probabilités
(136)
Laboratoire de Probabilités et Modèles Aléatoires
(133)
Heuristique et Diagnostic des Systèmes Complexes [Compiègne]
(131)
Institut de Mathématiques de Jussieu - Paris Rive Gauche
(128)
Laboratoire d'Informatique Fondamentale et d'Intelligence Artificielle
(128)
Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision
(128)
Cardiovasculaire, métabolisme, diabétologie et nutrition
(127)
Dipartimento di Informatica [Pisa]
(127)
Mathématiques et Informatique Appliquées du Génome à l'Environnement [Jouy-En-Josas]
(125)
Centre de Mathématiques et de Leurs Applications
(124)
Informatique, Biologie Intégrative et Systèmes Complexes
(123)
Laboratoire Hubert Curien [Saint Etienne]
(123)
Laboratoire d'Analyse et de Mathématiques Appliquées
(122)
Microsoft Research [Redmond]
(121)
Centre de Recherche en Informatique de Lens
(119)
Modélisation, Information et Systèmes - UR UPJV 4290
(119)
TOTAL-Scientific and Technical Center Jean Féger
(119)
Laboratoire d'Electronique, Antennes et Télécommunications
(118)
Laboratoire d'Informatique, de Traitement de l'Information et des Systèmes
(117)
Structure et Instrumentation Intégrée
(117)
Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes
(116)
SUPELEC-Campus Metz
(116)
Analyse et Traitement Informatique de la Langue Française
(113)
Computer Science Department
(113)
Laboratoire d'Informatique, de Modélisation et d'optimisation des Systèmes
(113)
Laboratoire des Sciences de l'Information et des Systèmes
(113)
Électronique et Commande des Systèmes Laboratoire
(113)
Orange Labs R&D [Rennes]
(112)
Facebook AI Research [Paris]
(111)
L'Institut hospitalo-universitaire de Strasbourg
(111)
Service de radiologie et imagerie médicale [Rennes] = Radiology [Rennes]
(111)
Centre de Recherche des Cordeliers
(110)
Laboratoire de Mathématiques Jean Leray
(110)
DAM Île-de-France
(109)
Institut des Sciences de la Terre
(108)
Laboratoire de Mathématiques de Versailles
(108)
Laboratoire de l'Accélérateur Linéaire
(108)
Physiologie de la reproduction et des comportements [Nouzilly]
(107)
Instituto de Informática da UFRGS
(105)
Biodiversité, Gènes & Communautés
(103)
Centre Automatique et Systèmes
(102)
Laboratoire d'Informatique et Systèmes
(102)
Ampère
(101)
Centre de Biologie pour la Gestion des Populations
(101)
Language
Minimize
English
(104675)
French
(14142)
Interlingue
(189)
Unknown or Invalid Language
(101)
Spanish
(46)
Portuguese
(36)
German
(27)
Chinese
(23)
Italian
(16)
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
(606)
Machine learning
(569)
Simulation
(540)
Optimization
(470)
Classification
(419)
Security
(390)
Clustering
(324)
Privacy
(314)
Deep learning
(307)
Complexity
(284)
Modélisation
(275)
Modeling
(274)
Stability
(271)
Optimal control
(268)
Verification
(259)
Ordonnancement
(255)
Optimisation
(244)
Neural networks
(214)
Segmentation
(214)
Computer vision
(209)
Rewriting
(205)
Cloud computing
(204)
Ontology
(200)
Algorithms
(195)
Coq
(194)
Distributed systems
(191)
Machine Learning
(190)
Performance
(188)
Semantics
(183)
Routing
(182)
Performance evaluation
(180)
Data mining
(179)
Visualization
(176)
Bioinformatics
(175)
Real-time
(173)
Robustness
(172)
Parallelism
(168)
IoT
(164)
Evaluation
(162)
Modelling
(162)
RDF
(156)
Validation
(154)
Semantic Web
(153)
Réécriture
(150)
Sécurité
(149)
Reliability
(147)
Formal methods
(146)
FPGA
(145)
Internet of Things
(145)
Semantic web
(145)
EEG
(144)
Compilation
(142)
Virtual reality
(141)
GPU
(140)
XML
(140)
Static analysis
(139)
Inverse problems
(138)
MPI
(136)
MRI
(136)
Registration
(136)
Reinforcement learning
(136)
Cryptography
(135)
Inverse problem
(135)
Scalability
(135)
Algorithm
(134)
Vision par ordinateur
(134)
Apprentissage
(132)
Data assimilation
(132)
Adaptation
(131)
Interoperability
(130)
Apprentissage automatique
(129)
Game theory
(129)
Monitoring
(129)
Robotics
(129)
Cloud Computing
(128)
Embedded systems
(128)
Matching
(126)
Image processing
(124)
Cloud
(123)
Concurrency
(123)
Diffusion MRI
(123)
Ontologies
(123)
Parallélisme
(122)
Finite element method
(120)
Energy efficiency
(119)
Fault tolerance
(119)
Sparsity
(119)
Web sémantique
(119)
Artificial intelligence
(118)
Estimation
(118)
FMRI
(117)
Speech recognition
(117)
Wireless sensor networks
(116)
Learning
(115)
Interaction
(114)
Virtualization
(113)
Complexité
(112)
Cryptographie
(112)
Model checking
(112)
Formal verification
(111)
Type of deposit
Minimize
Fulltext
(75843)
Notice
(42765)
Annex
(684)
Year
Minimize
2023
(6)
2022
(2900)
2021
(6306)
2020
(5782)
2019
(6357)
2018
(6520)
2017
(6700)
2016
(7042)
2015
(7067)
2014
(7087)
2013
(7142)
2012
(6839)
2011
(6390)
2010
(6210)
2009
(5349)
2008
(4633)
2007
(3907)
2006
(3697)
2005
(2836)
2004
(2364)
2003
(2092)
2002
(1725)
2001
(1313)
2000
(1271)
1999
(1074)
1998
(1039)
1997
(678)
1996
(700)
1995
(614)
1994
(547)
1993
(528)
1992
(424)
1991
(347)
1990
(297)
1989
(286)
1988
(240)
1987
(239)
1986
(156)
1985
(155)
1984
(108)
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 : ORCID (string)
Author: function
Author: personID (integer)
Author: (FormID-PersonID)
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-03750983
v1
Conference papers
Rémy Kessler
,
Nicolas Béchet
,
Gudrun Ledegen
,
Frederic Pugniere-Saavedra
.
Exploration par apprentissage de discussions de personnes en détresse psychologique
29es Journées Francophones d'Ingénierie des Connaissances, IC 2018,
, Jul 2018, Nancy, France. pp.95-102
hal-03750963
v1
Preprints, Working Papers, ...
Hamza Fawzi
,
Omar Fawzi
.
Semidefinite programming lower bounds on the squashed entanglement
2022
hal-03750961
v1
Preprints, Working Papers, ...
Tony Metger
,
Omar Fawzi
,
David Sutter
,
Renato Renner
.
Generalised entropy accumulation
2022
hal-03750510
v1
Journal articles
Mathieu Cunche
.
Le traçage cyberphysique des personnes et la vie privée
Interstices
, INRIA, 2022
hal-03750483
v1
Journal articles
Wendy E. Mackay
.
Réimaginer nos interactions avec le monde numérique
Interstices
, INRIA, 2022
hal-03750437
v1
Conference papers
Harshal Oza
,
Yury Orlov
,
Sarah Spurgeon
,
Yannick Aoustin
,
Christine Chevallereau
.
Continuous second order sliding mode based robust finite time tracking of a fully actuated biped robot
2014 European Control Conference (ECC)
, Jun 2014, Strasbourg, France. pp.2600-2605,
⟨10.1109/ECC.2014.6862347⟩
hal-01629885
v1
Journal articles
Nicolas Bruneau
,
Sylvain Guilley
,
Annelie Heuser
,
Marion Damien
,
Olivier Rioul
.
Optimal side-channel attacks for multivariate leakages and multiple models
Journal of Cryptographic Engineering
, Springer, 2017, 7 (4), pp.331-341.
⟨10.1007/s13389-017-0170-9⟩
hal-03750399
v1
Journal articles
Carole Delenne
,
Julie Carreau
,
Vincent Guinot
,
Gwladys Toulemonde
.
Pluies et inondations en milieu urbain
Interstices
, INRIA, 2022
hal-03750389
v1
Journal articles
Hélène Touzet
,
Mikaël Salson
,
Claire Lemaitre
.
Décoder le génome : vers la compréhension du fonctionnement du SARS-CoV-2
Interstices
, INRIA, 2022
hal-03215569
v2
Conference papers
Thomas Rokicki
,
Clémentine Maurice
,
Pierre Laperdrix
.
SoK: In Search of Lost Time: A Review of JavaScript Timers in Browsers
6th IEEE European Symposium on Security and Privacy (EuroS&P'21)
, Sep 2021, Vienna, Austria
hal-03747075
v1
Journal articles
Mouad Ramil
,
Tony Lelièvre
,
Julien Reygner
.
Mathematical foundations for the Parallel Replica algorithm applied to the underdamped Langevin dynamics
MRS Communications
, Cambridge University Press, 2022,
⟨10.1557/s43579-022-00207-3⟩
hal-03750327
v1
Journal articles
Èloi de Chèrisey
,
Sylvain Guilley
,
Annelie Heuser
,
Olivier Rioul
.
On the optimality and practicability of mutual information analysis in some scenarios
Cryptography and Communications - Discrete Structures, Boolean Functions and Sequences
, Springer, 2018, 10 (1), pp.101-121.
⟨10.1007/s12095-017-0241-x⟩
hal-01629880
v1
Journal articles
Nicolas Bruneau
,
Claude Carlet
,
Sylvain Guilley
,
Annelie Heuser
,
Emmanuel Prouff
et al.
Stochastic Collision Attack
IEEE Transactions on Information Forensics and Security
, Institute of Electrical and Electronics Engineers, 2017, 12 (9), pp.2090 - 2104.
⟨10.1109/TIFS.2017.2697401⟩
hal-03750233
v1
Conference papers
Giann Karlo Aguirre-Samboní
,
Cédric Gaucherel
,
Stefan Haar
,
Franck Pommereau
.
Reset Petri Net Unfolding Semantics for Ecosystem Hypergraphs
International Workshop on Petri Nets and Software Engineering (PNSE 2022)
, Jul 2022, Bergen, Norway. pp.213--214
hal-03750220
v1
Journal articles
Abderrahman Iggidr
,
Max O Souza
.
On the limits of the Volterra function in the Lyapunov method: the Anderson-May-Gupta model as a cautionary example
Journal of Mathematical Analysis and Applications
, Elsevier, In press,
⟨10.1016/j.jmaa.2022.126465⟩
hal-03750209
v1
Conference papers
Djob Mvondo
,
Antonio Barbalace
,
Jean-Pierre Lozi
,
Gilles Muller
.
Towards User-Programmable Schedulers in the Operating System Kernel
SPMA 22 - 11th workshop on Systems for Post-Moore Architectures
, Apr 2022, Rennes, France
hal-03750169
v1
Patents
Thomas Crespel
,
Patrick Reuter
,
Xavier Granier
.
Affichage transparent
France, N° de brevet: FR3096148. 2020
hal-02987388
v2
Journal articles
Nitish K Panigrahy
,
Philippe Nain
,
Giovanni Neglia
,
Don Towsley
.
A New Upper Bound on Cache Hit Probability for Non-Anticipative Caching Policies
ACM Transactions on Modeling and Performance Evaluation of Computing Systems
, ACM, In press
hal-03700020
v1
Journal articles
Bastien Polizzi
,
Andrea Fanesi
,
Filipa Lopes
,
Magali Ribot
,
Olivier Bernard
.
Understanding photosynthetic biofilm productivity and structure through 2D simulation
PLoS Computational Biology
, Public Library of Science, 2022, 18 (4), pp.e1009904.
⟨10.1371/journal.pcbi.1009904⟩
hal-03749692
v1
Journal articles
Xiaoxiao Song
,
Emilie Poirson
,
Yannick Ravaut
,
Fouad Bennis
.
Multi-objective optimization of layout with functional constraints
Optimization and Engineering
, Springer Verlag, In press,
⟨10.1007/s11081-022-09754-z⟩
hal-02562152
v4
Preprints, Working Papers, ...
Jean-Pierre Jouannaud
,
Fernando Orejas
.
Unification of Drags and Confluence of Drag Rewriting
2022
hal-03749682
v1
Preprints, Working Papers, ...
Théophile Chaumont-Frelet
,
Martin Vohralík
.
Constrained and unconstrained stable discrete minimizations for p-robust local reconstructions in vertex patches in the De Rham complex
2022
hal-03749679
v1
Conference papers
Thaïs Baudon
,
Carsten Fuhs
,
Laure Gonnord
.
Analysing Parallel Complexity of Term Rewriting
32nd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2022)
, Sep 2022, Tbilisi, Georgia
hal-03740920
v1
Journal articles
Corentin Cou
,
Ayed Ben Amara
,
Xavier Granier
.
Non‐invasive on‐site method for thickness measurement of transparent ceramic glazes based on depth from focus
Archaeometry
, Wiley, In press,
⟨10.1111/arcm.12813⟩
hal-03749464
v1
Journal articles
Bartosz Bednarczyk
,
Stéphane Demri
.
Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard?
Logical Methods in Computer Science
, Logical Methods in Computer Science Association, 2022, 18 (3), pp.5:1--5:46.
⟨10.46298/lmcs-18(3:5)2022⟩
cea-03749364
v1
Conference papers
Manuel Ferat
,
Romain Pereira
,
Adrien Roussel
,
Patrick Carribault
,
Luiz Angelo Steffenel
et al.
Enhancing MPI+OpenMP Task based Applications for Heterogenous Architectures with GPU support
IWOMP 2022 - 18th International Workshop on OpenMP
, Sep 2022, Chattanooga, United States. pp.1-14
hal-03749293
v1
Conference papers
Hardy Bin Anuar
,
Franck Plestan
,
Abdelhamid Chriette
,
Olivier Kermorgant
.
Super-Twisting Sliding Mode Control with Adaptive Gain of Quadrotor with Rigid Manipulator
16th International Workshop on Variable Structure Systems
, Sep 2022, Rio de Janeiro, Brazil
hal-03644463
v2
Conference papers
Loïc Le Bescond
,
Marvin Lerousseau
,
Ingrid Garberis
,
Fabrice André
,
Stergios Christodoulidis
et al.
Unsupervised Nuclei Segmentation using Spatial Organization Priors
MICCAI 2022 - 25th International Conference on Medical Image Computing and Computer Assisted Intervention
, Sep 2022, Singapore, Singapore
hal-03749243
v1
Preprints, Working Papers, ...
Barnabas Gavin Cangan
,
Stefan Escaida Navarro
,
Bai Yang
,
Yu Zhang
,
Christian Duriez
et al.
Model-Based Disturbance Estimation for a Fiber-Reinforced Soft Manipulator using Orientation Sensing
2022
hal-03749191
v1
Journal articles
Wenjie Mei
,
Denis Efimov
,
Rosane Ushirobira
,
Emilia Fridman
.
On delay-dependent conditions of ISS for generalized Persidskii systems
IEEE Transactions on Automatic Control
, Institute of Electrical and Electronics Engineers, In press
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.