Skip to Main content Skip to Navigation

hal-02487883v1  Journal articles
Gang Zheng. Control of a Silicone soft tripod robot via uncertainty compensation
IEEE Robotics and Automation Letters, IEEE 2020, 5 (2), pp.2801 - 2807. ⟨10.1109/LRA.2020.2974714⟩
hal-02406816v1  Journal articles
Chengcheng SongHaoping WangYang TianGang Zheng. Event-triggered observer design for delayed output-sampled systems
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2020, 65 (11), pp.4824 - 4831. ⟨10.1109/TAC.2019.2960267⟩
hal-02748219v1  Journal articles
Fabien Gandon. Une toile de fond pour le Web : lier les données et lier leurs vocabulaires sur la toile, pour un Web plus accessible aux machines
Annales des Mines - Enjeux Numériques, Conseil général de l'Économie, ministère de l'Économie et des Finances, 2020
hal-02112188v3  Journal articles
Julien BensmailFrançois DrossHervé HocquardEric Sopena. From light edges to strong edge-colouring of 1-planar graphs
Discrete Mathematics and Theoretical Computer Science, DMTCS, 2020, vol. 22 no. 1 (2)
hal-02269482v2  Journal articles
Julien BensmailKasper Lyngsie. 1-2-3 Conjecture in Digraphs: More Results and Directions
Discrete Applied Mathematics, Elsevier, 2020, 284, pp.124-137
hal-01919007v2  Journal articles
Julien BensmailSoumen NandiMithun RoySagnik Sen. Classification of edge-critical underlying absolute planar cliques for signed graphs
The Australasian Journal of Combinatorics, Combinatorial Mathematics Society of Australasia (Inc.), 2020, 77 (1), pp.117-135
hal-03087763v1  Journal articles
Shihong RenStephane LetzYann OrlareyRomain MichonDominique Fober et al.  Using Faust DSL to Develop Custom, Sample Accurate DSP Code and Audio Plugins for the Web Browser
Journal of the Audio Engineering Society, Audio Engineering Society, 2020, 68 (10)
hal-03078608v1  Journal articles
Damiano CarraGiovanni NegliaPietro Michiardi. Elastic Provisioning of Cloud Caches: A Cost-Aware TTL Approach
IEEE/ACM Transactions on Networking, IEEE/ACM, 2020, 28 (3), pp.1283-1296. ⟨10.1109/TNET.2020.2980105⟩
hal-03152242v1  Journal articles
Peter AveryQuentin ClaironRobin HendersonC. James TaylorEmma Wilson. Robust and adaptive anticoagulant control
Journal of the Royal Statistical Society: Series C Applied Statistics, Wiley, 2020, 69 (3), pp.503-524. ⟨10.1111/rssc.12403⟩
hal-03129901v1  Journal articles
Philippe JacquetDimitris MiliorisWojciech Szpankowski. Joint String Complexity for Markov Sources: Small Data Matters *
Discrete Mathematics and Theoretical Computer Science, DMTCS, 2020
hal-03126614v1  Journal articles
Philippe JacquetBernard Mans. Blockchain moderated by empty blocks to reduce the energetic impact of crypto-moneys
International Journal of Computers, Communications and Control, Agora University of Oradea, 2020
hal-02875447v2  Journal articles
Cristiana SantosNataliia BielovaCélestin Matte. Are cookie banners indeed compliant with the law?
Technology and Regulation, Tilburg University, 2020, 2020, pp.91-135. ⟨10.26116/TECHREG.2020.009⟩
hal-03139296v1  Journal articles
Stefania ColonnesePaolo Di LorenzoTiziana CattaiGaetano ScaranoFabrizio de Vico Fallani. A Joint Markov Model for Communities, Connectivity and Signals Defined Over Graphs
IEEE Signal Processing Letters, Institute of Electrical and Electronics Engineers, 2020, 27, pp.1160-1164. ⟨10.1109/LSP.2020.3005053⟩
hal-02864872v1  Journal articles
Pierre LaperdrixNataliia BielovaBenoit BaudryGildas Avoine. Browser Fingerprinting: A Survey
ACM Transactions on the Web,, 2020, 14 (2), pp.1-33. ⟨10.1145/3386040⟩
hal-02080706v2  Journal articles
Julien HerrmannGuillaume Aupy. H-Revolve: A Framework for Adjoint Computation on Synchronous Hierarchical Platforms
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2020, ⟨10.1145/3378672⟩
hal-02381877v1  Journal articles
Martin AvanziniUgo Dal LagoAkihisa Yamada. On probabilistic term rewriting
Science of Computer Programming, Elsevier, 2020, 185, pp.102338. ⟨10.1016/j.scico.2019.102338⟩
hal-02434157v1  Journal articles
Léa PilletteCamille JeunetBoris MansencalRoger N'KambouBernard N'Kaoua et al.  A physical learning companion for Mental-Imagery BCI User Training
International Journal of Human-Computer Studies, Elsevier, 2020, 136, pp.102380. ⟨10.1016/j.ijhcs.2019.102380⟩
hal-02459836v1  Journal articles
Zain HammadehSophie QuintonRolf Ernst. Weakly-hard Real-time Guarantees for Earliest Deadline First Scheduling of Independent Tasks
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2020, 18 (6), pp.1-25. ⟨10.1145/3356865⟩
hal-02571170v1  Journal articles
Oscar Rodríguez RochaCatherine Faron ZuckerAlain GiboinAurelie Lagarrigue. Automatic Generation of Questions from DBpedia
International Journal of Continuing Engineering Education and Life-Long Learning, Inderscience, 2020, x (1), pp.1. ⟨10.1504/IJCEELL.2020.10024221⟩
hal-02921322v1  Journal articles
Shalini SharmaAngshul MajumdarVíctor ElviraEmilie Chouzenoux. Blind Kalman Filtering for Short-term Load Forecasting
IEEE Transactions on Power Systems, Institute of Electrical and Electronics Engineers, 2020, 35 (6), pp.4916-4919
hal-02351562v1  Journal articles
Paulo de VilhenaFrançois PottierJacques-Henri Jourdan. Spy Game: Verifying a Local Generic Solver in Iris
Proceedings of the ACM on Programming Languages, ACM, 2020, 4 (POPL), ⟨10.1145/3371101⟩
hal-02938020v1  Journal articles
Gabriel RadanneHannes SaffrichPeter Thiemann. Kindly bent to free us
Proceedings of the ACM on Programming Languages, ACM, 2020, 4 (ICFP), pp.1-29. ⟨10.1145/3408985⟩
hal-03017452v1  Journal articles
Marie CorisNatacha Vas-DeyresNicolas Rougier. Intelligence artificielle : entre science et fiction
The Conversation, The Conversation France, 2020
hal-03033570v1  Journal articles
Mohammad BahramTarquin NetherwayClémence FriouxPamela FerrettiLuis Pedro Coelho et al.  Metagenomic assessment of the global distribution of bacteria and fungi
Environmental Microbiology, Society for Applied Microbiology and Wiley-Blackwell, 2020, ⟨10.1111/1462-2920.15314⟩
hal-02558779v1  Journal articles
Baptiste CaramiauxJules FrançoiseWanyu LiuTéo SanchezFrédéric Bevilacqua. Machine Learning Approaches For Motor Learning: A Short Review
Frontiers in Computer Science, Lausanne: Frontiers Media SA, In press
hal-02461493v1  Journal articles
Thierry FraichardValentin Levesy. From Crowd Simulation to Robot Navigation in Crowds
IEEE Robotics and Automation Letters, IEEE 2020, 5 (2), pp.729-735. ⟨10.1109/LRA.2020.2965032⟩
hal-01793578v1  Journal articles
Laurent BuséYairon Cid-RuizCarlos d'Andrea. Degree and birationality of multi-graded rational maps
Proceedings of the London Mathematical Society, London Mathematical Society, 2020, 121 (4), pp.743-787. ⟨10.1112/plms.12336⟩
hal-03053781v1  Journal articles
Andreas Enge. [Re] Volume computation for polytopes: Vingt ans après
The ReScience journal, GitHub, 2020, 6 (1), pp.#17. ⟨10.5281/zenodo.4242972⟩
hal-02373078v1  Journal articles
Tonametl SanchezAndrey PolyakovJean-Pierre Richard. A Sliding Mode Controller for a Model of Flow Separation in Boundary Layers
International Journal of Robust and Nonlinear Control, Wiley, 2020, 30 (3), pp.1181-1202. ⟨10.1002/rnc.4822⟩
hal-02927063v1  Journal articles
Maxence VandrommeJulie JacquesJulien TaillardLaetitia JourdanClarisse Dhaenens. A Biclustering Method for Heterogeneous and Temporal Medical Data
IEEE Transactions on Knowledge and Data Engineering, Institute of Electrical and Electronics Engineers, In press, pp.1-1. ⟨10.1109/TKDE.2020.2983692⟩
hal-02497401v1  Journal articles
Frédéric HavetBruce ReedMaya SteinDavid Wood. A variant of the Erdős‐Sós conjecture
Journal of Graph Theory, Wiley, 2020, 94 (1), pp.131-158. ⟨10.1002/jgt.22511⟩
hal-02429487v1  Journal articles
Carlos Pérez-ArancibiaCatalin TurcLuiz FariaConstantine Sideris. Planewave Density Interpolation Methods for the EFIE on Simple and Composite Surfaces
IEEE Transactions on Antennas and Propagation, Institute of Electrical and Electronics Engineers, 2020
hal-02497425v1  Journal articles
Ron AharoniEli BergerMaria ChudnovskyFrédéric HavetZilin Jiang. Cooperative colorings of trees and of bipartite graphs
The Electronic Journal of Combinatorics, Open Journal Systems, 2020
hal-02861460v2  Journal articles
Olivier BilennePanayotis MertikopoulosElena Veronica Belmega. Fast Optimization with Zeroth-Order Feedback in Distributed, Multi-User MIMO Systems
IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2020, 68, pp.6085-6100. ⟨10.1109/TSP.2020.3029983⟩
hal-02566930v1  Journal articles
Thomas RicatteRémi GilleronMarc Tommasi. Skill Rating for Multiplayer Games Introducing Hypernode Graphs and their Spectral Theory
Journal of Machine Learning Research, Microtome Publishing, 2020, 21, pp.1 - 18
hal-03059165v1  Journal articles
Peter Beim GrabenAxel HuttNorbert MarwanChristian UhlCharles Webber. Editorial: Recurrence Analysis of Complex Systems Dynamics
Frontiers in Applied Mathematics and Statistics, Frontiers Media S.A, 2020, 6, ⟨10.3389/fams.2020.00033⟩
hal-03130704v2  Journal articles
Andrew AppelYves Bertot. C-language floating-point proofs layered with VST and Flocq
Journal of Formalized Reasoning, ASDD-AlmaDL, 2020, 13 (1), pp.1-16. ⟨10.6092/issn.1972-5787/11442⟩
hal-01915633v2  Journal articles
Julien BensmailBinlong Li. More Aspects of Arbitrarily Partitionable Graphs
Discussiones Mathematicae Graph Theory, University of Zielona Góra, In press, ⟨10.7151/dmgt.2343⟩
hal-01857366v2  Journal articles
Ke SunIñaki EsnaolaSamir PerlazaHarold Vincent Poor. Stealth Attacks on the Smart Grid
IEEE Transactions on Smart Grid, Institute of Electrical and Electronics Engineers, 2020, ⟨10.1109/TSG.2019.2935353⟩
hal-03135912v1  Journal articles
Dhiman SahaYu SasakiDanping ShiFerdinand SibleyrasSiwei Sun et al.  On the Security Margin of TinyJAMBU with Refined Differential and Linear Cryptanalysis
IACR Transactions on Symmetric Cryptology, Ruhr Universität Bochum, 2020, 2020 (3), pp.152-174. ⟨10.13154/tosc.v2020.i3.152-174⟩
hal-02469027v1  Journal articles
Xinzhe WuSerge PetitonYutong Lu. A parallel generator of non-Hermitian matrices computed from given spectra
Concurrency and Computation: Practice and Experience, Wiley, In press, ⟨10.1002/cpe.5710⟩
hal-01919562v3  Journal articles
Hirokazu AnaiFrédéric ChazalMarc GlisseYuichi IkeHiroya Inakoshi et al.  DTM-based Filtrations
Abel Symposia, Springer, 2020, Topological Data Analysis, 15, pp.33-66. ⟨10.1007/978-3-030-43408-3_2⟩
hal-02416496v1  Journal articles
Houssem HaddarAlexander Konschin. Factorization Method for Imaging a Local Perturbation in Inhomogeneous Periodic Layers from Far Field Measurements
Inverse Problems and Imaging , AIMS American Institute of Mathematical Sciences, 2020, 14 (1), pp.133-152. ⟨10.3934/ipi.2019067⟩