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-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-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-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-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-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⟩
...
hal-03501774v2  Conference papers
Hee-Soo ChoiBruno GuillaumeKarën Fort. Corpus-based Language Universals Analysis using Universal Dependencies
SyntaxFest Quasy 2021 - Quantitative Syntax, Mar 2022, Sofia, Bulgaria
...
hal-03509136v1  Conference papers
Kim GerdesBruno GuillaumeSylvain KahaneGuy Perrier. Starting a new treebank? Go SUD! Theoretical and practical benefits of the Surface-Syntactic distributional approach
SyntaxFest Depling 2021 - 6th International Conference on Dependency Linguistics, Mar 2022, Sofia, Bulgaria
...
hal-03494462v1  Conference papers
Sylvain KahaneMartine VanhoveRayan ZianeBruno Guillaume. A morph-based and a word-based treebank for Beja
TLT 2021 - 20th International Workshop on Treebanks and Linguistic Theories, Mar 2022, Sofia, Bulgaria
...
hal-03665888v1  Conference papers
Vincent DespréLoïc DuboisBenedikt KolbeMonique 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-03541726v1  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-03595326v1  Conference papers
Aurélien DelageOlivier BuffetJilles Dibangoye. Max-Min Optimization for Lipschitz-Continuous Functions
ROADEF 2022 - 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France. pp.1-2
...
hal-03472028v1  Conference papers
Alexandre MoineArthur CharguéraudFrançois Pottier. Specification and Verification of a Transient Stack
CPP 2022 - 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2022, Philadelphia, United States. ⟨10.1145/3497775.3503677⟩
...
hal-03466807v1  Conference papers
Guillaume AmbalSergueï LengletAlan Schmitt. Certified Abstract Machines for Skeletal Semantics
CPP 2022 - 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2022, Philadelphia, United States. pp.1-13, ⟨10.1145/3497775.3503676⟩
...
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-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-03480304v1  Conference papers
Noreddine Belhadj-CheikhAbdessamad ImineMichaël Rusinowitch. FOX: Fooling with Explanations Privacy Protection with Adversarial Reactions in Social Media
PST 2021 - 18th Annual International Conference on Privacy, Security and Trust, Dec 2021, Auckland/Virtual, New Zealand
...
hal-03542057v1  Conference papers
William Babonnaud. Covariant Subtyping Applied to Semantic Predicate Calculi
LACL 2021 - Logical Aspects of Computational Linguistics, Dec 2021, Montpellier (online), France
...
hal-03541222v1  Conference papers
Maxime AmblardMaria BoritchevPhilippe de Groote. An inquisitive account of wh-questions through event semantics
LACL 2021 - Logical Aspects of Computational Linguistics, Dec 2021, Montpellier (online), France
...
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-03242324v2  Conference papers
Gabrielle de MicheliPierrick GaudryCé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-03537970v1  Conference papers
Maria BoritchevMaxime Amblard. DinG -- a corpus of transcriptions of real-life, oral, spontaneous multi-party dialogues between French-speaking players of Catan
Journées LIFT 2021 - Linguistique informatique, formelle et de terrain, GDR lift, Dec 2021, Grenoble, France
...
hal-03516739v1  Conference papers
Ritam BhaumikXavier BonnetainAndré ChaillouxGaëtan LeurentMaría Naya-Plasencia et al.  QCB: Efficient Quantum-Secure Authenticated Encryption
ASIACRYPT 2021 - 27th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2021, Singapore / Virtual, Singapore. pp.668-698, ⟨10.1007/978-3-030-92062-3_23⟩
...
hal-03516730v1  Conference papers
Xavier BonnetainGaëtan LeurentMaría Naya-PlasenciaAndré Schrottenloher. Quantum Linearization Attacks
ASIACRYPT 2021 - 27th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2021, Singapore / Virtual, Singapore. pp.422-452, ⟨10.1007/978-3-030-92062-3_15⟩
...
hal-03474556v2  Conference papers
Camille GarcinAlexis JolyPierre BonnetJean-Christophe LombardoAntoine Affouard et al.  Pl@ntNet-300K: a plant image dataset with high label ambiguity and a long-tailed distribution
NeurIPS 2021 - 35th Conference on Neural Information Processing Systems, Dec 2021, Virtual Conference, France
...
hal-03481396v1  Conference papers
Athénaïs VaginayTaha BoukhobzaMalika Smaïl-Tabbone. From quantitative SBML models to boolean networks
10th International Conference on Complex Networks and their Applications, CNA 2021, Nov 2021, Madrid, Spain
...
hal-03487124v1  Conference papers
Ismail MendilYamine Aït-AmeurNeeraj Kumar SinghDominique MéryPhilippe Palanque. Leveraging Event-B Theories for Handling Domain Knowledge in Design Models
7th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications (SETTA 2021), Nov 2021, Beijing/Online, China. pp.40-58, ⟨10.1007/978-3-030-91265-9_3⟩
...
hal-03506409v1  Conference papers
Mohamed Said FrikhaSonia Mettali GammarAbdelkader Lahmadi. Multi-Attribute Monitoring for Anomaly Detection: a Reinforcement Learning Approach based on Unsupervised Reward
PEMWN 2021 - 10th IFIP International Conference on Performance Evaluation and Modeling in Wired and Wireless Networks, Nov 2021, Waterloo, Canada
...
hal-03355184v1  Conference papers
Francesca RonchiniRomain SerizelNicolas TurpaultSamuele 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-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 2021 - ACM SIGSAC Conference on Computer and Communications Security, Nov 2021, Virtual Event, South Korea. pp.2632-2652, ⟨10.1145/3460120.3484555⟩
...
hal-03522488v1  Conference papers
Félix GontierRomain SerizelChristophe Cerisara. Automated audio captioning by fine-tuning bart with audioset tags
DCASE 2021 - 6th Workshop on Detection and Classification of Acoustic Scenes and Events, Nov 2021, Virtual, Spain
...
hal-03619164v1  Conference papers
Maxime AmblardMichel Musiol. NLP Tools for Mental Hearth – French experience
French-Sweden Scientific Day, Nov 2021, stockholm, Sweden
...
hal-03537698v1  Conference papers
Chuyuan LiMaxime AmblardChloé BraudCaroline DemilyNicolas Franck et al.  Investigating non lexical markers of the language of schizophrenia in spontaneous conversations
CODI 2021 - 2nd Workshop on Computational Approaches to Discourse, Nov 2021, Punta Cana, Dominican Republic. pp.20-28, ⟨10.18653/v1/2021.codi-main.3⟩
...
hal-03431313v1  Conference papers
Joseph RennerPriyansh TrivediGaurav MaheshwariRémi GilleronPascal Denis. An End-to-End Approach for Full Bridging Resolution
CODI-CRAC 2021 - Shared-Task: Anaphora Resolution in Dialogues, Nov 2021, Punta Cana, Dominican Republic. pp.48-54
...
hal-03377797v1  Conference papers
Hubert NourtelPierre ChampionDenis JouvetAnthony LarcherMarie Tahon. Evaluation of Speaker Anonymization on Emotional Speech
SPSC 2021 - 1st ISCA Symposium on Security and Privacy in Speech Communication, Nov 2021, Virtual, Germany
...
hal-03516691v1  Conference papers
Fajar HaifaniPatrick KoopmannSophie Tourret. Abduction in EL via Translation to FOL
SOQE 2021 - 2nd Workshop on Second-Order Quantifier Elimination and Related Topics, Nov 2021, Hanoï (online), Vietnam. pp.46-58
...
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-03469344v1  Conference papers
Claudia-Lavinia IgnatQuang-Vinh Dang. Users trust assessment based on their past behavior in large scale collaboration
ICCP 2021 - IEEE 17th International Conference on Intelligent Computer Communication and Processing, Oct 2021, Cluj-Napoca/Online, Romania
...
hal-03352656v1  Conference papers
Thibault TricardJimmy EtienneCédric ZanniSylvain Lefebvre. A brick in the wall: Staggered orientable infills for additive manufacturing
SCF 2021 - ACM Symposium on Computational Fabrication, Oct 2021, Boston/Virtual, United States. pp.1-8, ⟨10.1145/3485114.3485117⟩
...
hal-03470012v1  Conference papers
Pierre-Marie JungesJérôme FrançoisOlivier Festor. Inferring Software Composition and Credentials of Embedded Devices from Partial Knowledge
CNSM 2021 - 17th International Conference on Network and Service Management, Oct 2021, Izmir/virtual, Turkey
...
hal-03460779v1  Conference papers
Adrien HemmerMohamed AbderrahimRemi BadonnelIsabelle Chrisment. An Ensemble Learning-Based Architecture for Security Detection in IoT Infrastructures
CNSM 2021 - 17th International Conference on Network and Service Management, Oct 2021, Izmir (Virtual), Turkey
...
hal-03421031v1  Conference papers
Philippe GraffXavier MarchalThibault CholezStéphane TuffinBertrand Mathieu et al.  An Analysis of Cloud Gaming Platforms Behavior under Different Network Constraints
HiPNet 2021 - 3rd International Workshop on High-Precision, Predictable, and Low-Latency Networking, IFIP-IEEE, Oct 2021, Izmir (Virtual), Turkey. pp.7
...
hal-03285178v1  Conference papers
Waldez GomesPauline MauriceN SettembreJ TheurelL Wioland et al.  Biomechanical effects of using a passive back support exoskeleton during prone-positioning maneuver: A pilot study
SB 2021 - 46th Congress of the Society of Biomechanics, Oct 2021, Saint-Etienne, France
...
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-03537340v1  Conference papers
Pierre-Amaury GrumiauxSrdan KitićPrerak SrivastavaLaurent GirinAlexandre Guérin. Saladnet: Self-Attentive Multisource Localization in the Ambisonics Domain
WASPAA 2021 - IEEE Workshop on Applications of Signal Processing to Audio and Acoustics, Oct 2021, New Paltz / Virtual, United States. pp.336-340, ⟨10.1109/WASPAA52581.2021.9632737⟩
...
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-03326002v3  Conference papers
Zhiqi KangRadu HoraudMostafa Sadeghi. Robust Face Frontalization For Visual Speech Recognition
ICCVW 2021 - International Conference on Computer Vision Workshops, IEEE, Oct 2021, Montreal - Virtual, Canada. pp.2485-2495, ⟨10.1109/ICCVW54120.2021.00281⟩
...
hal-03313556v1  Conference papers
Safa AlsaidiAmandine DeckerPuthineath LayEsteban MarquerPierre-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-03312797v2  Conference papers
Guilherme AlvesMaxime AmblardFabien BernierMiguel CouceiroAmedeo Napoli. Reducing Unintended Bias of ML Models on Tabular and Textual Data
DSAA 2021 - 8th IEEE International Conference on Data Science and Advanced Analytics, Oct 2021, Porto (virtual event), Portugal. pp.1-10
...
hal-03485200v1  Conference papers
Petar VukmirovićJasmin BlanchetteMarijn Heule. SAT-Inspired Eliminations for Superposition
FMCAD 2021 - 21st International Conference on Formal Methods in Computer-Aided Design, Oct 2021, New Haven, CT / virtual, United States. pp.231-240, ⟨10.5281/zenodo.4552499⟩
...
hal-03351943v3  Conference papers
Pierre ChampionDenis JouvetAnthony 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-03391884v1  Conference papers
Youssef AssisLiang LiaoFabien PierreRené AnxionnatErwan 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-03380595v1  Conference papers
Jean-Philippe EisenbarthThibault CholezOlivier Perrin. A Comprehensive Study of the Bitcoin P2P Network
BRAINS 2021 - 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services, Sep 2021, Paris/ Virtuel, France. pp.8
...
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 2021 - 24th International Conference on Medical Image Computing and Computer Assisted Intervention, Sep 2021, Strasbourg, France
...
hal-03481267v1  Conference papers
Athénaïs VaginayTaha BoukhobzaMalika Smaïl-Tabbone. From quantitative SBML to boolean networks
19th conference on Computational Methods in Systems Biology, CMSB 2021, Sep 2021, Bordeaux, France
...
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-03318571v1  Conference papers
Georgios ZervakisEmmanuel VincentMiguel CouceiroMarc Schoenauer. On Refining BERT Contextualized Embeddings using Semantic Lexicons
ECML PKDD 2021 - 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, Sep 2021, Online, Spain
...
hal-03438168v1  Conference papers
Hamid RahkooyThomas Sturm. Parametric Toricity of Steady State Varieties of Reaction Networks
CASC 2021 - Computer Algebra in Scientific Computing, Sep 2021, Sochi, Russia. pp.314-333, ⟨10.1007/978-3-030-85165-1_18⟩
...
hal-03438171v1  Conference papers
Hamid RahkooyThomas Sturm. Testing Binomiality of Chemical Reaction Networks Using Comprehensive Gröbner Systems
CASC 2021 - Computer Algebra in Scientific Computing, Sep 2021, Sochi, Russia. pp.334-352, ⟨10.1007/978-3-030-85165-1_19⟩
...
hal-03485184v1  Conference papers
Nicolas LasolleOlivier BruneauJean LieberEmmanuel NauerSiyana Pavlova. A System to Assist Semantic Web Data Editing Through the Use of Case-Based Reasoning
ICCBR 2021 - 29th International Conference on Case-Based Reasoning, Sep 2021, Salamanca, Spain. pp.88-89
...
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 2021 - European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Sep 2021, Bilbao, Spain. pp.135
...
hal-03313591v1  Conference papers
Safa AlsaidiAmandine DeckerPuthineath LayEsteban MarquerPierre-Alexandre Murena et al.  On the Transferability of Neural Models of Morphological Analogies
AIMLAI 2021 - workshop on Advances in Interpretable Machine Learning and Artificial Intelligence, Sep 2021, Bilbao/Virtual, Spain. pp.76-89
...
hal-03341413v1  Conference papers
Hans-Jörg SchurrMathias FleuryHaniel BarbosaPascal Fontaine. Alethe: Towards a Generic SMT Proof Format (extended abstract)
PxTP 2021 - 7th Workshop on Proof eXchange for Theorem Proving, Sep 2021, Pittsburgh, PA / virtual, United States. pp.49-54, ⟨10.4204/EPTCS.336.6⟩
...
hal-03341368v1  Conference papers
Pascal FontaineHans-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-03463789v1  Conference papers
Yannick ChevalierMichaël Rusinowitch. Implementing Security Protocol Monitors
SCSS 2021 - 9th International Symposium on Symbolic Computation in Software Science, 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
SCSS 2021 - 9th International Symposium on Symbolic Computation in Software Science, Sep 2021, Linz, Austria. pp.129--135
...
hal-03528009v1  Conference papers
Antoine Defourné. Improving Automation for Higher-Order Proof Steps
FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems, Sep 2021, Birmingham, United Kingdom. pp.139-153, ⟨10.1007/978-3-030-86205-3_8⟩
...
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-03244472v1  Conference papers
Ashwin Geet d'SaIrina IllinaDominique FohrDietrich KlakowDana Ruiter. Exploring Conditional Language Model Based Data Augmentation Approaches For Hate Speech Classification
TSD 2021 - 24th International Conference on Text, Speech and Dialogue, Sep 2021, Olomouc, Czech Republic
...
hal-03294911v1  Conference papers
Pierre-Alexandre SimonRadu StoicaFrédéric Sur. An application of neural point processes to geophysical data
RING Meeting 2021, Sep 2021, Nancy, France. pp.1-13
...
hal-03375671v1  Conference papers
Wan-Chiu LiCédric BorgeseAlexandre BenedictoNicolas RayDmitry Sokolov. Singular Structured Hexahedral Grid
RING Meeting 2021, Sep 2021, Vandoeuvre-lès-Nancy, France
...
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-03322613v1  Conference papers
Hee-Soo ChoiBruno GuillaumeKarën FortGuy Perrier. Investigating Dominant Word Order on Universal Dependencies with Graph Rewriting
RANLP 2021 - Recent Advances in Natural Language Processing, 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⟩