Skip to Main content Skip to Navigation


...
hal-01956180v3  Journal articles
Iain SmearsMartin Vohralík. Simple and robust equilibrated flux a posteriori estimates for singularly perturbed reaction-diffusion problems
ESAIM: Mathematical Modelling and Numerical Analysis, EDP Sciences, 2020, 54 (6), pp.1951-1973. ⟨10.1051/m2an/2020034⟩
...
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-02442233v2  Conference papers
Clément CancèsFlore Nabet. Energy stable discretization for two-phase porous media flows
Finite Volumes for Complex Applications IX, Jun 2020, Bergen, Norway
...
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-02594725v1  Conference papers
Alexis JuvenXavier Hinaut. Cross-Situational Learning with Reservoir Computing for Language Acquisition Modelling
2020 International Joint Conference on Neural Networks (IJCNN 2020), Jul 2020, Glasgow, Scotland, United Kingdom
...
hal-02594495v1  Conference papers
Luca PedrelliXavier Hinaut. Hierarchical-Task Reservoir for Anytime POS Tagging from Continuous Speech
2020 International Joint Conference on Neural Networks (IJCNN 2020), Jul 2020, Glasgow, Scotland, United Kingdom
...
tel-03087274v2  Theses
Léo Maczyta. Dynamic visual saliency in image sequences
Signal and Image processing. Université Rennes 1, 2020. English. ⟨NNT : 2020REN1S046⟩
...
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-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-03137878v1  Conference papers
Etienne MaheuxIgor KovalDamiano ArchettiAlberto RedolfiStanley Durrleman​. Forecast of the MMSE score up to 6 years ahead, with cross-cohort replications
CompAge 2020 - Computational approaches for ageing and age-related diseases, Sep 2020, Paris / Virtual, France
...
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-03087284v1  Conference papers
Luxin ZhangPascal GermainYacine KessaciChristophe Biernacki. Target to Source Coordinate-wise Adaptation of Pre-trained Models
ECML PKDD 2020 - The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Sep 2020, Ghent / Virtual, Belgium
...
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-01840993v1  Journal articles
Eric CancèsVirginie EhrlacherFrédéric LegollBenjamin StammShuyang Xiang. An embedded corrector problem for homogenization. Part I: Theory
Multiscale Modeling and Simulation: A SIAM Interdisciplinary Journal, Society for Industrial and Applied Mathematics, 2020, 18 (3), pp.1179-1209. ⟨10.1137/18M120035X⟩
...
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-03146558v1  Poster communications
Xavier HinautAlexandre Variengien. Recurrent Neural Networks Models for Developmental Language Acquisition: Reservoirs Outperform LSTMs
SNL 2020 - 12th Annual Meeting of the Society for the Neurobiology of Language, Oct 2020, Virtual Edition, Canada
...
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-03066152v1  Books
Robin GenuerJean-Michel Poggi. Random Forests with R
Springer International Publishing, pp.98, 2020, Use R!, 978-3-030-56485-8. ⟨10.1007/978-3-030-56485-8⟩
...
hal-03107636v1  Journal articles
Haik SilmRosane UshirobiraDenis EfimovEmilia FridmanJean-Pierre Richard et al.  Distributed observers with time-varying delays
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2020, ⟨10.1109/TAC.2020.3044271⟩
...
hal-02909626v1  Conference papers
Alex Reis de SouzaDenis EfimovTarek RaissiXubin Ping. Robust Output Feedback MPC: An Interval-Observer Approach
Proc. IEEE CDC 2020, Dec 2020, Jeju Island, South Korea
...
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, http://tweb.acm.org/, 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-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-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⟩