Skip to Main content Skip to Navigation

hal-03366962v1  Conference papers
Bruno BlanchetVincent ChevalVéronique Cortier. ProVerif with Lemmas, Induction, Fast Subsumption, and Much More
43RD IEEE Symposium on Security and Privacy (S&P'22), May 2022, San Francisco, United States
hal-03249123v2  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
hal-03356021v2  Conference papers
Pierre ChampionThomas ThebaudGaël Le LanAnthony LarcherDenis Jouvet. On the invertibility of a voice privacy system using embedding alignement
ASRU 2021 - IEEE Automatic Speech Recognition and Understanding Workshop, Dec 2021, Cartagena, Colombia
hal-03359173v1  Conference papers
Xuechen LiuMd SahidullahTomi Kinnunen. Optimized Power Normalized Cepstral Coefficients Towards Robust Deep Speaker Verification
ASRU 2021 – IEEE Automatic Speech Recognition and Understanding Workshop, Dec 2021, Cartagena, Colombia
hal-03359174v1  Conference papers
Xuechen LiuMd SahidullahTomi Kinnunen. Parameterized Channel Normalization for Far-field Deep Speaker Verification
ASRU 2021 – IEEE Automatic Speech Recognition and Understanding Workshop,, Dec 2021, Cartagena, Colombia
hal-03387778v1  Conference papers
Michel OlveraEmmanuel VincentGilles 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
hal-03455459v1  Conference papers
David BasinJannik DreierSofia GiampietroSaša Radomirović. Verifying Table-Based Elections
CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Nov 2021, Virtual Event, South Korea. pp.2632-2652, ⟨10.1145/3460120.3484555⟩
hal-03355184v1  Conference papers
Detection and Classification of Acoustic Scenes and Events-DCASE 2021, Nov 2021, Barcelona/Virtual, Spain
hal-03377797v1  Conference papers
Hubert NourtelPierre ChampionDenis JouvetAnthony LarcherMarie Tahon. Evaluation of Speaker Anonymization on Emotional Speech
1st ISCA Symposium on Security and Privacy in Speech Communication, Nov 2021, Virtual, Germany
hal-03463980v1  Conference papers
Jérôme DinetHanna VerdelHirokazu KumazakiKazunori TeradaSylvie Vitel et al.  A Hybrid Robotics System for Children with Autism
Scientific seminar at Larsen team (INRIA Grand Est), Nov 2021, Nancy, France
hal-03464025v1  Conference papers
Amélie AusselLaure BuhryRadu 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-03421031v1  Conference papers
Philippe GraffXavier MarchalThibault CholezStéphane TuffinBertrand Mathieu et al.  An Analysis of Cloud Gaming Platforms Behavior under Different Network Constraints
3rd International Workshop on High-Precision, Predictable, and Low-Latency Networking (HiPNet 2021), IFIP-IEEE, Oct 2021, Izmir (Virtual), Turkey. pp.7
hal-03352656v1  Conference papers
Thibault TricardJimmy EtienneCédric ZanniSylvain Lefebvre. A brick in the wall: Staggered orientable infills for additive manufacturing
ACM Symposium on Computational Fabrication (SCF 2021), Oct 2021, Boston/Virtual, United States. ⟨10.1145/3485114.3485117⟩
hal-03469344v1  Conference papers
Claudia-Lavinia IgnatQuang-Vinh Dang. Users trust assessment based on their past behavior in large scale collaboration
2021 IEEE 17th International Conference on Intelligent Computer Communication and Processing, Oct 2021, Cluj-Napoca, Romania
hal-03285178v1  Conference papers
W GomesP MauriceN SettembreJ TheurelL Wioland et al.  Biomechanical effects of using a passive back support exoskeleton during prone-positioning maneuver: A pilot study
46th Congress of the Society of Biomechanics, Oct 2021, Saint-Etienne, France
hal-03460779v1  Conference papers
Adrien HemmerMohamed AbderrahimRemi BadonnelIsabelle Chrisment. An Ensemble Learning-Based Architecture for Security Detection in IoT Infrastructures
17th International Conference on Network and Service Management (CNSM 2021), Oct 2021, Izmir (Virtual), Turkey
hal-03304656v1  Conference papers
Prerak SrivastavaAntoine DeleforgeEmmanuel Vincent. Blind room parameter estimation using multiple multichannel speech recordings
WASPAA 2021- IEEE Workshop on Applications of Signal Processing to Audio and Acoustics, Oct 2021, New Paltz, NY, United States
hal-03326002v3  Conference papers
Zhiqi KangRadu HoraudMostafa Sadeghi. Robust Face Frontalization For Visual Speech Recognition
ICCV 2021 - International Conference on Computer Vision Workshops, IEEE, Oct 2021, Montreal - Virtual, Canada. pp.1-16
hal-03313556v1  Conference papers
Safa AlsaidiAmandine DeckerPuthineath LayEsteban MarquerPierre-Alexandre Murena et al.  A Neural Approach for Detecting Morphological Analogies
The 8th IEEE International Conference on Data Science and Advanced Analytics (DSAA), Oct 2021, Porto/Online, Portugal
hal-03312797v2  Conference papers
Guilherme AlvesMaxime AmblardFabien BernierMiguel CouceiroAmedeo Napoli. Reducing Unintended Bias of ML Models on Tabular and Textual Data
The 8th IEEE International Conference on Data Science and Advanced Analytics (DSAA), Oct 2021, Porto (virtual event), Portugal
hal-02965830v1  Conference papers
Rasha FaqehChristof FetzerHolger HerrmannsJörg HoffmannMichaela Klauck et al.  Towards Dynamic Dependable Systems through Evidence-Based Continuous Certification
ISoLA 2020 - 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2021, Rhodes, Greece
hal-03391884v1  Conference papers
Youssef AssisLiang LiaoFabien PierreRené AnxionnatErwan Kerrien. An efficient data strategy for the detection of brain aneurysms from MRA with deep learning
The MICCAI workshop on Data Augmentation, Labeling, and Imperfections, Oct 2021, Strasbourg, France. pp.226-234, ⟨10.1007/978-3-030-88210-5_22⟩
hal-03315008v1  Conference papers
Eleonora TagliabueMarco PiccinelliDiego Dall'AlbaJuan VerdeMicha Pfeiffer et al.  Intra-operative Update of Boundary Conditions for Patient-specific Surgical Simulation
MICCAI - 24th International Conference on Medical Image Computing and Computer Assisted Intervention, Sep 2021, Strasbourg, France
hal-03351943v3  Conference papers
Pierre ChampionDenis JouvetAnthony Larcher. Evaluating X-vector-based Speaker Anonymization under White-box Assessment
23rd International Conference on Speech and Computer - SPECOM 2021, Sep 2021, Saint Petersburg, Russia
hal-03380595v1  Conference papers
Jean-Philippe EisenbarthThibault CholezOlivier Perrin. A Comprehensive Study of the Bitcoin P2P Network
3rd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS 2021), Sep 2021, Paris/ Virtuel, France. pp.8
hal-03360794v1  Conference papers
Junichi YamagishiXin WangMassimiliano TodiscoMd SahidullahJose Patino et al.  ASVspoof 2021: accelerating progress in spoofed and deepfake speech detection
ASVspoof 2021 Workshop - Automatic Speaker Verification and Spoofing Coutermeasures Challenge, Sep 2021, Virtual, France
hal-03346500v1  Conference papers
Claire TheobaldBastien ArcelinFrédéric PennerathBrieuc Conan-GuezMiguel Couceiro et al.  A Bayesian Convolutional Neural Network for Robust Galaxy Ellipticity Regression
ECML PKDD 221: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Sep 2021, Bilbao, Spain. pp.135
hal-03318571v1  Conference papers
Georgios ZervakisEmmanuel VincentMiguel CouceiroMarc Schoenauer. On Refining BERT Contextualized Embeddings using Semantic Lexicons
Machine Learning with Symbolic Methods and Knowledge Graphs co-located with European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD 2021), Sep 2021, Online, Spain
hal-03313591v1  Conference papers
Safa AlsaidiAmandine DeckerPuthineath LayEsteban MarquerPierre-Alexandre Murena et al.  On the Transferability of Neural Models of Morphological Analogies
AIMLAI, ECML PKDD 2021: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Sep 2021, Bilbao/Virtual, Spain
hal-03341413v1  Conference papers
Hans-Jörg SchurrMathias FleuryHaniel BarbosaPascal Fontaine. Alethe: Towards a Generic SMT Proof Format (extended abstract)
PxTP 2021 - Seventh Workshop on Proof eXchange for Theorem Proving, Sep 2021, Pittsburgh/Virtual, United States. pp.49-54, ⟨10.4204/EPTCS.336.6⟩
hal-03337755v1  Conference papers
Emmanuel HainryEmmanuel JeandelRomain PéchouxOlivier Zeyen. ComplexityParser: An Automatic Tool for Certifying Poly-Time Complexity of Java Programs
ICTAC 2021 - 18th International Colloquium on Theoretical Aspects of Computing, Sep 2021, Nur-Sultan/Virtual, Kazakhstan. pp.357-365, ⟨10.1007/978-3-030-85315-0_20⟩
hal-03463789v1  Conference papers
Yannick ChevalierMichaël Rusinowitch. Implementing Security Protocol Monitors
9th International Symposium on Symbolic Computation in Software Science (SCSS 2021), Sep 2021, Linz/virtual, Austria. pp.22-34, ⟨10.4204/EPTCS.342.3⟩
hal-02464242v4  Conference papers
Sorin Stratulat. E-Cyclist: Implementation of an Efficient Validation of FOL ID Cyclic Induction Reasoning
hal-03341368v1  Conference papers
Pascal FontaineHans-Jörg Schurr. Quantifier Simplification by Unification in SMT
FroCoS 2021 - The 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-03239211v1  Conference papers
Irina IllinaDominique Fohr. DNN-based semantic rescoring models for speech recognition
TSD 2021 - 24th International Conference on Text, Speech and Dialogue, Sep 2021, Olomouc, Czech Republic
hal-03244472v1  Conference papers
Ashwin Geet d'SaIrina IllinaDominique FohrDietrich KlakowDana Ruiter. Exploring Conditional Language Model Based Data Augmentation Approaches For Hate Speech Classification
The 24th International Conference of Text, Speech and Dialogue (TSD2021), Sep 2021, Olomouc, Czech Republic
hal-03375671v1  Conference papers
Wan-Chiu LiCédric BorgeseAlexandre BenedictoNicolas RayDmitry Sokolov. Singular Structured Hexahedral Grid
RING Meeting, Sep 2021, Vandoeuvre-lès-Nancy, France
hal-03322613v1  Conference papers
Hee-Soo ChoiBruno GuillaumeKarën FortGuy Perrier. Investigating Dominant Word Order on Universal Dependencies with Graph Rewriting
Recent Advances in Natural Language Processing (RANLP2021), Sep 2021, Online, Bulgaria
hal-03258065v3  Conference papers
Xiaodong JiaMichael MisloveVladimir Zamdzhiev. The Central Valuations Monad
CALCO 2021 - 9th International Conference on Algebra and Coalgebra in Computer Science, Aug 2021, Salzburg, Austria. ⟨10.4230/LIPIcs.CALCO.2021.18⟩
hal-03248881v1  Conference papers
Dominique FohrIrina Illina. BERT-based Semantic Model for Rescoring N-best Speech Recognition List
INTERSPEECH 2021, Aug 2021, Brno, Czech Republic