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

 


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

2022

Journal articles

titre
Dynamic Scheduling Strategies for Firm Semi-Periodic Real-Time Tasks
auteur
Yiqin Gao, Guillaume Pallez, Yves Robert, Frédéric Vivien
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, In press, ⟨10.1109/TC.2022.3208203⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03778357/file/revised_ieeetc_submitted_June_15_2022.pdf BibTex
titre
Mixed Precision Low Rank Approximations and their Application to Block Low Rank LU Factorization
auteur
Patrick Amestoy, Olivier Boiteau, Alfredo Buttari, Matthieu Gerest, Fabienne Jézéquel, Jean-Yves L'Excellent, Théo Mary
article
IMA Journal of Numerical Analysis, Oxford University Press (OUP), 2022, ⟨10.1093/imanum/drac037⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03251738/file/mixedBLR%20%282%29.pdf BibTex
titre
Inference of Wi-Fi busy time fraction based on Markov chains
auteur
Nour El Houda Bouzouita, Anthony Busson, Herve Rivano
article
Ad Hoc Networks, Elsevier, 2022, pp.102963. ⟨10.1016/j.adhoc.2022.102963⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03762029/file/1-s2.0-S157087052200138X-main.pdf BibTex
titre
Minimizing I/Os in Out-of-Core Task Tree Scheduling
auteur
Loris Marchal, Samuel Mccauley, Bertrand Simon, Frédéric Vivien
article
International Journal of Foundations of Computer Science, World Scientific Publishing, 2022, pp.1-30. ⟨10.1142/s0129054122500186⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03758021/file/ijfcs.pdf BibTex
titre
FAM: A frame aggregation based method to infer the load level in IEEE 802.11 networks
auteur
Nour El Houda Bouzouita, Anthony Busson, Hervé Rivano
article
Computer Communications, Elsevier, 2022, 191, pp.36-52. ⟨10.1016/j.comcom.2022.04.021⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03692553/file/Revue_Nour_Anthony_Herve-3.pdf BibTex
titre
SDN-based fog and cloud interplay for stream processing
auteur
Michał Rzepka, Piotr Boryło, Marcos Assunção, Artur Lasoń, Laurent Lefèvre
article
Future Generation Computer Systems, Elsevier, 2022, 131, pp.1-17. ⟨10.1016/j.future.2022.01.006⟩
Accès au bibtex
BibTex
titre
Weakly and Strongly Aperiodic Subshifts of Finite Type on Baumslag-Solitar Groups
auteur
Solène Esnay, Etienne Moutot
article
Theoretical Computer Science, Elsevier, 2022, 917, pp.31-50. ⟨10.1016/j.tcs.2022.03.010⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03658172/file/esnaymoutot22.pdf BibTex
titre
Trading Performance for Memory in Sparse Direct Solvers using Low-rank Compression
auteur
Loris Marchal, Thibault Marette, Grégoire Pichon, Frédéric Vivien
article
Future Generation Computer Systems, Elsevier, 2022, 130, pp.307-320. ⟨10.1016/j.future.2021.12.018⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03517124/file/paper.pdf BibTex
titre
4 vs 7 sparse undirected unweighted Diameter is SETH-hard at time n^{4/3}
auteur
Edouard Bonnet
article
ACM Transactions on Algorithms, Association for Computing Machinery, 2022, 18 (2), ⟨10.1145/3494540⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03750993/file/arxiv2.pdf BibTex
titre
L'écoconception d'un service numérique : des actions pour réduire l'impact environnemental du numérique
auteur
Cyrille Bonamy, Cédric Boudinet, Laurent Bourgès, Karin Dassas, Laurent Lefèvre, Benjamin Ninassi, Francis Vivat
article
1024 : Bulletin de la Société Informatique de France, Société Informatique de France, 2022, pp.59-68. ⟨10.48556/SIF.1024.19.59⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03660118/file/1024_19_2022_59.pdf BibTex
titre
Optimal Checkpointing Strategies for Iterative Applications
auteur
Yishu Du, Loris Marchal, Guillaume Pallez, Yves Robert
article
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2022, 33 (3), pp.507-522. ⟨10.1109/TPDS.2021.3099440⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03338278/file/tpds-complete.pdf BibTex
titre
Formalization of double-word arithmetic, and comments on "Tight and rigorous error bounds for basic building blocks of double-word arithmetic
auteur
Jean-Michel Muller, Laurence Rideau
article
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2022, 48 (1), pp.1-24. ⟨10.1145/3484514⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02972245/file/muller-rideau-hal.pdf BibTex
titre
Scaling matrices and counting the perfect matchings in graphs
auteur
Fanny Dufossé, Kamer Kaya, Ioannis Panagiotas, Bora Uçar
article
Discrete Applied Mathematics, Elsevier, 2022, 308, pp.130--146. ⟨10.1016/j.dam.2020.07.016⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01743802/file/dlpu22.pdf BibTex
titre
A distributed antenna orientation solution for optimizing communications in a fleet of UAVs
auteur
Rémy Grünblatt, Isabelle Guérin-Lassous, Olivier Simonin
article
Computer Communications, Elsevier, 2022, 181, pp.102-115. ⟨10.1016/j.comcom.2021.09.020⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03400498/file/Papier_ComCom_2021.pdf BibTex
titre
Toward an intelligent and efficient beehive: A survey of precision beekeeping systems and services
auteur
Hugo Hadjur, Doreid Ammar, Laurent Lefèvre
article
Computers and Electronics in Agriculture, Elsevier, 2022, 192, pp.1-16. ⟨10.1016/j.compag.2021.106604⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03483914/file/surveyPB_hal.pdf BibTex
titre
miR-376a-3p and miR-376b-3p overexpression in Hutchinson-Gilford progeria fibroblasts inhibits cell proliferation and induces premature senescence
auteur
Diane Frankel, Valérie Delecourt, Elva-María Novoa-Del-Toro, Jérôme Robin, Coraline Airault, Catherine Bartoli, Aurélie Carabalona, Sophie Perrin, Kilian Mazaleyrat, Annachiara de Sandre-Giovannoli, Frederique Magdinier, Anaïs Baudot, Nicolas Lévy, Elise Kaspi, Patrice Roll
article
iScience, Elsevier, 2022, 25 (2), pp.103757. ⟨10.1016/j.isci.2022.103757⟩
Accès au bibtex
BibTex
titre
Overlaying a hypergraph with a graph with bounded maximum degree
auteur
Frédéric Havet, Dorian Mazauric, Viet-Ha Nguyen, Rémi Watrigant
article
Discrete Applied Mathematics, Elsevier, In press, 319, pp.394-406. ⟨10.1007/978-3-030-39219-2_32⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02025469/file/DAM-overlay.pdf BibTex
titre
Semi-automatic extraction of functional dynamic networks describing patient's epileptic seizures
auteur
Gaëtan Frusque, Pierre Borgnat, Paulo Gonçalves, Julien Jung
article
Frontiers in Neurology, Frontiers, In press, pp.1-24. ⟨10.3389/fneur.2020.579725⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02935666/file/Frontiers-FinalVersion.pdf BibTex
titre
An Embedding of ReLU Networks and an Analysis of their Identifiability
auteur
Pierre Stock, Rémi Gribonval
article
Constructive Approximation, Springer Verlag, In press, ⟨10.1007/s00365-022-09578-1⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03292203/file/stock-gribonval.pdf BibTex
titre
KL-UCB-switch: optimal regret bounds for stochastic bandits from both a distribution-dependent and a distribution-free viewpoints
auteur
Aurélien Garivier, Hédi Hadiji, Pierre Ménard, Gilles Stoltz
article
Journal of Machine Learning Research, Microtome Publishing, In press
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01785705/file/KL-UCB--GHMS.pdf BibTex
titre
Eager Functions as Processes (long version)
auteur
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
article
Theoretical Computer Science, Elsevier, In press, ⟨10.1016/j.tcs.2022.01.043⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03466150/file/efp.pdf BibTex

Conference papers

titre
On Module Unique-SVP and NTRU
auteur
Joël Felderhoff, Alice Pellet-Mary, Damien Stehlé
article
Asiacrypt 2022 -- 28th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2022, Taipei, Taiwan
Accès au bibtex
BibTex
titre
Updatable Public Key Encryption from DCR: Efficient Constructions With Stronger Security
auteur
Calvin Abou Haidar, Benoit Libert, Alain Passelègue
article
ACM Conference on Computer and Communications Security (ACM-CCS) 2022, Nov 2022, Los Angeles, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03738749/file/UPKE-acm.pdf BibTex
titre
Enhancing MPI+OpenMP Task based Applications for Heterogenous Architectures with GPU support
auteur
Manuel Ferat, Romain Pereira, Adrien Roussel, Patrick Carribault, Luiz Angelo Steffenel, Thierry Gautier
article
IWOMP 2022 - 18th International Workshop on OpenMP, Sep 2022, Chattanooga, United States. pp.1-14
Accès au texte intégral et bibtex
https://hal-cea.archives-ouvertes.fr/cea-03749364/file/2022_iwomp_omp-target.pdf BibTex
titre
Analysing Parallel Complexity of Term Rewriting
auteur
Thaïs Baudon, Carsten Fuhs, Laure Gonnord
article
32nd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2022), Sep 2022, Tbilisi, Georgia
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03749679/file/lopstr22_paracomp.pdf BibTex
titre
Completeness Theorems for Kleene Algebra with Top
auteur
Damien Pous, Jana Wagemaker
article
CONCUR, Sep 2022, Varsovie, Poland. ⟨10.4230/LIPIcs.CONCUR.2022.26⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03644317/file/katop.pdf BibTex
titre
High-level algorithms for correctly-rounded reciprocal square roots
auteur
Carlos F. Borges, Claude-Pierre Jeannerod, Jean-Michel Muller
article
29th IEEE Symposium on Computer Arithmetic (ARITH 2022), Sep 2022, Lyon (virtual meeting due to the COVID pandemic), France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03728088/file/cr_rsqrt.pdf BibTex
titre
Compressive Clustering with an Optical Processing Unit
auteur
Luc Giffon, Rémi Gribonval
article
GRETSI 2022 - XXVIIIème Colloque Francophone de Traitement du Signal et des Images, Sep 2022, Nancy, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03690865/file/main.pdf BibTex
titre
Des règles de quadrature dans les RKHSs à base de DPPs
auteur
Ayoub Belhadji
article
GRETSI 2022 - XXVIIIème Colloque Francophone de Traitement du Signal et des Images, Sep 2022, Nancy, France. pp.1-4
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03630086/file/belhadji_gretsi_2022_v3.pdf BibTex
titre
Méthodes proximales multi-niveaux pour la restauration d'images
auteur
Guillaume Lauga, Elisa Riccietti, Nelly Pustelnik, Paulo Gonçalves
article
28ème colloque GRETSI, Sep 2022, Nancy, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03739496/file/GRETSI_2022_Multi_niveau.pdf BibTex
titre
Online Scheduling of Moldable Task Graphs under Common Speedup Models
auteur
Anne Benoit, Lucas Perotin, Yves Robert, Hongyang Sun
article
ICPP 2022 - 51st International Conference on Parallel Processing, Aug 2022, Bordeaux, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03778405/file/moldable_online_new.pdf BibTex
titre
On Confluence of Parallel-Innermost Term Rewriting
auteur
Thaïs Baudon, Carsten Fuhs, Laure Gonnord
article
IWC 2022 - 11th International Workshop on Confluence, Aug 2022, Haifa, Israel
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03710007/file/iwc22_para.pdf BibTex
titre
Bottom-Up Sequentialization of Unit-Free MALL Proof Nets
auteur
Rémi Di Guardia, Olivier Laurent
article
3rd Joint International Workshop on Linearity and Trends in Linear Logic and its Applications (Linearity & TLLA 2022), Jul 2022, Haifa, Israel
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03719939/file/MALL_TLLA_final2.pdf BibTex
titre
ADIperf: A Framework for Application-driven IoT Network Performance Evaluation
auteur
Samir Si-Mohammed, Thomas Begin, Isabelle Guérin-Lassous, Pascale Vicat-Blanc
article
ICCCN 2022 - 31st International Conference on Computer Communications and Networks, Jul 2022, Honolulu, United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03738572/file/ICCCN.pdf BibTex
titre
Regular expressions for tree-width 2 graphs
auteur
Amina Doumane
article
International Colloquium on Automata, Languages and Programming, Jul 2022, Paris, France. ⟨10.4230/LIPIcs.ICALP.2022.121⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03753626/file/LIPIcs-ICALP-2022-121.pdf BibTex
titre
Deciding twin-width at most 4 is NP-complete
auteur
Pierre Bergé, Édouard Bonnet, Hugues Déprés
article
49th EATCS International Colloquium on Automata, Languages and Programming (ICALP 2022), Jul 2022, Paris, France. ⟨10.4230/LIPIcs.ICALP.2022.18⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03750997/file/camera.pdf BibTex
titre
Formalising Futures and Promises in Viper
auteur
Cinzia Giusto, Loïc Guizouarn, Ludovic Henrio, Etienne Lozes
article
JFLA 2022 - 33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.165-183
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03626843/file/jfla22_paper_12.pdf BibTex
titre
Beating the Sum-Rate Capacity of the Binary Adder Channel with Non-Signaling Correlations
auteur
Omar Fawzi, Paul Fermé
article
ISIT 2022, Jun 2022, Espoo, Finland
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03702410/file/MAC_NS.pdf BibTex
titre
Twin-width IV: ordered graphs and matrices
auteur
Édouard Bonnet, Ugo Giocanti, Patrice Ossona de Mendez, Pierre Simon, Stéphan Thomassé, Szymon Toruńczyk
article
STOC 2022, Jun 2022, Rome, Italy
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03714452/file/main-STOC.pdf BibTex
titre
Knit&Frog: Pattern matching compilation for custom memory representations (doctoral session)
auteur
Thaïs Baudon, Gabriel Radanne, Laure Gonnord
article
AFADL 2022 - 21ème journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2022, Vannes, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03676356/file/afadl_2022_baudon_hal.pdf BibTex
titre
Socio-géographie de la téléphonie mobile
auteur
Éric Guichard, Anthony Busson, Thomas Begin
article
7ème Rencontres Francophones sur la Conception de Protocoles, l’Evaluation de Performance et l’EXpérimentation des Réseaux de Communication, CORES'22, Jun 2022, Lyon, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03647759/file/submitted.pdf BibTex
titre
INSPIRE : Optimisation bayésienne distribuée pour l’amélioration de la réutilisation spatiale des WLANs denses
auteur
Anthony Bardou, Thomas Begin
article
24ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, AlgoTel'22, Jun 2022, Saclay, France
Accès au bibtex
BibTex
titre
Socio-géographie de la téléphonie mobile
auteur
Éric Guichard, Anthony Busson, Thomas Begin
article
CORES 2022 – 7ème Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, May 2022, Saint-Rémy-Lès-Chevreuse, France. pp.1-4
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03656995/file/Cores_2022.pdf BibTex
titre
An Efficient Parallel Implementation of a Perfect Hashing Method for Hypergraphs
auteur
Somesh Singh, Bora Uçar
article
GrAPL 2022 - Workshop on Graphs, Architectures, Programming, and Learning, IEEE, May 2022, Lyon, France. pp.1-10
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03612360/file/singhUcar-GrAPL2022.pdf BibTex
titre
Analyse de la qualité des liens Wi-Fi à partir de données expérimentales
auteur
Thierry Arrabal, Marija Stojanova, Isabelle Guérin Lassous, Joris Picot
article
CORES 2022 – 7ème Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, May 2022, Saint-Rémy-Lès-Chevreuse, France. pp.1-4
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03660891/file/CoRes22_Expes_WiFi.pdf BibTex
titre
Bounding the Flow Time in Online Scheduling with Structured Processing Sets
auteur
Louis-Claude Canon, Anthony Dugois, Loris Marchal
article
IPDPS 2022 - 36th IEEE International Parallel & Distributed Processing Symposium, May 2022, Lyon, France. pp.1-11
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03561018/file/conf.pdf BibTex
titre
Memory-Aware Scheduling of Tasks Sharing Data on Multiple GPUs with Dynamic Runtime Systems
auteur
Maxime Gonthier, Loris Marchal, Samuel Thibault
article
IPDPS 2022 - 36th IEEE International Parallel & Distributed Processing Symposium, May 2022, Lyon, France. pp.1-11, ⟨10.1109/IPDPS53621.2022.00073⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03552243/file/IPDPS-camera-ready.pdf BibTex
titre
INSPIRE : Optimisation bayésienne distribuée pour l'amélioration de la réutilisation spatiale des WLANs denses
auteur
Anthony Bardou, Thomas Begin
article
AlgoTel 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2022, Saint-Rémy-Lès-Chevreuse, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03650782/file/AlgoTel22_CameraReady.pdf BibTex
titre
One-Shot Fiat-Shamir-based NIZK Arguments of Composite Residuosity and Logarithmic-Size Ring Signatures in the Standard Model
auteur
Benoît Libert, Khoa Nguyen, Thomas Peters, Moti Yung
article
Eurocrypt 2022, May 2022, Trondheim, Norway. pp.488-519, ⟨10.1007/978-3-031-07085-3_17⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03726185/file/DCR-ring-sig-full.pdf BibTex
titre
Stratégie d'association dans un réseau hétérogène Wi-Fi/LiFi pour une meilleure efficacité énergétique
auteur
Esther Guérin, Thomas Begin, Anthony Busson, Isabelle Lassous
article
CoRes2022 - 7ème Rencontres Francophones sur la Conception de Protocoles, l’Evaluation de Performance et l’Expérimentation des Réseaux de Communication, May 2022, Saint-Rémy-Lès-Chevreuse, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03651883/file/CoRes.pdf BibTex
titre
Fast learning of fast transforms, with guarantees
auteur
Quoc-Tung Le, Léon Zheng, Elisa Riccietti, Rémi Gribonval
article
ICASSP 2022 - IEEE International Conference on Acoustics, Speech and Signal Processing, May 2022, Singapore, Singapore. ⟨10.1109/ICASSP43922.2022.9747791⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03438881/file/main.pdf BibTex
titre
Fast Multiscale Diffusion on Graphs
auteur
Sibylle Marcotte, Amélie Barbe, Rémi Gribonval, Titouan Vayer, Marc Sebban, Pierre Borgnat, Paulo Gonçalves
article
ICASSP 2022 - IEEE International Conference on Acoustics, Speech and Signal Processing, May 2022, Singapore, Singapore. ⟨10.1109/ICASSP43922.2022.9746802⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03212764/file/icassp2022.pdf BibTex
titre
Impact des langages de programmation sur la performance énergétique des applications de calcul scientifique : un challenge ?
auteur
Cyrille Bonamy, Laurent Bourgès, Laurent Lefèvre
article
JRES 2022 - Journées Réseau de l’Enseignement et de la Recherche, RENATER, May 2022, Marseille, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03607468/file/paper19_article_rev1963_20220315_144218.pdf BibTex
titre
Total Cost Modeling for VNF Based on Licenses and Resources
auteur
Ghoshana Bista, Eddy Caron, Anne-Lucie Vion
article
CLOSER 2022 - 12th International Conference on Cloud Computing and Services Science, Apr 2022, Online Streaming, Portugal
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03660857/file/CLOSER2022.pdf BibTex
titre
Multi-Armed Bandit Algorithm for Spatial Reuse in WLANs: Minimizing Stations in Starvation
auteur
Anthony Bardou, Thomas Begin, Anthony Busson
article
23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03596197/file/ROADEF2022.pdf BibTex
titre
Learning-Augmented Online Algorithms
auteur
Bertrand Simon
article
23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France
Accès au bibtex
BibTex
titre
Cyclic proofs for transfinite expressions
auteur
Emile Hazard, Denis Kuperberg
article
30th EACSL Annual Conference on Computer Science Logic (CSL 2022), Feb 2022, Göttingen, Germany. ⟨10.4230/LIPIcs.CSL.2022.23⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03669657/file/CSL22long.pdf BibTex
titre
Larger Corner-Free Sets from Combinatorial Degenerations
auteur
Matthias Christandl, Omar Fawzi, Hoang Ta, Jeroen Zuiddam
article
13th Innovations in Theoretical Computer Science Conference (ITCS 2022), Jan 2022, Berkeley, United States. ⟨10.4230/LIPIcs.ITCS.2022.48⟩
Accès au bibtex
https://arxiv.org/pdf/2111.08262 BibTex
titre
A lower bound on the space overhead of fault-tolerant quantum computation
auteur
Omar Fawzi, Alexander Müller-Hermes, Ala Shayeghi
article
13th Innovations in Theoretical Computer Science Conference (ITCS 2022), Jan 2022, Berkeley, United States. ⟨10.4230/LIPIcs.ITCS.2022.68⟩
Accès au bibtex
https://arxiv.org/pdf/2202.00119 BibTex
titre
Direction scientifique
auteur
Ludovic Pailler, Alain Tchana
article
Atelier rgpdOS 1, organisé dans le cadre du projet MSH-LSE rgpdOS, UJML3, EDIEC-CREDIP, Jan 2022, Lyon, France
Accès au bibtex
BibTex
titre
Twin-width VI: the lens of contraction sequences
auteur
Édouard Bonnet, Eun Jung Kim, Amadeus Reinald, Stéphan Thomassé
article
SODA 2022, Jan 2022, Alexandria, United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03430581/file/main.pdf BibTex
titre
Multi-Armed Bandit Algorithm for Spatial Reuse in WLANs : Minimizing Stations in Starvation
auteur
Anthony Bardou, Thomas Begin, Anthony Busson
article
23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, ROADEF'22, 2022, Lyon, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03643750/file/ROADEF2022.pdf BibTex

Directions of work or proceedings

titre
33èmes Journées Francophones des Langages Applicatifs
auteur
Chantal Keller, Timothy Bourke, Sandrine Blazy, Frédéric Bour, Guillaume Bury, Stefania Dumbrava, Diane Gallois-Wong, Adrien Guatto, David Janin, Marie Kerjean, Luc Pellissier, Mário Pereira, Alix Trieu, Yannick Zakowski
article
Chantal Keller; Timothy Bourke. Jun 2022, Saint-Médard-d'Excideuil, France. pp.1-292, 2022
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03689075/file/proceedings-jfla-2022.pdf BibTex

Other publications

titre
Je code : les bonnes pratiques en éco-conception de service numérique à destination des développeurs de logiciels
auteur
Cyrille Bonamy, Cédric Boudinet, Laurent Bourgès, Karin Dassas, Laurent Lefèvre, Benjamin Ninassi, Francis Vivat
article
2022, pp.1-19
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03009741/file/Plaquette_EcoInfo_Ecoconception_Logicielle_vHAL4.pdf BibTex

Poster communications

titre
RoMA: Rotating MAC Address for privacy protection
auteur
Johann Hugon, Mathieu Cunche, Thomas Begin
article
SIGCOMM 2022 - 36th Conference of the ACM Special Interest Group on Data Communication -- Poster Session, Aug 2022, Amsterdam, Netherlands. ⟨10.1145/3546037.3546055⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03778273/file/Poster_Virtual_Interface.pdf BibTex
titre
Block low-rank compression in mixed precision for the solution of sparse linear systems
auteur
Matthieu Gerest, Patrick Amestoy, Olivier Boiteau, Alfredo Buttari, Fabienne Jézéquel, Jean-Yves L'Excellent, Théo Mary
article
Sparse Days conference 2022, Jun 2022, Saint-Girons, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03780548/file/stgirons-gerest.pdf BibTex

Reports

titre
Reaching the Quality of SVD for Low-Rank Compression Through QR Variants
auteur
Esragul Korkmaz, Mathieu Faverge, Grégoire Pichon, Pierre Ramet
article
[Research Report] RR-9476, Inria Bordeaux - Sud Ouest. 2022, pp.43
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03718312/file/RR-9476.pdf BibTex
titre
Knit&Frog: Pattern matching compilation for custom memory representations
auteur
Thaïs Baudon, Laure Gonnord, Gabriel Radanne
article
[Research Report] RR-9473, Inria Lyon. 2022, pp.35
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03684334/file/rr-9473.pdf BibTex
titre
Algorithms and data structures for hyperedge queries
auteur
Jules Bertrand, Fanny Dufossé, Somesh Singh, Bora Uçar
article
[Research Report] RR-9390, Inria Grenoble Rhône-Alpes. 2022, pp.28
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03127673/file/RR-9390.pdf BibTex
titre
Energy-aware mapping and scheduling strategies for real-time workflows under reliability constraints
auteur
Zhiwei Wu, Li Han, Jing Liu, Yves Robert, Frédéric Vivien
article
[Research Report] RR-9469, INRIA LIP - ENS Lyon. 2022
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03745202/file/RR-9469-V2.pdf BibTex
titre
Inference of Wi-Fi Busy Time Fraction based on Markov Chains
auteur
Nour El Houda Bouzouita, Anthony Busson, Hervé Rivano
article
[Research Report] Inria Lyon. 2022, pp.1-35
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03641948/file/Ad_Hoc_networks_journal_nour_2022.pdf BibTex
titre
Energy-aware mapping and scheduling strategies for real-time workflows under reliability constraints
auteur
Zhiwei Wu, Li Han, Jing Liu, Yves Robert, Frédéric Vivien
article
[Research Report] RR-9469, INRIA. 2022, pp.1-23
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03641039/file/RR-9469.pdf BibTex
titre
Checkpointing strategies to protect parallel jobs from non-memoryless fail-stop errors
auteur
Anne Benoit, Lucas Perotin, Yves Robert, Frédéric Vivien
article
[Research Report] RR-9465, Inria - Research Centre Grenoble – Rhône-Alpes. 2022, pp.42
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03610883/file/RR-9465.pdf BibTex
titre
Mapping Tree-shaped Workflows on Memory-heterogeneous Architectures
auteur
Svetlana Kulagina, Henning Meyerhenke, Anne Benoit
article
[Research Report] RR-9458, Inria Grenoble Rhône-Alpes. 2022, pp.1-20
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03581418/file/RR-9458.pdf BibTex
titre
Scheduling Strategies for Overloaded Real-Time Systems
auteur
Yiqin Gao, Guillaume Pallez, Yves Robert, Frédéric Vivien
article
[Research Report] RR-9455, Inria - Research Centre Grenoble – Rhône-Alpes. 2022, pp.1-48
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03580853/file/rr9455.pdf BibTex
titre
Bounding the Flow Time in Online Scheduling with Structured Processing Sets (extended version)
auteur
Louis-Claude Canon, Anthony Dugois, Loris Marchal
article
[Research Report] RR-9446, INRIA. 2022, pp.1-35
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03558600/file/report.pdf BibTex
titre
Bouncing threads for circular and non-wellfounded proofs -- Towards compositionality with circular proofs (Extended version)
auteur
David Baelde, Amina Doumane, Denis Kuperberg, Alexis Saurin
article
[Research Report] CNRS. 2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03682126/file/main.pdf BibTex

Software

titre
Code for reproducible research - Self-supervised learning with rotation-invariant kernels
auteur
Léon Zheng, Gilles Puy, Elisa Riccietti, Patrick Pérez, Rémi Gribonval
article
2022, ⟨swh:1:dir:0324646066b76298702273fed6baa6a64cfb5b01;origin=https://hal.archives-ouvertes.fr/hal-03737572;visit=swh:1:snp:c7c35f9273f8f23fd018d4dd6b0aaef7e600b0dc;anchor=swh:1:rel:7b216caea6e30f84fae2f12af6235dcbfbd1a85d;path=/⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03737572/file/sfrik.zip BibTex
titre
Code for reproducible research - "Spurious Valleys, NP-hardness, and Tractability of Sparse Matrix Factorization With Fixed Support
auteur
Quoc-Tung Le, Rémi Gribonval, Elisa Riccietti
article
2022, ⟨swh:1:dir:0815e7933349cee2fdef8c7b24ee5c1a29115480;origin=https://hal.archives-ouvertes.fr/hal-03667186;visit=swh:1:snp:0360b8b8bc1de00c2520b7608470a50cd0491851;anchor=swh:1:rel:d2138dc681b43f7a31f9d6a2df9f46b04ed4ee8d;path=/⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03667186/file/CodeSIMAX.zip BibTex
titre
Code for reproducible research - Efficient Identification of Butterfly Sparse Matrix Factorizations
auteur
Léon Zheng, Elisa Riccietti, Rémi Gribonval
article
2022, ⟨swh:1:dir:ed569ed027c484a53ca2d3d32aa6a05c79b50dbd;origin=https://hal.archives-ouvertes.fr/hal-03620052;visit=swh:1:snp:0706d7527a325d7ac8f46744c182056af46b4756;anchor=swh:1:rel:3884bd8154b9879c5743dfd2279d55102b60358c;path=/⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03620052/file/efficient-butterfly-main.zip BibTex
titre
Code for reproducible research - Fast Multiscale Diffusion on Graphs
auteur
Sibylle Marcotte, Amélie Barbe, Rémi Gribonval, Titouan Vayer, Marc Sebban, Pierre Borgnat, Paulo Gonçalves
article
2022
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03576498/file/Archive.zip BibTex
titre
Code for the paper "Structured Support Exploration For Multilayer Sparse Matrix Factorization
auteur
Quoc-Tung Le, Rémi Gribonval
article
2022, ⟨swh:1:dir:6794fd3f41d50a4e51e6e7f11ee721efafda9806;origin=https://hal.archives-ouvertes.fr/hal-03572265;visit=swh:1:snp:e5760cb4d925b5f3529486ffde997d8e3e9ea07e;anchor=swh:1:rel:a190fb7ab69d170eede1666e9e3edec33c56224b;path=/⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03572265/file/Code.zip BibTex
titre
Code for reproducible research - Fast learning of fast transforms, with guarantees
auteur
Léon Zheng, Quoc-Tung Le, Elisa Riccietti, Rémi Gribonval
article
2022, ⟨swh:1:dir:42d42bf905c9f3bbcd6cf5e1e0cda6be2d0d63de;origin=https://hal.archives-ouvertes.fr/hal-03552956;visit=swh:1:snp:6a2256426a0f3a7491086fbf2da554d7589d1e18;anchor=swh:1:rel:f477382c82ada89647864605ea44b12383c04167;path=/⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03552956/file/Code.zip BibTex

Theses

titre
Asymptotic properties of hypergraphs and channels
auteur
Duy Hoang Ta
article
Information Theory [cs.IT]. Université de Lyon, 2022. English. ⟨NNT : 2022LYSEN024⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-03735720/file/TA_Duy_Hoang_2022LYSEN024_These.pdf BibTex
titre
The Data-abstraction Framework : abstracting unbounded data-structures in Horn clauses, the case of arrays
auteur
Julien Braine
article
Logic in Computer Science [cs.LO]. Université de Lyon, 2022. English. ⟨NNT : 2022LYSEN014⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-03771839/file/BRAINE_Julien_2022LYSEN014_These.pdf BibTex
titre
Compiling Trees : Combining Data Layouts and the Polyhedral Model
auteur
Paul Iannetta
article
Data Structures and Algorithms [cs.DS]. Université de Lyon, 2022. English. ⟨NNT : 2022LYSEN013⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-03771830/file/IANNETTA_Paul_2022LYSEN013_These.pdf BibTex
titre
Load inference in Wi-Fi networks : models and experimentations
auteur
Nour El Houda Bouzouita
article
Networking and Internet Architecture [cs.NI]. Université de Lyon, 2022. English. ⟨NNT : 2022LYSEN003⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-03616575/file/BOUZOUITA_NEH_2022LYSEN003_These.pdf BibTex

Preprints, Working Papers, ...

titre
On Best-Arm Identification with a Fixed Budget in Non-Parametric Multi-Armed Bandits
auteur
Antoine Barrier, Aurélien Garivier, Gilles Stoltz
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03792668/file/BaGaSt--BAI-fixed-T-v3.pdf BibTex
titre
Recolouring planar graphs of girth at least five
auteur
Valentin Bartier, Nicolas Bousquet, Carl Feghali, Marc Heinrich, Benjamin Moore, Théo Pierron
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03773048/file/Recoloring_Planar_graphs_of_large_girth.pdf BibTex
titre
Minimization of differential equations and algebraic values of $E$-functions
auteur
Alin Bostan, Tanguy Rivoal, Bruno Salvy
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03771150/file/2209.01827.pdf BibTex
titre
Generalised entropy accumulation
auteur
Tony Metger, Omar Fawzi, David Sutter, Renato Renner
article
2022
Accès au bibtex
https://arxiv.org/pdf/2203.04989 BibTex
titre
Semidefinite programming lower bounds on the squashed entanglement
auteur
Hamza Fawzi, Omar Fawzi
article
2022
Accès au bibtex
https://arxiv.org/pdf/2203.03394 BibTex
titre
High-order lifting for polynomial Sylvester matrices
auteur
Clément Pernet, Hippolyte Signargout, Gilles Villard
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03740320/file/resultant.pdf BibTex
titre
Fundamentals of Compositional Rewriting Theory
auteur
Nicolas Behr, Russ Harmer, Jean Krivine
article
2022
Accès au bibtex
https://arxiv.org/pdf/2204.07175 BibTex
titre
Self-supervised learning with rotation-invariant kernels
auteur
Léon Zheng, Gilles Puy, Elisa Riccietti, Patrick Pérez, Rémi Gribonval
article
2022
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03738466/file/main.pdf BibTex
titre
Towards Off-the-grid Algorithms for Total Variation Regularized Inverse Problems
auteur
Yohann de Castro, Vincent Duval, Romain Petit
article
2022
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03406710/file/main.pdf BibTex
titre
Differential-Difference Properties of Hypergeometric Series
auteur
Nicolas Brisebarre, Bruno Salvy
article
2022
Accès au bibtex
https://arxiv.org/pdf/2207.00393 BibTex
titre
Complexity and algorithms for Isometric Path Cover on chordal graphs and beyond
auteur
Dibyayan Chakraborty, Antoine Dailly, Sandip Das, Florent Foucaud, Harmender Gahlawat, Subir Kumar Ghosh
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03710812/file/Isometric_Path_Cover.pdf BibTex
titre
Sparse graphs with bounded induced cycle packing number have logarithmic treewidth
auteur
Marthe Bonamy, Édouard Bonnet, Hugues Déprés, Louis Esperet, Colin Geniet, Claire Hilaire, Stéphan Thomassé, Alexandra Wesolek
article
2022
Accès au bibtex
https://arxiv.org/pdf/2206.00594 BibTex
titre
Limitations of variational quantum algorithms: a quantum optimal transport approach
auteur
Daniel Stilck Franca, Giacomo de Palma, Milad Marvian, Cambyse Rouzé
article
2022
Accès au bibtex
https://arxiv.org/pdf/2204.03455 BibTex
titre
Testing interval arithmetic libraries, including their IEEE-1788 compliance
auteur
Nathalie Revol, Luis Benet, Luca Ferranti, Sergei Zhilin
article
2022
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03674743/file/PPAM-RBFZ-22.pdf BibTex
titre
Efficient and robust estimation of many-qubit Hamiltonians
auteur
Daniel Stilck Franca, Liubov A. Markovich, V. V. Dobrovitski, Albert H. Werner, Johannes Borregaard
article
2022
Accès au bibtex
https://arxiv.org/pdf/2205.09567 BibTex
titre
Linear random generation of Motzkin trees
auteur
Pierre Lescanne
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03674690/file/Motzkin_Rand_Gen.pdf BibTex
titre
Approximation speed of quantized vs. unquantized ReLU neural networks and beyond
auteur
Antoine Gonon, Nicolas Brisebarre, Rémi Gribonval, Elisa Riccietti
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03672166/file/preprint_approximation_speed_of_quantized_vs_unquantized_ReLU_neural_networks_and_beyond.pdf BibTex
titre
Explorable automata
auteur
Emile Hazard, Denis Kuperberg
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03669659/file/Explorable%20Automata.pdf BibTex
titre
Doing better for jobs that failed: node stealing from a batch scheduler's perspective
auteur
Yishu Du, Loris Marchal, Guillaume Pallez, Yves Robert
article
2022
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03643403/file/hal-version.pdf BibTex
titre
Taming data locality for GPU task scheduling in runtime systems
auteur
Maxime Gonthier, Loris Marchal, Samuel Thibault
article
2022
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03623220/file/fgcs-paper-submitted-hal.pdf BibTex
titre
Zaionc paradox revisited
auteur
Pierre Lescanne
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03197423/file/Zaionc_paradox.pdf BibTex
titre
Device-independent lower bounds on the conditional von Neumann entropy
auteur
Peter Brown, Hamza Fawzi, Omar Fawzi
article
2022
Accès au bibtex
https://arxiv.org/pdf/2106.13692 BibTex
titre
Symmetric Subrank of Tensors and Applications
auteur
Matthias Christandl, Omar Fawzi, Hoang Ta, Jeroen Zuiddam
article
2022
Accès au bibtex
https://arxiv.org/pdf/2104.01130 BibTex
titre
Private Quantiles Estimation in the Presence of Atoms
auteur
Clément Sébastien Lalanne, Clément Gastaud, Nicolas Grislain, Aurélien Garivier, Rémi Gribonval
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03572701/file/hal.pdf BibTex
titre
Efficient and Validated Numerical Evaluation of Abelian Integrals
auteur
Florent Bréhard, Nicolas Brisebarre, Mioara Joldeş, Warwick Tucker
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03561096/file/hal-abintvalid.pdf BibTex
titre
Combining sparse approximate factorizations with mixed precision iterative refinement
auteur
Patrick Amestoy, Alfredo Buttari, Nicholas J Higham, Jean-Yves L'Excellent, Théo Mary, Bastien Vieuble
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03536031/file/paper.pdf BibTex
titre
Efficient Identification of Butterfly Sparse Matrix Factorizations
auteur
Léon Zheng, Elisa Riccietti, Rémi Gribonval
article
2022
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03362626/file/main.pdf BibTex
titre
Corecursion up-to via Causal Transformations
auteur
Damien Pous, Jurriaan Rot, Ruben Turkenburg
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03694381/file/causal-up-to.pdf BibTex