Skip to Main content Skip to Navigation

hal-03623450v1  Reports
Natalia TomashenkoBrij Mohan Lal SrivastavaXin WangEmmanuel VincentAndreas 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 SarkerNavya KhareMarie-Dominique DevignesSabeur 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-02400051v1  Journal articles
Anurag AnshuPeter HøyerMehdi MhallaSimon 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-03468859v1  Conference papers
Nino VieillardOlivier PietquinMatthieu Geist. Munchausen Reinforcement Learning
NeurIPS, Dec 2020, Vancouver (online), Canada
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-02975012v1  Journal articles
Gilles BartheSandrine BlazyBenjamin GrégoireRémi HutinVincent 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-03323382v1  Book sections
Olivier BuffetOlivier PietquinPaul Weng. Reinforcement Learning
A Guided Tour of Artificial Intelligence Research - Volume 1, Springer International Publishing, pp.389-414, 2020, 978-3-030-06164-7. ⟨10.1007/978-3-030-06164-7_12⟩
hal-02975379v2  Conference papers
Matthieu ZinsGilles SimonMarie-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-03196390v1  Journal articles
Jean-Charles LamirelMarie CottrellMadalina OlteanuBruno Lévy. Editorial of Special Issue on WSOM+ 2017
Neural Computing and Applications, Springer Verlag, 2020, 32, pp.17973-17975. ⟨10.1007/s00521-020-05481-7⟩
hal-03196372v1  Directions of work or proceedings
Jean-Charles LamirelMarie CottrellMadalina OlteanuBruno Lévy. Special Issue on WSOM+ 2017
Neural Computing and Applications, 32, 2020, Neural Computing and Applications
hal-03173193v1  Book sections
Olivier BournezGilles DowekRémi GilleronSerge GrigorieffJean-Yves Marion et al.  Theoretical Computer Science: Computability, Decidability and Logic
A Guided Tour of Artificial Intelligence Research - Volume III: Interfaces and Applications of Artificial Intelligence (10.1007/978-3-030-06170-8), Springer International Publishing, pp.1-50, 2020, ⟨10.1007/978-3-030-06170-8_1⟩
hal-03016721v1  Journal articles
Marie CanditoMathieu ConstantCarlos RamischAgata SavaryBruno 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 MonninMiguel CouceiroAmedeo NapoliAdrien 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-03145431v1  Journal articles
Armin BiereCesare TinelliChristoph Weidenbach. Preface to the Special Issue on Automated Reasoning Systems
Journal of Automated Reasoning, Springer Verlag, 2020, 64 (3), pp.361-362. ⟨10.1007/s10817-019-09531-1⟩
hal-03143502v1  Conference papers
Heba AlkayedHoratiu CirsteaStephan Merz. An Extension of PlusCal for Modeling Distributed Algorithms
TLA+ Community Event 2020, Oct 2020, Freiburg (online), Germany
hal-03142461v1  Directions of work or proceedings
James Harold DavenportMatthew EnglandAlberto GriggioThomas SturmCesare Tinelli. Special Issue : Symbolic Computation and Satisfiability Checking
Journal of Symbolic Computation, 100, Elsevier, 2020
hal-03141064v1  Conference papers
Patrick KoopmannWarren Del-PintoSophie TourretRenate Schmidt. Signature-Based Abduction for Expressive Description Logics
17th International Conference on Principles of Knowledge Representation and Reasoning , Sep 2020, Rhodes, France. pp.592-602, ⟨10.24963/kr.2020/59⟩
hal-03141063v1  Conference papers
Fajar HaifaniPatrick KoopmannSophie TourretChristoph Weidenbach. On a Notion of Relevance
Proceedings of the 33rd International Workshop on Description Logics (DL 2020), Sep 2020, Online, Greece
hal-03140916v1  Conference papers
Hamid RahkooyCristian Vargas Montero. A Graph Theoretical Approach for Testing Binomiality of Reversible Chemical Reaction Networks
22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - SYNASC 2020, Sep 2020, Timisoara/Virtual, Romania
hal-03137351v1  Conference papers
Nino VieillardTadashi KozunoBruno ScherrerOlivier PietquinRé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 VieillardBruno ScherrerOlivier PietquinMatthieu 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 BoltenhagenBenjamin ChetiouiLaurine 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⟩
hal-03122764v1  Conference papers
Claire TheobaldFrédéric PennerathBrieuc Conan-GuezMiguel CouceiroAmedeo 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
tel-03125702v1  Theses
Harenome Razanajato. Polyhedral Code Generation: Reducing Overhead and Increasing Parallelism
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Strasbourg (Unistra), FRA., 2020. English
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 BaixeriesVictor CodocedoMehdi KaytoueAmedeo 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
hal-03121356v1  Conference papers
Tatiana MakhalovaSergei KuznetsovAmedeo Napoli. Closure Structure: a Deeper Insight
The 8th International Workshop "What can FCA do for Artificial Intelligence?", Aug 2020, Santiago de Compostela, Spain
hal-03120781v1  Conference papers
Boaz BarakRaphaë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 FuchsJean LieberLaurent MicletAlain MilleAmedeo 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 KuznetsovAmedeo NapoliSebastian 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 ( (2729), pp.153, 2020, Proceedings of the 8th International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI 2020)
hal-02995862v2  Conference papers
Pierre ChampionDenis JouvetAnthony 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
hal-03101938v1  Journal articles
Ashwin Geet d'SaIrina IllinaDominique 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 KolasaEliott GandioleThierry 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⟩