Skip to Main content Skip to Navigation


...
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-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-02909383v2  Conference papers
Alexandre BazinMiguel CouceiroMarie-Dominique MorchAmedeo Napoli. Explaining Multicriteria Decision Making with Formal Concept Analysis
Concept Lattices and Applications 2020, Jun 2020, Tallinn, Estonia
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
...
tel-03133271v2  Theses
Diego Di Carlo. Echo-aware signal processing for audio scene analysis
Signal and Image processing. UNIVERSITÉ DE RENNES 1; INRIA - IRISA - PANAMA, 2020. English
...
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
...
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 (CEUR-WS.org) (2729), pp.153, 2020, Proceedings of the 8th International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI 2020)
...
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-02996034v1  Journal articles
Bizhan Alipour PijaniAbdessamad ImineMichaël Rusinowitch. Inferring attributes with picture metadata embeddings
ACM SIGAPP applied computing review : a publication of the Special Interest Group on Applied Computing, Association for Computing Machinery (ACM), 2020, 20 (2), pp.36-45. ⟨10.1145/3412816.3412819⟩
...
hal-03106208v1  Conference papers
Uwe WaldmannSophie TourretSimon RobillardJasmin Blanchette. A Comprehensive Framework for Saturation Theorem Proving
IJCAR 2020 (Part I) International Joint Conference on Automated Reasoning, Jun 2020, Paris, France. pp.316-334, ⟨10.1007/978-3-030-51074-9_18⟩
...
hal-03103869v1  Conference papers
Guillaume GirolLucca HirschiRalf SasseDennis JacksonCas Cremers et al.  A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols
USENIX 2020 - 29th Usenix Security Symposium, Aug 2020, Virtual, United States
...
hal-02499206v2  Journal articles
Emmanuel HainryRomain Péchoux. Theory of Higher Order Interpretations and Application to Basic Feasible Functions
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2020, 16 (4), pp.25. ⟨10.23638/LMCS-16(4:14)2020⟩
...
hal-03090873v1  Conference papers
Ioannis DourosChrysanthi DourouYu XieJacques FelblingerKaryna Isaieva et al.  Synthesize MRI vocal tract data during CV production
ISSP 2020 - 12th International Seminar on Speech Production, Dec 2020, Providence / Virtual, United States
...
hal-03090869v1  Conference papers
Anastasiia TsukanovaIoannis DourosYves Laprie. DNN-Based Parametric Speech Synthesis Enhanced With Articulatory Information
ISSP 2020 - 12th International Seminar on Speech Production, Dec 2020, Providence / Virtual, United States
...
hal-03090865v1  Conference papers
Ioannis DourosYu XieChrysanthi DourouJacques FelblingerKaryna Isaieva et al.  Vocal tract sagittal slices estimation from MRI midsagittal slices during speech production of CV
ISSP 2020 - 12th International Seminar on Speech Production, Dec 2020, Providence / Virtual, United States
...
hal-03090859v1  Conference papers
Karyna IsaievaYves LaprieAlexis HoussardJacques FelblingerPierre-André Vuissoz. Tracking the tongue contours in rt-MRI films with an autoencoder DNN approach
ISSP 2020 - 12th International Seminar on Speech Production, Dec 2020, Providence / Virtual, United States
...
hal-03090851v1  Conference papers
Amélie ElmerichAngelique AmelotShinji MaedaYves LaprieJean Francois Papon et al.  F1 and F2 measurements for French oral vowel with a new pneumotachograph mask
ISSP 2020 - 12th International Seminar on Speech Production, Dec 2020, Providence / Virtual, United States
...
hal-03088227v1  Conference papers
Nida KhanAbdelkader LahmadiZsofia KräusslRadu State. Management plane for differential privacy preservation through smart contracts
AICCSA 2020 - 17th ACS/IEEE International Conference on Computer Systems and Applications, Nov 2020, Antalya / Virtual, Turkey