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-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-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-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-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-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-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-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-02559125v1  Conference papers
Radu MateescuWendelin SerweAymane BouzafourMarc Renaudin. Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks
MARS 2020 - 4th Workshop on Models for Formal Analysis of Real Systems, 2020, Dublin, Ireland. pp.200-239, ⟨10.4204/EPTCS.316.8⟩
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-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-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-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-03070784v1  Directions of work or proceedings
Alban QuadratEva Zerz. Algebraic and Symbolic Computation Methods in Dynamical Systems
Alban Quadrat, Eva Zerz. 9, Springer, pp.311, 2020, Advances in Delays and Dynamics, 978-3-030-38355-8. ⟨10.1007/978-3-030-38356-5⟩
hal-02881559v1  Conference papers
Olivier BilennePanayotis MertikopoulosElena Veronica Belmega. Derivative-Free Optimization over Multi-User MIMO Networks
NetGCoop '20: The 2020 International Conference on Network Games, Control and Optimization, 2020, Cargese, France
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-02401223v1  Book sections
Eitan AltmanCorinne TouatiNisha MishraHisao Kameda. Load Balancing Congestion Games and Their Asymptotic Behavior
Advances in Dynamic Games, Birkhäuser, pp.229-251, 2020
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-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-02350249v1  Journal articles
Matthieu PichenéSucheendra PalaniappanEric FabreBlaise Genest. Modeling Variability in Populations of Cells using Approximated Multivariate Distributions
IEEE/ACM Transactions on Computational Biology and Bioinformatics, Institute of Electrical and Electronics Engineers, 2020, 17 (5), pp.1691-1702. ⟨10.1109/TCBB.2019.2904276⟩
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-02399166v1  Journal articles
Manuel LeducThomas DegueuleEric van WykBenoit Combemale. The Software Language Extension Problem
Software and Systems Modeling, Springer Verlag, 2020, 19 (2), pp.263-267. ⟨10.1007/s10270-019-00772-7⟩
hal-02146543v2  Journal articles
Jörg KienzleGunter MussbacherBenoit CombemaleLucy BastinNelly Bencomo et al.  Towards Model-Driven Sustainability Evaluation
Communications of the ACM, Association for Computing Machinery, 2020, 63 (3), pp.80-91. ⟨10.1145/3371906⟩
hal-03048809v1  Journal articles
Erwan Le MerrerGilles Trédan. Remote explainability faces the bouncer problem
Nature Machine Intelligence, Nature Research, 2020, 2 (9), pp.529-539. ⟨10.1038/s42256-020-0216-z⟩
hal-02896775v1  Journal articles
Youcef BouzianeMustapha Kamel AbdiSalah Sadou. Automatically Labelled Software Topic Model
International journal of open source software & processes, IGI Global, 2020, 11 (1), pp.57-78. ⟨10.4018/IJOSSP.2020010104⟩
hal-02949516v1  Journal articles
Steven DerrienThibaut MartySimon RokickiTomofumi Yuki. Toward Speculative Loop Pipelining for High-Level Synthesis
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE, 2020, 39 (11), pp.4229 - 4239. ⟨10.1109/TCAD.2020.3012866⟩
hal-03124029v1  Journal articles
Zenadji SyliaCédric GueguenBrikh LamineTalbi LarbiKhireddine Abdelkrim. New strategy for resource allocation using PSO-PFS hybrid
International Journal of Wireless and Mobile Computing, Inderscience, 2020
hal-02422782v1  Book sections
Fabice GuilleminMarie-Ange RemicheBruno Sericola. Busy period, congestion analysis and loss probability in fluid queues
Vladimir Anisimov and Nikolaos Limnios. Advanced Trends in Queueing Theory, 1, Iste & J. Wiley, London, In press, Mathematics and Statistics Series, Sciences
hal-02795484v1  Journal articles
Timothée HaudebourgThomas GenetThomas Jensen. Regular Language Type Inference with Term Rewriting - extended version
Proceedings of the ACM on Programming Languages, ACM, 2020, International Conference on Functional Programming (ICFP), 4 (ICFP), pp.1-29. ⟨10.1145/3408994⟩
hal-02876536v1  Journal articles
Gunter MussbacherBenoit CombemaleJörg KienzleSilvia AbrahãoHyacinth Ali et al.  Opportunities in Intelligent Modeling Assistance
Software and Systems Modeling, Springer Verlag, 2020, 19 (5), pp.1045-1053. ⟨10.1007/s10270-020-00814-5⟩
hal-02512117v1  Reports
Joan ThibaultKhalil Ghorbal. Ordered Functional Decision Diagrams
[Research Report] RR-9333, Inria. 2020
hal-03137877v1  Journal articles
Alfonso PierantonioMark van Den BrandBenoit Combemale. Open Access: all you wanted to know and never dared to ask
The Journal of Object Technology, Chair of Software Engineering, 2020, 19 (1), pp.1-4. ⟨10.5381/jot.2020.19.1.e1⟩
hal-02462214v1  Journal articles
Benoît Combès. miet: an R package for region of interest analysis from magnetic reasonance images
Journal of Open Source Software, Open Journals, 2020, 5 (45), pp.1862. ⟨10.21105/joss.01862⟩
hal-03038344v1  Journal articles
Florian BertonFabien GrzeskowiakAlexandre BonneauAlberto JovaneMarco Aggravi et al.  Crowd Navigation in VR: exploring haptic rendering of collisions
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2020, pp.12. ⟨10.1109/TVCG.2020.3041341⟩
hal-02539261v1  Journal articles
Minh-Tan Pham. Fusion of Polarimetric Features and Structural Gradient Tensors for VHR PolSAR Image Classification
IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing, IEEE, In press, 11 (10), pp.3732-3742. ⟨10.1109/JSTARS.2018.2868545⟩
hal-02866777v1  Conference papers
Moritz LippVedad HadžićMichael SchwarzArthur PeraisClémentine Maurice et al.  Take A Way: Exploring the Security Implications of AMD's Cache Way Predictors
15th ACM ASIA Conference on Computer and Communications Security (ACM ASIACCS 2020), 2020, Taipei, Taiwan. ⟨10.1145/3320269.3384746⟩
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⟩
hal-03102846v1  Journal articles
Ronan GaugneValérie Gouranton. De la tomographie à l'interaction 3D en eXtented Reality
Les Nouvelles de l'archéologie, Maison des Sciences de l'Homme, 2020, pp.79-84. ⟨10.4000/nda.9662⟩
hal-02021347v1  Journal articles
Francesco ChinelloMonica MalvezziDomenico PrattichizzoClaudio Pacchierotti. A modular wearable finger interface for cutaneous and kinesthetic interaction: control and evaluation
IEEE Transactions on Industrial Electronics, Institute of Electrical and Electronics Engineers, 2020, 67 (1), pp.706-716. ⟨10.1109/TIE.2019.2899551⟩
hal-02784764v3  Conference papers
Alexis BlandinGwénolé LecorvéDelphine BattistelliAline Étienne. Recommandation d'âge pour des textes
6e conférence conjointe Journées d'Études sur la Parole (JEP, 33e édition), Traitement Automatique des Langues Naturelles (TALN, 27e édition), Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RÉCITAL, 22e édition). Volume 2 : Traitement Automatique des Langues Naturelles, 2020, Nancy, France. pp.164-171
hal-02553363v1  Book sections
Julian MurphyGareth HowellsKlaus Mcdonald-MaierGhadfi SamiGilles Falquet et al.  A Framework for Security and Privacy for the Internet of Things (SPIRIT)
Security and Privacy in the Internet of Things: Challenges and Solutions, 27, IOS Press, pp.129-147, 2020, Ambient Intelligence and Smart Environments, 978-1-64368-053-8. ⟨10.3233/AISE200009⟩
hal-02176369v1  Journal articles
Siwar JendoubiArnaud Martin. Evidential positive opinion influence measures for viral marketing
Knowledge and Information Systems (KAIS), Springer, 2020, 62, pp.1037-1062. ⟨10.1007/s10115-019-01375-w⟩
hal-03008902v1  Conference papers
Diane DewezLudovic HoyetAnatole LécuyerFerran Argelaguet Sanz. Studying the Inter-Relation Between Locomotion Techniques and Embodiment in Virtual Reality
IEEE International Symposium on Mixed and Augmented Reality (ISMAR), 2020, Arrecife, Brazil. pp.1-10
hal-01950791v1  Journal articles
Jean-Dominique FavreauFlorent LafargeAdrien BousseauAlex Auvolat. Extracting Geometric Structures in Images with Delaunay Point Processes
IEEE Transactions on Pattern Analysis and Machine Intelligence, Institute of Electrical and Electronics Engineers, 2020, 42 (4), ⟨10.1109/TPAMI.2018.2890586⟩