hal-03623450v1  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-03025827v1  Conference papers
Bishnu Sarker, Navya Khare, Marie-Dominique Devignes, Sabeur Aridhi. Graph Based Automatic Protein Function Annotation Improved by Semantic Similarity
IWBBIO 2020 - 8th International Work-Conference on Bioinformatics and Biomedical Engineering, May 2020, GRANADA, Spain. pp.261-272, ⟨10.1007/978-3-030-45385-5_24⟩

hal-02393130v1  Journal articles
Catherine Le Berre, William Sandborn, Sabeur Aridhi, Marie-Dominique Devignes, Laure Fournier et al.  Application of Artificial Intelligence to Gastroenterology and Hepatology
Gastroenterology, WB Saunders, 2020, 158 (1), pp.76-94.e2. ⟨10.1053/j.gastro.2019.08.058⟩

hal-02400051v1  Journal articles
Anurag Anshu, Peter Høyer, Mehdi Mhalla, Simon Perdrix. Contextuality in multipartite pseudo-telepathy graph games
Journal of Computer and System Sciences, Elsevier, 2020, 107, pp.156-165. ⟨10.1016/j.jcss.2019.06.005⟩

hal-03047231v2  Preprints, Working Papers, ...
Benedikt Kolbe. Towards a combinatorial algorithm for the enumeration of isotopy classes of symmetric cellular embeddings of graphs on hyperbolic surfaces
2020

hal-02397190v1  Journal articles
James Davenport, Matthew England, Alberto Griggio, Thomas Sturm, Cesare Tinelli. Symbolic computation and satisfiability checking (Editorial)
Journal of Symbolic Computation, Elsevier, 2020, 100, pp.1-10. ⟨10.1016/j.jsc.2019.07.017⟩

hal-02397168v1  Journal articles
Martin Bromberger, Thomas Sturm, Christoph Weidenbach. A complete and terminating approach to linear integer solving
Journal of Symbolic Computation, Elsevier, 2020, 100, pp.102-136. ⟨10.1016/j.jsc.2019.07.021⟩

hal-03430293v1  Conference papers
Antoine Deleforge. Drone audition for search and rescue: Datasets and challenges
QUIET DRONES International Symposium on UAV/UAS Noise, Oct 2020, Paris, France

hal-02908241v2  Conference papers
Samuele Cornell, Maurizio Omologo, Stefano Squartini, Emmanuel Vincent. Detecting and counting overlapping speakers in distant speech scenarios
INTERSPEECH 2020, Oct 2020, Shanghai, China

hal-02975012v1  Journal articles
Gilles Barthe, Sandrine Blazy, Benjamin Grégoire, Rémi Hutin, Vincent Laporte et al.  Formal verification of a constant-time preserving C compiler
Proceedings of the ACM on Programming Languages, ACM, 2020, 4 (POPL), pp.1-30. ⟨10.1145/3371075⟩

hal-03354695v1  Preprints, Working Papers, ...
Joris Cosentino, Manuel Pariente, Samuele Cornell, Antoine Deleforge, Emmanuel Vincent. LibriMix: An open-source dataset for generalizable speech separation
2020

hal-02975379v2  Conference papers
Matthieu Zins, Gilles Simon, Marie-Odile Berger. 3D-Aware Ellipse Prediction for Object-Based Camera Pose Estimation
3DV 2020 - International Virtual Conference on 3D Vision, Nov 2020, Fukuoka / Virtual, Japan

hal-02909383v2  Conference papers
Alexandre Bazin, Miguel Couceiro, Marie-Dominique Devignes, Amedeo Napoli. Explaining Multicriteria Decision Making with Formal Concept Analysis
Concept Lattices and Applications 2020, Jun 2020, Tallinn, Estonia

hal-03155647v1  Master thesis
Juuso Haavisto. Leveraging APL and SPIR-V languages to write network functions to be deployed on Vulkan compatible GPUs
Networking and Internet Architecture [cs.NI]. 2020

hal-03016721v1  Journal articles
Marie Candito, Mathieu Constant, Carlos Ramisch, Agata Savary, Bruno Guillaume et al.  A French corpus annotated for multiword expressions and named entities
Journal of Language Modelling, Institute of Computer Science, Polish Academy of Sciences, Poland, 2020, 8 (2), pp.415-479. ⟨10.15398/jlm.v8i2.265⟩

hal-02493067v1  Conference papers
Pierre Monnin, Miguel Couceiro, Amedeo Napoli, Adrien Coulet. Knowledge-Based Matching of $n$-ary Tuples
ICCS 2020 - 25th International Conference on Conceptual Structures, Sep 2020, Bolzano / Virtual, Italy. pp.48-56, ⟨10.1007/978-3-030-57855-8_4⟩

hal-03144467v1  Journal articles
Anders Schlichtkrull, Jasmin Blanchette, Dmitriy Traytel, Uwe Waldmann. Formalizing Bachmair and Ganzinger’s Ordered Resolution Prover
Journal of Automated Reasoning, Springer Verlag, 2020, 64 (7), pp.1169-1195. ⟨10.1007/s10817-020-09561-0⟩

hal-03143502v1  Conference papers
Heba Alkayed, Horatiu Cirstea, Stephan Merz. An Extension of PlusCal for Modeling Distributed Algorithms
TLA+ Community Event 2020, Oct 2020, Freiburg (online), Germany

hal-03141063v1  Conference papers
Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach. On a Notion of Relevance
Proceedings of the 33rd International Workshop on Description Logics (DL 2020), Sep 2020, Online, Greece

hal-03137351v1  Conference papers
Nino Vieillard, Tadashi Kozuno, Bruno Scherrer, Olivier Pietquin, Rémi Munos et al.  Leverage the Average: an Analysis of KL Regularization in Reinforcement Learning
NeurIPS - 34th Conference on Neural Information Processing Systems, Dec 2020, Vancouver / Online, Canada

hal-03137343v1  Conference papers
Nino Vieillard, Bruno Scherrer, Olivier Pietquin, Matthieu Geist. Momentum in Reinforcement Learning
AISTATS 2020 - 23rd International Conference on Artificial Intelligence and Statistics, Aug 2020, Palermo / Virtual, Italy

hal-03134114v1  Conference papers
Mathilde Boltenhagen, Benjamin Chetioui, Laurine Huber. An Alignment Cost-Based Classification of Log Traces Using Machine-Learning
ML4PM2020 - First International Workshop on Leveraging Machine Learning in Process Mining, Oct 2020, Padua/ Virtual, Italy. ⟨10.1007/978-3-030-72693-5_11⟩

tel-03130643v1  Theses
Jean-Nicolas Brunet. Exploring new numerical methods for the simulation of soft tissue deformations in surgery assistance
Computer Science [cs]. Université de Strasbourg, 2020. English

hal-03130613v1  Conference papers
Andrea Teatini, Jean-Nicolas Brunet, Sergei Nikolaev, Bjørn Edwin, Stéphane Cotin et al.  Use of stereo-laparoscopic liver surface reconstruction to compensate for pneumoperitoneum deformation through biomechanical modeling.
VPH2020 - Virtual Physiological Human, Aug 2020, Paris, France

hal-03122764v1  Conference papers
Claire Theobald, Frédéric Pennerath, Brieuc Conan-Guez, Miguel Couceiro, Amedeo Napoli. A Bayesian Neural Network based on Dropout Regulation
Workshop on Uncertainty in Machine Learning (WUML) at ECML-PKDD 2020 Conference, Eyke Hüllermeier; Sébastien Destercke, Sep 2020, N.A. (online), France

hal-03122350v1  Conference papers
Amedeo Napoli. FCA and Knowledge Discovery (Tutorial)
ICCS 2020 - 25th International Conference on Conceptual Structures, Sep 2020, Bolzano/ Virtual, Italy. ⟨10.1007/978-3-030-57855-8⟩

hal-03122343v1  Conference papers
Jaume Baixeries, Victor Codocedo, Mehdi Kaytoue, Amedeo Napoli. Building a Representation Context Based on Attribute Exploration Algorithms
FCA4AI 2020 - 8th International Workshop "What can do for Artificial Intelligence?", Sergei O. Kuznetsov; Amedeo Napoli; Sebastian Rudolph, Aug 2020, Santiago de Compostela/Virtual, Spain. pp.141--152

tel-03122326v1  Theses
Pierre Monnin. Matching and mining in knowledge graphs of the Web of data - Applications in pharmacogenomics
Databases [cs.DB]. Université de Lorraine, 2020. English. ⟨NNT : 2020LORR0212⟩

hal-03120781v1  Conference papers
Boaz Barak, Raphaëlle Crubillé, Ugo Dal Lago. On Higher-Order Cryptography
ICALP 2020 - 47th International Colloquium on Automata, Languages, and Programming, Jul 2020, Saarbrucken, Germany. ⟨10.4230/LIPIcs.ICALP.2020.108⟩

hal-03119305v1  Book sections
Béatrice Fuchs, Jean Lieber, Laurent Miclet, Alain Mille, Amedeo Napoli et al.  Case-Based Reasoning, Analogy, and Interpolation
Pierre Marquis; Odile Papini; Henri Prade. A Guided Tour of Artificial Intelligence Research, Volume I: Knowledge Representation, Reasoning and Learning, Springer International Publishing, pp.307-339, 2020, A Guided Tour of Artificial Intelligence Research, 978-3-030-06163-0. ⟨10.1007/978-3-030-06164-7_10⟩

hal-03119295v1  Directions of work or proceedings
Sergei Kuznetsov, Amedeo Napoli, Sebastian Rudolph. Eighth International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI at ECAI 2020)
Sergei O. Kuznetsov; Amedeo Napoli; Sebastian Rudolph. 8th International Workshop "What can do for Artificial Intelligence?" (FCA4AI 2020), Aug 2020, Santiago de Compostela, Spain. CEUR Workshop Proceedings (CEUR-WS.org) (2729), pp.153, 2020, Proceedings of the 8th International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI 2020)

hal-02995862v2  Conference papers
Pierre Champion, Denis Jouvet, Anthony Larcher. A Study of F0 Modification for X-Vector Based Speech Pseudo-Anonymization Across Gender
The Second AAAI Workshop on Privacy-Preserving Artificial Intelligence (PPAI)., Nov 2020, online, United States

tel-03116502v1  Theses
Andrea Mendizabal. Machine Learning meets real-time Numerical Simulation - Application to surgical training, preoperative planning and surgical assistance
Biomechanics [physics.med-ph]. Université de Strasbourg, 2020. English

hal-03101938v1  Journal articles
Ashwin Geet d'Sa, Irina Illina, Dominique Fohr. Classification of Hate Speech Using Deep Neural Networks
Revue d'Information Scientifique & Technique , Centre de Recherche sur l'Information Scientifique et Technique (CERIST), 2020, From Data and Information Processing to Knowledge Organization : Architectures, Models and Systems, 25 (01)

hal-03109552v1  Conference papers
Yael Kolasa, Eliott Gandiole, Thierry Bastogne. Quality-by-design development of a patient mobility e-monitoring system
2nd EAI International Conference on Wearables in Healthcare, EAI HealthWear 2020, Dec 2020, Virtual, France

hal-03108936v1  Journal articles
Arthur Charguéraud. Separation Logic for Sequential Programs
Proceedings of the ACM on Programming Languages, ACM, 2020, 4, ⟨10.1145/3408998⟩