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


...
hal-03629785v1  Conference papers
Shakeel SheikhMd SahidullahFabrice HirschSlim Ouni. Robust Stuttering Detection via Multi-task and Adversarial Learning
EUSIPCO 2022 - 30th European Signal Processing Conference, Aug 2022, Belgrade, Serbia
...
hal-03473179v1  Conference papers
Véronique CortierAntoine DallonSté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-03671013v1  Conference papers
Loïc RouquetteDavid GeraultMarine MinierChristine Solnon. And Rijndael? Automatic Related-key Differential Analysis of Rijndael
AfricaCrypt 2022 - 13th International Conference on Cryptology AfricaCrypt, Jul 2022, Fes, Morocco
...
hal-03636686v1  Journal articles
Leslie LamportStephan Merz. Prophecy Made Simple
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2022, 44 (2), pp.1-27. ⟨10.1145/3492545⟩
...
hal-03362828v2  Conference papers
Imran SheikhEmmanuel VincentIrina 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-03189354v2  Conference papers
Mehmet Ali Tugtekin TuranDietrich KlakowEmmanuel VincentDenis Jouvet. Adapting Language Models When Training on Privacy-Transformed Data
LREC 2022 - 13th Language Resources and Evaluation Conference, Jun 2022, Marseille, France
...
hal-03676508v1  Conference papers
Nicolas ZampieriCarlos RamischIrina IllinaDominique 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-03652819v1  Conference papers
Hye-Jin ShimHemlata TakXuechen LiuHee-Soo HeoJee-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-03620358v3  Conference papers
Cas CremersCaroline FontaineCharlie 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-03585262v2  Conference papers
Jérôme TrucPhani-Teja SingamaneniDaniel SidobreSerena IvaldiRachid 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-03674286v1  Poster communications
Lauriane Le PapePatrick HenaffTomohiro ShibataRikuo KawamotoTaiki 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-03554305v2  Conference papers
Francesca RonchiniRomain 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-03629677v1  Conference papers
Aurélie NévéolYoann DupontJulien BezançonKarë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-03366962v1  Conference papers
Bruno BlanchetVincent ChevalVé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-03551610v2  Conference papers
Zhiqi KangMostafa SadeghiRadu HoraudXavier Alameda-PinedaJacob 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-03668251v1  Conference papers
Michel OlveraEmmanuel VincentGilles 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-03616852v1  Conference papers
Xuechen LiuMd SahidullahTomi 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-03562763v1  Conference papers
Janek EbbersReinhold Haeb-UmbachRomain 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-03672726v1  Reports
Tristan GillardAlain DutechJérémy Fix. Non-Associative Learning and the Iterant Deformable Sensorimotor Medium
[Research Report] RR-9472, Inria Nancy - Grand Est. 2022, pp.50
...
hal-03666488v1  Reports
Loïc Dubois. A bound for Delaunay flip algorithms on flat tori
[Research Report] LIGM - Laboratoire d'Informatique Gaspard-Monge. 2022
...
hal-03675005v1  Journal articles
Nazim HaouchineParikshit JuvekarMichael NercessianWilliam WellsAlexandra 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-03563761v1  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-03664678v1  Journal articles
Matthijs EbbensIordan IordanovMonique TeillaudGert 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-03584553v2  Conference papers
Pierre-Antoine RaultClaudia-Lavinia IgnatOlivier 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⟩