Skip to Main content Skip to Navigation

hal-02933477v1  Conference papers
Adélaïde GenayAnatole LécuyerMartin Hachet. Incarner un Avatar en Réalité Augmentée : Revue de la Littérature
WACAI 2020 - Workshop sur les Affects, Compagnons artificiels et Interactions, CNRS, Université Toulouse Jean Jaurès, Université de Bordeaux, Jun 2020, Saint Pierre d'Oléron, France
hal-02946930v2  Reports
Guillaume AmbalAlan SchmittSergueï Lenglet. Automatic Transformation of a Big-Step Skeletal Semantics into Small-Step
[Research Report] RR-9363, Inria Rennes - Bretagne Atlantique. 2020
hal-02936968v1  Book sections
Arnaud LallouetYves MoinardPascal NicolasIgor Stephan. Logic Programming
A Guided Tour of Artificial Intelligence Research, 2020, ⟨10.1007/978-3-030-06167-8_4⟩
hal-02536463v2  Journal articles
Guillaume AmbalSergueï LengletAlan Schmitt. HOπ in Coq
Journal of Automated Reasoning, Springer Verlag, 2020, ⟨10.1007/s10817-020-09553-0⟩
hal-02476478v1  Journal articles
Ricardo MarquesChristian BouvilleKadi Bouatouch. Spectral Analysis of Quadrature Rules and Fourier Truncation-based Methods Applied to Shading Integrals
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, In press, pp.1-1. ⟨10.1109/TVCG.2019.2913418⟩
hal-02437474v1  Journal articles
Sébastien FerréPeggy Cellier. Graph-FCA: An extension of formal concept analysis to knowledge graphs
Discrete Applied Mathematics, Elsevier, 2020, 271, pp.81-102
hal-02864914v1  Journal articles
Stefan KölblElmar TischhauserPatrick DerbezAndrey Bogdanov. Troika: a ternary cryptographic hash function
Designs, Codes and Cryptography, Springer Verlag, 2020, 88 (1), pp.91-117. ⟨10.1007/s10623-019-00673-2⟩
tel-02509756v1  Habilitation à diriger des recherches
Nicolas Gast. Refinements of Mean Field Approximation
Performance [cs.PF]. Université Grenoble Alpes, 2020
hal-01332481v3  Journal articles
Jan BlechtaJosef MálekMartin Vohralík. Localization of the $W^{-1,q}$ norm for local a posteriori efficiency
IMA Journal of Numerical Analysis, Oxford University Press (OUP), 2020, 40 (2), pp.914-950. ⟨10.1093/imanum/drz002⟩
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-03087578v1  Conference papers
Walid AmehriGang ZhengAlexandre Kruszewski. FEM Based Workspace Estimation for Soft Robots: a Forward-Backward Interval Analysis Approach
2020 3rd IEEE International Conference on Soft Robotics (RoboSoft), May 2020, New Haven, United States. pp.170-175, ⟨10.1109/RoboSoft48309.2020.9116002⟩
hal-03043779v1  Conference papers
Matteo MarraGuillermo PolitoElisa Gonzalez Boix. Framework-aware debugging with stack tailoring
SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity, Nov 2020, Virtual USA, United States. pp.71-84, ⟨10.1145/3426422.3426982⟩
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-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-03088227v1  Conference papers
Nida KhanAbdelkader LahmadiZsofia KräusslRadu State. Management plane for differential privacy preservation through smart contracts
AICCSA 2020 - 17th ACS/IEEE International Conference on Computer Systems and Applications, Nov 2020, Antalya / Virtual, Turkey
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-03087716v1  Conference papers
Alberto Marchetti-SpaccamelaNicole MegowJens SchlöterMartin SkutellaLeen Stougie. On the Complexity of Conditional DAG Scheduling in Multiprocessor Systems
IPDPS 2020 - IEEE International Parallel and Distributed Processing Symposium, May 2020, New Orleans / Virtual, United States. pp.1061-1070, ⟨10.1109/IPDPS47924.2020.00112⟩
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-03089375v1  Book sections
Pascal PoulletPriscilla RamsamyMario Ricchiuto. Residual based method for sediment transport
Recent Advances in Numerical methods for Hyperbolic PDE Systems. Selected talks of Numhyp 2019, In press
hal-02971638v1  Conference papers
Tarek Ahmed-AliQinghua ZhangFouad GiriXingwen Liu. Transforming Time-Delay System Observers to Adaptive Observers
IFAC 2020 - IFAC World Congress, Jul 2020, Berlin, Germany. pp.1-5
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-02986528v1  Conference papers
Thibaud ToullierJean DumoulinLaurent Mevel. Study and development of an image synthesis software for the simulation of in-situ 3D scenes monitored by infrared cameras
QIRT 2020 - 15th Quantitative InfraRed Thermography conference, Sep 2020, Virtual, Portugal
hal-02375397v1  Journal articles
Jean-Marc Couveignes. Enumerating number fields
Annals of Mathematics, Princeton University, Department of Mathematics, 2020, 192 (2), pp.487-497. ⟨10.4007/annals.2020.192.2.4⟩
hal-02502648v1  Conference papers
Romain TerrierValérie GourantonCédric BachNico PallaminBruno Arnaldi. Scenario-based VR Framework for Product Design
VISIGRAPP 2020 - 15th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, Feb 2020, Valletta, Malta. pp.1-8
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-03146470v1  Directions of work or proceedings
Ulrich SchwardmannChristian BoehmeDora HerasValeria CardellinEmmanuel Jeannot et al.  Euro-Par 2019: Parallel Processing Workshops
Aug 2019, Göttingen, Germany. 11997, Springer, 2020, Lecture Notes in Computer Science, 978-3-030-48339-5. ⟨10.1007/978-3-030-48340-1⟩
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-03197446v1  Directions of work or proceedings
Simon BliudzeMohamed Atig. Special Issue: 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2018)
Innovations in Systems and Software Engineering, 16 (2), Springer Nature, 2020
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-03010556v1  Conference papers
Martin HeusseTakwa AttiaChristelle CaillouetFranck RousseauAndrzej Duda. Capacity of a LoRaWAN Cell
MSWiM 2020 - 23rd International ACM Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, Nov 2020, Alicante, Spain. pp.131-140, ⟨10.1145/3416010.3423228⟩
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-02164770v1  Book sections
Jean-Baptiste BarreauEmmanuel LanoëRonan Gaugne. 3D Sketching of the Fortified Entrance of the Citadel of Aleppo from a Few Sightseeing Photos
Horst Kremers. Digital Cultural Heritage, Springer International Publishing, pp.359-371, 2020, 978-3-030-15200-0. ⟨10.1007/978-3-030-15200-0_24⟩
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-03038560v1  Conference papers
Sébastien CanardAdela GeorgescuGuillaume KaimAdeline Roux-LangloisJacques Traoré. Constant-Size Lattice-Based Group Signature with Forward Security in the Standard Model
ProvSec 2020 - the 14th International Conference on Provable and Practical Security, Nov 2020, Singapore / Virtual, Singapore. pp.24-44, ⟨10.1007/978-3-030-62576-4_2⟩
hal-02944908v1  Conference papers
Patrick DerbezPaul HuynhVirginie LallemandMaría Naya-PlasenciaLéo Perrin et al.  Cryptanalysis Results on Spook: Bringing Full-round Shadow-512 to the Light
CRYPTO 2020 - 40th Annual International Cryptology Conference, Aug 2020, Santa Barbara / Virtual, United States. pp.359--388, ⟨10.1007/978-3-030-56877-1_13⟩
hal-01888300v2  Journal articles
Yves MocquardBruno SericolaEmmanuelle Anceaume. Probabilistic Analysis of Rumor Spreading Time
INFORMS Journal on Computing, Institute for Operations Research and the Management Sciences (INFORMS), 2020, 32 (1), ⟨10.1287/ijoc.2018.0845⟩
hal-03024408v1  Conference papers
Antoine DurandGuillaume HébertKhalifa ToumiGérard MemmiEmmanuelle Anceaume. The StakeCube blockchain : Instantiation, Evaluation & Applications
BCCA 2020 - International Conference on Blockchain Computing and Applications, Nov 2020, Virtual, Turkey. pp.1-8
hal-03090182v1  Directions of work or proceedings
Anne CanteautGohar KyureghyanAlexander PottFélix Ulmer. Coding and Cryptography 2019
Designs, Codes and Cryptography, 88 (9), 2020, ⟨10.1007/s10623-020-00791-2⟩
hal-02896342v2  Journal articles
Joris DuguépérouxTristan Allard. From Task Tuning to Task Assignment in Privacy-Preserving Crowdsourcing Platforms
Transactions on Large-Scale Data- and Knowledge-Centered Systems, Springer Berlin / Heidelberg, 2020, pp.67-107. ⟨10.1007/978-3-662-62271-1_3⟩
hal-03038124v1  Conference papers
Olivier BernardAdeline Roux-Langlois. Twisted-PHS: Using the Product Formula to Solve Approx-SVP in Ideal Lattices
Asiacrypt 2020 - 26th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2020, Virtual, France
hal-03058482v1  Conference papers
Daniel de Almeida BragaPierre-Alain FouqueMohamed Sabt. Dragonblood is Still Leaking: Practical Cache-based Side-Channel in the Wild
ACSAC 2020 - Annual Computer Security Applications Conference, Dec 2020, Austin / Virtual, United States. pp.291-303, ⟨10.1145/3427228.3427295⟩
hal-02473843v1  Conference papers
Giuseppe Di LunaEmmanuelle AnceaumeSilvia BonomiLeonardo Querzoni. Synchronous Byzantine Lattice Agreement in O(log(f )) Rounds
ICDCS 2020 - 40th IEEE International Conference on Distributed Computing Systems, IEEE, Nov 2020, Singapore, Singapore. pp.1-11
hal-03043681v1  Conference papers
Geoffrey SaunoisFrédérique RobinEmmanuelle AnceaumeBruno Sericola. Permissionless Consensus based on Proof-of-Eligibility
NCA 2020 - 19th IEEE International Symposium on Network Computing and Applications, Nov 2020, Boston (virtual venue), United States
hal-03198562v1  Conference papers
Didier FassStéphanie Thiéry. Cybersecurity risks and situation awareness: Audit committees' appraisal
AHFE 2020 - Advances in Human Factors in Cybersecurity, Jul 2020, Virtual Conference, United States. pp.83-87, ⟨10.1007/978-3-030-52581-1_11⟩
hal-02566587v1  Conference papers
Anne KiefferPatrick MailléBruno Tuffin. Non Neutrality With Users Deciding Differentiation: A Satisfying Option?
IEEE/ACM International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS) Workshop, Nov 2020, Nice, France
hal-02542689v1  Conference papers
Ximun CastoreoPatrick MailléBruno Tuffin. Weaknesses and Challenges of Network Neutrality Measurement Tools
16th International Conference on Network and Service Management (CNSM), Nov 2020, Bordeaux, France
hal-01938939v1  Conference papers
Patrick MailléBruno Tuffin. A Network Reliability Game
17th International Conference on the Economics of Grids, Clouds, Systems, and Services (GECON),, Sep 2020, Izola, Slovenia
hal-03123981v1  Conference papers
Geoffrey CideronMathieu SeurinFlorian StrubOlivier Pietquin. HIGhER: Improving instruction following with Hindsight Generation for Experience Replay
ADPRL 2020 - IEEE SSCI Conference on Adaptive Dynamic Programming and Reinforcement Learning, Dec 2020, Camberra / Virtual, Australia
hal-02305957v2  Journal articles
Alessio AntoniniMari Carmen Suárez-FigueroaAlessandro AdamouFrancesca BenattiFrançois Vignale et al.  Understanding the phenomenology of reading through modelling
Semantic Web – Interoperability, Usability, Applicability, IOS Press, In press, 12 (2), pp.191-217. ⟨10.3233/SW-200396⟩