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 ×
All ×
14869 results
save search
Document types
Minimize
Conference papers
(7837)
Journal articles
(2807)
Reports
(1575)
Theses
(798)
Book sections
(592)
Preprints, Working Papers, ...
(363)
Directions of work or proceedings
(268)
Other publications
(184)
Poster communications
(133)
Books
(99)
Habilitation à diriger des recherches
(65)
Master thesis
(65)
Documents associated with scientific events
(27)
Lectures
(22)
Patents
(21)
Software
(9)
Videos
(4)
Author
Minimize
Frédéric Alexandre
(112)
Maxime Amblard
(95)
Rémi Badonnel
(101)
Abdel Belaïd
(180)
Florence Le Ber
(140)
Marie-Odile Berger
(153)
Guillaume Bonfante
(75)
Nacer Boudjlida
(64)
Laurent Bougrain
(99)
Olivier Bournez
(69)
Anne Boyer
(76)
Anne Boyer
(90)
Armelle Brun
(119)
Olivier Buffet
(117)
Christophe Cerisara
(85)
François Charoy
(92)
François Charpillet
(274)
Wahiba Ramdane Cherif-Khettaf
(63)
Vincent Chevrier
(95)
Isabelle Chrisment
(112)
Laurent Ciarletta
(92)
Horatiu Cirstea
(70)
Véronique Cortier
(155)
Miguel Couceiro
(148)
Amos Abayomi David
(83)
Isabelle Debled-Rennesson
(98)
Marie-Dominique Devignes
(130)
Olivier Devillers
(82)
Alain Dutech
(65)
Nazim Fatès
(75)
Olivier Festor
(410)
Dominique Fohr
(173)
Jérôme François
(76)
Didier Galmiche
(65)
Claire Gardent
(132)
Bernard Girau
(99)
Xavier Goaoc
(67)
Claude Godart
(184)
Yann Guermeur
(66)
Bruno Guillaume
(80)
Jens Gustedt
(71)
Jean-Paul Haton
(120)
Axel Hutt
(83)
Irina Illina
(118)
Abdessamad Imine
(82)
Emmanuel Jeannot
(81)
Denis Jouvet
(102)
Bertrand Kerautret
(62)
Erwan Kerrien
(66)
Hélène Kirchner
(106)
Claude Kirchner
(118)
Olga Kouchnarenko
(65)
Abdelkader Lahmadi
(106)
Jean-Charles Lamirel
(214)
David Langlois
(63)
Yves Laprie
(148)
Sylvain Lazard
(121)
Sylvain Lefebvre
(77)
Jean Lieber
(170)
Bruno Lévy
(117)
Bernard Maigret
(76)
Jean-Yves Marion
(140)
Dominique Martinez
(101)
Stephan Merz
(106)
Pascal Molli
(110)
Pierre-Etienne Moreau
(70)
Dominique Méry
(139)
Amedeo Napoli
(471)
Emmanuel Nauer
(77)
Nicolas Navet
(123)
Lucas Nussbaum
(82)
Ammar Oulamara
(105)
Slim Ouni
(90)
Guy Perrier
(80)
Olivier Perrin
(74)
Marie-Claude Portmann
(96)
Christophe Ringeissen
(91)
David Ritchie
(71)
Denis Roegel
(211)
Laurent Romary
(174)
Fabrice Rouillier
(66)
Michaël Rusinowitch
(181)
Bruno Scherrer
(71)
René Schott
(84)
Sahbi Sidhom
(73)
Françoise Simonot-Lion
(131)
Hala Skaf-Molli
(71)
Malika Smaïl-Tabbone
(62)
Kamel Smaïli
(162)
Ye-Qiong Song
(225)
Jeanine Souquières
(65)
Radu State
(143)
Frédéric Sur
(76)
Antoine Tabbone
(175)
Jean-Pierre Thomesse
(91)
Yannick Toussaint
(103)
Emmanuel Vincent
(177)
Laurent Wendling
(67)
Olivier Zendra
(69)
Paul Zimmermann
(110)
Subject field
Minimize
Computer Science [cs]
(13526)
Mathematics [math]
(742)
Engineering Sciences [physics]
(603)
Humanities and Social Sciences
(574)
Life Sciences [q-bio]
(573)
Cognitive science
(466)
Statistics [stat]
(199)
Physics [physics]
(125)
Nonlinear Sciences [physics]
(82)
Chemical Sciences
(39)
Environmental Sciences
(36)
Sciences of the Universe [physics]
(25)
Quantitative Finance [q-fin]
(10)
domain_stic
(10)
domain_other
(2)
Laboratory
Minimize
Laboratoire Lorrain de Recherche en Informatique et ses Applications
(14869)
INRIA Lorraine
(6328)
Inria Nancy - Grand Est
(5535)
Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
(640)
Max-Planck-Institut für Informatik
(376)
Inria Sophia Antipolis - Méditerranée
(271)
Inria Grenoble - Rhône-Alpes
(209)
Institut de Recherche en Informatique et Systèmes Aléatoires
(178)
Inria Saclay - Ile de France
(165)
Inria Paris-Rocquencourt
(154)
Centre de Recherche en Automatique de Nancy
(147)
Inria Rennes – Bretagne Atlantique
(144)
Institut de recherche en informatique de Toulouse
(131)
Laboratoire d'Informatique de Paris 6
(119)
Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
(105)
Laboratoire d'InfoRmatique en Image et Systèmes d'information
(103)
Laboratoire d'informatique de l'École polytechnique [Palaiseau]
(97)
SUPELEC-Campus Metz
(97)
Analyse et Traitement Informatique de la Langue Française
(96)
Inria Bordeaux - Sud-Ouest
(95)
Inria Lille - Nord Europe
(94)
Laboratoire Bordelais de Recherche en Informatique
(87)
Laboratoire de l'Informatique du Parallélisme
(86)
Laboratoire Spécification et Vérification [Cachan]
(83)
Laboratoire d'Informatique de Grenoble
(82)
Institut Élie Cartan de Nancy
(79)
Institut de l'information scientifique et technique
(77)
Laboratoire de Recherche en Informatique
(75)
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
(70)
Laboratoire d'Informatique Fondamentale de Lille
(70)
CITI Centre of Innovation in Telecommunications and Integration of services
(55)
Laboratoire d'Hydrologie et de Géochimie de Strasbourg
(52)
Institut Élie Cartan de Lorraine
(48)
Institut Charles Delaunay
(47)
Laboratoire Informatique d'Avignon
(47)
Laboratoire Traitement et Communication de l'Information
(47)
Laboratoire d'Informatique Fondamentale d'Orléans
(47)
Inria de Paris
(46)
Laboratoire d'Informatique, de Modélisation et d'optimisation des Systèmes
(46)
Institut Pascal
(44)
Laboratoire d'Informatique Gaspard-Monge
(44)
Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision
(44)
Laboratoire de Mathématiques
(43)
Maison des Sciences de l'Homme Lorraine
(43)
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
(41)
Laboratoire de Semio-Linguistique, Didactique et Informatique
(38)
Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection
(38)
Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes
(37)
VERIMAG
(37)
Centre d'Ecologie Végétale et d'Hydrologie
(36)
Laboratoire d'Informatique de Paris-Nord
(36)
Laboratoire Jean Kuntzmann
(35)
Department of Applied Mathematics - State University Higher School of Economics
(34)
Laboratoire d'Informatique pour la Mécanique et les Sciences de l'Ingénieur
(34)
Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie
(34)
Agro-Systèmes Territoires Ressources Mirecourt
(33)
Computer Vision Center (Centre de visio per computador)
(33)
Laboratoire Informatique, Image et Interaction - EA 2118
(31)
Laboratoire de recherche en Génie Logiciel, Applications distribuées, Systèmes décisionnels et Imagerie intelligente [Manouba]
(31)
Grenoble Images Parole Signal Automatique
(29)
Groupe de Recherche en Informatique, Image et Instrumentation de Caen
(29)
Georgia Tech Lorraine [Metz]
(28)
Institut des Maladies Neurodégénératives [Bordeaux]
(28)
Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg]
(28)
Imagerie Adaptative Diagnostique et Interventionnelle
(27)
PSA Peugeot - Citroën
(27)
Institut des Systèmes Intelligents et de Robotique
(26)
Parallélisme, Réseaux, Systèmes, Modélisation
(25)
Department of Computer Science
(24)
Inria Siège
(24)
Laboratoire d'Informatique de Nantes Atlantique
(24)
Laboratoire d'Intégration des Systèmes et des Technologies
(24)
Physiologie de l'Insecte : Signalisation et Communication
(24)
Sens, Texte, Informatique, Histoire
(24)
Department of Electrical Engineering [Korea Advanced Institute of Science and Technology]
(23)
Département d'informatique [Montréal]
(23)
Institut de Recherche en Communications et en Cybernétique de Nantes
(23)
Laboratoire d'Histoire des Sciences et de Philosophie - Archives Henri Poincaré
(23)
Laboratoire de Conception, Optimisation et Modélisation des Systèmes
(23)
Stanford Center for BioMedical Informatics Research
(23)
INRIA Rocquencourt
(22)
Laboratoire d'Informatique de l'Université du Mans
(22)
Laboratoire des Sciences du Numérique de Nantes
(22)
Laboratoire lorrain de psychologie et neurosciences de la dynamique des comportements
(22)
Ecole Nationale Supérieure d'Informatique et d'Analyses des Systèmes
(21)
Laboratoire Jean Alexandre Dieudonné
(21)
Laboratoire d'Automatique, Génie Informatique et Signal
(21)
Microsoft Research - Inria Joint Centre
(21)
Laboratoire d'analyse et d'architecture des systèmes
(20)
Laboratoire de Linguistique Formelle
(20)
Psychologie Ergonomique et Sociale pour l'Expérience utilisateurs
(20)
Unité de Recherche en Réseaux Radio Mobile Multimédia
(20)
Heuristique et Diagnostic des Systèmes Complexes [Compiègne]
(19)
Institut de Mathématiques de Bordeaux
(19)
International University Bremen
(19)
Laboratoire d'informatique Algorithmique : Fondements et Applications
(19)
Department of Mathematics and Statistics - Southern Illinois University
(18)
LPP - Laboratoire de Phonétique et Phonologie - UMR 7018
(18)
Mathematics Research Unit
(18)
Orange Labs [Lannion]
(18)
Unité de recherche Plantes et Systèmes de Culture Horticoles
(18)
Centrum voor Wiskunde en Informatica
(17)
Laboratoire d'Algorithmique Complexité et Logique
(17)
Laboratoire d'Informatique Paris Descartes
(17)
Centre de Mathématiques et de Leurs Applications
(16)
Department of Computer Science [Santa Barbara]
(16)
Défaillance Cardiovasculaire Aiguë et Chronique
(16)
Laboratoire Systèmes et Transports
(16)
Laboratoire d'informatique Fondamentale de Marseille - UMR 6166
(16)
Technologie de l'Information et de la Communication
(16)
Department of Mathematics and Computer Science
(15)
Dipartimento di Elettronica, Informazione e Bioingegneria
(15)
France Télécom Recherche & Développement
(15)
General Electric Medical Systems [Buc]
(15)
Knowledge Media Institute
(15)
Laboratoire Interuniversitaire des Sciences de l'Education et de la Communication
(15)
Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
(15)
Computer Science Department
(14)
Dipartimento di Informatica [Torino]
(14)
Institut de Mathématiques de Jussieu - Paris Rive Gauche
(14)
Interactions, Corpus, Apprentissages, Représentations
(14)
Laboratoire Franco-Chinois d'Informatique, d'Automatique et de Mathématiques Appliquées
(14)
Laboratoire Hubert Curien [Saint Etienne]
(14)
Laboratoire d'Informatique Fondamentale et Appliquée de Tours
(14)
Laboratoire d'Informatique Théorique et Appliquée
(14)
Laboratory of Advanced Software SYstems [Luxembourg]
(14)
Multimedia, InfoRmation systems and Advanced Computing Laboratory
(14)
Sciences et Technologies de la Musique et du Son
(14)
Archives Henri-Poincaré - Philosophie et Recherches sur les Sciences et les Technologies
(13)
Centre de Recherche Public Henri Tudor [Headquarters]
(13)
Centre de Recherche en Sciences et Technologies de l'Information et de la Communication - EA 3804
(13)
Centre de Recherches Pétrographiques et Géochimiques
(13)
Département Traitement du Signal et des Images
(13)
Laboratoire d'Etudes des Ressources Forêt-Bois
(13)
Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
(13)
Laboratorio de Tecnologías de Información de Cinvestav Tamaulipas
(13)
Microsoft Research [Redmond]
(13)
Mitsubishi Electric Research Laboratories
(13)
Royal Military College of Canada
(13)
School of computer science [Ottawa]
(13)
Computer Science & Engineering Department
(12)
Computer Science Department [Bristol]
(12)
Department of Computer Science [Calgary]
(12)
Département de neuroradiologie diagnostique et thérapeutique [CHRU Nancy]
(12)
Faculty of Mathematics and Computer Science [Wroclaw]
(12)
LIP6
(12)
Laboratoire Interdisciplinaire des Environnements Continentaux
(12)
Laboratoire d'informatique GRAphique, VIsion et Robotique de Grenoble
(12)
Linguistique, Langues et Parole
(12)
Modèles, Dynamiques, Corpus
(12)
Praxiling
(12)
School of Computing - Soongsil University, Séoul
(12)
School of Informatics [Edimbourg]
(12)
Cardiovascular and Renal Clinical Trialists [Vandoeuvre-les-Nancy]
(11)
Centre d'investigation clinique plurithématique Pierre Drouin [Nancy]
(11)
Centre de Recherche en Informatique de Paris 1
(11)
Centre de recherche sur l'Information Scientifique et Technique
(11)
Centre interdisciplinaire de recherche en biologie
(11)
Department of Computer and Information Science
(11)
Equipe de Recherche sur les Processus Innovatifs
(11)
Equipes Traitement de l'Information et Systèmes
(11)
GeoRessources
(11)
INRIA Futurs
(11)
Informatique et Distribution
(11)
Institut Camille Jordan [Villeurbanne]
(11)
Institut des Sciences de la Communication du CNRS
(11)
Istituto di Calcolo e Reti ad Alte Prestazioni [Rende]
(11)
Kuban State University [Russie]
(11)
Laboratoire Interdisciplinaire des Sciences du Numérique
(11)
Laboratoire Méthodes Formelles
(11)
Laboratoire d'Informatique et Systèmes
(11)
Laboratoire d'Informatique, de Traitement de l'Information et des Systèmes
(11)
Laboratoire de psychologie de l'interaction et des relations intersubjectives
(11)
Laboratoire Énergies et Mécanique Théorique et Appliquée
(11)
Laboratory for Research on Technology for ECommerce
(11)
Physics Laboratory
(11)
Bolyai Institute [Szeged]
(10)
Departamento de Informatica [Valparaíso, Chile]
(10)
Department of Computer Science [York]
(10)
Department of Computer Science, Vassar College [NY]
(10)
Institut Langevin - Ondes et Images (UMR7587)
(10)
Institut Universitaire de France
(10)
Institut de Recherche en Informatique Fondamentale
(10)
Laboratoire Electronique, Informatique et Image [UMR6306]
(10)
Laboratoire Paul Painlevé - UMR 8524
(10)
Laboratoire d'informatique de l'école normale supérieure
(10)
Laboratoire de Logique, Algorithmique et Informatique
(10)
Laboratoire lorrain de psychologie
(10)
Orange Labs [Chatillon]
(10)
School of Computer Science [Birmingham]
(10)
Service d'Evaluation et Information Médicales [CHRU Nancy]
(10)
State Key Laboratory of Industrial Control Technology
(10)
Unité de Recherche en Programmation Algorithmique et Heuristique
(10)
University of Rhode Island
(10)
CEGELEC
(9)
Centre de Calcul de l'IN2P3
(9)
Centre de Recherche en Informatique de Paris 5
(9)
Computer Vision and Pattern Recognition Unit
(9)
Department of Computer Science [Liverpool]
(9)
Department of Computing and Software
(9)
Language
Minimize
English
(11771)
French
(3057)
Unknown or Invalid Language
(9)
Spanish
(8)
German
(5)
Russian
(4)
Czech
(3)
Ukrainian
(3)
Chinese
(3)
Italian
(2)
Portuguese
(2)
Polish
(1)
Vietnamese
(1)
Keyword
Minimize
Rewriting
(150)
Security
(141)
Réécriture
(133)
Scheduling
(130)
Classification
(119)
Neural networks
(103)
Verification
(103)
Complexity
(99)
Simulation
(98)
Data mining
(94)
Speech recognition
(92)
Refinement
(90)
Ordonnancement
(88)
Validation
(79)
Case-based reasoning
(77)
Real-time
(77)
Formal Concept Analysis
(74)
Modélisation
(71)
Formal concept analysis
(69)
Sécurité
(69)
Adaptation
(67)
Fouille de données
(66)
Formal methods
(64)
Raisonnement à partir de cas
(63)
Réseaux de neurones
(62)
Semantics
(61)
Clustering
(59)
Optimization
(59)
Temps réel
(58)
Intelligence économique
(57)
Privacy
(57)
Apprentissage par renforcement
(55)
Ontology
(55)
Termination
(55)
Vérification
(55)
Machine learning
(53)
Performance evaluation
(51)
Linear logic
(50)
Reinforcement learning
(50)
Speech
(50)
Coordination
(49)
Network management
(49)
Apprentissage
(47)
Complexité
(47)
Reconnaissance de la parole
(47)
Xml
(47)
Segmentation
(46)
Information retrieval
(45)
Uml
(44)
Web services
(43)
Annotation
(42)
Modelling
(42)
Monitoring
(42)
Reconnaissance automatique de la parole
(42)
Sémantique
(42)
Deep learning
(41)
Raffinement
(41)
Term rewriting
(41)
Event-B
(40)
Logique linéaire
(40)
Modeling
(40)
Association rules
(39)
Automated deduction
(39)
Automatic speech recognition
(39)
Multicast
(39)
Robustness
(39)
Economic intelligence
(38)
Interoperability
(38)
Embedded systems
(36)
Learning
(36)
Optimisation
(36)
Performance
(36)
B method
(35)
Constraints
(35)
Java
(35)
Management
(35)
Model checking
(35)
Narrowing
(35)
Parole
(35)
Proof
(35)
Recherche d'information
(35)
Supervision
(35)
Augmented reality
(34)
Induction
(34)
M
(34)
Parallelism
(34)
Parallélisme
(34)
Security protocols
(34)
Spécification
(34)
Strategy
(34)
Workflow
(34)
Document analysis
(33)
Real-time systems
(33)
Web sémantique
(33)
Connexionnisme
(32)
Cooperation
(32)
Cryptographic protocols
(32)
Matching
(32)
Recommender systems
(32)
Systèmes embarqués
(32)
Type of deposit
Minimize
Fulltext
(8454)
Notice
(6342)
Annex
(73)
Year
Minimize
2022
(156)
2021
(578)
2020
(599)
2019
(591)
2018
(586)
2017
(580)
2016
(577)
2015
(679)
2014
(694)
2013
(669)
2012
(611)
2011
(752)
2010
(809)
2009
(740)
2008
(730)
2007
(711)
2006
(652)
2005
(581)
2004
(605)
2003
(586)
2002
(556)
2001
(435)
2000
(462)
1999
(403)
1998
(357)
1997
(56)
1996
(36)
1995
(23)
1994
(13)
1993
(9)
1992
(6)
1991
(7)
1990
(8)
1989
(3)
1988
(2)
1987
(2)
1986
(2)
1985
(2)
1978
(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-03674979
v1
Preprints, Working Papers, ...
Alexandre Debant
,
Stéphanie Delaune
,
David Baelde
.
Proving Unlinkability using ProVerif through Desynchronized Bi-Processes
2022
hal-03674286
v1
Poster communications
Lauriane Le Pape
,
Patrick Henaff
,
Tomohiro Shibata
,
Rikuo Kawamoto
,
Taiki Yoshitake
.
Towards a neuromusculoskeletal platform to simulate healthy and deficient gait with assistive devices
IEEE ICRA 2022 _ 4th Workshop on Integrating Multidisciplinary Approaches to Advance Physical Human-Robot Interaction: Challenges of Interfacing Wearable Robots with the Human Neuromotor System
, May 2022, Philadelphia, United States
hal-03672726
v1
Reports
Tristan Gillard
,
Alain Dutech
,
Jérémy Fix
.
Non-Associative Learning and the Iterant Deformable Sensorimotor Medium
[Research Report] RR-9472, Inria Nancy - Grand Est. 2022, pp.50
hal-03671583
v1
Preprints, Working Papers, ...
Sandipana Dowerah
,
Romain Serizel
,
Denis Jouvet
,
M Mohammadamini
,
Driss Matrouf
.
Joint optimization of diffusion probabilistic-based multichannel speech enhancement with far-field speaker verification
2022
hal-03671013
v1
Conference papers
Loïc Rouquette
,
David Gerault
,
Marine Minier
,
Christine Solnon
.
And Rijndael? Automatic Related-key Differential Analysis of Rijndael
AfricaCrypt 2022 : 13th International Conference on Cryptology AfricaCrypt
, Jul 2022, Fes, Morocco
hal-03670525
v1
Preprints, Working Papers, ...
Guillaume Coiffier
,
Etienne Corman
.
Seamless Global Parametrization in a Single Optimization
2022
hal-02279942
v8
Preprints, Working Papers, ...
Joachim Niehren
,
Athénaïs Vaginay
,
Cristian Versari
.
Abstract Simulation of Reaction Networks via Boolean Networks
2022
tel-03669875
v1
Theses
Adrien Dufraux
.
Exploitation de transcriptions bruitées pour la reconnaissance automatique de la parole
Informatique [cs]. Université de Lorraine, 2022. Français.
⟨NNT : 2022LORR0032⟩
hal-03623450
v2
Reports
Natalia Tomashenko
,
Brij Mohan Lal Srivastava
,
Xin Wang
,
Emmanuel Vincent
,
Andreas Nautsch
et al.
The VoicePrivacy 2020 Challenge Evaluation Plan
[Other] LIA - Laboratoire Informatique d'Avignon; MULTISPEECH - Speech Modeling for Facilitating Oral-Based Communication Inria Nancy - Grand Est, LORIA - NLPKD - Department of Natural Language Processing & Knowledge Discovery; Eurecom [Sophia Antipolis]; University of Edinburgh. 2020
hal-03668251
v1
Conference papers
Michel Olvera
,
Emmanuel Vincent
,
Gilles Gasso
.
On the impact of normalization strategies in unsupervised adversarial domain adaptation for acoustic scene classification
2022 IEEE International Conference on Acoustics, Speech and Signal Processing
, May 2022, Singapore, Singapore
hal-03667798
v1
Preprints, Working Papers, ...
Diego Aranha
,
Youssef El Housni
,
Aurore Guillevic
.
A survey of elliptic curves for proof systems
2022
tel-03666575
v1
Theses
Bizhan Alipour Pijani
.
Attribute inference attacks on social media publications
Computer Science [cs]. Université de Lorraine, 2022. English.
⟨NNT : 2022LORR0009⟩
hal-03666488
v1
Reports
Loïc Dubois
.
A bound for Delaunay flip algorithms on flat tori
[Research Report] LIGM - Laboratoire d'Informatique Gaspard-Monge. 2022
hal-03665888
v1
Conference papers
Vincent Despré
,
Loïc Dubois
,
Benedikt Kolbe
,
Monique Teillaud
.
Experimental analysis of Delaunay flip algorithms on genus two hyperbolic surfaces
EuroCG 2022 - 38th European Workshop on Computational Geometry
, Mar 2022, Perugia, Italy. pp.33:1--33:7
hal-03665625
v1
Preprints, Working Papers, ...
Miguel Couceiro
,
Erkko Lehtonen
.
Galois theory for analogical classifiers
2022
hal-03662565
v2
Preprints, Working Papers, ...
Titouan Carette
,
Louis Lemonnier
,
Vladimir Zamdzhiev
.
Central Submonads and Notions of Computation
2022
hal-03462834
v2
Preprints, Working Papers, ...
Vincent Despré
,
Loïc Dubois
,
Benedikt Kolbe
,
Monique Teillaud
.
Experimental analysis of Delaunay flip algorithms on genus two hyperbolic surfaces
2022
hal-03240476
v1
Journal articles
Emmanuel Bresso
,
Pierre Monnin
,
Cédric Bousquet
,
François-Elie Calvier
,
Ndeye-Coumba Ndiaye
et al.
Investigating ADR mechanisms with Explainable AI: a feasibility study with knowledge graph mining
BMC Medical Informatics and Decision Making
, BioMed Central, 2021, 21 (1), pp.171.
⟨10.1186/s12911-021-01518-6⟩
hal-03452182
v1
Journal articles
Pierre Monnin
,
Chedy Raïssi
,
Amedeo Napoli
,
Adrien Coulet
.
Discovering alignment relations with Graph Convolutional Networks: A biomedical case study
Semantic Web – Interoperability, Usability, Applicability
, IOS Press, 2021, pp.1-20.
⟨10.3233/SW-210452⟩
hal-03664678
v1
Journal articles
Matthijs Ebbens
,
Iordan Iordanov
,
Monique Teillaud
,
Gert Vegter
.
Delaunay triangulations of generalized Bolza surfaces
Journal of Computational Geometry
, Carleton University, Computational Geometry Laboratory, 2022, 13 (1), pp.125-177.
⟨10.20382/jocg.v13i1a5⟩
hal-03662311
v1
Journal articles
Otfried Cheong
,
Olivier Devillers
,
Marc Glisse
,
Ji-Won Park
.
Covering families of triangles
Periodica Mathematica Hungarica
, Springer Verlag, In press
hal-03362828
v2
Conference papers
Imran Sheikh
,
Emmanuel Vincent
,
Irina Illina
.
Transformer versus LSTM Language Models Trained on Uncertain ASR Hypotheses in Limited Data Scenarios
LREC 2022 - 13th Language Resources and Evaluation Conference
, Jun 2022, Marseille, France
hal-03189354
v2
Conference papers
Mehmet Ali Tugtekin Turan
,
Dietrich Klakow
,
Emmanuel Vincent
,
Denis Jouvet
.
Adapting Language Models When Training on Privacy-Transformed Data
LREC 2022 - 13th Language Resources and Evaluation Conference
, Jun 2022, Marseille, France
hal-03660862
v1
Journal articles
Abir Ismaili-Alaoui
,
Karim Baina
,
Khalid Benali
.
IoDEP: Towards an IoT-Data Analysis and Event Processing Architecture for Business Process Incident Management
International journal of advanced computer science and applications (IJACSA)
, The Science and Information Organization, 2022, 13 (4),
⟨10.14569/IJACSA.2022.01304104⟩
hal-03660625
v1
Preprints, Working Papers, ...
Esteban Marquer
,
Safa Alsaidi
,
Amandine Decker
,
Pierre-Alexandre Murena
,
Miguel Couceiro
.
A Deep Learning Approach to Solving Morphological Analogies
2022
hal-03659549
v1
Journal articles
Wissem Inoubli
,
Sabeur Aridhi
,
Haithem Mezni
,
Mondher Maddouri
,
Engelbert Mephu Nguifo
.
A distributed and incremental algorithm for large-scale graph clustering
Future Generation Computer Systems
, Elsevier, 2022, 134, pp.334-347.
⟨10.1016/j.future.2022.04.013⟩
hal-03610619
v1
Conference papers
Laetitia Raison-Aubry
,
Frédérique Bonnet-Brilhault
,
Laure Buhry
.
Modélisation des mécanismes sous-jacents de l’électrorétinogramme pathologique dans la schizophrénie
Encéphale 2022
, Jan 2022, Paris, France
hal-03659318
v1
Conference papers
Alexandre Bettinger
,
Armelle Brun
,
Anne Boyer
.
Influence indépendante de l'exploration et de l'exploitation : le cas des systèmes de recommandation par métaheuristiques
CNIA 2022 - Conférence Nationale en Intelligence Artificielle
, Jun 2022, Saint Etienne, France
hal-03659147
v1
Conference papers
Lucas Azevedo
,
Mathieu D’aquin
,
Brian Davis
,
Manel Zarrouk
.
LUX (Linguistic aspects Under eXamination): Discourse Analysis for Automatic Fake News Classification
The Joint Conference of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing (ACL-IJCNLP 2021)
, Aug 2021, Online, France. pp.41-56,
⟨10.18653/v1/2021.findings-acl.4⟩
hal-03659142
v1
Journal articles
Qaiser Mehmood
,
Muhammad Saleem
,
Alokkumar Jha
,
Mathieu D’aquin
.
Efficient distributed path computation on RDF knowledge graphs using partial evaluation
World Wide Web
, Springer Verlag, 2022, 25 (2), pp.1005-1036.
⟨10.1007/s11280-021-00965-5⟩
hal-03658833
v1
Conference papers
Evan Dufraisse
,
Celina Treuillier
,
Armelle Brun
,
Julien Tourille
,
Sylvain Castagnos
et al.
Don't burst blindly: for a better use of natural language processing to fight opinion bubbles in news recommendations
PoliticalNLP 2022 - First Workshop on Natural Language Processing for Political sciences
, Jun 2022, Marseille, France
hal-03658815
v1
Conference papers
Zhao Zhang
,
Armelle Brun
,
Boyer Anne
.
Managing Learners' Memory Strength in a POMDP-based Learning Path Recommender System
23rd International Conference on Artificial Intelligence in Education
, Jul 2022, Durham, United Kingdom
hal-03658479
v1
Preprints, Working Papers, ...
Fleur Longuetaud
,
Guillaume Pot
,
Frédéric Mothe
,
Alexis Barthelemy
,
Rémi Decelle
et al.
TreeTrace project database on traceability and quality assessment of round woods: Douglas fir sampling
2022
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-03656144
v1
Journal articles
Zheng Cheng
,
Massimo Tisi
.
Deep Specification and Proof Preservation for the CoqTL Transformation Language
Software & Systems Modeling
, In press
hal-03655953
v1
Conference papers
Alexandre Bettinger
,
Armelle Brun
,
Anne Boyer
.
Independent Influence of Exploration and Exploitation for Metaheuristic-based Recommendations
The Genetic and Evolutionary Computation Conference (GECCO)
, Jul 2022, Boston, United States.
⟨10.1145/3520304.3528972⟩
hal-03655952
v1
Book sections
Liana Razmerita
,
Armelle Brun
,
Thierry Nabeth
.
Collaboration in the Machine Age: Trustworthy Human-AI Collaboration
Advances in Selected Artificial Intelligence Areas
, 24, pp.333 - 356, 2022, 978-3-030-93051-6.
⟨10.1007/978-3-030-93052-3_14⟩
hal-03655398
v1
Preprints, Working Papers, ...
Robert Booth
,
Titouan Carette
.
Complete ZX-calculi for the stabiliser fragment in odd prime dimensions
2022
hal-01254314
v1
Journal articles
Samuel Nowakowski
.
Note de lecture
Questions de communication
, Presses Universitaires de Nancy - Editions Universitaires de Lorraine, 2015, pp.438-440
hal-03654308
v1
Journal articles
Nicolas Donati
,
Etienne Corman
,
Maks Ovsjanikov
.
Deep Orientation-Aware Functional Maps: Tackling Symmetry Issues in Shape Matching
CVPR "12 : IEEE Conference on Computer Vision and Pattern Recognition
, In press,
⟨10.48550/arXiv.2204.13453⟩
hal-03652819
v1
Conference papers
Hye-Jin Shim
,
Hemlata Tak
,
Xuechen Liu
,
Hee-Soo Heo
,
Jee-Weon Jung
et al.
Baseline Systems for the First Spoofing-Aware Speaker Verification Challenge: Score and Embedding Fusion
Odyssey 2022: The Speaker and Language Recognition Workshop
, Jun 2022, Beijing, China
hal-03651751
v1
Journal articles
Christoph Lüders
,
Thomas Sturm
,
Ovidiu Radulescu
.
ODEbase: A Repository of ODE Systems for Systems Biology
Bioinformatics Advances
, Oxford academic, 2022,
⟨10.1093/bioadv/vbac027⟩
hal-03650939
v1
Journal articles
Ilaria Tiddi
,
Emanuele Bastianelli
,
Enrico Daga
,
Mathieu D’aquin
,
Enrico Motta
.
Robot–City Interaction: Mapping the Research Landscape—A Survey of the Interactions Between Robots and Modern Cities
International Journal of Social Robotics
, Springer, 2019, 12, pp.299 - 324.
⟨10.1007/s12369-019-00534-x⟩
hal-03650212
v1
Journal articles
Vinicius Ribeiro
,
Karyna Isaieva
,
Justine Leclere
,
Pierre-André Vuissoz
,
Yves Laprie
.
Automatic generation of the complete vocal tract shape from the sequence of phonemes to be articulated
Speech Communication
, Elsevier : North-Holland, 2022, 141, pp.1-13.
⟨10.1016/j.specom.2022.04.004⟩
hal-03648041
v1
Journal articles
Erwan Schild
,
Gautier Durantin
,
Jean-Charles Lamirel
,
Florian Miconi
.
Iterative and Semi-Supervised Design of Chatbots Using Interactive Clustering
International Journal of Data Warehousing and Mining (IJDWM)
, IGI Global, 2022, 18 (2), pp.1-19.
⟨10.4018/IJDWM.298007⟩
hal-03647997
v1
Journal articles
Vessela Atanasova
,
Emmanuel Bresso
,
Bernard Maigret
,
Natalia Florencio Martins
,
Florence Richard-Forget
.
Computational Strategy for Minimizing Mycotoxins in Cereal Crops: Assessment of the Biological Activity of Compounds Resulting from Virtual Screening
Molecules
, MDPI, 2022, 27 (8), pp.2582.
⟨10.3390/molecules27082582⟩
hal-03647772
v1
Preprints, Working Papers, ...
Paul Magron
,
Cédric Févotte
.
A majorization-minimization algorithm for nonnegative binary matrix factorization
2022
hal-03647644
v1
Conference papers
Djedjiga Belhadj
,
Yolande Belaïd
,
Abdel Belaid
.
Automatic Generation of Semi-structured Documents
ICDAR Workshop on Open Services and Tools for Document Analysis (ICDAR-OST)
, Sep 2021, Lausanne, Switzerland. pp.191-205,
⟨10.1007/978-3-030-86159-9_13⟩
hal-03647616
v1
Conference papers
Djedjiga Belhadj
,
Yolande Belaïd
,
Abdel Belaid
.
Consideration of the Word’s Neighborhood in GATs for Information Extraction in Semi-structured Documents
16th International Conference on Document Analysis and Recognition ICDAR 2021
, Sep 2021, Lausanne, Switzerland. pp.854-869,
⟨10.1007/978-3-030-86331-9_55⟩
hal-01660621
v1
Journal articles
Haichuan Song
,
Jonàs Martínez
,
Pierre Bedell
,
Noemie Vennin
,
Sylvain Lefebvre
.
Colored fused filament fabrication
ACM Transactions on Graphics
, Association for Computing Machinery, 2019, 38 (5), pp.1-11.
⟨10.1145/3183793⟩
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.