Skip to Main content Skip to Navigation

hal-01485685v1  Journal articles
Hermine BierméCéline Lacaux. Fast and exact synthesis of some operator scaling Gaussian random fields
Applied and Computational Harmonic Analysis, Elsevier, 2020, 48 (1), pp.293-320. ⟨10.1016/j.acha.2018.05.004⟩
hal-02965137v1  Book sections
Fabien PierreJf Aujol. Recent Approaches for Image Colorization
Handbook of Mathematical Models and Algorithms in Computer Vision and Imaging, In press, ⟨10.1007/978-3-030-03009-4_55-1⟩
hal-03538826v1  Book sections
Mathilde DargnatJacques Jayez. Presupposition Projection and Main Content
Anne Abeillé; Olivier Bonami. Constraint-based Syntax and Semantics: Papers in Honor of Danièle Godard, 223, Center for the Study of Language and Information, pp.101-126, 2020, CSLI Lecture Notes, 9781684000463
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-03014927v1  Conference papers
Carlos RamischAgata SavaryBruno GuillaumeJakub WaszczukMarie Candito et al.  Edition 1.2 of the PARSEME Shared Task on Semi-supervised Identification of Verbal Multiword Expressions
Joint Workshop on Multiword Expressions and Electronic Lexicons (MWE-LEX 2020), 2020, Barcelona, Spain
hal-02961617v1  Conference papers
Vincent ChevalSteve KremerItsaka 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-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-02158012v1  Journal articles
Emmanuel JeandelEtienne MoutotPascal Vanier. Slopes of multidimensional subshifts
Theory of Computing Systems, Springer Verlag, 2020, 64 (1), pp.35-61. ⟨10.1007/s00224-019-09931-1⟩
hal-02151093v4  Journal articles
Nicolas DavidPaul Zimmermann. A New Ranking Function for Polynomial Selection in the Number Field Sieve
Contemporary mathematics, American Mathematical Society, 2020, 75 Years of Mathematics of Computation, 754, pp.315-325. ⟨10.1090/CONM/754/15139⟩
hal-02922660v1  Journal articles
Prosenjit BoseJean-Lou de CarufelOlivier Devillers. Expected Complexity of Routing in $\Theta_6$ and Half-$\Theta_6$ Graphs
Journal of Computational Geometry, Carleton University, Computational Geometry Laboratory, 2020, 11 (1), pp.212 - 234. ⟨10.20382/jocg.v11i1a9⟩
hal-03031995v1  Reports
Otfried CheongOlivier DevillersMarc GlisseJi-Won Park. Covering families of triangles
[Research Report] RR-9378, INRIA. 2020, pp.31
hal-02961522v1  Conference papers
Benedikt KolbeMyfanwy Evans. Enumerating tilings of triply-periodic minimal surfaces with rotational symmetries
EuroCG 2020- 36th European Workshop on Computational Geometry, 2020, Würzburg, Germany
hal-02301922v2  Journal articles
Pauline MauriceJernej CamernikDasa GorjanBenjamin SchirrmeisterJonas Bornmann et al.  Objective and Subjective Effects of a Passive Exoskeleton on Overhead Work
IEEE Transactions on Neural Systems and Rehabilitation Engineering, IEEE Institute of Electrical and Electronics Engineers, 2020, 28 (1), pp.152-164. ⟨10.1109/TNSRE.2019.2945368⟩
hal-02988003v1  Journal articles
Andrew CropperSophie Tourret. Logical reduction of metarules
Machine Learning, Springer Verlag, 2020, 109 (7), pp.1323 - 1369. ⟨10.1007/s10994-019-05834-x⟩
hal-02943567v1  Journal articles
Supratik PaulKonstantinos ChatzilygeroudisKamil CiosekJean-Baptiste MouretMichael Osborne et al.  Robust Reinforcement Learning with Bayesian Optimisation and Quadrature
Journal of Machine Learning Research, Microtome Publishing, 2020, 21, pp.1 - 31
hal-02909452v1  Conference papers
Rituraj KaushikTimothée AnneJean-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-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-03054936v1  Journal articles
Irina IllinaDominique Fohr. RNN Language Model Estimation for Out-of-Vocabulary Words
Lecture Notes in Artificial Intelligence, Springer, 2020, 12598, ⟨10.1007/978-3-030-66527-2_15⟩
hal-02268400v1  Journal articles
Rémy ChrétienVéronique CortierAntoine DallonStéphanie Delaune. Typing messages for free in security protocols
ACM Transactions on Computational Logic, Association for Computing Machinery, 2020, 21 (1), ⟨10.1145/3343507⟩
hal-02928953v1  Conference papers
Véronique CortierPierrick GaudryQuentin Yang. How to fake zero-knowledge proofs, again
E-Vote-Id 2020 - The International Conference for Electronic Voting, 2020, Bregenz / virtual, Austria
hal-02914177v1  Conference papers
Titouan CaretteEmmanuel Jeandel. A recipe for quantum graphical languages
ICALP 2020, 2020, Saarbrücken, Germany
hal-02861799v1  Journal articles
Axel Hutt. Divergence of the Ensemble Transform Kalman Filter (LETKF) by nonlocal observations
Frontiers in Applied Mathematics and Statistics, Frontiers Media S.A, 2020, ⟨10.3389/fams.2020.00042⟩
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-03034044v1  Book sections
Jessica ColombelDavid DaneyVincent BonnetFrançois Charpillet. Markerless 3D Human Pose Tracking in the Wild with fusion of Multiple Depth Cameras: Comparative Experimental Study with Kinect 2 and 3
M. A. R. Ahad et al. Activity and Behavior Computing, Smart Innovation, Systems and Technologies, Springer, 2020
hal-03059893v1  Journal articles
Jian WangStanislav AranovskiyEmilia FridmanDmitry SokolovDenis Efimov et al.  Robust adaptive stabilization by delay under state parametric uncertainty and measurement bias
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2020, ⟨10.1109/TAC.2020.3045125⟩
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-02133840v2  Journal articles
François PirotJean-Sébastien SereniRiste Škrekovski. Variations on the Petersen colouring conjecture
The Electronic Journal of Combinatorics, Open Journal Systems, 2020, 27 (1), ⟨10.37236/8515⟩
tel-02499941v1  Theses
Abdulqawi Saif. Experimental Methods for the Evaluation of Big Data Systems
Computer Science [cs]. Université de Lorraine, 2020. English. ⟨NNT : 2020LORR0001⟩
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-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
tel-02963301v1  Theses
Mathias Fleury. Formalization of Logical Calculi in Isabelle/HOL
Logic in Computer Science [cs.LO]. Universität des Saarlandes Saarbrücken, 2020. English
hal-02990598v1  Conference papers
Antoine Defourné. Better Automation for TLA+ Proofs
JFLA 2020 - 31emes Journées Francophones des Langages Applicatifs, Zaynah Dargaye; Yann Regis-Gianas, Jan 2020, Gruissan, France
hal-01942863v3  Journal articles
Bérenger BramasPhilippe HelluyLaura MendozaBruno Weber. Optimization of a discontinuous Galerkin solver with OpenCL and StarPU
International Journal on Finite Volumes, Institut de Mathématiques de Marseille, AMU, 2020, 15 (1), pp.1-19
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-00967742v5  Journal articles
Sorina IonicaEmmanuel Thomé. Isogeny graphs with maximal real multiplication
Journal of Number Theory, Elsevier, 2020, 207, pp.385-422. ⟨10.1016/j.jnt.2019.06.019⟩
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-02737323v2  Poster communications
Lethicia MagnoAlain MollierMiguel CouceiroJean-Christophe AviceSophie Brunel-Muguet. Modelling Memory: do crop models need to become nostalgic?
ICROPM2020: Second International Crop Modelling Symposium, Feb 2020, Montpellier, France. Book of abstracts - XIIth Stics users seminar
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-03065632v1  Conference papers
Nazim HaouchineParikshit JuvekarAlexandra GolbyWilliam WellsStéphane Cotin et al.  Alignment of Cortical Vessels viewed through the Surgical Microscope with Preoperative Imaging to Compensate for Brain Shift
Medical Imaging 2020: Image-Guided Procedures, Robotic Interventions, and Modeling, Feb 2020, Houston, United States
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-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-02289699v1  Book sections
Damien ChablatGuillaume MorozFabrice RouillierPhilippe Wenger. Using Maple to analyse parallel robots
Jürgen Gerhard; Ilias Kotsireas. Maple in Mathematics Education and Research, Springer, Cham, pp.50-64, 2020, Maple in Mathematics Education and Research, 978-3-030-41257-9. ⟨10.1007/978-3-030-41258-6_4⟩
hal-02515103v1  Journal articles
Haniel BarbosaJasmin BlanchetteMathias FleuryPascal Fontaine. Scalable Fine-Grained Proofs for Formula Processing
Journal of Automated Reasoning, Springer Verlag, 2020, 64 (3), pp.485-510. ⟨10.1007/s10817-018-09502-y⟩
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-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-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-02972966v1  Conference papers
Ji-Won ParkOtfried Cheong. Smallest Universal Covers for Families of Triangles
EuroCG 2020 - 36th European Workshop on Computational Geometry, Mar 2020, Würzburg, Germany
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⟩