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-03087580v1  Conference papers
Ke WuGang Zheng. Simulation and control co-design methodology for soft robotics
2020 39th Chinese Control Conference (CCC), Jul 2020, Shenyang, China. pp.3910-3914, ⟨10.23919/CCC50068.2020.9189205⟩
hal-03087579v1  Conference papers
Gang Zheng. A simple strategy for the control of soft robot
2020 39th Chinese Control Conference (CCC), Jul 2020, Shenyang, China. pp.1751-1755, ⟨10.23919/CCC50068.2020.9189126⟩
hal-03119411v1  Conference papers
Qiongwen YuanJingwei HeLei YuGang Zheng. Aim-Net: Bring Implicit Euler to Network Design
2020 IEEE International Conference on Image Processing (ICIP), Oct 2020, Abu Dhabi, United Arab Emirates. pp.1926-1930, ⟨10.1109/ICIP40778.2020.9191185⟩
hal-02929324v1  Conference papers
Francesco FoscarinAndrew McleodPhilippe RigauxFlorent JacquemardMasahiko Sakai. ASAP: a dataset of aligned scores and performances for piano transcription
ISMIR 2020 - 21st International Society for Music Information Retrieval, Oct 2020, Montreal / Virtual, Canada
hal-02932467v1  Conference papers
Clément HeninDaniel Le Métayer. Towards a framework for challenging ML-based decisions
DeceptECAI 2020 - 1st International Workshop on Deceptive AI @ECAI2020, Aug 2020, Santiago de Chili, Chile. pp.1-13
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-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-02363756v1  Conference papers
Ujjwal UjjwalAziz DziriBertrand LeroyFrancois Bremond. A One-and-Half Stage Pedestrian Detector
WACV 2020 - IEEE Winter Conference on Applications of Computer Vision, Mar 2020, Snowmass Village, United States
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-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-02538101v1  Book sections
Andrea MendizabalEleonora TagliabueTristan HoellingerJean-Nicolas BrunetSergei Nikolaev et al.  Data-driven simulation for augmented surgery
Bilen Emek Abali; Ivan Giorgio. Developments and Novel Approaches in Biomechanics and Metamaterials, 132, pp.71-96, 2020, 978-3-030-50464-9. ⟨10.1007/978-3-030-50464-9⟩
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-03139593v1  Conference papers
Philippe JacquetWojciech Szpankowski. Analysis of Lempel-Ziv'78 for Markov Sources
AofA2020 - 31st International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms, Jun 2020, Klagenfurt, Austria. ⟨10.4230/LIPIcs.AofA.2020.15⟩
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-03123680v1  Conference papers
Philippe JacquetKrzysztof TurowskiWojciec Szpankowski. Power-Law Degree Distribution in the Connected Component of a Duplication Graph
AofA2020 - 31st International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms, Jun 2020, Klagenfurt, Austria
hal-02966821v1  Conference papers
Sebastien TripodiLiuyun DuanVeronique PoujadeFrederic TrastourJean-Philippe Bauchet et al.  Operational Pipeline for Large-scale 3D Reconstruction of Buildings from Satellite Images
IGARSS 2020 - IEEE International Geoscience and Remote Sensing Symposium, Sep 2020, Big Island/Virtuel, United States
hal-02573423v2  Conference papers
Christina KatsamakiFabrice RouillierElias TsigaridasZafeirakis Zafeirakopoulos. On the Geometry and the Topology of Parametric Curves
ISSAC 2020 - International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata / Virtual, Greece
hal-02970672v1  Conference papers
Wentao TangQinghua ZhangZhenhua WangYi Shen. Ellipsoid bundle and its application to set-membership estimation ⋆
IFAC 2020 - IFAC World Congress, Jul 2020, Berlin, Germany. pp.1-6
hal-03125100v1  Conference papers
Emilio JorgeHannes ErikssonChristos DimitrakakisDebabrota BasuDivya Grover. Inferential Induction: A Novel Framework for Bayesian Reinforcement Learning
"I Can't Believe It's Not Better!" at NeurIPS Workshops, Dec 2020, Vancouver, Canada. pp.43-52
hal-02611917v1  Book sections
Binbin XuCédric Gil-JardinéFrantz ThiessardÉric TellierMarta Avalos et al.  Pre-Training a Neural Language Model Improves the Sample Efficiency of an Emergency Room Classification Model
Roman Barták, Eric Bell. Proceedings of the 33rd International Florida Artificial Intelligence Research Society Conference, The AAAI Press, 2020, 978-1-57735-821-3
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-03137098v1  Conference papers
Stéphane DucasseLaurine DargaudGuillermo Polito. Microdown: a clean and extensible markup language to support Pharo documentation
International Workshop of Smalltalk Technologies, Nov 2020, virtual, France
hal-03098614v1  Conference papers
Michaël CadilhacFilip MazowieckiCharles PapermanMichał PilipczukGéraud Sénizergues. On polynomial recursive sequences
ICALP 2020 - 47th International Colloquium on Automata, Languages and Programming, Jul 2020, Saarbrücken / Virtual, Germany. ⟨10.4230/LIPIcs.ICALP.2020.117⟩
hal-02492780v2  Conference papers
Rustam AzimovJoachim NiehrenSylvain Salvati. Jumping Evaluation of Nested Regular Path Queries
Bases de données avancées, Sep 2020, Online, France
hal-03141015v1  Directions of work or proceedings
Itai DinurGaëtan Leurent. IACR Transactions on Symmetric Cryptology
IACR Transactions on Symmetric Cryptology, 2020 (2), 2020
hal-03141016v1  Directions of work or proceedings
Itai DinurGaëtan Leurent. IACR Transactions on Symmetric Cryptology
IACR Transactions on Symmetric Cryptology, 2020 (3), 2020
hal-03141012v1  Directions of work or proceedings
Gaëtan LeurentYu Sasaki. IACR Transactions on Symmetric Cryptology
IACR Transactions on Symmetric Cryptology, 2019 (4), 2020
hal-03141018v1  Directions of work or proceedings
Itai DinurGaëtan Leurent. IACR Transactions on Symmetric Cryptology
IACR Transactions on Symmetric Cryptology, 2020 (S1), 2020
hal-03141017v1  Directions of work or proceedings
Itai DinurGaëtan Leurent. IACR Transactions on Symmetric Cryptology
France. IACR Transactions on Symmetric Cryptology, 2020 (4), 2020
hal-03141014v1  Directions of work or proceedings
Gaëtan LeurentYu Sasaki. IACR Transactions on Symmetric Cryptology
IACR Transactions on Symmetric Cryptology, 2020 (1), 2020
hal-02436218v1  Conference papers
Fabio PizzatiRaoul de CharetteMichela ZaccariaPietro Cerri. Domain Bridge for Unpaired Image-to-Image Translation and Unsupervised Domain Adaptation
Winter Conference on Applications of Computer Vision (WACV ’20), Mar 2020, Snowmass, United States. ⟨10.1109/WACV45572.2020.9093540⟩
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-02933641v1  Conference papers
Edward BeechingJilles DibangoyeOlivier SimoninChristian Wolf. Learning to plan with uncertain topological maps
ECCV 2020 - 16th European Conference on Computer Vision, Aug 2020, Glasgow, United Kingdom. pp.1-24
hal-02899338v1  Conference papers
Loïc RouquetteChristine Solnon. abstractXOR: A global constraint dedicated to differential cryptanalysis
26th International Conference on Principles and Practice of Constraint Programming, Sep 2020, Louvain-la-Neuve, Belgium. pp.566--584
hal-02864146v1  Conference papers
Edward BeechingJilles DibangoyeOlivier SimoninChristian Wolf. EgoMap: Projective mapping and structured egocentric memory for Deep RL
ECML-PKDD 2020 - European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Sep 2020, ghent, Belgium. pp.1-12
hal-02934130v1  Conference papers
Edward BeechingChristian WolfJilles DibangoyeOlivier Simonin. Deep Reinforcement Learning on a Budget: 3D Control and Reasoning Without a Supercomputer
ICPR 2020 - 25th International Conference on Pattern Recognition, Dec 2020, Milan, Italy. pp.1-16
hal-02912925v1  Conference papers
Benoit RenaultJacques SaraydaryanOlivier Simonin. Modeling a Social Placement Cost to Extend Navigation Among Movable Obstacles (NAMO) Algorithms
IROS 2020 - IEEE/RSJ International Conference on Intelligent Robots and Systems, Oct 2020, Las Vegas, United States. pp.11345-11351, ⟨10.1109/IROS45743.2020.9340892⟩
hal-02936838v1  Documents associated with scientific events
Vincent Roca. From ROBERT to DESIRE exposure notification: situation and lessons learned
Workshop on Security and Privacy in Contact Tracing, Sep 2020, Vienna, Austria
hal-03112866v1  Conference papers
Shin-Ya KatsumataExequiel RivasTarmo Uustalu. Interaction Laws of Monads and Comonads
LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbrücken / Virtual, Germany. pp.604-618, ⟨10.1145/3373718.3394808⟩
hal-02651359v1  Poster communications
Guillaume CelosiaMathieu Cunche. DEMO: Venom: a Visual and Experimental Bluetooth Low Energy Tracking System
WiSec 2020 - 13th ACM Conference on Security and Privacy in Wireless and Mobile Networks, Jul 2020, Linz, Austria. ⟨10.1145/3395351.3401696⟩
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-03004421v1  Conference papers
Ivan LaneseIain PhillipsIrek Ulidowski. An Axiomatic Approach to Reversible Computation
FoSSaCS 2020 - 23rd International Conference on Foundations of Software Science and Computation Structures, Apr 2020, Dublin, Ireland. pp.442 - 461, ⟨10.1007/978-3-030-45231-5_23⟩
hal-03027945v1  Conference papers
Ghoshana BistaEddy CaronAnne-Lucie Vion. A Study On Optimizing VNF Software Cost
GIIS 2020 - Global Information Infrastructure and Networking Symposium, Oct 2020, Tunis, Tunisia. pp.1-4, ⟨10.1109/GIIS50753.2020.9248486⟩
hal-02869805v1  Journal articles
Russ HarmerEugenia Oshurko. Knowledge representation and update in hierarchies of graphs
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2020, 114, pp.100559. ⟨10.1016/j.jlamp.2020.100559⟩
hal-02417953v1  Conference papers
Pierre LecaWijnand SuijlenLudovic HenrioFrançoise Baude. Distributed futures for efficient data transfer between parallel processes
SAC 2020 - 35th ACM/SIGAPP Symposium On Applied Computing, Mar 2020, Brno, Czech Republic. ⟨10.1145/3341105.3374104⟩
hal-02333553v3  Conference papers
Christian DoczkalDamien Pous. Completeness of an Axiomatization of Graph Isomorphism via Graph Rewriting in Coq
CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2020, New Orleans, LA, United States. ⟨10.1145/3372885.3373831⟩
hal-02948081v2  Conference papers
Julien BraineLaure Gonnord. Proving array properties using data abstraction
Numerical and Symbolic Abstract Domains (NSAD), Nov 2020, Virtual, United States
hal-03080468v1  Reports
Aurélie Kong Win ChangYves CaniouEddy CaronYves Robert. Budget-aware workflow scheduling with DIET
[Research Report] RR-9381, Inria Grenoble Rhône-Alpes. 2020
hal-02463717v3  Conference papers
Ioannis PanagiotasBora Uçar. Engineering fast almost optimal algorithms for bipartite graph matching
ESA 2020 - European Symposium on Algorithms, Sep 2020, Pisa, Italy
tel-03122824v1  Theses
Felipe Rodrigo de Souza. Scheduling Solutions for Data Stream Processing Applications on Cloud-Edge Infrastructure
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEN082⟩
hal-02935911v1  Journal articles
Maria ChudnovskyMarcin PilipczukMichał PilipczukStéphan Thomassé. On the Maximum Weight Independent Set Problem in Graphs without Induced Cycles of Length at Least Five
SIAM Journal on Discrete Mathematics, Society for Industrial and Applied Mathematics, 2020, 34 (2), pp.1472-1483. ⟨10.1137/19M1249473⟩
hal-03024579v1  Journal articles
Changjiang GouAnne BenoitLoris Marchal. Partitioning tree-shaped task graphs for distributed platforms with limited memory
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2020, 31 (7), pp.1533 - 1544. ⟨10.1109/TPDS.2020.2971200⟩
hal-03008405v1  Conference papers
Ludovic HenrioEinar Broch JohnsenViolet Ka I. Pun. Active Objects with Deterministic Behaviour
Integrated Formal Methods. IFM 2020, Nov 2020, Lugano, Switzerland. pp.181-198, ⟨10.1007/978-3-030-63461-2_10⟩
tel-03045844v1  Theses
Marc de Visme. Quantum Game Semantics
Logic in Computer Science [cs.LO]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEN056⟩
hal-02796730v1  Conference papers
Frédéric HavetDorian MazauricViet-Ha NguyenRémi Watrigant. Overlaying a hypergraph with a graph with bounded maximum degree
ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France
hal-02517784v2  Journal articles
Jean-Michel Muller. Elementary Functions and Approximate Computing
Proceedings of the IEEE, Institute of Electrical and Electronics Engineers, 2020, 108 (12), pp.1558-2256. ⟨10.1109/JPROC.2020.2991885⟩
hal-02993611v1  Conference papers
Shweta AgrawalBenoît LibertMonosij MaitraRadu Titiu. Adaptive Simulation Security for Inner Product Functional Encryption
PKC 2020 - International Conference on Public Key Cryptography, Jun 2020, Virtual, United Kingdom. pp.1-30
hal-02993617v1  Conference papers
Benoît LibertKhoa NguyenAlain PasselègueRadu Titiu. Simulation-Sound Arguments for LWE and Applications to KDM-CCA2 Security
Asiacrypt 2020 - 26th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2020, Virtual, South Korea. pp.1-67
hal-02977879v1  Conference papers
Li HanYiqin GaoJing LiuYves RobertFrédéric Vivien. Energy-aware strategies for reliability-oriented real-time task allocation on heterogeneous platforms
ICPP 2020 - 49th International Conference on Parallel Processing, Aug 2020, Edmonton Alberta, Canada. pp.1-11, ⟨10.1145/3404397.3404419⟩
hal-03048742v1  Conference papers
Paul IannettaLaure GonnordLionel Morel. On optimizing scalar self-rebalancing trees
COMPAS 2020 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Jun 2020, Lyon, France. pp.1-7
hal-03039850v1  Conference papers
Sébastien CanardAdel HamdiFabien Laguillaumie. Blind Functional Encryption
ICICS 2020 - International Conference on Information and Communications Security, Aug 2020, Copenhagen, Denmark. pp.183-201, ⟨10.1007/978-3-030-61078-4_11⟩
tel-03099617v1  Theses
Arthur Chevalier. Optimization of software license placement in the Cloud for economical and efficient deployment
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEN071⟩
hal-02910997v3  Conference papers
Filip PawłowskiRob BisselingBora UçarAlbert-Jan Yzelman. Combinatorial Tiling for Sparse Neural Networks
2020 IEEE High Performance Extreme Computing (virtual conference), Sep 2020, Waltham, MA, United States
hal-02972296v1  Reports
Anne BenoitRedouane ElghaziYves Robert. Max-stretch minimization on an edge-cloud platform
[Research Report] RR-9369, Inria - Research Centre Grenoble – Rhône-Alpes. 2020, pp.37