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-02313600v2  Conference papers
Dmitry SokolovStanislav AranovskiyAlexander GusevIgor 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 GaudryAlexander 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-02425752v1  Conference papers
Benoit MeisterPhilippe 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 CallardMathieu 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 RazanajatoCédric BastoulVincent Loechner. Pipelined Multithreading Generation in a Polyhedral Compiler
IMPACT 2020, in conjunction with HiPEAC 2020, Jan 2020, Bologna, Italy
...
hal-02456533v1  Conference papers
Toufik BaroudiVincent LoechnerRachid 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 LazcanoDaniel MadroñalEduardo JuarezPhilippe 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 ParienteSamuele CornellAntoine DeleforgeEmmanuel 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 SerizelNicolas TurpaultAnkit ShahJustin 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 SrivastavaNathalie VauquierMd SahidullahAurélien BelletMarc 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 SivasankaranEmmanuel VincentDominique 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 BoseJean-Lou de CarufelOlivier 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-02457161v1  Conference papers
Jimmy EtienneSylvain Lefebvre. Procedural band patterns
Symposium on Interactive 3D Graphics and Games, Sep 2020, San Francisco, United States. pp.1 - 7, ⟨10.1145/3384382.3384522⟩
...
hal-02499149v1  Conference papers
Emmanuel HainryDamiano MazzaRomain 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 FurnonRomain SerizelIrina IllinaSlim 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'SaIrina IllinaDominique 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'SaIrina IllinaDominique 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 NicolasGérald OsterOlivier 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 DuroselleDenis JouvetIrina 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 AffeldtCyril CohenMarie KerjeanAssia MahboubiDamien 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 AbboudAbdelkader LahmadiMichaël RusinowitchMiguel CouceiroAdel 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 MouretGlenn 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 GaierAlexander AsterothJean-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 BossensJean-Baptiste MouretDanesh Tarapore. Learning behaviour-performance maps with meta-evolution
GECCO'20 - Genetic and Evolutionary Computation Conference, Jul 2020, Cancun, Mexico
...
hal-02546993v2  Conference papers
Shinji WatanabeMichael MandelJon BarkerEmmanuel VincentAshish 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 KolasaThierry BastogneJean-Philippe GeorgesSylvain 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 BatistaMathieu MilhemThierry BastogneFabien 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 FortBruno GuillaumeYann-Alan PilatteMathieu ConstantNicolas 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 SarmientoAdrien LebreLucas NussbaumAbdelhadi 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 MillourKarë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-02634582v1  Conference papers
Denis EfimovStanislav AranovskiyEmilia FridmanDmitry SokolovJian 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 AmblardClement BeyssonPhilippe de GrooteBruno GuillaumeSylvain 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 HemmerRemi BadonnelIsabelle 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 LevelIrina IllinaDominique 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 DalleauMiguel CouceiroMalika 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 KusogluBérenger BramasSté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 JustesenMiguel González-DuqueDaniel CabarcasJean-Baptiste MouretSebastian Risi. Learning a Behavioral Repertoire from Demonstrations
CoG 2020 - IEEE Conference on Games, 2020, Osaka / Virtual, Japan
...
hal-02871839v1  Conference papers
Gabrielle de MicheliPierrick GaudryCé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 HemmerRemi BadonnelJérôme FrançoisIsabelle 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 MeftahRomain RouvoyIsabelle 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-02880553v1  Conference papers
Frédéric PennerathPanagiotis MandrosJilles 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 HainryBruce KapronJean-Yves MarionRomain 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⟩