Skip to Main content Skip to Navigation
  1. Search


...
hal-02313600v2  Conference papers
Dmitry Sokolov, Stanislav Aranovskiy, Alexander A Gusev, Igor Ryadchikov. Experimental comparison of velocity estimators for a control moment gyroscope inverted pendulum
AMC 2020 - 16th IEEE International Workshop on Advanced Motion Control, Sep 2020, Kristiansand / Virtual, Norway
...
hal-02266264v2  Conference papers
Pierrick Gaudry, Alexander Golovnev. Breaking the encryption scheme of the Moscow Internet voting system
Financial Cryptography and Data Security, 2020, Kota Kinabalu, Malaysia. pp.32-49, ⟨10.1007/978-3-030-51280-4_3⟩
...
hal-02407820v1  Conference papers
Emmanuel Franck, Laurent Navoret. Semi-implicit two-speed Well-Balanced relaxation scheme for Ripa model
FVCA 2020, Jun 2020, Bergen, Norway. pp 735-743, ⟨10.1007/978-3-030-43651-3_70⟩
...
hal-02425752v1  Conference papers
Benoit Meister, Philippe Clauss. Uniform Random Sampling in Polyhedra
IMPACT 2020 - 10th International Workshop on Polyhedral Compilation Techniques, Jan 2020, Bologna, Italy
...
hal-02435758v1  Conference papers
Melanie Jouaiti. Improving Motor Coordination in HRI with Bio-Inspired Controllers
HRI Pioneers Workshop 2020 - 15th annual Human-Robot Interaction Pioneers Workshop, Mar 2020, Cambridge, United Kingdom. ⟨10.1145/3371382.3377439⟩
...
hal-02298815v3  Conference papers
Antonin Callard, Mathieu Hoyrup. Descriptive complexity on non-Polish spaces
STACS 2020 - 37th Symposium on Theoretical Aspects of Computer Science, Mar 2020, Montpellier, France. pp.16, ⟨10.4230/LIPIcs.STACS.2020.8⟩
...
hal-02456521v1  Conference papers
Harenome Razanajato, Cédric Bastoul, Vincent Loechner. Pipelined Multithreading Generation in a Polyhedral Compiler
IMPACT 2020, in conjunction with HiPEAC 2020, Jan 2020, Bologna, Italy
...
hal-02456533v1  Conference papers
Toufik Baroudi, Vincent Loechner, Rachid Seghir. Static versus Dynamic Memory Allocation: a Comparison for Linear Algebra Kernels
IMPACT 2020, in conjunction with HiPEAC 2020, Jan 2020, Bologna, Italy
...
hal-02457425v1  Conference papers
Raquel Lazcano, Daniel Madroñal, Eduardo Juarez, Philippe Clauss. Runtime Multi-versioning and Specialization inside a Memoized Speculative Loop Optimizer
CC 2020 - 29th International Conference on Compiler Construction, Feb 2020, San Diego, United States. ⟨10.1145/3377555.3377886⟩
...
hal-02396352v2  Conference papers
Aurore Guillevic. A short-list of pairing-friendly curves resistant to Special TNFS at the 128-bit security level
PKC 2020 - IACR International Conference on Practice and Theory of Public-Key Cryptography, Jun 2020, Edinburgh, United Kingdom. pp.535-564, ⟨10.1007/978-3-030-45388-6_19⟩
...
hal-02355623v2  Conference papers
Manuel Pariente, Samuele Cornell, Antoine Deleforge, Emmanuel Vincent. Filterbank design for end-to-end speech separation
ICASSP 2020 - 45th International Conference on Acoustics, Speech, and Signal Processing, May 2020, Barcelona, Spain
...
hal-02355573v2  Conference papers
Romain Serizel, Nicolas Turpault, Ankit Shah, Justin Salamon. Sound event detection in synthetic domestic environments
ICASSP 2020 - 45th International Conference on Acoustics, Speech, and Signal Processing, May 2020, Barcelona, Spain
...
hal-02355115v2  Conference papers
Brij Mohan Lal Srivastava, Nathalie Vauquier, Md Sahidullah, Aurélien Bellet, Marc Tommasi et al.  Evaluating Voice Conversion-based Privacy Protection against Informed Attackers
ICASSP 2020 - 45th International Conference on Acoustics, Speech, and Signal Processing, IEEE Signal Processing Society, May 2020, Barcelona, Spain. pp.2802-2806
...
hal-02355613v2  Conference papers
Sunit Sivasankaran, Emmanuel Vincent, Dominique Fohr. SLOGD: Speaker Location Guided Deflation Approach to Speech Separation
ICASSP 2020 - 45th International Conference on Acoustics, Speech, and Signal Processing, May 2020, Barcelona, Spain
...
hal-02479502v1  Conference papers
Prosenjit Bose, Jean-Lou de Carufel, Olivier Devillers. Expected Complexity of Routing in $\Theta_6$ and Half-$\Theta_6$ Graphs
EuroCG 2020 - 36th European Workshop on Computational Geometry, Mar 2020, Würzburg, Germany
...
hal-02483114v1  Conference papers
Mathieu Hoyrup. Descriptive complexity on non-Polish spaces II
ICALP, Jul 2020, Saarbrücken, Germany. ⟨10.4230/LIPIcs.ICALP.2020.132⟩
...
hal-02457161v1  Conference papers
Jimmy Etienne, Sylvain Lefebvre. Procedural band patterns
i3D, Sep 2020, San Francisco, United States. pp.1 - 7, ⟨10.1145/3384382.3384522⟩
...
hal-02499149v1  Conference papers
Emmanuel Hainry, Damiano Mazza, Romain Péchoux. Polynomial time over the reals with parsimony
FLOPS 2020 - International Symposium on Functional and Logic Programming, Apr 2020, Akita, Japan
...
hal-02389159v3  Conference papers
Nicolas Furnon, Romain Serizel, Irina Illina, Slim Essid. DNN-Based Distributed Multichannel Mask Estimation for Speech Enhancement in Microphone Arrays
ICASSP 2020 - 45th International Conference on Acoustics, Speech, and Signal Processing, May 2020, Barcelona, Spain
...
hal-02510046v1  Conference papers
Monique Teillaud. Triangulations in CGAL - To non-Euclidean spaces and beyond!
EuroCG 2020 - 36th European Workshop on Computational Geometry, Mar 2020, Würzburg, Germany
...
hal-02448197v2  Conference papers
Ashwin Geet d'Sa, Irina Illina, Dominique Fohr. BERT and fastText Embeddings for Automatic Detection of Toxic Speech
SIIE 2020 - Information Systems and Economic Intelligence; International Multi-Conference on:“Organization of Knowledge and Advanced Technologies”(OCTA), Feb 2020, Tunis, Tunisia
...
hal-02530879v1  Conference papers
Ashwin Geet d'Sa, Irina Illina, Dominique Fohr. Towards Non-Toxic Landscapes: Automatic Toxic Comment Detection Using DNN
TRAC-2020, Second Workshop on Trolling, Aggression and Cyberbullying (LREC, 2020), May 2020, Marseille, France
...
hal-02526724v2  Conference papers
Matthieu Nicolas, Gérald Oster, Olivier Perrin. Efficient Renaming in Sequence CRDTs
PaPoC 2020 - 7th Workshop on Principles and Practice of Consistency for Distributed Data, Apr 2020, Heraklion / Virtual, Greece
...
hal-02544156v1  Conference papers
Raphaël Duroselle, Denis Jouvet, Irina Illina. Unsupervised regularization of the embedding extractor for robust language identification
Odyssey 2020 - The Speaker and Language Recognition Workshop, Nov 2020, Tokyo, Japan
...
hal-02463336v2  Conference papers
Reynald Affeldt, Cyril Cohen, Marie Kerjean, Assia Mahboubi, Damien Rouhling et al.  Competing inheritance paths in dependent type theory: a case study in functional analysis
IJCAR 2020 - International Joint Conference on Automated Reasoning, Jun 2020, Paris, France. pp.1-19
...
hal-02547097v1  Conference papers
Ahmad Abboud, Abdelkader Lahmadi, Michael Rusinowitch, Miguel Couceiro, Adel Bouhoula et al.  Double Mask: An efficient rule encoding for Software Defined Networking
ICIN 2020 - 23rd Conference on Innovation in Clouds, Internet and Networks and Workshops, Feb 2020, Paris, France. pp.186--193
...
hal-02555202v1  Conference papers
Jean-Baptiste Mouret, Glenn Maguire. Quality Diversity for Multi-task Optimization
GECCO'20 - Genetic and Evolutionary Computation Conference, Jul 2020, Cancun, Mexico. ⟨10.1145/3377930.3390203⟩
...
hal-02555221v1  Conference papers
Adam Gaier, Alexander Asteroth, Jean-Baptiste Mouret. Discovering Representations for Black-box Optimization
GECCO'20 - Genetic and Evolutionary Computation Conference, Jul 2020, Cancun, Mexico. ⟨10.1145/3377930.3390221⟩
...
hal-02555231v1  Conference papers
David M Bossens, Jean-Baptiste Mouret, Danesh Tarapore. Learning behaviour-performance maps with meta-evolution
GECCO'20 - Genetic and Evolutionary Computation Conference, Jul 2020, Cancun, Mexico
...
hal-02546993v2  Conference papers
Shinji Watanabe, Michael Mandel, Jon Barker, Emmanuel Vincent, Ashish Arora et al.  CHiME-6 Challenge: Tackling multispeaker speech recognition for unsegmented recordings
CHiME 2020 - 6th International Workshop on Speech Processing in Everyday Environments, May 2020, Barcelona / Virtual, Spain
...
hal-02568428v1  Conference papers
yaël Kolasa, Thierry Bastogne, Jean-Philippe Georges, Sylvain Kubler. Quality-by-design-engineered pBFT consensus configuration for medical device development
42nd Engineering in Medicine and Biology Conference, EMBC 2020, Jul 2020, Montreal, Canada
...
hal-02568440v1  Conference papers
Levy Batista, Mathieu Milhem, Thierry Bastogne, Fabien Clanché, Gabin Personeni et al.  A data-driven classification solution for the timed-up and go test in risk falling assessment
42nd Engineering in Medicine and Biology Conference, EMBC 2020, Jul 2020, Montréal, Canada
...
hal-02571466v1  Conference papers
Karën Fort, Bruno Guillaume, yann-Alan Pilatte, Mathieu Constant, Nicolas Lefèbvre. Rigor Mortis: Annotating MWEs with a Gamified Platform
LREC 2020 - Language Resources and Evaluation Conference, May 2020, Marseille, France
...
hal-02573638v1  Conference papers
David Espinel Sarmiento, Adrien Lebre, Lucas Nussbaum, Abdelhadi Chari. Multi-site Connectivity for Edge Infrastructures DIMINET:DIstributed Module for Inter-site NETworking
CCGRID 2020: 20th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing, IEEE; The University of Melbourne, May 2020, Melbourne, Australia. pp.1-10, ⟨10.1109/CCGrid49817.2020.00-81⟩
...
hal-02611209v1  Conference papers
Alice Millour, Karën Fort. Text Corpora and the Challenge of Newly Written Languages
1st Joint SLTU and CCURL Workshop (SLTU-CCURL 2020), May 2020, Marseille, France
...
hal-02634576v1  Conference papers
Stanislav Aranovskiy, Denis Efimov, Dmitry Sokolov, Jian Wang, Igor Ryadchikov et al.  State estimation for a locally unobservable parameter-varying system: one gradient-based and one switched solutions
IFAC 2020 - 21rst IFAC World Congress, Jul 2020, Berlin, Germany
...
hal-02634582v1  Conference papers
Denis Efimov, Stanislav Aranovskiy, Emilia Fridman, Dmitry Sokolov, Jian Wang et al.  Adaptive stabilization by delay with biased measurements
IFAC 2020 - 21st IFAC World Congress, Jul 2020, Berlin, Germany
...
hal-02619239v1  Conference papers
Maxime Amblard, Clement Beysson, Philippe de Groote, Bruno Guillaume, Sylvain Pogodalla. A French Version of the FraCaS Test Suite
LREC 2020 - Language Resources and Evaluation Conference, May 2020, Marseille, France. pp.9
...
hal-02402986v1  Conference papers
Adrien Hemmer, Remi Badonnel, Isabelle Chrisment. A Process Mining Approach for Supporting IoT Predictive Security
NOMS 2020 - IEEE/IFIP Network Operations and Management Symposium, Apr 2020, Budapest, Hungary
...
hal-02506387v1  Conference papers
Romain Serizel. A brief introduction to multichannel noise reduction with deep neural networks
SpiN 2020 - 12th Speech in Noise Workshop, Jan 2020, Toulouse, France
...
hal-02862245v1  Conference papers
Stephane Level, Irina Illina, Dominique Fohr. Introduction of semantic model to help speech recognition
TSD 2020 - Twenty-third International Conference on Text, Speech and Dialogue, Sep 2020, Brno, Czech Republic
...
hal-02864678v1  Conference papers
Kevin Dalleau, Miguel Couceiro, Malika Smaïl-Tabbone. Computing Vertex-Vertex Dissimilarities Using Random Trees: Application to Clustering in Graphs
IDA 2020 -18th International Symposium on Intelligent Data Analysis, Jun 2020, Konstanz / Virtual, Germany. pp.132-144, ⟨10.1007/978-3-030-44584-3_11⟩
...
hal-02867413v1  Conference papers
Garip Kusoglu, Bérenger Bramas, Stéphane Genaud. Automatic task-based parallelization of C++ applications by source-to-source transformations
Compas 2020 - Conférence francophone en informatique, Jun 2020, Lyon, France
...
hal-02868800v1  Conference papers
Niels Justesen, Miguel González-Duque, Daniel Cabarcas, Jean-Baptiste Mouret, Sebastian Risi. Learning a Behavioral Repertoire from Demonstrations
CoG 2020 - IEEE Conference on Games, 2020, Osaka / Virtual, Japan
...
hal-02871839v1  Conference papers
Gabrielle de Micheli, Pierrick Gaudry, Cécile Pierrot. Asymptotic complexities of discrete logarithm algorithms in pairing-relevant finite fields
CRYPTO 2020 - 40th Annual International Cryptology Conference, Aug 2020, Santa Barbara / Virtual, United States. pp.32-61
...
hal-02625712v1  Conference papers
Adrien Hemmer, Remi Badonnel, Jérôme François, Isabelle Chrisment. A Process Mining Tool for Supporting IoT Security
NOMS 2020 - IEEE/IFIP Network Operations and Management Symposium, Apr 2020, Budapest, Hungary
...
hal-02541391v1  Conference papers
Lakhdar Meftah, Romain Rouvoy, Isabelle Chrisment. Capturing Privacy-preserving User Contexts with IndoorHash
DAIS 2020 - 20th IFIP International Conference on Distributed Applications and Interoperable Systems, Jun 2020, Valletta, Malta. ⟨10.1007/978-3-030-50323-9_2⟩
...
hal-02879883v1  Conference papers
Lionel Nicolas, Verena Lyding, Claudia Borg, Corina Forascu, Karën Fort et al.  Creating Expert Knowledge by Relying on Language Learners: a Generic Approach for Mass-Producing Language Resources by Combining Implicit Crowdsourcing and Language Learning
LREC 2020 - Language Resources and Evaluation Conference, May 2020, Marseille, France
...
hal-02880553v1  Conference papers
Frédéric Pennerath, Panagiotis Mandros, Jilles Vreeken. Discovering Approximate Functional Dependencies using Smoothed Mutual Information
KDD 2020 - 26th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Aug 2020, San Diego / Virtual, United States. pp.1254 -- 1264
...
hal-02881308v1  Conference papers
Emmanuel Hainry, Bruce Kapron, Jean-yves Marion, Romain Péchoux. A tier-based typed programming language characterizing Feasible Functionals
LICS '20 - 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbrücken, Germany. pp.535-549, ⟨10.1145/3373718.3394768⟩
...
hal-02880764v1  Conference papers
Paloma de Las Cuevas, Pablo Garcia-Sanchez, Zaineb Chelly Dagdia, Maria-Isabel Garcia-Arenas, Juan Julian Merelo. Automatic rule extraction from access rules using Genetic Programming
EvoCOP 2020 - 20th European Conference on Evolutionary Computation in Combinatorial Optimisation, Apr 2020, Seville, Spain
...
hal-02886493v1  Conference papers
Vincent Despré, Jean-Marc Schlenker, Monique Teillaud. Flipping Geometric Triangulations on Hyperbolic Surfaces
SoCG 2020 - 36th International Symposium on Computational Geometry, Jun 2020, Zurich, Switzerland. ⟨10.4230/LIPIcs.SoCG.2020.35⟩
...
hal-02889146v1  Conference papers
Vincent Gaudillière, Gilles Simon, Marie-Odile Berger. Perspective-2-Ellipsoid: Bridging the Gap Between Object Detections and 6-DoF Camera Pose
IROS 2020 – 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems, Oct 2020, Las Vegas, United States
...
hal-02393302v2  Conference papers
Gabrielle de Micheli, Rémi E. Piau, Cécile Pierrot. A Tale of Three Signatures: practical attack of ECDSA with wNAF
AFRICACRYPT 2020, Jul 2020, Cairo, Egypt. pp.361-381, ⟨10.1007/978-3-030-51938-4_18⟩
...
hal-02903620v1  Conference papers
Véronique Cortier, Stéphanie Delaune, Jannik Dreier. Automatic generation of sources lemmas in Tamarin: towards automatic proofs of security protocols
ESORICS 2020 - 25th European Symposium on Research in Computer Security, Sep 2020, Guilford, United Kingdom. pp.3--22, ⟨10.1007/978-3-030-59013-0_1⟩
...
hal-02610447v2  Conference papers
Brij Mohan Lal Srivastava, Natalia Tomashenko, Xin Wang, Emmanuel Vincent, Junichi yamagishi et al.  Design Choices for X-vector Based Speaker Anonymization
INTERSPEECH 2020, International Speech Communication Association (ISCA), Oct 2020, Shanghai, China
...
hal-02562199v3  Conference papers
Natalia Tomashenko, Brij Mohan Lal Srivastava, Xin Wang, Emmanuel Vincent, Andreas Nautsch et al.  Introducing the VoicePrivacy initiative
INTERSPEECH 2020, Oct 2020, Shanghai, China
...
hal-02907918v1  Conference papers
Mohamed Maouche, Brij Mohan Lal Srivastava, Nathalie Vauquier, Aurélien Bellet, Marc Tommasi et al.  A comparative study of speech anonymization metrics
INTERSPEECH 2020, Oct 2020, Shanghai, China
...
hal-02909105v1  Conference papers
Xuechen Liu, Md Sahidullah, Tomi Kinnunen. A Comparative Re-Assessment of Feature Extractors for Deep Speaker Embeddings
INTERSPEECH 2020, Oct 2020, Shanghai, China
...
hal-02909216v1  Conference papers
Laurine Huber, Justine Reynaud, Mathilde Dargnat, yannick Toussaint. AOC-Poset on discourse and argumentation subgraphs: what can we learn on their dependencies?
Concept Lattice and their Applications, Jun 2020, Tallinn, Estonia
...
hal-02909452v1  Conference papers
Rituraj Kaushik, Timothée Anne, Jean-Baptiste Mouret. Fast Online Adaptation in Robotics through Meta-Learning Embeddings of Simulated Priors
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2020, Las Vegas, United States
...
hal-02864071v2  Conference papers
Miguel Couceiro, Erkko Lehtonen, Laurent Miclet, Henri Prade, Gilles Richard. When nominal analogical proportions do not fail
SUM 2020 - 14th International Conference on Scalable Uncertainty Management, Sep 2020, Bolzano / Virtual, Italy. pp.68-83
...
hal-02907924v1  Conference papers
Imran Sheikh, Emmanuel Vincent, Irina Illina. On semi-supervised LF-MMI training of acoustic models with limited data
INTERSPEECH 2020, Oct 2020, Shanghai, China
...
hal-02907929v1  Conference papers
Mehmet Ali Tuğtekin Turan, Emmanuel Vincent, Denis Jouvet. Achieving Multi-Accent ASR via Unsupervised Acoustic Model Adaptation
INTERSPEECH 2020, Oct 2020, Shanghai, China
...
hal-02910876v1  Conference papers
Mathieu Hu, Laurent Pierron, Emmanuel Vincent, Denis Jouvet. Kaldi-web: An installation-free, on-device speech recognition system
INTERSPEECH 2020 Show & Tell, Oct 2020, Shanghai, China
...
hal-02912312v1  Conference papers
Alain Gély, Miguel Couceiro, Laurent Miclet, Amedeo Napoli. Steps in the Representation of Concept Lattices and Median Graphs
CLA 2020 - 15th International Conference on Concept Lattices and Their Applications, Sadok Ben Yahia; Francisco José Valverde Albacete; Martin Trnecka, Jun 2020, Tallinn, Estonia. pp.1-11
...
hal-02912874v1  Conference papers
Esteban Marquer, Ajinkya Kulkarni, Miguel Couceiro. Embedding Formal Contexts Using Unordered Composition
FCA4AI - 8th International Workshop "What can FCA do for Artificial Intelligence?" (colocated wit ECAI2020), Aug 2020, Santiago de Compostela, Spain
...
hal-02912876v1  Conference papers
Miguel Couceiro, Erkko Lehtonen. Linearly definable classes of Boolean functions
ALGOS 2020 - 1st International Conference on Algebras, Graphs and Ordered Sets, Aug 2020, Nancy, France
...
hal-02912877v1  Conference papers
Guillaume Bonfante, Miguel Couceiro. Termination of graph rewriting systems through language theory
ALGOS 2020 - 1st International Conference on Algebras, Graphs and Ordered Sets, Aug 2020, Nancy, France
...
hal-02912878v1  Conference papers
Miguel Couceiro, Michel Grabisch. Monotonic computation rules for nonassociative calculus
1st international conference on ALgebras, Graphs and Ordered Sets, Aug 2020, Nancy, France
...
hal-02913224v1  Conference papers
Pierre Monnin, Emmanuel Bresso, Miguel Couceiro, Malika Smaïl-Tabbone, Amedeo Napoli et al.  Tackling scalability issues in mining path patterns from knowledge graphs: a preliminary study
ALGOS 2020 - 1st International Conference on Algebras, Graphs and Ordered Sets, Aug 2020, Nancy, France
...
hal-02913866v1  Conference papers
Hubert Comon, Charlie Jacomme, Guillaume Scerri. Oracle simulation: a technique for protocol composition with long term shared secrets
ACM CCS 2020, Nov 2020, Orlando, United States. pp.1427-1444
...
hal-02914177v1  Conference papers
Titouan Carette, Emmanuel Jeandel. A recipe for quantum graphical languages
ICALP 2020, 2020, Saarbrücken, Germany
...
hal-02915309v1  Conference papers
Tatiana Makhalova, Sergei O. Kuznetsov, Amedeo Napoli. Gradual Discovery with Closure Structure of a Concept Lattice
The 15th International Conference on Concept Lattices and Their Applications, Jun 2020, Tallinn, Estonia
...
hal-02863525v2  Conference papers
Fabrice Boudot, Pierrick Gaudry, Aurore Guillevic, Nadia Heninger, Emmanuel Thomé et al.  Comparing the difficulty of factorization and discrete logarithm: a 240-digit experiment
Advances in Cryptology – CRYPTO 2020, Aug 2020, Santa Barbara CA, United States. pp.62-91, ⟨10.1007/978-3-030-56880-1_3⟩
...
hal-02920306v1  Conference papers
Sébastien Rimbert, Laurent Bougrain, Stéphanie Fleck. Learning How to Generate Kinesthetic Motor Imagery Using a BCI-based Learning Environment: a Comparative Study Based on Guided or Trial-and-Error Approaches
SMC 2020 - International IEEE Conference on Systems, Man and Cybernetics, Oct 2020, Toronto, Canada
...
hal-02920320v1  Conference papers
Oleksii Avilov, Sébastien Rimbert, Anton Popov, Laurent Bougrain. Deep Learning Techniques to Improve Intraoperative Awareness Detection from Electroencephalographic Signals
IEEE Engineering in Medicine and Biology Society 2020, Jul 2020, Montreal, Canada
...
hal-02920460v1  Conference papers
Raphaël Duroselle, Denis Jouvet, Irina Illina. Metric learning loss functions to reduce domain mismatch in the x-vector space for language recognition
INTERSPEECH 2020, Oct 2020, Shangaï / Virtual, China
...
hal-02921643v1  Conference papers
Nacira Abbas, Jérôme David, Amedeo Napoli. Discovery of Link Keys in RDF Data Based on Pattern Structures: Preliminary Steps
CLA 2020 - The 15th International Conference on Concept Lattices and Their Applications, Jun 2020, Tallinn / Virtual, Estonia
...
hal-02923439v1  Conference papers
Georg Osang, Mael Rouxel-Labbé, Monique Teillaud. Generalizing CGAL Periodic Delaunay Triangulations
ALGO 2020 - 28th European Symposium on Algorithms, Sep 2020, Pise / Virtual, Italy. pp.75:1--75:17, ⟨10.4230/LIPIcs.ESA.2020.75⟩
...
hal-02927185v1  Conference papers
Antoine Moniot, Rohit Roy, yann Guermeur, Isaure Chauvot de Beauchêne. Docking of RNA Hairpin on Protein Using a Fragment-Based Method
JOBIM 2020 - Journées Ouvertes en Biologie, Informatique et Mathématiques, Jun 2020, Montpellier, France
...
hal-02928953v1  Conference papers
Véronique Cortier, Pierrick Gaudry, Quentin yang. How to fake zero-knowledge proofs, again
E-Vote-Id 2020 - The International Conference for Electronic Voting, 2020, Bregenz / virtual, Austria
...
hal-02930715v1  Conference papers
Maria Boritchev, Maxime Amblard. There is as yet Insufficient Data for a Meaningful Answer
SemDial - WatchDial The 24th Workshop on the Semantics and Pragmatics of Dialogue, Jul 2020, Brandeis, United States
...
hal-02928408v1  Conference papers
Loubna Ben Allal, Antoine Lejay, Radu S. Stoica. Hawkes point processes based inference applied to seismic data analysis
2020 RING MEETING, Sep 2020, Nancy, France
...
hal-02933268v1  Conference papers
Christophe Reype, Antonin Richard, Madalina Deaconu, Radu S. Stoica. Bayesian statistical analysis of hydrogeochemical data using point processes: a new tool for source detection in multicomponent fluid mixtures
RING Meeting 2020, Sep 2020, Nancy, France
...
hal-02891665v2  Conference papers
Nicolas Turpault, Romain Serizel. Training Sound Event Detection On A Heterogeneous Dataset
DCASE Workshop, Nov 2020, Tokyo, Japan
...
hal-02943028v1  Conference papers
Vincent Thomas, Gérémy Hutin, Olivier Buffet. Monte Carlo Information-Oriented Planning
24th ECAI 2020 - European Conference on Artificial Intelligence, Aug 2020, Santiago de Compostela, Spain
...
hal-02944908v1  Conference papers
Patrick Derbez, Paul Huynh, Virginie Lallemand, María Naya-Plasencia, Léo Perrin et al.  Cryptanalysis Results on Spook: Bringing Full-round Shadow-512 to the Light
CRYPTO 2020 - 40th Annual International Cryptology Conference, Aug 2020, Santa Barbara / Virtual, United States. pp.359--388, ⟨10.1007/978-3-030-56877-1_13⟩
...
hal-02469901v3  Conference papers
Diego Di Carlo, Clément Elvira, Antoine Deleforge, Nancy Bertin, Rémi Gribonval. BLASTER: An Off-Grid Method for Blind and Regularized Acoustic Echoes Retrieval -- with supplementary material
ICASSP 2020 - IEEE International Conference on Acoustic Speech and Signal Processing, IEEE, May 2020, Barcelona, Spain
...
hal-02948407v1  Conference papers
Abdelkader Lahmadi, Alexis Duque, Nathan Heraief, Julien Francq. MitM Attack Detection in BLE Networks using Reconstruction and Classification Machine Learning Techniques
MLCS 2020 - 2nd Workshop on Machine Learning for Cybersecurity, Sep 2020, Ghent, Belgium. pp.1-16
...
hal-02891700v4  Conference papers
Nicolas Turpault, Scott Wisdom, Hakan Erdogan, John R Hershey, Romain Serizel et al.  Improving Sound Event Detection In Domestic Environments Using Sound Separation
DCASE Workshop 2020 - Detection and Classification of Acoustic Scenes and Events, Nov 2020, Tokyo / Virtual, Japan
...
hal-02961522v1  Conference papers
Benedikt Kolbe, Myfanwy Evans. Enumerating tilings of triply-periodic minimal surfaces with rotational symmetries
EuroCG 2020- 36th European Workshop on Computational Geometry, 2020, Würzburg, Germany
...
hal-02961583v1  Conference papers
Gilles Barthe, Charlie Jacomme, Steve Kremer. Universal equivalence and majority of probabilistic programs over finite fields
ACM/IEEE LICS 2020 - 35th Annual Symposium on Logic in Computer Science, Jul 2020, Saarbrücken / Virtual, Germany. pp.155-166, ⟨10.1145/3373718.3394746⟩
...
hal-02961617v1  Conference papers
Vincent Cheval, Steve Kremer, Itsaka Rakotonirina. The hitchhiker's guide to decidability and complexity of equivalence properties in security protocols
Logic, Language, and Security. Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday, 2020, Philadelphia, United States
...
hal-02962800v1  Conference papers
youssef El Housni, Aurore Guillevic. Optimized and secure pairing-friendly elliptic curves suitable for one layer proof composition
CANS 2020 - 19th International Conference on Cryptology and Network Security, Dec 2020, Vienna / Virtual, Austria. pp.259-279, ⟨10.1007/978-3-030-65411-5_13⟩
...
hal-02962845v1  Conference papers
Luke Bertot, Lucas Nussbaum, David Margery. Implementing SFA Support on an Established HPC-flavored Testbed: Lessons Learned
CNERT 2020 - Computer and Networking Experimental Research using Testbeds, in conjunction with IEEE INFOCOM 2020, Jul 2020, Toronto, Canada. pp.1-6
...
hal-02962869v1  Conference papers
Serdar Erbatur, Andrew M Marshall, Christophe Ringeissen. Terminating Non-Disjoint Combined Unification (Extended Abstract)
UNIF 2020 - 34th International Workshop on Unification, Temur Kutsia; Andrew Marshall, Jun 2020, Paris, France
...
hal-02962911v1  Conference papers
Samuele Cornell, Michel Olvera, Manuel Pariente, Giovanni Pepe, Emanuele Principi et al.  Domain-Adversarial Training and Trainable Parallel Front-end for the DCASE 2020 Task 4 Sound Event Detection Challenge
DCASE 2020 - 5th Workshop on Detection and Classification of Acoustic Scenes and Events, Nov 2020, Virtual, Japan
...
hal-02962907v1  Conference papers
Samuele Cornell, Michel Olvera, Manuel Pariente, Giovanni Pepe, Emanuele Principi et al.  Task-Aware Separation for the DCASE 2020 Task 4 Sound Event Detection and Separation Challenge
DCASE 2020 - 5th Workshop on Detection and Classification of Acoustic Scenes and Events, Nov 2020, Virtual, Japan
...
hal-02962964v1  Conference papers
Manuel Pariente, Samuele Cornell, Joris Cosentino, Sunit Sivasankaran, Efthymios Tzinis et al.  Asteroid: the PyTorch-based audio source separation toolkit for researchers
Interspeech 2020, Oct 2020, Shanghai, China
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/