By continuing your visit to this site you accept the use of cookies to offer you content and services tailored to your interests

 

CNRS ENS Lyon inria 200x200 blurb
UCB Lyon logo univ lyon 200x200 blurb

 


Publications HAL de la structure 178327; 179717; 528454; 205728; 458310; 179718; 35418

2021

Journal articles

titre
Subspace Detours Meet Gromov-Wasserstein
auteur
Clément Bonet, Titouan Vayer, Nicolas Courty, François Septier, Lucas Drumetz
article
Algorithms, MDPI, 2021, Special Issue Optimal Transport: Algorithms and Applications, 14, pp.1-29. ⟨10.3390/a14120366⟩
Accès au bibtex
https://arxiv.org/pdf/2110.10932 BibTex
titre
On the tree-width of even-hole-free graphs
auteur
Pierre Aboulker, Isolde Adler, Eun Jung Kim, Ni Luh Dewi Sintiari, Nicolas Trotignon
article
European Journal of Combinatorics, Elsevier, 2021, 98, pp.103394. ⟨10.1016/j.ejc.2021.103394⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03367072/file/Main-1.pdf BibTex
titre
Dynamics of cascades on burstiness-controlled temporal networks
auteur
Samuel Unicomb, Gerardo Iñiguez, James Gleeson, Màrton Karsai
article
Nature Communications, Nature Publishing Group, 2021, 12 (1), pp.1-9. ⟨10.1038/s41467-020-20398-4⟩
Accès au bibtex
BibTex
titre
Derandomization and absolute reconstruction for sums of powers of linear forms
auteur
Pascal Koiran, Mateusz Skomra
article
Theoretical Computer Science, Elsevier, 2021, 887, pp.63-84. ⟨10.1016/j.tcs.2021.07.005⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03457373/file/1912.pdf BibTex
titre
Modular coinduction up-to for higher-order languages via first-order transition systems
auteur
Jean-Marie Madiot, Damien Pous, Davide Sangiorgi
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2021, Volume 17, Issue 3, ⟨10.46298/lmcs-17(3:25)2021⟩
Accès au bibtex
https://arxiv.org/pdf/2001.07063 BibTex
titre
Sketching Data Sets for Large-Scale Learning: Keeping only what you need
auteur
Rémi Gribonval, Antoine Chatalic, Nicolas Keriven, Vincent Schellekens, Laurent Jacques, Philip Schniter
article
IEEE Signal Processing Magazine, Institute of Electrical and Electronics Engineers, 2021, 38 (5), pp.12-36. ⟨10.1109/MSP.2021.3092574⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03350599/file/SPM_paper.pdf BibTex
titre
Modular, compositional, and executable formal semantics for LLVM IR
auteur
Yannick Zakowski, Calvin Beck, Irene Yoon, Ilia Zaichuk, Vadim Zaliva, Steve Zdancewic
article
Proceedings of the ACM on Programming Languages, ACM, 2021, 5 (ICFP), pp.1-30. ⟨10.1145/3473572⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03525711/file/vellvm_design_final.pdf BibTex
titre
Compressive Statistical Learning with Random Feature Moments
auteur
Rémi Gribonval, Gilles Blanchard, Nicolas Keriven, Yann Traonmilin
article
Mathematical Statistics and Learning, EMS Publishing House, 2021, 3 (2), pp.113-164. ⟨10.4171/msl/20⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01544609/file/Compressive_learning_sanitized_source.pdf BibTex
titre
Statistical Learning Guarantees for Compressive Clustering and Compressive Mixture Modeling
auteur
Rémi Gribonval, Gilles Blanchard, Nicolas Keriven, Yann Traonmilin
article
Mathematical Statistics and Learning, EMS Publishing House, 2021, 3 (2), pp.165-257. ⟨10.4171/msl/21⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02536818/file/Compressive_learning_part2_sanitized_source.pdf BibTex
titre
Convexly independent subsets of Minkowski sums of convex polygons
auteur
Mateusz Skomra, Stéphan Thomassé
article
Discrete Mathematics, Elsevier, 2021, 344 (8), pp.112472. ⟨10.1016/j.disc.2021.112472⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03457272/file/main.pdf BibTex
titre
Resilient Scheduling of Moldable Parallel Jobs to Cope with Silent Errors
auteur
Anne Benoit, Valentin Le Fèvre, Lucas Perotin, Padma Raghavan, Yves Robert, Hongyang Sun
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2021, pp.1-14. ⟨10.1109/TC.2021.3104747⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03509760/file/moldable_ieeetc.pdf BibTex
titre
Latency-Aware Strategies for Deploying Data Stream Processing Applications on Large Cloud-Edge Infrastructure
auteur
Alexandre da Silva Veith, Marcos Dias de Assuncao, Laurent Lefèvre
article
IEEE Transactions on Cloud Computing, IEEE, 2021, pp.1-12. ⟨10.1109/TCC.2021.3097879⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03347555/file/config-scalability.pdf BibTex
titre
An Optimised Flow for Futures: From Theory to Practice
auteur
Nicolas Chappe, Ludovic Henrio, Amaury Maillé, Matthieu Moy, Hadrien Renaud
article
The Art, Science, and Engineering of Programming, aosa, Inc., 2021, 6 (1), pp.1-41. ⟨10.22152/programming-journal.org/2022/6/3⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03440766/file/2107.07298.pdf BibTex
titre
Standard-compliant parallel SystemC simulation of loosely-timed transaction level models: From baremetal to Linux-based applications support
auteur
Gabriel Busnot, Tanguy Sassolas, Nicolas Ventroux, Matthieu Moy
article
Integration, the VLSI Journal, Elsevier, 2021, 79, pp.23-40. ⟨10.1016/j.vlsi.2020.12.006⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03487607/file/aspdac20-journal.pdf BibTex
titre
Adaptively Secure Distributed PRFs from LWE
auteur
Benoît Libert, Damien Stehlé, Radu Titiu
article
Journal of Cryptology, Springer Verlag, 2021, 34 (3), pp.1-46. ⟨10.1007/s00145-021-09393-0⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03381388/file/DPRF-journal.pdf BibTex
titre
(Theta, triangle)‐free and (even hole, K4)‐free graphs. Part 2: Bounds on treewidth
auteur
Ni Luh Dewi Sintiari, Marcin Pilipczuk, Stéphan Thomassé, Nicolas Trotignon
article
Journal of Graph Theory, Wiley, 2021, 97 (4), pp.624-641. ⟨10.1002/jgt.22675⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03255160/file/TTF-EHF-Part-2-V2.pdf BibTex
titre
Emulating round-to-nearest ties-to-zero "augmented" floating-point operations using round-to-nearest ties-to-even arithmetic
auteur
Sylvie Boldo, Christoph Q. Lauter, Jean-Michel Muller
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2021, 70 (7), pp.1046 - 1058. ⟨10.1109/TC.2020.3002702⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02137968/file/Emulation-RN0-revised.pdf BibTex
titre
Coinductive Algorithms for Büchi Automata
auteur
Damien Pous, Denis Kuperberg, Laureline Pinault
article
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2021, 180 (4), pp.351-373. ⟨10.3233/FI-2021-2046⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03364935/file/main.pdf BibTex
titre
Assigning Channels in WLANs with Channel Bonding: A Fair and Robust Strategy
auteur
Amel Chadda, Marija Stojanova, Thomas Begin, Anthony Busson, Isabelle Guérin-Lassous
article
Computer Networks, Elsevier, 2021, pp.1-17. ⟨10.1016/j.comnet.2021.108200⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03281096/file/Computer_networks-1.pdf BibTex
titre
Covert Cycle Stealing in a Single FIFO Server
auteur
Bo Jiang, Philippe Nain, Don Towsley
article
ACM Transactions on Modeling and Performance Evaluation of Computing Systems, ACM, 2021, 6 (2), pp.1-33. ⟨10.1145/3462774⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03216762/file/main.pdf BibTex
titre
SO-CCA secure PKE from pairing based all-but-many lossy trapdoor functions
auteur
Dingding Jia, Benoît Libert
article
Designs, Codes and Cryptography, Springer Verlag, 2021, 89 (5), pp.895-923. ⟨10.1007/s10623-021-00849-9⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03380672/file/DCC21.pdf BibTex
titre
Monoparametric Tiling of Polyhedral Programs
auteur
Guillaume Iooss, Christophe Alias, Sanjay Rajopadhye
article
International Journal of Parallel Programming, Springer Verlag, 2021, 49, pp.376-409. ⟨10.1007/s10766-021-00694-2⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02493164/file/MPP_Hal_27_02_20.pdf BibTex
titre
Toward Safe and Efficient Reconfiguration with Concerto
auteur
Maverick Chardet, Hélène Coullon, Simon Robillard
article
Science of Computer Programming, Elsevier, 2021, 203, pp.1-31. ⟨10.1016/j.scico.2020.102582⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03103714/file/concerto-scp.pdf BibTex
titre
Non-Asymptotic Sequential Tests for Overlapping Hypotheses and application to near optimal arm identification in bandit models
auteur
Aurélien Garivier, Emilie Kaufmann
article
Sequential Analysis, Taylor & Francis, 2021
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02123833/file/GK_SQA.pdf BibTex
titre
Explicit degree bounds for right factors of linear differential operators
auteur
Alin Bostan, Tanguy Rivoal, Bruno Salvy
article
Bulletin of the London Mathematical Society, London Mathematical Society, 2021, 53 (1), pp.53--62. ⟨10.1112/blms.12396⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02154679/file/BRS_revise.pdf BibTex
titre
On the Stochastic Analysis of a Quantum Entanglement Distribution Switch
auteur
Gayane Vardoyan, Saikat Guha, Philippe Nain, Don Towsley
article
IEEE Transactions on Quantum Engineering, IEEE, 2021, ⟨10.1109/TQE.2021.3058058⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03175703/file/bipartite_switching_TQE-HAL.pdf BibTex
titre
Privately Outsourcing Exponentiation to a Single Server: Cryptanalysis and Optimal Constructions
auteur
Celine Chevalier, Fabien Laguillaumie, Damien Vergnaud
article
Algorithmica, Springer Verlag, 2021, 83 (1), pp.72-115. ⟨10.1007/s00453-020-00750-2⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02899803/file/manuscript.pdf BibTex
titre
La mécanique quantique comme garant de sécurité pour l’échange de clé secrète
auteur
Omar Fawzi
article
Interstices, INRIA, 2021
Accès au bibtex
BibTex
titre
Defining quantum divergences via convex optimization
auteur
Hamza Fawzi, Omar Fawzi
article
Quantum, Verein, 2021, 5, pp.1-26. ⟨10.22331/q-2021-01-26-387⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03110737/file/renyi_divergence.pdf BibTex
titre
Computing conditional entropies for quantum correlations
auteur
Peter Brown, Hamza Fawzi, Omar Fawzi
article
Nature Communications, Nature Publishing Group, 2021, ⟨10.1038/s41467-020-20018-1⟩
Accès au bibtex
https://arxiv.org/pdf/2007.12575 BibTex
titre
Avoidability of Palindrome Patterns
auteur
Pascal Ochem, Matthieu Rosenfeld
article
The Electronic Journal of Combinatorics, Open Journal Systems, 2021, 28 (1), pp.#1.4. ⟨10.37236/9593⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-03371500/file/9593-PDF%20file-34770-2-10-20210108.pdf BibTex
titre
An aperiodic set of 11 Wang tiles
auteur
Emmanuel Jeandel, Michael Rao
article
Advances in Combinatorics, Alliance of Diamond Open Access Journals, 2021, ⟨10.19086/aic.18614⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01166053/file/1506.06492.pdf BibTex
titre
Bounds on Lyapunov Exponents via Entropy Accumulation
auteur
David Sutter, Omar Fawzi, Renato Renner
article
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2021, 67 (1), pp.10-24. ⟨10.1109/TIT.2020.3026959⟩
Accès au bibtex
https://arxiv.org/pdf/1905.03270 BibTex
titre
Constant overhead quantum fault tolerance with quantum expander codes
auteur
Omar Fawzi, Antoine Grospellier, Anthony Leverrier
article
Communications of the ACM, Association for Computing Machinery, 2021, 64 (1), pp.106-114. ⟨10.1145/3434163⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03135932/file/3434163.pdf BibTex
titre
Dynamic DAG Scheduling Under Memory Constraints for Shared-Memory Platforms
auteur
Gabriel Bathie, Loris Marchal, Yves Robert, Samuel Thibault
article
International Journal of Networking and Computing, Higashi Hiroshima : Dept. of Computer Engineering, Hiroshima University, 2021, pp.1-29. ⟨10.15803/ijnc.11.1_27⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03029847/file/ijnc-hal.pdf BibTex
titre
The (theta, wheel)-free graphs Part IV: Induced paths and cycles
auteur
Marko Radovanović, Nicolas Trotignon, Kristina Vušković
article
Journal of Combinatorial Theory, Series B, Elsevier, 2021, 146, pp.495-531. ⟨10.1016/j.jctb.2020.06.002⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03060185/file/1912.00516.pdf BibTex
titre
Cyclic proofs, system T, and the power of contraction
auteur
Denis Kuperberg, Laureline Pinault, Damien Pous
article
Proceedings of the ACM on Programming Languages, ACM, 2021, ⟨10.1145/3434282⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02487175/file/cyclimse.pdf BibTex
titre
Effective Coefficient Asymptotics of Multivariate Rational Functions via Semi-Numerical Algorithms for Polynomial Systems
auteur
Stephen Melczer, Bruno Salvy
article
Journal of Symbolic Computation, Elsevier, 2021, 103, pp.234--279. ⟨10.1016/j.jsc.2020.01.001⟩
Accès au bibtex
https://arxiv.org/pdf/1905.04187 BibTex
titre
Setting the basis of best practices and standards for curation and annotation of logical models in biology—highlights of the [BC]2 2019 CoLoMoTo/SysMod Workshop
auteur
Anna Niarakis, Martin Kuiper, Marek Ostaszewski, Rahuman Malik Sheriff, Cristina Casals-Casas, Denis Thieffry, Tom Freeman, Paul Thomas, Vasundra Touré, Vincent Noël, Gautier Stoll, Julio Saez-Rodriguez, Aurélien Naldi, Eugenia Oshurko, Ioannis Xenarios, Sylvain Soliman, Claudine Chaouiya, Tomáš Helikar, Laurence Calzone
article
Briefings in Bioinformatics, Oxford University Press (OUP), 2021, 22 (2), pp.1848--1859. ⟨10.1093/bib/bbaa046⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02549796/file/Copy%20of%20Briefings_in_Bioinformatics_Best_practices_curation_logic_models_vf.pdf BibTex
titre
(Theta, triangle)‐free and (even hole, K4)‐free graphs—Part 1: Layered wheels
auteur
Ni Luh Dewi Sintiari, Nicolas Trotignon
article
Journal of Graph Theory, Wiley, 2021, ⟨10.1002/jgt.22666⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03255154/file/TTF-EHF-Part-1-V3.pdf BibTex
titre
Approximation spaces of deep neural networks
auteur
Rémi Gribonval, Gitta Kutyniok, Morten Nielsen, Felix Voigtlaender
article
Constructive Approximation, Springer Verlag, 2021, special issue on "Deep Networks in Approximation Theory", ⟨10.1007/s00365-021-09543-4⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02117139/file/main.pdf BibTex
titre
Resilient Scheduling Heuristics for Rigid Parallel Jobs
auteur
Anne Benoit, Valentin Le Fèvre, Padma Raghavan, Yves Robert, Hongyang Sun
article
International Journal of Networking and Computing, Higashi Hiroshima : Dept. of Computer Engineering, Hiroshima University, 2021, 11 (1), pp.1-25. ⟨10.15803/ijnc.11.1_2⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03508937/file/rigid_ijnc.pdf BibTex
titre
A Markov Model for Performance Evaluation of Channel Bonding in IEEE 802.11
auteur
Marija Stojanova, Thomas Begin, Anthony Busson
article
Ad Hoc Networks, Elsevier, 2021, ⟨10.1016/j.adhoc.2021.102449⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03158454/file/main.pdf BibTex
titre
Sparsity-based audio declipping methods: selected overview, new algorithms, and large-scale evaluation
auteur
Clément Gaultier, Srđan Kitić, Rémi Gribonval, Nancy Bertin
article
IEEE/ACM Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2021, 29, pp.1174-1187. ⟨10.1109/TASLP.2021.3059264⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02611226/file/main.pdf BibTex
titre
Compressive Learning with Privacy Guarantees
auteur
Antoine Chatalic, Vincent Schellekens, Florimond Houssiau, Yves-Alexandre de Montjoye, Laurent Jacques, Rémi Gribonval
article
Information and Inference, Oxford University Press (OUP), 2021, ⟨10.1093/imaiai/iaab005⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02496896/file/journal_FINAL_VERSION_HAL.pdf BibTex
titre
One-dimensional Service Networks and Batch Service Queues
auteur
Philippe Nain, Nitish K Panigrahy, Prithwish Basu, Don Towsley
article
Queueing Systems, Springer Verlag, 2021, ⟨10.1007/s11134-021-09703-0⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03066179/file/1d-cost%20%281%29.pdf BibTex
titre
Computing the multilinear factors of lacunary polynomials without heights
auteur
Arkadev Chattopadhyay, Bruno Grenet, Pascal Koiran, Natacha Portier, Yann Strozecki
article
Journal of Symbolic Computation, Elsevier, 2021, 104 (183-206), ⟨10.1016/j.jsc.2020.04.013⟩
Accès au bibtex
https://arxiv.org/pdf/1311.5694 BibTex
titre
Budget-aware scheduling algorithms for scientific workflows with stochastic task weights on IaaS Cloud platforms
auteur
Yves Caniou, Eddy Caron, Aurélie Kong Win Chang, Yves Robert
article
Concurrency and Computation: Practice and Experience, Wiley, 2021, 33 (17), pp.1-25
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03508925/file/journal.pdf BibTex

Conference papers

titre
Deciding Non-Compressible Blocks in Sparse Direct Solvers using Incomplete Factorization
auteur
Esragul Korkmaz, Mathieu Faverge, Grégoire Pichon, Pierre Ramet
article
HiPC 2021 - 28th IEEE International Conference on High Performance Computing, Data, and Analytics, Dec 2021, Bangalore, India. pp.1-10, ⟨10.1109/HiPC53243.2021.00024⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03361299/file/main.pdf BibTex
titre
Shared-memory implementation of the Karp-Sipser kernelization process
auteur
Johannes Langguth, Ioannis Panagiotas, Bora Uçar
article
HiPC 2021 - 28th edition of the IEEE International Conference on High Performance Computing, Data, and Analytics, Dec 2021, Bangalore, India. pp.71-80, ⟨10.1109/HiPC53243.2021.00021⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03404798/file/hipc2021.pdf BibTex
titre
Work-in-Progress: Evaluating Task Dropping Strategies for Overloaded Real-Time Systems
auteur
Yiqin Gao, Guillaume Pallez, Yves Robert, Frédéric Vivien
article
RTSS 2021 - 42nd IEEE Real-Time Systems Symposium, Dec 2021, Dortmund, Germany. pp.1-4, ⟨10.1109/RTSS52674.2021.00057⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03357422/file/2021199410.pdf BibTex
titre
An analysis of Ermakov-Zolotukhin quadrature using kernels
auteur
Ayoub Belhadji
article
NeurIPS 2021 - 35th Conference on Neural Information Processing Systems, Dec 2021, Virtual-only Conference, Australia. pp.1-17
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03405615/file/main.pdf BibTex
titre
Sequential Algorithms for Testing Closeness of Distributions
auteur
Omar Fawzi, Nicolas Flammarion, Aurélien Garivier, Aadil Oufkir
article
Neurips, Dec 2021, Virtual, France
Accès au bibtex
BibTex
titre
On the hardness of the NTRU problem
auteur
Alice Pellet-Mary, Damien Stehlé
article
Asiacrypt 2021 - 27th Annual International Conference on the Theory and Applications of Cryptology and Information Security, Dec 2021, Singapore, Singapore. ⟨10.1007/978-3-030-92062-3_1⟩
Accès au bibtex
BibTex
titre
An Anonymous Trace-and-Revoke Broadcast Encryption Scheme
auteur
Olivier Blazy, Sayantan Mukherjee, Huyen Nguyen, Duong Hieu Phan, Damien Stehlé
article
ACISP 2021 - Australasian Conference on Information Security and Privacy, Dec 2021, Perth, Australia. pp.214-233, ⟨10.1007/978-3-030-90567-5_11⟩
Accès au bibtex
BibTex
titre
Exploiting Frame Aggregation to Enhance Access Point Selection
auteur
Nour El Houda Bouzouita, Anthony Busson, Hervé Rivano
article
PE-WASUN 2021 - 18th ACM International Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, Nov 2021, Alicante, Spain. pp.1-8, ⟨10.1145/3479240.3488507⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03362285/file/PE_WASUN2021.pdf BibTex
titre
Automated and Reproducible Application Traces Generation for IoT Applications
auteur
Nina Santi, Rémy Grünblatt, Brandon Foubert, Aroosa Hameed, John Violos, Aris Leivadeas, Nathalie Mitton
article
Q2SWinet 2021 - 17th ACM Symposium on QoS and Security for Wireless and Mobile Networks, Nov 2021, Alicante, Spain. pp.1-8, ⟨10.1145/3479242.3487321⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03390693/file/Traces_FIT%281%29.pdf BibTex
titre
Towards a Throughput and Energy Efficient Association Strategy for Wi-Fi/LiFi Heterogeneous Networks
auteur
Esther Guérin, Thomas Begin, Anthony Busson, Isabelle Guérin-Lassous
article
PE-WASUN 2021 - 18th ACM International Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, Nov 2021, Alicante, Spain. ⟨10.1145/3479240.3488514⟩
Accès au bibtex
BibTex
titre
Improving the Spatial Reuse in IEEE 802.11ax WLANs: A Multi-Armed Bandit Approach
auteur
Anthony Bardou, Thomas Begin, Anthony Busson
article
MSWiM 2021 - 24th ACM Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, Nov 2021, Alicante, Spain. ⟨10.1145/3479239.3485715⟩
Accès au bibtex
BibTex
titre
Evaluation of two topology-aware heuristics on level-3 BLAS library for multi-GPU platforms
auteur
Thierry Gautier, Joao Vicente Ferreira Lima
article
PAW-ATM 2021 - 4th Annual Parallel Applications Workshop, Alternatives To MPI+X, Nov 2021, Saint Louis, United States. pp.1-11
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03363275/file/xkblas_pawatm106s1-file1.pdf BibTex
titre
Fully-succinct Publicly Verifiable Delegation from Constant-Size Assumptions
auteur
Alonso González, Alexandros Zacharakis
article
TCC 2021 - 19th International Conference Theory of Cryptography, Nov 2021, Raleigh, United States. pp.1-79, ⟨10.1007/978-3-030-90459-3_18⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03419735/file/2021-353.pdf BibTex
titre
S4BXI: the MPI-ready Portals 4 Simulator
auteur
Julien Emmanuel, Matthieu Moy, Ludovic Henrio, Grégoire Pichon
article
MASCOTS 2021 - 29th IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Nov 2021, Houston, United States. pp.1-8, ⟨10.1109/MASCOTS53633.2021.9614285⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03366573/file/s4bxi-the-mpi-ready-portals-4-simulator.pdf BibTex
titre
Optimization of the Diffusion Time in Graph Diffused-Wasserstein Distances: Application to Domain Adaptation
auteur
Amélie Barbe, Paulo Gonçalves, Marc Sebban, Pierre Borgnat, Rémi Gribonval, Titouan Vayer
article
ICTAI 2021 - 33rd IEEE International Conference on Tools with Artificial Intelligence, Nov 2021, Virtual conference, France. pp.1-8, ⟨10.1109/ICTAI52525.2021.00125⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03353622/file/ICTAI-2021%28long%20version%29.pdf BibTex
titre
Tell me when you are sleepy and what may wake you up!
auteur
Djob Mvondo, Antonio Barbalace, Alain Tchana, Gilles Muller
article
SoCC 2021 - ACM Symposium on Cloud Computing, Nov 2021, Seattle WA USA, United States. pp.562-569, ⟨10.1145/3472883.3487013⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03503825/file/SOCC_21_camera_ready.pdf BibTex
titre
On Tools for Completeness of Kleene Algebra with Hypotheses
auteur
Damien Pous, Jurriaan Rot, Jana Wagemaker
article
19th International Conference on Relational and Algebraic Methods in Computer Science ( RAMICS 2021 ), Nov 2021, Luminy, France. ⟨10.1007/978-3-030-88701-8_23⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03269462/file/hypotheses.pdf BibTex
titre
Enabling microservices management for Deep Learning applications across the Edge-Cloud Continuum
auteur
Zeina Houmani, Daniel Balouek-Thomert, Eddy Caron, Manish Parashar
article
SBAC-PAD 2021 - IEEE 33rd International Symposium on Computer Architecture and High Performance Computing, Oct 2021, Belo Horizonte, Brazil. pp.1-10, ⟨10.1109/SBAC-PAD53543.2021.00025⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03409405/file/SBAC_PAD2021_Zeina.pdf BibTex
titre
Shelf schedules for independent moldable tasks to minimize the energy consumption
auteur
Anne Benoit, Louis-Claude Canon, Redouane Elghazi, Pierre-Cyrille Heam
article
SBAC-PAD 2021 - IEEE 33rd International Symposium on Computer Architecture and High Performance Computing, Oct 2021, Belo Horizonte, Brazil. pp.1-11, ⟨10.1109/SBAC-PAD53543.2021.00024⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03509709/file/main.pdf BibTex
titre
Bifurcated Signatures: Folding the Accountability vs. Anonymity Dilemma into a Single Private Signing Scheme
auteur
Benoît Libert, Khoa Nguyen, Thomas Peters, Moti Yung
article
Eurocrypt 2021 - 40th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Oct 2021, Zagreb (partiellement virtuel), Croatia. pp.1-48, ⟨10.1007/978-3-030-77883-5_18⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03380687/file/CTSig.pdf BibTex
titre
Compiling pattern matching to in-place modifications
auteur
Paul Iannetta, Laure Gonnord, Gabriel Radanne
article
GPCE 2021 - 20th International Conference on Generative Programming: Concepts & Experiences, Oct 2021, Chicago & Virtual, United States. ⟨10.1145/3486609.3487204⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03355377/file/gpce2021-cursors.pdf BibTex
titre
Data Abstraction: A General Framework to Handle Program Verification of Data Structures
auteur
Julien Braine, Laure Gonnord, David Monniaux
article
SAS 2021 - 28th Static Analysis Symposium, Oct 2021, Chicago, United States. pp.215-235, ⟨10.1007/978-3-030-88806-0_11⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03321868/file/braine_al_sas2021.pdf BibTex
titre
Instruction Set Design Methodology for In-Memory Computing through QEMU-based System Emulator
auteur
Kévin Mambu, Henri-Pierre Charles, Julie Dumas, Maha Kooli
article
32rd International Workshop on Rapid System Prototyping, Oct 2021, Rennes (Virtual Conference), France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03449840/file/KMAMBU_RSP_2021.pdf BibTex
titre
Budget-aware Static Scheduling of Stochastic Workflows with DIET
auteur
Yves Caniou, Eddy Caron, Aurélie Kong Win Chang, Yves Robert
article
ADVCOMP 2021 - 15th International Conference on Advanced Engineering Computing and Applications in Sciences, Oct 2021, Barcelona, Spain. pp.1-8
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03332601/file/advcomp.pdf BibTex
titre
Extension of Flocking Models to Environments with Obstacles and Degraded Communications
auteur
Alexandre Bonnefond, Olivier Simonin, Isabelle Guérin-Lassous
article
IROS 2021 - IEEE/RSJ International Conference on Intelligent Robots and Systems, Sep 2021, Prague / Virtual, Czech Republic. pp.9139-9145, ⟨10.1109/IROS51168.2021.9635944⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03365129/file/Alexandre_Bonnefond_IROS21_Cam_Ready.pdf BibTex
titre
Communication-Aware Task Scheduling Strategy in Hybrid MPI+OpenMP Applications
auteur
Romain Pereira, Adrien Roussel, Patrick Carribault, Thierry Gautier
article
IWOMP 2021 - 17th International Workshop on OpenMP, Sep 2021, Bristol, United Kingdom. pp.1-15, ⟨10.1007/978-3-030-85262-7_14⟩
Accès au texte intégral et bibtex
https://hal-cea.archives-ouvertes.fr/cea-03284169/file/p14_pereira.pdf BibTex
titre
ENSnano: a 3D modeling software for DNA nanostructures
auteur
Nicolas Levy, Nicolas Schabanel
article
DNA27 - 27th International Conference on DNA Computing and Molecular Programming, Sep 2021, Oxford, France. ⟨10.4230/LIPIcs.DNA.2021.12⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03456477/file/2021-LevySchabanel.pdf BibTex
titre
Twin-width and polynomial kernels
auteur
Édouard Bonnet, Eun Jung Kim, Amadeus Reinald, Stéphan Thomassé, Rémi Watrigant
article
IPEC 2021, Sep 2021, Lisbon, Portugal
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03430542/file/main.pdf BibTex
titre
Experimental Workflow for Energy and Temperature Profiling on HPC Systems
auteur
Kameswar Rao Vaddina, Laurent Lefèvre, Anne-Cécile Orgerie
article
ISCC 2021 - IEEE Symposium on Computers and Communications, Sep 2021, Athens, Greece. pp.1-7, ⟨10.1109/ISCC53001.2021.9631413⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03335184/file/ISCC2021-hal.pdf BibTex
titre
Presenting convex sets of probability distributions by convex semilattices and unique bases
auteur
Filippo Bonchi, Ana Sokolova, Vignudelli Valeria
article
9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021), Aug 2021, Salzburg, Austria. ⟨10.4230/LIPIcs.CALCO.2021.11⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03615765/file/Uniqueness.pdf BibTex
titre
Update on the Asymptotic Optimality of LPT
auteur
Anne Benoit, Louis-Claude Canon, Redouane Elghazi, Pierre-Cyrille Heam
article
Euro-Par 2021 - 27th International European Conference on Parallel and Distributed Computing, Aug 2021, Lisbon, Portugal. pp.1-14, ⟨10.1007/978-3-030-85665-6_4⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03509666/file/europar-submitted.pdf BibTex
titre
Locality-Aware Scheduling of Independent Tasks for Runtime Systems
auteur
Maxime Gonthier, Loris Marchal, Samuel Thibault
article
COLOC 2021 - 5th workshop on data locality - 27th International European Conference on Parallel and Distributed Computing, Aug 2021, Lisbon, Portugal. pp.1-12, ⟨10.1007/978-3-031-06156-1_1⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03290998/file/coloc-cameraready-submitted.pdf BibTex
titre
Taming Tail Latency in Key-Value Stores: a Scheduling Perspective
auteur
Sonia Ben Mokhtar, Louis-Claude Canon, Anthony Dugois, Loris Marchal, Etienne Rivière
article
Euro-Par 2021 - 27th International European Conference on Parallel and Distributed Computing, Aug 2021, Lisbon (virtual), Portugal. pp.136-150, ⟨10.1007/978-3-030-85665-6_9⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03424040/file/europar.pdf BibTex
titre
Sized Types with Usages for Parallel Complexity of Pi-Calculus Processes
auteur
Patrick Baillot, Alexis Ghyselen, Naoki Kobayashi
article
32nd International Conference on Concurrency Theory, CONCUR 2021, Aug 2021, Virtual conference, France. pp.34:1--34:22
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03198277/file/main.pdf BibTex
titre
Isomorphisms are back!
auteur
Clément Allain, Gabriel Radanne, Laure Gonnord
article
ML 2021 - ML Workshop, Aug 2021, Virtual, France. pp.1-3
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03355381/file/mlworkshop.pdf BibTex
titre
Epsilon Best Arm Identification in Spectral Bandits
auteur
Aurélien Garivier, Tomáš Kocák
article
Thirtieth International Joint Conference on Artificial Intelligence , Aug 2021, Montreal, Canada. pp.2636-2642, ⟨10.24963/ijcai.2021/363⟩
Accès au bibtex
BibTex
titre
Coppersmith's block Wiedemann method for polynomial problems
auteur
Gilles Villard
article
International Conference on Applications of Computer Algebra (ACA) 2021, Jul 2021, Virtual, online, Canada
Accès au bibtex
BibTex
titre
Computing the Characteristic Polynomial of Generic Toeplitz-like and Hankel-like Matrices
auteur
Clément Pernet, Hippolyte Signargout, Pierre Karpman, Gilles Villard
article
ISSAC 2021 - International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint Petersburg, Russia. pp.249-256, ⟨10.1145/3452143.3465542⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03189115/file/charpoly-sigmalu.pdf BibTex
titre
Fully-dynamic Weighted Matching Approximation in Practice
auteur
Eugenio Angriman, Henning Meyerhenke, Christian Schulz, Bora Uçar
article
ACDA 2021 - SIAM Conference on Applied and Computational Discrete Algorithms, SIAM, Jul 2021, Virtual, France. ⟨10.1137/1.9781611976830.4⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03210915/file/paper.pdf BibTex
titre
Online Graph Dictionary Learning
auteur
Cédric Vincent-Cuaz, Titouan Vayer, Rémi Flamary, Marco Corneli, Nicolas Courty
article
ICML 2021 - 38th International Conference on Machine Learning, Jul 2021, Virtual Conference, United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03140349/file/OnlineGraphDictionaryLearning.pdf BibTex
titre
Positional Injectivity for Innocent Strategies
auteur
Lison Blondeau-Patissier, Pierre Clairambault
article
6TH INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION, Jul 2021, Buenos Aires, Argentina
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03218198/file/main.pdf BibTex
titre
Parallel Complexity of Term Rewriting Systems
auteur
Thaïs Baudon, Carsten Fuhs, Laure Gonnord
article
WST 2021 - 17th International Workshop on Termination, Jul 2021, Virtual, France. pp.1-6
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03418400/file/wst2021.pdf BibTex
titre
4 vs 7 sparse undirected unweighted Diameter is SETH-hard at time n^4/3
auteur
Édouard Bonnet
article
ICALP 2021, Jul 2021, Glasgow, United Kingdom. ⟨10.4230/LIPIcs.ICALP.2021.24⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03430322/file/finalICALP.pdf BibTex
titre
A hierarchy of efficient bounds on quantum capacities exploiting symmetry
auteur
Omar Fawzi, Ala Shayeghi, Hoang Ta
article
2021 IEEE International Symposium on Information Theory (ISIT), Jul 2021, Melbourne, France. pp.272-277, ⟨10.1109/ISIT45174.2021.9517913⟩
Accès au bibtex
https://arxiv.org/pdf/2203.02127 BibTex
titre
Quasi-polynomial time algorithms for free quantum games in bounded dimension
auteur
Hyejung Jee, Carlo Sparaciari, Omar Fawzi, Mario Berta
article
48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), Jul 2021, Glasgow, United Kingdom. ⟨10.4230/LIPIcs.ICALP.2021.82⟩
Accès au bibtex
https://arxiv.org/pdf/2005.08883 BibTex
titre
X-Aevol: GPU implementation of an evolutionary experimentation simulator
auteur
Laurent Turpin, Thierry Gautier, Jonathan Rouzaud-Cornabas
article
GECCO 2021 - Genetic and Evolutionary Computation Conference, Jul 2021, Lille France, France. pp.1-9, ⟨10.1145/3449726.3463195⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03290799/file/GECCO2021___EAHPC_cr3.pdf BibTex
titre
Evidenced Frames: A Unifying Framework Broadening Realizability Models
auteur
Liron Cohen, Étienne Miquey, Ross Tate
article
LICS 2021, Jul 2021, Rome, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03422961/file/LICS21-EF.pdf BibTex
titre
Positive First-order Logic on Words
auteur
Denis Kuperberg
article
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2021, Rome, France. pp.1-13, ⟨10.1109/LICS52264.2021.9470602⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03375096/file/2101.01968%20%281%29.pdf BibTex
titre
Do Common Educational Datasets Contain Static Information? A Statistical Study
auteur
Théo Barollet, Florent Bouchez-Tichadou, Fabrice Rastello
article
EDM 2021 - Conference on Educational Data Mining, Jun 2021, Paris / Virtual, France. pp.1-7
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03526276/file/EDM21_theo_AI4HI_SUB.pdf BibTex
titre
Extension des Modèles de Flocking aux Environnements avec Obstacles et Communications Dégradées
auteur
Alexandre Bonnefond, Olivier Simonin, Isabelle Guérin-Lassous
article
JFSMA 2021 - 29èmes Journées Francophones sur les Systèmes Multi-Agents, Jun 2021, Bordeaux, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03369148/file/JFSMA_2021_final.pdf BibTex
titre
Click and coLLecT An Interactive Linear Logic Prover
auteur
Etienne Callies, Olivier Laurent
article
5th International Workshop on Trends in Linear Logic and Applications (TLLA 2021), Jun 2021, Rome (virtual), Italy
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-03271501/file/TLLA_2021_paper_4.pdf BibTex
titre
Completion to Chordal Distance-Hereditary Graphs: A Quartic Vertex-Kernel
auteur
Christophe Crespelle, Benjamin Gras, Anthony Perez
article
Graph-Theoretic Concepts in Computer Science - 47th International Workshop, Jun 2021, Varsovie, Poland. pp.156-168, ⟨10.1007/978-3-030-86838-3_12⟩
Accès au bibtex
BibTex
titre
$a \cdot (x \cdot x)$ or $(a \cdot x) \cdot x$?
auteur
Jean-Michel Muller
article
ARITH 2021 - 28th IEEE Symposium on Computer Arithmetic, Jun 2021, Torino (virtual meeting due to the COVID Pandemic), Italy. ⟨10.1109/ARITH51176.2021.00015⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03129747/file/ax2.pdf BibTex
titre
Structured Support Exploration For Multilayer Sparse Matrix Factorization
auteur
Quoc-Tung Le, Rémi Gribonval
article
ICASSP 2021 - IEEE International Conference on Acoustics, Speech and Signal Processing, Jun 2021, Toronto, Ontario, Canada. pp.1-5, ⟨10.1109/ICASSP39728.2021.9414238⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03132013/file/Paper-submitted.pdf BibTex
titre
Concurrency Theorems for Non-linear Rewriting Theories
auteur
Russ Harmer, Nicolas Behr, Jean Krivine
article
ICGT 2021 - 14th International Conference on Graph Transformation, Jun 2021, Bergen, Norway. pp.3-21, ⟨10.1007/978-3-030-78946-6_1⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03358036/file/2105.02842.pdf BibTex
titre
Heuristic for license-aware, performant and energy efficient deployment of multiple software in Cloud architecture
auteur
Eddy Caron, Arthur Chevalier, Noëlle Baillon-Bachoc, Anne-Lucie Vion
article
ICICS 2021 - 12th International Conference on Information and Communication Systems, May 2021, Valencia, Spain. ⟨10.1109/ICICS52457.2021.9464578⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03572922/file/CLUSTER_2020.pdf BibTex
titre
Promise Plus: Flexible Synchronization for Parallel Computations on Arrays
auteur
Amaury Maillé, Ludovic Henrio, Matthieu Moy
article
FSEN 2021 - 9th IPM International Conference on Fundamentals of Software Engineering, May 2021, Tehran, Iran. pp.1-7, ⟨10.1007/978-3-030-89247-0_13⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03143269/file/promise_plus.pdf BibTex
titre
Distributed-memory multi-GPU block-sparse tensor contraction for electronic structure
auteur
Thomas Herault, Yves Robert, George Bosilca, Robert J Harrison, Cannada A Lewis, Edward F Valeev, Jack J Dongarra
article
IPDPS 2021 - IEEE International Parallel and Distributed Processing Symposium, May 2021, Portland, OR, United States. pp.1-10, ⟨10.1109/IPDPS49936.2021.00062⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03508930/file/ipdps21.pdf BibTex
titre
Max-stretch minimization on an edge-cloud platform
auteur
Anne Benoit, Redouane Elghazi, Yves Robert
article
IPDPS 2021 - IEEE International Parallel and Distributed Processing Symposium, May 2021, Portland, Oregon, United States. pp.1-10, ⟨10.1109/IPDPS49936.2021.00086⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03509637/file/ipdps-final.pdf BibTex
titre
Non-Interactive CCA2-Secure Threshold Cryptosystems: Achieving Adaptive Security in the Standard Model Without Pairings
auteur
Julien Devevey, Benoît Libert, Khoa Nguyen, Thomas Peters, Moti Yung
article
PKC 2021 - 24th edition of the International Conference on Practice and Theory of Public-Key Cryptography, May 2021, Edinburgh (devenu virtuel pour cause de COVID), United Kingdom. pp.1-66, ⟨10.1007/978-3-030-75245-3_24⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03381386/file/TPKE-DCR.pdf BibTex
titre
On the Integer Polynomial Learning with Errors Problem
auteur
Julien Devevey, Amin Sakzad, Damien Stehlé, Ron Steinfeld
article
PKC 2021 - 24th edition of the International Conference on Practice and Theory of Public-Key Cryptography, May 2021, Edinburgh, United Kingdom. pp.184-214, ⟨10.1007/978-3-030-75245-3_8⟩
Accès au bibtex
BibTex
titre
Kwollect: Metrics Collection for Experiments at Scale
auteur
Simon Delamare, Lucas Nussbaum
article
CNERT 2021 - Workshop on Computer and Networking Experimental Research using Testbeds, May 2021, Virtual, United States. pp.1-6, ⟨10.1109/INFOCOMWKSHPS51825.2021.9484540⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03236421/file/kwollect.pdf BibTex
titre
Training with Quantization Noise for Extreme Model Compression
auteur
Pierre Stock, Angela Fan, Benjamin Graham, Edouard Grave, Rémi Gribonval, Herve Jegou, Armand Joulin
article
ICLR 2021 - International Conference on Learning Representations, May 2021, Vienna, Austria
Accès au bibtex
https://arxiv.org/pdf/2004.07320 BibTex
titre
OFC: an opportunistic caching system for FaaS platforms
auteur
Djob Mvondo, Mathieu Bacou, Kevin Nguetchouang, Stéphane Pouget, Josiane Kouam, Renaud Lachaize, Jinho Hwang, Tim Wood, Daniel Hagimont, Noël de Palma, Bernabé Batchakui, Alain Tchana
article
EUROSYS 2021 - 16th European Conference on Computer Systems, Apr 2021, Edinburgh (online), United Kingdom. pp.228-244, ⟨10.1145/3447786.3456239⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03211416/file/main.pdf BibTex
titre
Mitigating vulnerability windows with hypervisor transplant
auteur
Dinh Ngoc Tu, Boris Teabe Djomgwe, Alain Tchana, Gilles Muller, Daniel Hagimont
article
EuroSys 2021 - European Conference on Computer Systems, Apr 2021, Edinburgh / Virtual, United Kingdom. pp.1-14, ⟨10.1145/3447786.3456235⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03183856/file/HyperTP__A_unified_approach_for_hypervisor_transplant_in_datacenters%282%29.pdf BibTex
titre
Temporal Refinements for Guarded Recursive Types
auteur
Guilhem Jaber, Colin Riba
article
ESOP 2021 - 30th European Symposium on Programming, Mar 2021, Luxembourg, Luxembourg. pp.548-578, ⟨10.1007/978-3-030-72019-3_20⟩
Accès au bibtex
BibTex
titre
Types for Complexity of Parallel Computation in Pi-Calculus
auteur
Patrick Baillot, Alexis Ghyselen
article
30th European Symposium on Programming (ESOP 2021), Mar 2021, Luxembourg, Luxembourg. pp.59-86
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03126973/file/TypesForComplexityofParallelReduction.pdf BibTex
titre
Schema Inference for Property Graphs
auteur
Hanâ Lbath, Angela Bonifati, Russ Harmer
article
EDBT 2021 - 24th International Conference on Extending Database Technology, Mar 2021, Nicosia, Cyprus. pp.499-504, ⟨10.5441/002/edbt.2021.58⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03361480/file/p279.pdf BibTex
titre
Streaming Hypergraph Partitioning Algorithms on Limited Memory Environments
auteur
Fatih Taşyaran, Berkay Demireller, Kamer Kaya, Bora Uçar
article
HPCS 2020 - International Conference on High Performance Computing & Simulation, Mar 2021, Virtual online, Spain. pp.1-8
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03182122/file/hpcs-streaming.pdf BibTex
titre
Tight Approximation Guarantees for Concave Coverage Problems
auteur
Siddharth Barman, Omar Fawzi, Paul Fermé
article
STACS 2021, Mar 2021, Saarbücken, Germany
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03113321/file/MaxCoverage.pdf BibTex
titre
Inapproximability of Diameter in super-linear time: Beyond the 5/3 ratio
auteur
Édouard Bonnet
article
STACS 2021, Mar 2021, Saarbrücken, Germany. ⟨10.4230/LIPIcs.STACS.2021.47⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03430313/file/finalSTACS.pdf BibTex
titre
Use of a Weighted Conflict Graph in the Channel Selection Operation for Wi-Fi Networks
auteur
Lafdal Abdelwedoud, Anthony Busson, Isabelle Guérin-Lassous
article
WONS 2021 - 16th Wireless On-demand Network systems and Services Conference, Mar 2021, Virtual Conference, France. pp.1-4, ⟨10.23919/WONS51326.2021.9415558⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03266173/file/WONS_2021.pdf BibTex
titre
Data-Aware Process Networks
auteur
Christophe Alias, Alexandru Plesco
article
CC 2021 - 30th ACM SIGPLAN International Conference on Compiler Construction, Mar 2021, Virtual, South Korea. pp.1-11, ⟨10.1145/3446804.3446847⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03143777/file/final.pdf BibTex
titre
A New Memory Layout for Self-Rebalancing Trees
auteur
Paul Iannetta
article
CGO'21, Feb 2021, Séoul, South Korea
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03123491/file/cgo2021.pdf BibTex
titre
Realizability with stateful computations for nonstandard analysis
auteur
Bruno Dinis, Étienne Miquey
article
CSL 2021 - Computer Science Logic, Jan 2021, Ljubljana, Slovenia
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03002239/file/main.pdf BibTex
titre
An Anti-Locally-Nameless Approach to Formalizing Quantifiers
auteur
Olivier Laurent
article
Certified Programs and Proofs, Jan 2021, virtual, Denmark. pp.300-312, ⟨10.1145/3437992.3439926⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03096253/file/quantif.pdf BibTex
titre
Twin-width II: small classes
auteur
Edouard Bonnet, Colin Geniet, Eun Jung Kim, Stéphan Thomassé, Rémi Watrigant
article
ACM-SIAM Symposium on Discrete Algorithms (SODA21), Jan 2021, Alexandria, United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03107577/file/SODA21%20-%20487%20%281%29.pdf BibTex
titre
Simple Intrinsic Simulation of Cellular Automata in Oritatami Molecular Folding Model
auteur
Daria Pchelina, Nicolas Schabanel, Shinnosuke Seki, Yuki Ubukata
article
14th LATIN 2020: São Paulo, Brazil, Jan 2021, Sao Paulo, Brazil. pp.425-436, ⟨10.1007/978-3-030-61792-9_34⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02410874/file/LATIN_2020_paper_13-5.pdf BibTex

Book sections

titre
Arithmétique et Précision des Calculs sur Ordinateur
auteur
Jean-Michel Muller
article
De la mesure en toutes choses, CNRS Editions, 2021
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03461132/file/CNRSEditions21.pdf BibTex
titre
Categories with Families: Unityped, Simply Typed, and Dependently Typed
auteur
Pierre Clairambault, Simon Castellan, Peter Dybjer
article
Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics, 20, Springer International Publishing, pp.135-180, 2021, Outstanding Contributions to Logic, ⟨10.1007/978-3-030-66545-6_5⟩
Accès au bibtex
BibTex

Other publications

titre
Non-applicability of the Gaborit&Aguilar-Melchor patent to Kyber and Saber
auteur
Damien Stehlé, Vadim Lyubashevsky
article
2021
Accès au bibtex
BibTex

Poster communications

titre
Modelling Systems Biology Wide and Deep
auteur
Sébastien Légaré, Jean Krivine, Russ Harmer, Jérôme Feret
article
CMSB 2021 - 19th International Conference on Computational Methods in Systems Biology, Sep 2021, Bordeaux, France. CMSB
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03357485/file/abstract-CMSB2021-b.pdf BibTex

Reports

titre
Affine Multibanking for High-Level Synthesis
auteur
Ilham Lasfar, Christophe Alias, Matthieu Moy, Rémy Neveu, Alexis Carré
article
[Research Report] RR-9440, Inria - Research Centre Grenoble – Rhône-Alpes. 2021
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03481328/file/RR-9440.pdf BibTex
titre
Towards Trace-Based Array Contraction
auteur
Hugo Thievenaz, Keiji Kimura, Christophe Alias
article
[Research Report] RR-9442, Inria; Waseda University. 2021, pp.20
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03482055/file/RR-9442.pdf BibTex
titre
Shelf schedules for independent moldable tasks to minimize the energy consumption
auteur
Anne Benoit, Louis-Claude Canon, Redouane Elghazi, Pierre-Cyrille Heam
article
[Research Report] RR-9436, Institut National de Recherche en Informatique et en Automatique (INRIA). 2021, pp.19
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03447266/file/RR9436.pdf BibTex
titre
A Polyhedral Approach for Auto-Parallelization using a Distributed Virtual Machine
auteur
Damien de Montis, Jean-Baptiste Besnard, Christophe Alias
article
[Research Report] RR-9432, INRIA LIP - ENS Lyon; Paratools. 2021, pp.25
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03402663/file/RR-9432.pdf BibTex
titre
Non-applicability of the Gaborit&Aguilar-Melchor patent to Kyber and Saber
auteur
Vadim Lyubashevsky, Damien Stehlé
article
[Research Report] ENS de Lyon; IBM Zürich. 2021, pp.1-8
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03372244/file/non-app%20%281%29.pdf BibTex
titre
Checkpointing Workflows à la Young/Daly Is Not Good Enough
auteur
Anne Benoit, Lucas Perotin, Yves Robert, Hongyang Sun
article
[Research Report] RR-9413, Inria - Research Centre Grenoble – Rhône-Alpes. 2021, pp.54
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03264047/file/rr9413.pdf BibTex
titre
Data Abstraction: A General Framework to Handle Program Verification of Data Structures
auteur
Julien Braine, Laure Gonnord, David Monniaux
article
[Research Report] RR-9408, Inria Grenoble Rhône-Alpes; VERIMAG UMR 5104, Université Grenoble Alpes, France; LIP - Laboratoire de l’Informatique du Parallélisme; Université Lyon 1 - Claude Bernard; ENS Lyon. 2021, pp.1-29
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03214475/file/RR-9408.pdf BibTex
titre
Parallelizing Structural Transformations on Tarbres
auteur
Paul Iannetta, Laure Gonnord, Gabriel Radanne
article
[Research Report] RR-9405, ENS Lyon, CNRS & INRIA. 2021, pp.21
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03208466/file/rr-9405.pdf BibTex
titre
Minimizing energy consumption for real-time tasks on heterogeneous platforms under deadline and reliability constraints
auteur
Yiqin Gao, Li Han, Jing Liu, Yves Robert, Frédéric Vivien
article
[Research Report] RR-9403, Inria - Research Centre Grenoble – Rhône-Alpes. 2021, pp.417
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03202996/file/rr9403.pdf BibTex
titre
Draft: sOMP: NUMA and cache-aware simulations for task-based applications
auteur
Idriss Daoudi, Samuel Thibault, Thierry Gautier
article
[Research Report] RR-9400, Inria. 2021, pp.25
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03177026/file/RR-9400.pdf BibTex
titre
Update on the Asymptotic Optimality of LPT
auteur
Anne Benoit, Louis-Claude Canon, Redouane Elghazi, Pierre-Cyrille Heam
article
[Research Report] RR-9397, Inria Grenoble - Rhône-Alpes. 2021, pp.23
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03159022/file/RR-9397.pdf BibTex
titre
Resilient Scheduling of Moldable Parallel Jobs to Cope with Silent Errors
auteur
Anne Benoit, Valentin Le Fèvre, Lucas Perotin, Padma Raghavan, Yves Robert, Hongyang Sun
article
[Research Report] RR-9340, Inria - Research Centre Grenoble – Rhône-Alpes. 2021
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02614215/file/rr9340-v2.pdf BibTex
titre
Deciding Non-Compressible Blocks in Sparse Direct Solvers using Incomplete Factorization
auteur
Esragul Korkmaz, Mathieu Faverge, Grégoire Pichon, Pierre Ramet
article
[Research Report] RR-9396, Inria Bordeaux - Sud Ouest. 2021, pp.16
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03152932/file/RR-9396.pdf BibTex
titre
Locality-Aware Scheduling of Independant Tasks for Runtime Systems
auteur
Maxime Gonthier, Loris Marchal, Samuel Thibault
article
[Research Report] RR-9394, Inria Grenoble -Rhône-Alpes. 2021, pp.21
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03144290/file/RR_coloc2021-submitted.pdf BibTex

Software

titre
FADAlib: an open source C++ library for fuzzy array dataflow analysis
auteur
Marouane Belaoucha, Christophe Alias, Denis Barthou, Sid Touati
article
2021, ⟨swh:1:dir:fc7481ee438316b9ce5b273ca894114bf658d3d9;origin=https://hal.archives-ouvertes.fr/hal-03445991;visit=swh:1:snp:518f2d28a2d2a1ad15ee2f630b40be3e24a0f8b1;anchor=swh:1:rel:488f5aa5aaa21fc92f24f0f7c9b571e56f1325ec;path=/⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03445991/file/fadalib-0.1.12.tar.gz BibTex

Theses

titre
Data-driven Management Solution for Microservice-based Deep Learning Applications
auteur
Zeina Houmani
article
Other [cs.OH]. Université de Lyon, 2021. English. ⟨NNT : 2021LYSEN092⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-03593003/file/HOUMANI_Zeina_2021LYSEN092_These.pdf BibTex
titre
Diffusion-Wasserstein Distances for Attributed Graphs
auteur
Dominique Barbe
article
Artificial Intelligence [cs.AI]. Université de Lyon, 2021. English. ⟨NNT : 2021LYSEN090⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-03610675/file/BARBE_2021LYSEN090_These.pdf BibTex
titre
Cryptographic aspects of orthogonal lattices
auteur
Thanh Huyên Nguyen
article
Cryptography and Security [cs.CR]. Université de Lyon, 2021. English. ⟨NNT : 2021LYSEN071⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-03562067/file/NGUYEN_Thanh_Huyen_2021LYSEN071_These.pdf BibTex
titre
Scheduling independent tasks under budget and time constraints
auteur
Yiqin Gao
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lyon, 2021. English. ⟨NNT : 2021LYSEN051⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-03412631/file/GAO_Yiqin_2021LYSEN051_These.pdf BibTex
titre
Modélisation de performance et simulation d'applications OpenMP
auteur
Idriss Daoudi
article
Calcul parallèle, distribué et partagé [cs.DC]. Université de Bordeaux, 2021. Français. ⟨NNT : 2021BORD0210⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-03416335/file/DAOUDI_IDRISS_2021.pdf BibTex
titre
Sized Types Methods and their Applications to Complexity Analysis in Pi-Calculus
auteur
Alexis Ghyselen
article
Computational Complexity [cs.CC]. Université de Lyon, 2021. English. ⟨NNT : 2021LYSEN036⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-03405961/file/GHYSELEN_Alexis_2021LYSEN036_These.pdf BibTex
titre
Inférence des graphes de conflits dans les réseaux Wi-Fi à infrastructure
auteur
Lafdal Abd El Wedoud
article
Web. Université de Lyon; Université de Nouakchott, 2021. Français. ⟨NNT : 2021LYSE1171⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-03528452/file/TH2021ABDELWEDOUDLAFDAL.pdf BibTex
titre
From automata to cyclic proofs : equivalence algorithms and descriptive complexity
auteur
Laureline Pinault
article
Logic in Computer Science [cs.LO]. Université de Lyon, 2021. English. ⟨NNT : 2021LYSEN024⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-03412556/file/PINAULT_Laureline_2021LYSEN024_These.pdf BibTex
titre
Functional encryption for blind external data processing
auteur
Adel Hamdi
article
Cryptography and Security [cs.CR]. Université de Lyon, 2021. English. ⟨NNT : 2021LYSE1144⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-03500313/file/TH2021HAMDIADEL.pdf BibTex
titre
Width Parameters on Even-Hole-Free Graphs
auteur
Ni Luh Dewi Sintiari
article
Other [cs.OH]. Université de Lyon, 2021. English. ⟨NNT : 2021LYSEN026⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-03342197/file/SINTIARI_2021LYSEN026_These.pdf BibTex
titre
Efficiency and Redundancy in Deep Learning Models : Theoretical Considerations and Practical Applications
auteur
Pierre Stock
article
Artificial Intelligence [cs.AI]. Université de Lyon, 2021. English. ⟨NNT : 2021LYSEN008⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-03208517/file/STOCK_Pierre_2021LYSEN008_These.pdf BibTex
titre
From WiFi Performance Evaluation to Controlled Mobility in Drone Networks
auteur
Rémy Grünblatt
article
Networking and Internet Architecture [cs.NI]. Université Claude Bernard Lyon 1, 2021. English
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-03126953/file/main.pdf BibTex
titre
From WiFi performance evaluation to controlled mobility in drone networks
auteur
Rémy Grünblatt
article
Networking and Internet Architecture [cs.NI]. Université de Lyon, 2021. English. ⟨NNT : 2021LYSE1002⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-03602476/file/TH2020GRUNBLATTREMY.pdf BibTex

Preprints, Working Papers, ...

titre
Affine Iterations and Wrapping Effect: Various Approaches
auteur
Nathalie Revol
article
2021
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03505854/file/NRevol.pdf BibTex
titre
L-types for resource awareness: an implicit name approach
auteur
Silvia Ghilezan, Jelena Ivetić, Simona Kašterović, Pierre Lescanne
article
2021
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03498420/file/main_general_arxiv.pdf BibTex
titre
Controlling Wasserstein distances by Kernel norms with application to Compressive Statistical Learning
auteur
Titouan Vayer, Rémi Gribonval
article
2021
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03461492/file/main.pdf BibTex
titre
Accurate calculation of Euclidean Norms using Double-word arithmetic
auteur
Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller, Joris Picot, Laurence Rideau
article
2021
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03482567/file/NormsV0-HAL.pdf BibTex
titre
Further remarks on Kahan summation with decreasing ordering
auteur
Claude-Pierre Jeannerod
article
2021
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03475741/file/compensated-summation.pdf BibTex
titre
Cantor-Bernstein implies Excluded Middle
auteur
Pierre Pradic, Chad E Brown
article
2021
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02103517/file/cbem.pdf BibTex
titre
A theory of optimal convex regularization for low-dimensional recovery
auteur
Yann Traonmilin, Rémi Gribonval, Samuel Vaiter
article
2021
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03467123/file/opti_convex_reg_journal.pdf BibTex
titre
A Polyhedral Approach for Scalar Promotion
auteur
Alec Sadler, Christophe Alias, Hugo Thievenaz
article
2021
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03449994/file/RR-9437.pdf BibTex
titre
Randomized reference models for temporal networks
auteur
Laetitia Gauvin, Mathieu Génois, Marton Karsai, Mikko Kivelä, Taro Takaguchi, Eugenio Valdano, Christian L. Vestergaard
article
2021
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01817633/file/RRMs_for_temporal_networks.pdf BibTex
titre
Identifiability in Two-Layer Sparse Matrix Factorization
auteur
Léon Zheng, Elisa Riccietti, Rémi Gribonval
article
2021
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03362875/file/main.pdf BibTex
titre
Integer points close to a transcendental curve and correctly-rounded evaluation of a function
auteur
Nicolas Brisebarre, Guillaume Hanrot
article
2021
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03240179/file/tmd-hal-V3.pdf BibTex
titre
Faster Modular Composition
auteur
Vincent Neiger, Bruno Salvy, Éric Schost, Gilles Villard
article
2021
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03380258/file/Faster%20Modular%20Composition.pdf BibTex
titre
A Proximal based strategy for solving Discrete Mumford-Shah and Ambrosio-Tortorelli models
auteur
Hoang T V Le, Marion Foare, Nelly Pustelnik
article
2021
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03381093/file/SPL.pdf BibTex
titre
Semi-relaxed Gromov Wasserstein divergence with applications on graphs
auteur
Cédric Vincent-Cuaz, Rémi Flamary, Marco Corneli, Titouan Vayer, Nicolas Courty
article
2021
Accès au bibtex
https://arxiv.org/pdf/2110.02753 BibTex
titre
Subquadratic-time algorithm for the diameter and all eccentricities on median graphs
auteur
Pierre Bergé, Guillaume Ducoffe, Michel Habib
article
2021
Accès au bibtex
https://arxiv.org/pdf/2110.02709 BibTex
titre
Nonsmooth convex optimization to estimate the Covid-19 reproduction number space-time evolution with robustness against low quality data
auteur
Barbara Pascal, Patrice Abry, Nelly Pustelnik, Stéphane G. Roux, Rémi Gribonval, Patrick Flandrin
article
2021
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03348154/file/21CovidOutlier.pdf BibTex
titre
Semialgebras and Weak Distributive Laws
auteur
Daniela Petrişan, Ralph Sarkis
article
2021
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03261093/file/main.pdf BibTex
titre
Spurious Valleys, NP-hardness, and Tractability of Sparse Matrix Factorization With Fixed Support
auteur
Quoc-Tung Le, Elisa Riccietti, Rémi Gribonval
article
2021
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03364668/file/main.pdf BibTex
titre
Covert Cycle Stealing in a Single FIFO Server (extended version)
auteur
Bo Jiang, Philippe Nain, Don Towsley
article
2021
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02497557/file/arxiv3-main.pdf BibTex
titre
L'informatique de Claude Pair
auteur
Marion Créhange, Pierre Lescanne, Alain Quéré
article
2021
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03193950/file/article-cp-2021-04-22.pdf BibTex
titre
Five-Precision GMRES-based iterative refinement
auteur
Patrick Amestoy, Alfredo Buttari, Nicholas Higham, Jean-Yves L'Excellent, Théo Mary, Bastien Vieuble
article
2021
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03190686/file/paper.pdf BibTex
titre
Taming Tail Latency in Key-Value Stores: a Scheduling Perspective (extended version)
auteur
Sonia Ben Mokhtar, Louis-Claude Canon, Anthony Dugois, Loris Marchal, Etienne Rivière
article
2021
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03144818/file/report.pdf BibTex
titre
Types for Complexity of Parallel Computation in Pi-calculus (Technical Report)
auteur
Patrick Baillot, Alexis Ghyselen
article
2021
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02961427/file/rapport.pdf BibTex
titre
Sketching Datasets for Large-Scale Learning (long version)
auteur
Rémi Gribonval, Antoine Chatalic, Nicolas Keriven, Vincent Schellekens, Laurent Jacques, Philip Schniter
article
2021
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02909766/file/SPM_paper.pdf BibTex
titre
Temporal Refinements for Guarded Recursive Types (full version)
auteur
Guilhem Jaber, Colin Riba
article
2021
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02512655/file/reftrees.pdf BibTex
titre
Coloring graphs with no induced subdivision of $K_4^+$
auteur
Louis Esperet, Nicolas Trotignon
article
2021
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03092640/file/1901.04170.pdf BibTex
titre
Maximum independent sets in (pyramid, even hole)-free graphs
auteur
Maria Chudnovsky, Stéphan Thomassé, Nicolas Trotignon, Kristina Vušković
article
2021
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02424059/file/1912.11246.pdf BibTex