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 ×
language_s ×
level0_domain_s ×
All ×
5062 results
save search
Document types
Minimize
Conference papers
(2652)
Journal articles
(1155)
Reports
(379)
Preprints, Working Papers, ...
(244)
Book sections
(161)
Theses
(144)
Directions of work or proceedings
(113)
Poster communications
(76)
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
(102)
Adrien Coulet
(33)
Hadrien Courtecuisse
(35)
Frédéric Dadeau
(26)
Stéphanie Delaune
(51)
Jérémie Dequidt
(31)
Marie-Dominique Devignes
(45)
Olivier Devillers
(52)
Jannik Dreier
(47)
Christian Duriez
(46)
Olivier Festor
(85)
Dominique Fohr
(61)
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
(34)
Pierre-Cyrille Heam
(43)
Patrick Henaff
(29)
Mathieu Hoyrup
(40)
Axel Hutt
(60)
Claudia-Lavinia Ignat
(43)
Irina Illina
(59)
Abdessamad Imine
(77)
Serena Ivaldi
(50)
Emmanuel Jeandel
(28)
Denis Jouvet
(77)
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
(46)
Bruno Scherrer
(31)
Romain Serizel
(41)
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
(164)
Christoph Weidenbach
(42)
Paul Zimmermann
(30)
Subject field
Minimize
Computer Science [cs]
(5062)
Mathematics [math]
(1329)
Engineering Sciences [physics]
(483)
Life Sciences [q-bio]
(420)
Physics [physics]
(230)
Cognitive science
(199)
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
(5062)
Laboratoire Lorrain de Recherche en Informatique et ses Applications
(4361)
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
(101)
Inria Grenoble - Rhône-Alpes
(98)
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
(52)
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)
CITI Centre of Innovation in Telecommunications and Integration of services
(30)
Laboratoire d'Informatique Fondamentale d'Orléans
(30)
Laboratoire de Recherche en Informatique
(30)
Analyse et Traitement Informatique de la Langue Française
(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'Informatique et Systèmes
(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 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)
Institut des Sciences du Digital, Management et Cognition
(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 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
(5062)
French
(657)
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)
Formal methods
(29)
Deep learning
(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
(3576)
Notice
(1439)
Annex
(47)
Year
Minimize
2022
(115)
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-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-03629785
v1
Conference papers
Shakeel Sheikh
,
Md Sahidullah
,
Fabrice Hirsch
,
Slim Ouni
.
Robust Stuttering Detection via Multi-task and Adversarial Learning
EUSIPCO 2022 - 30th European Signal Processing Conference
, Aug 2022, Belgrade, Serbia
hal-03473179
v1
Conference papers
Véronique Cortier
,
Antoine Dallon
,
Stéphanie Delaune
.
A small bound on the number of sessions for security protocols
CSF 2022 - 35th IEEE Computer Security Foundations Symposium
, Aug 2022, Haifa, Israel
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-03332224
v3
Journal articles
Natalia Tomashenko
,
Xin Wang
,
Emmanuel Vincent
,
Jose Patino
,
Brij Mohan Lal Srivastava
et al.
The VoicePrivacy 2020 Challenge: Results and findings
Computer Speech and Language
, Elsevier, 2022, 74, pp.101362.
⟨10.1016/j.csl.2022.101362⟩
hal-03636686
v1
Journal articles
Leslie Lamport
,
Stephan Merz
.
Prophecy Made Simple
ACM Transactions on Programming Languages and Systems (TOPLAS)
, ACM, 2022, 44 (2), pp.1-27.
⟨10.1145/3492545⟩
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-03676508
v1
Conference papers
Nicolas Zampieri
,
Carlos Ramisch
,
Irina Illina
,
Dominique Fohr
.
Identification of Multiword Expressions in Tweets for Hate Speech Detection
13th Edition of its Language Resources and Evaluation Conference
, Jun 2022, Marseille, France
hal-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-03674979
v1
Preprints, Working Papers, ...
David Baelde
,
Alexandre Debant
,
Stéphanie Delaune
.
Proving Unlinkability using ProVerif through Desynchronized Bi-Processes
2022
hal-03620358
v3
Conference papers
Cas Cremers
,
Caroline Fontaine
,
Charlie Jacomme
.
A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols
S&P 2022 - 43rd IEEE Symposium on Security and Privacy
, May 2022, San Francisco / Virtual, United States
hal-03585262
v2
Conference papers
Jérôme Truc
,
Phani-Teja Singamaneni
,
Daniel Sidobre
,
Serena Ivaldi
,
Rachid Alami
.
KHAOS: a Kinematic Human Aware Optimization-based System for Reactive Planning of Flying-Coworker
ICRA 2022 - IEEE International Conference on Robotics and Automation
, May 2022, Philadelphia, United States
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-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-03629677
v1
Conference papers
Aurélie Névéol
,
Yoann Dupont
,
Julien Bezançon
,
Karën Fort
.
French CrowS-Pairs: Extending a challenge dataset for measuring social bias in masked language models to a language other than English
ACL 2022 - 60th Annual Meeting of the Association for Computational Linguistics
, May 2022, Dublin, Ireland
hal-03366962
v1
Conference papers
Bruno Blanchet
,
Vincent Cheval
,
Véronique Cortier
.
ProVerif with Lemmas, Induction, Fast Subsumption, and Much More
S&P 2022 - 43rd IEEE Symposium on Security and Privacy
, May 2022, San Francisco, United States
hal-03551610
v2
Conference papers
Zhiqi Kang
,
Mostafa Sadeghi
,
Radu Horaud
,
Xavier Alameda-Pineda
,
Jacob Donley
et al.
The Impact of Removing Head Movements on Audio-visual Speech Enhancement
ICASSP 2022 - IEEE International Conference on Acoustics, Speech and Signal Processing
, IEEE Signal Processing Society, May 2022, Singapore, Singapore. pp.1-5,
⟨10.1109/ICASSP43922.2022.9746401⟩
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
ICASSP 2022 - IEEE International Conference on Acoustics, Speech and Signal Processing
, May 2022, Singapore, Singapore.
⟨10.1109/ICASSP43922.2022.9747540⟩
hal-03616852
v1
Conference papers
Xuechen Liu
,
Md Sahidullah
,
Tomi Kinnunen
.
Learnable Nonlinear Compression for Robust Speaker Verification
ICASSP 2022 - IEEE International Conference on Acoustics, Speech and Signal Processing
, May 2022, Singapore, Singapore.
⟨10.1109/ICASSP43922.2022.9747185⟩
hal-03562763
v1
Conference papers
Janek Ebbers
,
Reinhold Haeb-Umbach
,
Romain Serizel
.
Threshold independent evaluation of sound event detection scores
ICASSP 2022 - IEEE International Conference on Acoustics, Speech and Signal Processing
, May 2022, Singapore, Singapore.
⟨10.1109/ICASSP43922.2022.9747556⟩
hal-03674913
v1
Preprints, Working Papers, ...
Kevin Chan
,
Shane Kaszefski Yaschuk
,
Camille Saran
,
Esteban Marquer
,
Miguel Couceiro
.
Solving Morphological Analogies Through Generation
2022
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-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
hal-03667798
v1
Preprints, Working Papers, ...
Diego Aranha
,
Youssef El Housni
,
Aurore Guillevic
.
A survey of elliptic curves for proof systems
2022
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-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-03665625
v1
Preprints, Working Papers, ...
Miguel Couceiro
,
Erkko Lehtonen
.
Galois theory for analogical classifiers
2022
hal-03664271
v1
Preprints, Working Papers, ...
Clémentine Courtès
,
Emmanuel Franck
,
Killian Lutz
,
Laurent Navoret
,
Yannick Privat
.
Reduced modelling and optimal control of epidemiological individual-based models with contact heterogeneity
2022
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-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-03675005
v1
Journal articles
Nazim Haouchine
,
Parikshit Juvekar
,
Michael Nercessian
,
William Wells
,
Alexandra Golby
et al.
Pose Estimation and Non-rigid Registration for Augmented Reality during Neurosurgery
IEEE Transactions on Biomedical Engineering
, Institute of Electrical and Electronics Engineers, 2022, 69 (4), pp.1310 - 1317.
⟨10.1109/TBME.2021.3113841⟩
hal-03641349
v1
Journal articles
Chris Wojtan
,
Camille Schreck
.
Coupling 3D Liquid Simulation with 2D Wave Propagation for Large Scale Water Surface Animation Using the Equivalent Sources Method
Computer Graphics Forum
, Wiley, 2022
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-03563761
v1
Conference papers
Amine Boumaza
.
Seeking Specialization Through Novelty in Distributed Online Collective Robotics
EvoApplications 2022 - 25th International Conference on the Applications of Evolutionary Computation
, Apr 2022, Madrid, Spain. pp.635-650,
⟨10.1007/978-3-031-02462-7_40⟩
hal-03647772
v1
Preprints, Working Papers, ...
Paul Magron
,
Cédric Févotte
.
A majorization-minimization algorithm for nonnegative binary matrix factorization
2022
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-03636502
v1
Preprints, Working Papers, ...
Stéphane Dilungana
,
Antoine Deleforge
,
Cédric Foy
,
Sylvain Faisan
.
Geometry-Informed Estimation of Surface Absorption Profiles from Room Impulse Responses
2022
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-03633990
v1
Preprints, Working Papers, ...
Pierre-Jean Spaenlehauer
,
Antoine Leudière
.
Hard Homogeneous Spaces from the Class Field Theory of Imaginary Hyperelliptic Function Fields
2022
hal-03584553
v2
Conference papers
Pierre-Antoine Rault
,
Claudia-Lavinia Ignat
,
Olivier Perrin
.
Distributed Access Control for Collaborative Applications using CRDTs
PaPoC 2022 - 9th Workshop on Principles and Practice of Consistency for Distributed Data
, Apr 2022, Rennes, France.
⟨10.1145/3517209.3524826⟩
hal-03629587
v1
Preprints, Working Papers, ...
Véronique Cortier
,
Pierrick Gaudry
,
Quentin Yang
.
Is the JCJ voting system really coercion-resistant?
2022
hal-03629573
v1
Preprints, Working Papers, ...
Guillaume Bonfante
,
Miguel Couceiro
.
On graph rewriting systems termination through language theory
2022
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-03647997
v1
Journal articles
Vessela Atanasova
,
Emmanuel Bresso
,
Bernard Maigret
,
Natalia Florencio Martins
,
F. 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-03623769
v1
Preprints, Working Papers, ...
Mostafa Sadeghi
,
Paul Magron
.
A Sparsity-promoting Dictionary Model for Variational Autoencoders
2022
hal-03623516
v1
Preprints, Working Papers, ...
Natalia Tomashenko
,
Xin Wang
,
Xiaoxiao Miao
,
Hubert Nourtel
,
Pierre Champion
et al.
The VoicePrivacy 2022 Challenge Evaluation Plan
2022
1
2
3
4
5
6
7
8
9
10
Suivant
Dernière
Sort
Relevance
Author A→Z
Author Z→A
Title A→Z
Title Z→A
Date de publication croissante
Date de publication décroissante
Date de dépôt croissante
Date de dépôt décroissante
Number
30 results per page
50 results per page
100 results per page
Tools
o
Export
XML-TEI
BibTeX
EndNote
CSV
PDF
HTML
Advanced export...
Syndicated feeds
RSS
ATOM
Label
Save
Cancel
Compulsory field(s) not filled in.