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
Structure/laboratory: Name ×
level0_domain_s ×
language_s ×
All ×
5055 results
save search
Document types
Minimize
Conference papers
(2650)
Journal articles
(1154)
Reports
(378)
Preprints, Working Papers, ...
(242)
Book sections
(161)
Theses
(144)
Directions of work or proceedings
(113)
Poster communications
(75)
Other publications
(54)
Books
(29)
Master thesis
(21)
Documents associated with scientific events
(14)
Habilitation à diriger des recherches
(13)
Patents
(5)
Lectures
(1)
Videos
(1)
Author
Minimize
Maxime Amblard
(43)
Sabeur Aridhi
(39)
Rémi Badonnel
(64)
Lyes Benyoucef
(36)
Marie-Odile Berger
(49)
Jasmin Christian Blanchette
(26)
Jasmin Blanchette
(27)
Guillaume Bonfante
(39)
Laurent Bougrain
(30)
Fabrice Bouquet
(30)
Olivier Buffet
(45)
Aleksey Buzmakov
(26)
François Charoy
(45)
François Charpillet
(63)
Yannick Chevalier
(46)
Laurent Ciarletta
(28)
Philippe Clauss
(46)
Véronique Cortier
(144)
Stéphane Cotin
(122)
Miguel Couceiro
(101)
Adrien Coulet
(33)
Hadrien Courtecuisse
(35)
Frédéric Dadeau
(26)
Stéphanie Delaune
(50)
Jérémie Dequidt
(31)
Marie-Dominique Devignes
(45)
Olivier Devillers
(52)
Jannik Dreier
(47)
Christian Duriez
(46)
Olivier Festor
(85)
Dominique Fohr
(60)
Pascal Fontaine
(47)
Jérôme François
(56)
Claire Gardent
(31)
Pierrick Gaudry
(38)
Alain Giorgetti
(32)
Claude Godart
(43)
Michel Grediac
(30)
Bruno Guillaume
(40)
Jens Gustedt
(81)
Emmanuel Hainry
(27)
Nazim Haouchine
(33)
Pierre-Cyrille Heam
(43)
Patrick Henaff
(28)
Mathieu Hoyrup
(40)
Axel Hutt
(60)
Claudia-Lavinia Ignat
(43)
Irina Illina
(58)
Abdessamad Imine
(77)
Serena Ivaldi
(49)
Emmanuel Jeandel
(28)
Denis Jouvet
(76)
Tomi Kinnunen
(27)
Olga Kouchnarenko
(56)
Steve Kremer
(54)
Sergei Kuznetsov
(39)
Pascal Lafourcade
(36)
Abdelkader Lahmadi
(62)
Yves Laprie
(42)
Guillaume Latu
(26)
Sylvain Lazard
(31)
Sylvain Lefebvre
(59)
Jean Lieber
(38)
Antoine Liutkus
(37)
Bruno Lévy
(35)
Bernard Maigret
(28)
Jean-Yves Marion
(68)
Pauline Maurice
(27)
Stephan Merz
(63)
Pascal Molli
(27)
Guillaume Moroz
(36)
Jean-Baptiste Mouret
(48)
Dominique Méry
(49)
Amedeo Napoli
(191)
Lucas Nussbaum
(66)
Gérald Oster
(28)
Slim Ouni
(28)
Simon Perdrix
(35)
Olivier Perrin
(29)
Igor Peterlik
(34)
Romain Péchoux
(41)
Chedy Raïssi
(35)
Nidhal Rezg
(45)
Christophe Ringeissen
(56)
David Ritchie
(47)
Michaël Rusinowitch
(137)
Md Sahidullah
(45)
Bruno Scherrer
(31)
Romain Serizel
(40)
Malika Smaïl-Tabbone
(36)
Dmitry Sokolov
(43)
Ye-Qiong Song
(45)
Thomas Sturm
(47)
Frédéric Sur
(46)
Emmanuel Thomé
(36)
Mathieu Turuani
(43)
Laurent Vigneron
(28)
Emmanuel Vincent
(163)
Christoph Weidenbach
(42)
Paul Zimmermann
(30)
Subject field
Minimize
Computer Science [cs]
(5055)
Mathematics [math]
(1329)
Engineering Sciences [physics]
(483)
Life Sciences [q-bio]
(419)
Physics [physics]
(230)
Cognitive science
(198)
Statistics [stat]
(141)
Humanities and Social Sciences
(106)
Nonlinear Sciences [physics]
(46)
Environmental Sciences
(23)
Sciences of the Universe [physics]
(21)
Chemical Sciences
(13)
Quantitative Finance [q-fin]
(5)
Laboratory
Minimize
Inria Nancy - Grand Est
(5055)
Laboratoire Lorrain de Recherche en Informatique et ses Applications
(4355)
Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
(538)
Max-Planck-Institut für Informatik
(354)
Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie
(225)
Institut Élie Cartan de Lorraine
(158)
Inria Lille - Nord Europe
(147)
Inria Sophia Antipolis - Méditerranée
(117)
Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection
(114)
INRIA Lorraine
(110)
Inria Saclay - Ile de France
(108)
Laboratoire d'Informatique Fondamentale de Lille
(104)
Institut de Recherche en Informatique et Systèmes Aléatoires
(100)
Inria Grenoble - Rhône-Alpes
(97)
Institut de Recherche Mathématique Avancée
(95)
Inria Rennes – Bretagne Atlantique
(85)
Laboratoire Spécification et Vérification [Cachan]
(80)
Inria Paris-Rocquencourt
(68)
Institut de recherche en informatique de Toulouse
(66)
Centre de Recherche en Automatique de Nancy
(58)
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
(56)
Inria Bordeaux - Sud-Ouest
(53)
Laboratoire d'InfoRmatique en Image et Systèmes d'information
(51)
Inria de Paris
(49)
Laboratoire d'Informatique de Grenoble
(49)
Laboratoire Bordelais de Recherche en Informatique
(46)
Laboratoire d'informatique de l'École polytechnique [Palaiseau]
(46)
Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
(42)
Institut Pascal
(38)
Laboratoire Jean Kuntzmann
(34)
Laboratoire de Mathématiques et Applications de Metz
(33)
Laboratoire de l'Informatique du Parallélisme
(33)
Institut Élie Cartan de Nancy
(32)
Laboratoire d'Informatique, de Modélisation et d'optimisation des Systèmes
(31)
Laboratoire d'Informatique Fondamentale d'Orléans
(30)
Laboratoire de Recherche en Informatique
(30)
Analyse et Traitement Informatique de la Langue Française
(29)
CITI Centre of Innovation in Telecommunications and Integration of services
(29)
VERIMAG
(29)
Laboratoire Informatique d'Avignon
(28)
Laboratoire Traitement et Communication de l'Information
(26)
Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes
(24)
MULTICORE
(24)
Imagerie Adaptative Diagnostique et Interventionnelle
(22)
SUPELEC-Campus Metz
(22)
Department of Applied Mathematics - State University Higher School of Economics
(21)
Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg]
(21)
L'Institut hospitalo-universitaire de Strasbourg
(21)
Laboratoire d'Informatique de Paris 6
(21)
Laboratoire d'Informatique de Paris-Nord
(21)
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
(21)
Laboratoire de Génie Industriel, de Production et de Maintenance
(20)
Laboratoire de Sciences de l'Image, de l'Informatique et de la Télédétection, équipe ICPS
(20)
Institut des Systèmes Intelligents et de Robotique
(19)
Laboratoire d'Intégration des Systèmes et des Technologies
(19)
Institut Charles Delaunay
(18)
Laboratoire d'Informatique Gaspard-Monge
(18)
Laboratoire d'Informatique de Nantes Atlantique
(17)
Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision
(17)
Laboratoire des Sciences du Numérique de Nantes
(17)
Microsoft Research - Inria Joint Centre
(17)
Stanford Center for BioMedical Informatics Research
(17)
Laboratoire de Mathématiques de Bretagne Atlantique
(16)
Institut de Recherche sur la Fusion par confinement Magnétique
(15)
Institut de Mathématiques de Jussieu - Paris Rive Gauche
(14)
Centre de Recherche Public Henri Tudor [Headquarters]
(13)
Laboratoire d'Hydrologie et de Géochimie de Strasbourg
(13)
Mitsubishi Electric Research Laboratories
(13)
Orange Labs [Lannion]
(13)
Computer Science Department [Bristol]
(12)
Institut Universitaire de France
(12)
Laboratoire d'Algorithmique Complexité et Logique
(12)
Department of Computer Science
(11)
Georgia Tech Lorraine [Metz]
(11)
Groupe de Recherche en Informatique, Image et Instrumentation de Caen
(11)
Institut de Mathématiques de Bordeaux
(11)
Institut de l'information scientifique et technique
(11)
Laboratoire d'Informatique pour la Mécanique et les Sciences de l'Ingénieur
(11)
Mathematics Research Unit
(11)
Royal Military College of Canada
(11)
Grenoble Images Parole Signal Automatique
(10)
Laboratoire d'analyse et d'architecture des systèmes
(10)
Laboratoire de Génie Industriel et de Production de Metz
(10)
Microsoft Research [Redmond]
(10)
Orange Labs [Chatillon]
(10)
Sciences et Technologies de la Musique et du Son
(10)
Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
(10)
Dipartimento di Elettronica, Informazione e Bioingegneria
(9)
Institut de Recherche Mathématique de Rennes
(9)
Kuban State University [Russie]
(9)
Laboratoire d'Informatique et Systèmes
(9)
Laboratoire de Linguistique Formelle
(9)
Psychologie Ergonomique et Sociale pour l'Expérience utilisateurs
(9)
School of Computer Science [Birmingham]
(9)
Sens, Texte, Informatique, Histoire
(9)
Thales Services
(9)
Agro-Systèmes Territoires Ressources Mirecourt
(8)
Bolyai Institute [Szeged]
(8)
Centre de Recherche en Informatique de Paris 1
(8)
Departamento de Computación [Buenos Aires]
(8)
Department of Computer Science [York]
(8)
Department of Computing and Software
(8)
Dipartimento di Informatica [Torino]
(8)
Laboratoire Méthodes Formelles
(8)
Laboratoire Paul Painlevé - UMR 8524
(8)
Laboratoire Spécification et Vérification
(8)
Laboratoire d'Informatique de l'Université du Mans
(8)
Laboratoire d'Informatique et d'Automatique pour les Systèmes
(8)
Laboratoire d'informatique Fondamentale de Marseille - UMR 6166
(8)
Thales Research and Technology [Palaiseau]
(8)
XLIM
(8)
Computer Science Department
(7)
Computer Systems Section - Vrije Universiteit Amsterdam
(7)
Departamento de Informatica [Valparaíso, Chile]
(7)
Dipartimento di Informatica e Sistemistica [Rome]
(7)
Dipartimento di Scienze dell'Informazione [Milano]
(7)
Département Traitement du Signal et des Images
(7)
Equipes Traitement de l'Information et Systèmes
(7)
Institut de Recherche en Communications et en Cybernétique de Nantes
(7)
Institut de Recherche en Informatique Fondamentale
(7)
Institut des Sciences du Digital, Management et Cognition
(7)
Institut für Informatik II [Bonn]
(7)
LPP - Laboratoire de Phonétique et Phonologie - UMR 7018
(7)
Laboratoire Electronique, Informatique et Image [UMR6306]
(7)
Laboratoire d'Histoire des Sciences et de Philosophie - Archives Henri Poincaré
(7)
Orange Labs [Cesson-Sévigné]
(7)
Orange Labs [Issy les Moulineaux]
(7)
Smartesting
(7)
Centre d'études et de recherche en informatique et communications
(6)
Centrum voor Wiskunde en Informatica
(6)
Computer Science and Artificial Intelligence Laboratory [Cambridge]
(6)
Data Analysis and Artificial Intelligence
(6)
Department of Electrical Engineering [Korea Advanced Institute of Science and Technology]
(6)
Department of Mathematics [University of Toronto]
(6)
Département de neuroradiologie diagnostique et thérapeutique [CHRU Nancy]
(6)
Emmy Noether Project
(6)
European Bioinformatics Institute [Hinxton]
(6)
Faculty of Mathematics and Computer Science [Wroclaw]
(6)
Institut des Maladies Neurodégénératives [Bordeaux]
(6)
Joint Robotics Laboratory
(6)
Knowledge Media Institute
(6)
Laboratoire Interdisciplinaire des Sciences du Numérique
(6)
Laboratoire International de Recherche en Informatique et Mathématiques Appliquées
(6)
Laboratoire VeriForm - Department of Computer Engineering
(6)
Laboratory for Cryptologic Algorithms
(6)
Laboratory of Advanced Software SYstems [Luxembourg]
(6)
Maison des Sciences de l'Homme Lorraine
(6)
Mathematical Sciences Institute
(6)
NEC Corporation
(6)
Parallélisme, Réseaux, Systèmes, Modélisation
(6)
Praxiling
(6)
Reservoir Labs
(6)
Unité de Recherche en Réseaux Radio Mobile Multimédia
(6)
Unité de modélisation mathématique et informatique des systèmes complexes [Bondy]
(6)
Bernoulli Institute for Mathematics and Computer Science and Artificial Intelligence
(5)
Centre de Calcul de l'IN2P3
(5)
Centre de Mathématiques et de Leurs Applications
(5)
Centre de Recherche des Cordeliers
(5)
Computer Science Department [Williamstown MA]
(5)
Computing Science Laboratory - Oxford University
(5)
Courant Institute of Mathematical Sciences [New York]
(5)
DAM Île-de-France
(5)
Department of Computer Science [Bath]
(5)
Department of Computer Science [Berlin]
(5)
Department of Computer Sciences [Scheffield]
(5)
Département d'informatique [Montréal]
(5)
Harmonic Phama
(5)
Heuristique et Diagnostic des Systèmes Complexes [Compiègne]
(5)
Institut Langevin - Ondes et Images (UMR7587)
(5)
Institut Supérieur de Gestion de Tunis [Tunis]
(5)
Institut d'Électronique et des Technologies du numéRique
(5)
Institut für Mathematik [Kassel]
(5)
LIP6
(5)
Laboratoire Jacques-Louis Lions
(5)
Laboratoire d'Analyse des Signaux et des Processus Industriels
(5)
Laboratoire d'Informatique Théorique et Appliquée
(5)
Laboratoire des Sciences et Technologies de l'Information Géographique
(5)
Laboratoire lorrain de psychologie et neurosciences de la dynamique des comportements
(5)
Laboratorio de Tecnologías de Información de Cinvestav Tamaulipas
(5)
Nutrition-Génétique et Exposition aux Risques Environnementaux
(5)
School of Informatics [Edimbourg]
(5)
Technicolor R & I [Cesson Sévigné]
(5)
UPMARC, University of Uppsala
(5)
Unité de Nutrition Humaine
(5)
Bernstein Center for Computational Neuroscience [Berlin]
(4)
CEntre de REcherches en MAthématiques de la DEcision
(4)
Centre de Recherche Réseau Image SysTème Architecture et MuLtimédia
(4)
Centre interdisciplinaire de recherche en biologie
(4)
Cheriton School of Computer Science [Waterloo]
(4)
Cognitions Humaine et ARTificielle
(4)
Computer Science Department - Carnegie Mellon University
(4)
Computer Science Department [Boston]
(4)
Department of Applied Mathematics [Heraklion]
(4)
Department of Computer Science [Dallas]
(4)
Department of Computer Science [Oxford]
(4)
Department of Computer Science and Engineering [Bologna]
(4)
Department of Electrical Engineering - Technion [Haïfa]
(4)
Department of Mathematical Sciences, KAIST
(4)
Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
(4)
Dipartimento di Matematica Applicata [Pisa]
(4)
Language
Minimize
English
(5055)
French
(655)
Unknown or Invalid Language
(10)
Russian
(3)
Ukrainian
(2)
Spanish
(1)
Italian
(1)
Keyword
Minimize
Security
(66)
Formal Concept Analysis
(56)
Verification
(53)
Privacy
(45)
Formal concept analysis
(40)
Speech recognition
(35)
Simulation
(32)
Deep learning
(28)
Formal methods
(28)
Security protocols
(28)
Machine learning
(27)
Complexity
(26)
Cryptographic protocols
(26)
Pattern structures
(23)
Rewriting
(22)
Ontology
(20)
Optimization
(20)
Type of deposit
Minimize
Fulltext
(3570)
Notice
(1438)
Annex
(47)
Year
Minimize
2022
(108)
2021
(407)
2020
(402)
2019
(381)
2018
(399)
2017
(384)
2016
(365)
2015
(440)
2014
(400)
2013
(387)
2012
(376)
2011
(228)
2010
(220)
2009
(171)
2008
(120)
2007
(90)
2006
(62)
2005
(33)
2004
(34)
2003
(23)
2002
(14)
2001
(2)
1998
(1)
1997
(2)
1996
(4)
1993
(1)
1992
(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-00758420
v1
Conference papers
David Selosse
,
Jérémie Dequidt
,
Laurent Grisoni
.
A Sketch-Based Interface for Annotation of 3D Brain Vascular Reconstructions
Computer Graphics International 2012
, Jun 2012, Bournemouth, United Kingdom
hal-01667161
v1
Conference papers
Yacine Bouzidi
,
Thomas Cluzeau
,
Guillaume Moroz
,
Alban Quadrat
.
Computing effectively stabilizing controllers for a class of $n$D systems
The 20th World Congress of the International Federation of Automatic Control
, Jul 2017, Toulouse, France. pp.1847 - 1852,
⟨10.1016/j.ifacol.2017.08.200⟩
hal-01889825
v1
Other publications
François Boulier
,
François Fages
,
Ovidiu Radulescu
,
Satya Samal
,
Andreas Schuppert
et al.
The SYMBIONT Project: Symbolic Methods for Biological Networks
2018
hal-01889783
v1
Conference papers
Fanny Ficuciello
,
Alessandro Migliozzi
,
Eulalie Coevoet
,
Antoine Petit
,
Christian Duriez
.
FEM-based Deformation Control for Dexterous Manipulation of 3D Soft Objects
IROS 2018 - IEEE/RSJ International Conference on Intelligent Robots and Systems
, Oct 2018, Madrid, Spain
hal-01136728
v1
Journal articles
Nazim Haouchine
,
Stéphane Cotin
,
Igor Peterlik
,
Jérémie Dequidt
,
Mario Sanz Lopez
et al.
Impact of Soft Tissue Heterogeneity on Augmented Reality for Liver Surgery
IEEE Transactions on Visualization and Computer Graphics
, Institute of Electrical and Electronics Engineers, 2015, 21 (5), pp.584 - 597.
⟨10.1109/TVCG.2014.2377772⟩
hal-01160297
v1
Conference papers
Hugues Talbot
,
Nazim Haouchine
,
Igor Peterlik
,
Jérémie Dequidt
,
Christian Duriez
et al.
Surgery Training, Planning and Guidance Using the SOFA Framework
Eurographics
, May 2015, Zurich, Switzerland
hal-01496177
v2
Journal articles
Zhifan Jiang
,
Jean-Francois Witz
,
Pauline Lecomte-Grosbras
,
Jérémie Dequidt
,
Stéphane Cotin
et al.
Multiorgan Motion Tracking in Dynamic Magnetic Resonance Imaging for Evaluation of Pelvic System Mobility and Shear Strain
Strain
, Wiley-Blackwell, 2017, 53 (2),
⟨10.1111/str.12224⟩
hal-01253322
v1
Conference papers
Lénaïc Bagnères
,
Oleksandr Zinenko
,
Stéphane Huot
,
Cédric Bastoul
.
Opening Polyhedral Compiler's Black Box
CGO 2016 - 14th Annual IEEE/ACM International Symposium on Code Generation and Optimization
, Mar 2016, Barcelona, Spain
hal-01338346
v1
Journal articles
Hugues Talbot
,
Federico Spadoni
,
Christian Duriez
,
Maxime Sermesant
,
Stéphane Cotin
et al.
Interactive Training System for Interventional Electrocardiology Procedures
Medical Image Analysis
, Elsevier, 2016, 8789, pp.11-19.
⟨10.1007/978-3-319-12057-7_2⟩
hal-01153270
v3
Conference papers
Julien Pérolat
,
Bruno Scherrer
,
Bilal Piot
,
Olivier Pietquin
.
Approximate dynamic programming for two-player zero-sum Markov games
International Conference on Machine Learning (ICML 2015)
, Jul 2015, Lille, France
hal-01191090
v1
Conference papers
Nazim Haouchine
,
Alexandre Bilger
,
Jérémie Dequidt
,
Stéphane Cotin
.
Fracture in Augmented Reality
SIGGRAPH [Poster]
, Aug 2015, Los Angeles, United States
hal-01242851
v1
Conference papers
Noura Hamzé
,
Alexandre Bilger
,
Christian Duriez
,
Stéphane Cotin
,
Caroline Essert
.
Anticipation of Brain Shift in Deep Brain Stimulation Automatic Planning
IEEE Engineering in Medicine and Biology Society (EMBC’15)
, Aug 2015, Milan, Italy. pp.3635 - 3638
⟨10.1109/EMBC.2015.7319180⟩
hal-01204589
v2
Journal articles
Zhifan Jiang
,
Jean-Francois Witz
,
M Lecomte-Grosbras
,
Jérémie Dequidt
,
Christian Duriez
et al.
B-spline Based Multi-organ Detection in Magnetic Resonance Imaging
Strain
, Wiley-Blackwell, 2015, 51, pp.235 - 247.
⟨10.1111/str.12136⟩
hal-01184113
v1
Conference papers
Hadrien Courtecuisse
,
Yinoussa Adagolodjo
,
Hervé Delingette
,
Christian Duriez
.
Haptic Rendering of Hyperelastic Models with Friction
2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
, Sep 2015, Hamburg, Germany. pp.591-596,
⟨10.1109/IROS.2015.7353432⟩
hal-01291495
v1
Conference papers
Julien Pérolat
,
Bilal Piot
,
Bruno Scherrer
,
Olivier Pietquin
.
On the Use of Non-Stationary Strategies for Solving Two-Player Zero-Sum Markov Games
19th International Conference on Artificial Intelligence and Statistics (AISTATS 2016)
, May 2016, Cadiz, Spain
hal-02427488
v1
Journal articles
Mohamad Daher
,
Joelle Al Hage
,
Maan El Badaoui El Najjar
,
Ahmad Diab
,
Khalil Mohamad
et al.
Toward High Integrity Personal Localization System Based on Informational Formalism
IEEE Transactions on Instrumentation and Measurement
, Institute of Electrical and Electronics Engineers, 2019, 68 (11), pp.4590-4599.
⟨10.1109/TIM.2018.2886976⟩
hal-01390923
v1
Journal articles
Erwan Kerrien
,
Ahmed Yureidini
,
Jérémie Dequidt
,
Christian Duriez
,
René Anxionnat
et al.
Blood vessel modeling for interactive simulation of interventional neuroradiology procedures
Medical Image Analysis
, Elsevier, 2017, 35, pp.685 - 698.
⟨10.1016/j.media.2016.10.003⟩
hal-01100974
v1
Conference papers
Oleksandr Zinenko
,
Cédric Bastoul
,
Stéphane Huot
.
Manipulating Visualization, Not Codes
International Workshop on Polyhedral Compilation Techniques (IMPACT)
, Jan 2015, Amsterdam, Netherlands. pp.8
hal-03242324
v2
Conference papers
Gabrielle de Micheli
,
Pierrick Gaudry
,
Cécile Pierrot
.
Lattice Enumeration for Tower NFS: a 521-bit Discrete Logarithm Computation
ASIACRYPT 2021 - 27th Annual International Conference on the Theory and Application of Cryptology and Information Security
, Dec 2021, Virtual, Singapore. pp.67-96,
⟨10.1007/978-3-030-92062-3_3⟩
hal-03197376
v2
Preprints, Working Papers, ...
Brij Mohan Lal Srivastava
,
Mohamed Maouche
,
Md Sahidullah
,
Emmanuel Vincent
,
Aurélien Bellet
et al.
Privacy and utility of x-vector based speaker anonymization
2021
hal-03464025
v1
Conference papers
Amélie Aussel
,
Laure Buhry
,
Radu Ranta
.
Design of experiments and Sobol' sensitivity analysis of a hippocampus computational model
43rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2021
, Oct 2021, Guadalajara/Virtual, Mexico
hal-03327306
v1
Preprints, Working Papers, ...
Imran Sheikh
,
Emmanuel Vincent
,
Irina Illina
.
Training RNN Language Models on Uncertain ASR Hypotheses in Limited Data Scenarios
2021
hal-03257450
v1
Conference papers
Sunit Sivasankaran
,
Emmanuel Vincent
,
Dominique Fohr
.
Explaining deep learning models for speech enhancement
INTERSPEECH 2021
, Aug 2021, Brno, Czech Republic.
⟨10.21437/Interspeech.2021-1764⟩
hal-03341368
v1
Conference papers
Pascal Fontaine
,
Hans-Jörg Schurr
.
Quantifier Simplification by Unification in SMT
FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems
, Sep 2021, Birmingham, United Kingdom. pp.232-249,
⟨10.1007/978-3-030-86205-3_13⟩
hal-03264085
v1
Conference papers
Raphaël Duroselle
,
Md Sahidullah
,
Denis Jouvet
,
Irina Illina
.
Modeling and training strategies for language recognition systems
INTERSPEECH 2021
, Aug 2021, Brno, Czech Republic.
⟨10.21437/Interspeech.2021-277⟩
hal-03228823
v2
Conference papers
Raphaël Duroselle
,
Md Sahidullah
,
Denis Jouvet
,
Irina Illina
.
Language recognition on unknown conditions: the LORIA-Inria-MULTISPEECH system for AP20-OLR Challenge
INTERSPEECH 2021
, Aug 2021, Brno, Czech Republic.
⟨10.21437/Interspeech.2021-276⟩
hal-02978485
v3
Conference papers
Ajinkya Kulkarni
,
Vincent Colotte
,
Denis Jouvet
.
Improving transfer of expressivity for end-to-end multispeaker text-to-speech synthesis
EUSIPCO 2021 - 29th European Signal Processing Conference
, European Association for Signal Processing (EURASIP), Aug 2021, Dublin / Virtual, Ireland.
⟨10.23919/EUSIPCO54536.2021.9616249⟩
hal-03259801
v1
Conference papers
Nicolas Furnon
,
Romain Serizel
,
Slim Essid
,
Irina Illina
.
Attention-based distributed speech enhancement for unconstrained microphone arrays with varying number of nodes
EUSIPCO 2021 - 29th European Signal Processing Conference
, IEEE, Aug 2021, Dublin / Virtual, Ireland.
⟨10.23919/EUSIPCO54536.2021.9616358⟩
tel-03539738
v1
Theses
Brij Mohan Lal Srivastava
.
Speaker Anonymization: Representation, Evaluation and Formal Guarantees
Artificial Intelligence [cs.AI]. Inria Lille Nord Europe - Laboratoire CRIStAL - Université de Lille, 2021. English
hal-03355184
v1
Conference papers
Francesca Ronchini
,
Romain Serizel
,
Nicolas Turpault
,
Samuele Cornell
.
The impact of non-target events in synthetic soundscapes for sound event detection
DCASE 2021 - Detection and Classification of Acoustic Scenes and Events
, Nov 2021, Barcelona/Virtual, Spain
hal-03387778
v1
Conference papers
Michel Olvera
,
Emmanuel Vincent
,
Gilles Gasso
.
Improving Sound Event Detection with Auxiliary Foreground-Background Classification and Domain Adaptation
DCASE 2021 - 6th Workshop on Detection and Classification of Acoustic Scenes and Events
, Nov 2021, Virtual, Spain
tel-03395953
v1
Theses
Manuel Pariente
.
Implicit and explicit phase modeling in deep learning-based source separation
Machine Learning [stat.ML]. Université de Lorraine, 2021. English.
⟨NNT : 2021LORR0150⟩
hal-03351943
v3
Conference papers
Pierre Champion
,
Denis Jouvet
,
Anthony Larcher
.
Evaluating X-vector-based Speaker Anonymization under White-box Assessment
SPECOM 2021 - 23rd International Conference on Speech and Computer
, Sep 2021, Saint Petersburg, Russia
hal-03391884
v1
Conference papers
Youssef Assis
,
Liang Liao
,
Fabien Pierre
,
René Anxionnat
,
Erwan Kerrien
.
An efficient data strategy for the detection of brain aneurysms from MRA with deep learning
DALI 2021 - MICCAI workshop on Data Augmentation, Labeling, and Imperfections
, Sep 2021, Strasbourg, France. pp.226-234,
⟨10.1007/978-3-030-88210-5_22⟩
hal-03369137
v1
Preprints, Working Papers, ...
Mohamed Maouche
,
Brij Mohan Lal Srivastava
,
Nathalie Vauquier
,
Aurélien Bellet
,
Marc Tommasi
et al.
Enhancing Speech Privacy with Slicing
2021
hal-03313556
v1
Conference papers
Safa Alsaidi
,
Amandine Decker
,
Puthineath Lay
,
Esteban Marquer
,
Pierre-Alexandre Murena
et al.
A Neural Approach for Detecting Morphological Analogies
DSAA 2021 - 8th IEEE International Conference on Data Science and Advanced Analytics
, Oct 2021, Porto/Online, Portugal. pp.1-10
hal-03341357
v1
Conference papers
Hans-Jörg Schurr
,
Mathias Fleury
,
Martin Desharnais
.
Reliable Reconstruction of Fine-Grained Proofs in a Proof Assistant
CADE 2021 - 28th International Conference on Automated Deduction
, Jul 2021, Pittsburgh, PA / online, United States.
⟨10.1007/978-3-030-79876-5⟩
hal-02985794
v3
Conference papers
Nicolas Furnon
,
Romain Serizel
,
Irina Illina
,
Slim Essid
.
Distributed speech separation in spatially unconstrained microphone arrays
ICASSP 2021 - 46th International Conference on Acoustics, Speech, and Signal Processing
, Jun 2021, Toronto / Virtual, Canada.
⟨10.1109/ICASSP39728.2021.9414758⟩
hal-03354695
v1
Preprints, Working Papers, ...
Joris Cosentino
,
Manuel Pariente
,
Samuele Cornell
,
Antoine Deleforge
,
Emmanuel Vincent
.
LibriMix: An open-source dataset for generalizable speech separation
2020
inria-00436467
v3
Journal articles
Benjamin Petit
,
Jean-Denis Lesage
,
Clément Menier
,
Jérémie Allard
,
Jean-Sébastien Franco
et al.
Multicamera Real-Time 3D Modeling for Telepresence and Remote Collaboration
International Journal of Digital Multimedia Broadcasting
, Hindawi, 2010, Advances in 3DTV: Theory and Practice, 2010, Article ID 247108, 12 p.
⟨10.1155/2010/247108⟩
hal-03634072
v1
Preprints, Working Papers, ...
Shakeel Sheikh
,
Md Sahidullah
,
Fabrice Hirsch
,
Slim Ouni
.
Machine Learning for Stuttering Identification: Review, Challenges & Future Directions
2022
hal-03141101
v2
Preprints, Working Papers, ...
Vincenzo Innocente
,
Paul Zimmermann
.
Accuracy of Mathematical Functions in Single, Double, Extended Double and Quadruple Precision
2022
hal-03623769
v1
Preprints, Working Papers, ...
Mostafa Sadeghi
,
Paul Magron
.
A Sparsity-promoting Dictionary Model for Variational Autoencoders
2022
hal-03554305
v2
Conference papers
Francesca Ronchini
,
Romain Serizel
.
A benchmark of state-of-the-art sound event detection systems evaluated on synthetic soundscapes
ICASSP 2022 - IEEE International Conference on Acoustics, Speech and Signal Processing
, May 2022, Singapore/Virtual, Singapore.
⟨10.1109/ICASSP43922.2022.9747577⟩
hal-03541726
v1
Conference papers
Samuel Vivien
.
Parallel integer multiplication
PDP 2022 - 30th Euromicron International Conference on Parallel, Distributed, and Network-Based Processing
, Mar 2022, Valladoid, Spain.
⟨10.1109/PDP55904.2022.00024⟩
hal-01171249
v1
Reports
Jean-Guillaume Dumas
,
Erich Kaltofen
,
Emmanuel Thomé
.
Interactive certificate for the verification of Wiedemann's Krylov sequence: application to the certification of the determinant, the minimal and the characteristic polynomials of sparse matrices
[Research Report] Université Grenoble Alpes (UGA). 2015
hal-03249123
v2
Conference papers
Guillaume Moroz
.
New data structure for univariate polynomial approximation and applications to root isolation, numerical multipoint evaluation, and other problems
FOCS 2021 - 62nd Annual IEEE Symposimum on Foundations of Computer Science
, Feb 2022, Denver, United States.
⟨10.1109/FOCS52979.2021.00108⟩
hal-03657779
v1
Preprints, Working Papers, ...
Corentin Dumery
,
François Protais
,
Sébastien Mestrallet
,
Christophe Bourcier
,
Franck Ledoux
.
Evocube: a Genetic Labeling Framework for Polycube-Maps
2022
hal-03537852
v1
Journal articles
David Desobry
,
François Protais
,
Nicolas Ray
,
Etienne Corman
,
Dmitry Sokolov
.
Frame Fields for CAD models
Lecture Notes in Computer Science
, Springer, 2022, 13018, pp.421-434.
⟨10.1007/978-3-030-90436-4_34⟩
hal-03542913
v1
Journal articles
A West
,
James Hermus
,
Meghan Huber
,
Pauline Maurice
,
Dagmar Sternad
et al.
Dynamic Primitives Limit Human Force Regulation during Motion
IEEE Robotics and Automation Letters
, IEEE 2022, 7 (2), pp.2391 - 2398.
⟨10.1109/LRA.2022.3141778⟩
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.