2022

Journal articles

titre

Checkpointing Workflows à la Young/Daly Is Not Good Enough

auteur

Anne Benoit, Lucas Perotin, Yves Robert, Hongyang Sun

article

ACM Transactions on Parallel Computing, 2022, 9 (4), pp.1-25. ⟨10.1145/3548607⟩

Accès au bibtex

titre

Algorithms and Data Structures for Hyperedge Queries

auteur

Jules Bertrand, Fanny Dufossé, Somesh Singh, Bora Uçar

article

ACM Journal of Experimental Algorithmics, 2022, 27, pp.1-23. ⟨10.1145/3568421⟩

Accès au texte intégral et bibtex

titre

PACE solver description: DreyFVS

auteur

Gabriel Bathie, Gaétan Berthe, Yoann Coudert-Osmont, David Desobry, Amadeus Reinald, Mathis Rocton

article

Leibniz International Proceedings in Informatics , 2022, ⟨10.4230/LIPIcs.IPEC.2022.31⟩

Accès au texte intégral et bibtex

titre

On contraction coefficients, partial orders and approximation of capacities for quantum channels

auteur

Christoph Hirche, Cambyse Rouzé, Daniel Stilck França

article

Quantum, 2022, 6, pp.862. ⟨10.22331/q-2022-11-28-862⟩

Accès au texte intégral et bibtex

titre

CARA: Connectivity-Aware Relay Algorithm for Multi-Robot Expeditions

auteur

Razanne Abu-Aisheh, Francesco Bronzino, Lou Salaun, Thomas Watteyne

article

Sensors, 2022, 22 (23)

Accès au texte intégral et bibtex

titre

Computer Arithmetic: Continuing a Long and Steady Emergence

auteur

Paolo Montuschi, Jean-Michel Muller, Florent de Dinechin

article

Computer, 2022, 55 (10), pp.4-6. ⟨10.1109/MC.2022.3193206⟩

Accès au texte intégral et bibtex

titre

Time Series Alignment with Global Invariances

auteur

Titouan Vayer, Romain Tavenard, Laetitia Chapel, Nicolas Courty, Rémi Flamary, Yann Soullard

article

Transactions on Machine Learning Research Journal, 2022

Accès au texte intégral et bibtex

titre

A Survey on Parallelism and Determinism

auteur

Laure Gonnord, Ludovic Henrio, Lionel Morel, Gabriel Radanne

article

ACM Computing Surveys, 2022, ⟨10.1145/3564529⟩

Accès au texte intégral et bibtex

titre

Types for Complexity of Parallel Computation in Pi-calculus (Long Version)

auteur

Patrick Baillot, Alexis Ghyselen

article

ACM Transactions on Programming Languages and Systems (TOPLAS), 2022, 44 (3), pp.1-50

Accès au texte intégral et bibtex

titre

Analysis of a Multi-Armed Bandit solution to improve the spatial reuse of next-generation WLANs

auteur

Anthony Bardou, Thomas Begin, Anthony Busson

article

Computer Communications, 2022, 193, pp.279-292. ⟨10.1016/j.comcom.2022.07.015⟩

Accès au texte intégral et bibtex

titre

Edge-partitioning 3-edge-connected graphs into paths

auteur

Tereza Klimošová, Stéphan Thomassé

article

Journal of Combinatorial Theory, Series B, 2022, 156, pp.250-293. ⟨10.1016/j.jctb.2022.05.001⟩

Accès au bibtex

titre

Formal reasoning about layered monadic interpreters

auteur

Irene Yoon, Yannick Zakowski, Steve Zdancewic

article

Proceedings of the ACM on Programming Languages, 2022, 6 (ICFP), pp.254-282. ⟨10.1145/3547630⟩

Accès au 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, 2022, pp.102963. ⟨10.1016/j.adhoc.2022.102963⟩

Accès au texte intégral et bibtex

titre

Le vrai coût énergétique du numérique

auteur

Anne-Cécile Orgerie, Laurent Lefèvre

article

Interstices, 2022

Accès au 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, 2022, 191, pp.36-52. ⟨10.1016/j.comcom.2022.04.021⟩

Accès au texte intégral et 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

IEEE Transactions on Signal Processing, 2022, 70, pp.2859-2868. ⟨10.1109/tsp.2022.3180926⟩

Accès au texte intégral et 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, 2022, 23 (179), pp.1-66

Accès au texte intégral et 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, 2022, 131, pp.1-17. ⟨10.1016/j.future.2022.01.006⟩

Accès au texte intégral et bibtex

titre

Weakly and Strongly Aperiodic Subshifts of Finite Type on Baumslag-Solitar Groups

auteur

Solène Esnay, Etienne Moutot

article

Theoretical Computer Science, 2022, 917, pp.31-50. ⟨10.1016/j.tcs.2022.03.010⟩

Accès au texte intégral et bibtex

titre

Mapping series-parallel streaming applications on hierarchical platforms with reliability and energy constraints

auteur

Changjiang Gou, Anne Benoit, Mingsong Chen, Loris Marchal, Tongquan Wei

article

Journal of Parallel and Distributed Computing, 2022, 163, pp.45-61. ⟨10.1016/j.jpdc.2022.01.016⟩

Accès au texte intégral et 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, 2022, 130, pp.307-320. ⟨10.1016/j.future.2021.12.018⟩

Accès au texte intégral et 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, 2022, 18 (2), ⟨10.1145/3494540⟩

Accès au texte intégral et 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, 2022, 19, pp.59-68. ⟨10.48556/SIF.1024.19.59⟩

Accès au texte intégral et 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, 2022, 11 (1), pp.251-305. ⟨10.1093/imaiai/iaab005⟩

Accès au texte intégral et 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, 2022, 33 (3), pp.507-522. ⟨10.1109/TPDS.2021.3099440⟩

Accès au texte intégral et bibtex

titre

Proximal Based Strategies for Solving Discrete Mumford-Shah With Ambrosio-Tortorelli Penalization on Edges

auteur

Hoang T V Le, Marion Foare, Nelly Pustelnik

article

IEEE Signal Processing Letters, 2022, ⟨10.1109/lsp.2022.3155307⟩

Accès au texte intégral et 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, 2022, 48 (1), pp.1-24. ⟨10.1145/3484514⟩

Accès au texte intégral et bibtex

titre

Proof Theory of Riesz Spaces and Modal Riesz Spaces

auteur

Christophe Lucas, Matteo Mio

article

Logical Methods in Computer Science, 2022, Volume 18, Issue 1, ⟨10.46298/lmcs-18(1:32)2022⟩

Accès au bibtex

titre

Approximation spaces of deep neural networks

auteur

Rémi Gribonval, Gitta Kutyniok, Morten Nielsen, Felix Voigtlaender

article

Constructive Approximation, 2022, special issue on "Deep Networks in Approximation Theory", 55 (1), pp.259-367. ⟨10.1007/s00365-021-09543-4⟩

Accès au texte intégral et 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, 2022, 308, pp.130--146. ⟨10.1016/j.dam.2020.07.016⟩

Accès au texte intégral et 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, 2022, 181, pp.102-115. ⟨10.1016/j.comcom.2021.09.020⟩

Accès au texte intégral et bibtex

titre

Degeneracy of P_t-free and C_{\>= t}-free graphs with no large complete bipartite subgraphs

auteur

Marthe Bonamy, Nicolas Bousquet, Michał Pilipczuk, Paweł Rzążewski, Stéphan Thomassé, Bartosz Walczak

article

Journal of Combinatorial Theory, Series B, 2022, 152, pp.353-378. ⟨10.1016/j.jctb.2021.10.005⟩

Accès au 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, 2022, 192, pp.1-16. ⟨10.1016/j.compag.2021.106604⟩

Accès au texte intégral et bibtex

titre

Graphs with polynomially many minimal separators

auteur

Tara Abrishami, Maria Chudnovsky, Cemil Dibek, Stéphan Thomassé, Nicolas Trotignon, Kristina Vušković

article

Journal of Combinatorial Theory, Series B, 2022, 152, pp.248-280. ⟨10.1016/j.jctb.2021.10.003⟩

Accès au bibtex

titre

Comparing Distributed Termination Detection Algorithms for Task-Based Runtime Systems on HPC platforms

auteur

George Bosilca, Aurélien Bouteiller, Thomas Hérault, Valentin Le Fèvre, Yves Robert, Jack J Dongarra

article

International Journal of Networking and Computing, 2022, 12 (1)

Accès au texte intégral et 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, In press, 319, pp.394-406. ⟨10.1007/978-3-030-39219-2_32⟩

Accès au texte intégral et bibtex

titre

A game of quantum advantage: linking verification and simulation

auteur

Daniel Stilck França, Raúl García-Patrón

article

Quantum, 2022, 6, pp.753. ⟨10.22331/q-2022-06-30-753⟩

Accès au texte intégral et bibtex

titre

Compositional Equivalences Based on Open pNets

auteur

Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine

article

Journal of Logical and Algebraic Methods in Programming, 2022, 131, pp.100842. ⟨10.1016/j.jlamp.2022.100842⟩

Accès au texte intégral et bibtex

titre

Eager Functions as Processes (long version)

auteur

Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi

article

Theoretical Computer Science, In press, ⟨10.1016/j.tcs.2022.01.043⟩

Accès au texte intégral et bibtex

titre

Absolute root separation

auteur

Yann Bugeaud, Andrej Dujella, Wenjie Fang, Tomislav Pejković, Bruno Salvy

article

Experimental Mathematics, 2022, 31 (3), pp.805-812. ⟨10.1080/10586458.2019.1699480⟩

Accès au texte intégral et bibtex

titre

List and shelf schedules for independent parallel tasks to minimize the energy consumption with discrete or continuous speeds

auteur

Anne Benoit, Louis-Claude Canon, Redouane Elghazi, Pierre-Cyrille Heam

article

Journal of Parallel and Distributed Computing, 2022

Accès au texte intégral et bibtex

Conference papers

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

33rd International Symposium on Algorithms and Computation (ISAAC 2022), Dec 2022, Seoul, France. pp.12:1--12:17, ⟨10.4230/LIPIcs.ISAAC.2022.12⟩

Accès au texte intégral et bibtex

titre

A Note on the Determination of the Processing Capacity in a Multiserver Job System as a Model of Cloud Datacenters

auteur

Alexandre Brandwajn, Thomas Begin

article

IEEE 13th International Conference on Cloud Computing Technology and Science, Dec 2022, Bangkok, Thailand. ⟨10.1109/CloudCom55334.2022.00017⟩

Accès au texte intégral et bibtex

titre

On Rejection Sampling in Lyubashevsky's Signature Scheme

auteur

Julien Devevey, Omar Fawzi, Alain Passelègue, Damien Stehlé

article

ASIACRYPT 2022 - 28th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2022, Taipei, Taiwan

Accès au texte intégral et bibtex

titre

PointProofs, Revisited

auteur

Benoît Libert, Alain Passelègue, Mahshid Riahinia

article

Asiacrypt 2022 - International Conference on the Theory and Application of Cryptology and Information Security, Dec 2022, Taipei, Taiwan

Accès au texte intégral et bibtex

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

titre

Template based Graph Neural Network with Optimal Transport Distances

auteur

Cédric Vincent-Cuaz, Rémi Flamary, Marco Corneli, Titouan Vayer, Nicolas Courty

article

NeurIPS 2022 – 36th Conference on Neural Information Processing Systems, Nov 2022, New Orleans, United States

Accès au texte intégral et bibtex

titre

Beyond L1: Faster and Better Sparse Models with skglm

auteur

Quentin Bertrand, Quentin Klopfenstein, Pierre-Antoine Bannier, Gauthier Gidel, Mathurin Massias

article

36th Conference on Neural Information Processing Systems (NeurIPS 2022), Nov 2022, New Orleans, United States

Accès au texte intégral et bibtex

titre

Benchopt: Reproducible, efficient and collaborative optimization benchmarks

auteur

Thomas Moreau, Mathurin Massias, Alexandre Gramfort, Pierre Ablin, Pierre-Antoine Bannier, Benjamin Charlier, Mathieu Dagréou, Tom Dupré La Tour, Ghislain Durif, Cassio F Dantas, Quentin Klopfenstein, Johan Larsson, En Lai, Tanguy Lefort, Benoit Malézieux, Badr Moufad, Binh T Nguyen, Alain Rakotomamonjy, Zaccharie Ramzi, Joseph Salmon, Samuel Vaiter

article

NeurIPS 2022 - 36th Conference on Neural Information Processing Systems, Nov 2022, New Orleans, United States

Accès au texte intégral et bibtex

titre

VNF Software Cost Modeling Based On Telecom Network

auteur

Ghoshana Bista, Eddy Caron, Anne-Lucie Vion

article

The 6th International workshop on Software Defined Networks and Network Function Virtualization 2022 (SDN-NFV2022), Nov 2022, Paris, France

Accès au texte intégral et bibtex

titre

A lower bound for constant-size local certification

auteur

Virginia Ardévol Martínez, Marco Caoduro, Laurent Feuilloley, Jonathan Narboni, Pegah Pournajafi, Jean-Florent Raymond

article

Stabilization, Safety, and Security of Distributed Systems, 24th International Symposium, SSS 2022, Clermont-Ferrand, France, Nov 2022, Clermont-Ferrand, France. pp.114068, ⟨10.1007/978-3-031-21017-4_16⟩

Accès au texte intégral et bibtex

titre

Towards a methodology for building dynamic urgent applications on continuum computing platforms

auteur

Daniel Balouek-Thomert, Laurent Lefèvre, Eddy Caron, Manish Parashar

article

CIW-IUS - International Workshop on Interactive Urgent Supercomputing Held in conjunction with SC2022: The International Conference on High Performance Computing, Networking, Storage and Analysis, Nov 2022, Dallas, United States

Accès au texte intégral et 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

titre

Setting up an experimental framework for analysing an immersion cooling system

auteur

Thierry Arrabal, Lucas Betencourt, Eddy Caron, Laurent Lefèvre

article

IEEE SBAC-PAD 2022 : IEEE 34th International Symposium on Computer Architecture and High Performance Computing, Nov 2022, Bordeaux, France

Accès au texte intégral et bibtex

titre

SIFRAN: Evaluating IoT Networks with a No-Code Framework based on ns-3

auteur

Samir Si-Mohammed, Malasri Janumporn, Thomas Begin, Isabelle Guérin Lassous, Pascale Vicat-Blanc

article

Latin America Networking Conference, Oct 2022, Armenia, Colombia. ⟨10.1145/3545250.3560845⟩

Accès au texte intégral et 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, TH, United States. pp.3-16, ⟨10.1007/978-3-031-15922-0_1⟩

Accès au texte intégral et bibtex

titre

Analysing Parallel Complexity of Term Rewriting

auteur

Thaïs Baudon, Carsten Fuhs, Laure Gonnord

article

LOPSTR 2022 - 32nd International Symposium on Logic-based Program Synthesis and Transformation, Sep 2022, Tbilisi, Georgia

Accès au texte intégral et 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

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

titre

New and Improved Constructions for Partially Equivocable Public Key Encryption

auteur

Benoît Libert, Alain Passelègue, Mahshid Riahinia

article

SCN 2022 - 13th Conference on security and cryptography for networks, Sep 2022, Amalfi, Italy. pp.1-31

Accès au texte intégral et bibtex

titre

Testing interval arithmetic libraries, including their IEEE-1788 compliance

auteur

Nathalie Revol, Luis Benet, Luca Ferranti, Sergei Zhilin

article

PPAM 2022, Roman Wyrzykowski, Sep 2022, Gdansk, Poland. pp.428-440, ⟨10.1007/978-3-031-30445-3_36⟩

Accès au texte intégral et bibtex

titre

Cumulatively All-Lossy-But-One Trapdoor Functions from Standard Assumptions

auteur

Benoît Libert, Ky Nguyen, Alain Passelègue

article

SCN 2022 - Proceedings of the 13th Conference on Security in Communication Networks, Sep 2022, Amalfi, Italy

Accès au texte intégral et bibtex

titre

Twin-width VIII: delineation and win-wins

auteur

Édouard Bonnet, Dibyayan Chakraborty, Eun Jung Kim, Noleen Köhler, Raul Lopes, Stéphan Thomassé

article

The International Symposium on Parameterized and Exact Computation (IPEC), Sep 2022, Potsdam, Germany

Accès au bibtex

titre

Semi-relaxed Gromov-Wasserstein divergence for graphs classification

auteur

Cédric Vincent-Cuaz, Rémi Flamary, Marco Corneli, Titouan Vayer, Nicolas Courty

article

Colloque 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

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

titre

Méthodes proximales multi-niveaux pour la restauration d'images

auteur

Guillaume Lauga, Elisa Riccietti, Nelly Pustelnik, Paulo Gonçalves

article

GRETSI'22 - 28ème Colloque Francophone de Traitement du Signal et des Images, Sep 2022, Nancy, France

Accès au texte intégral et bibtex

titre

Galactic Token Sliding

auteur

Valentin Bartier, Nicolas Bousquet, Amer Mouawad

article

European Symposium on Algorithms, Sep 2022, Potsdam, Germany. ⟨10.4230/LIPIcs.ESA.2022.15⟩

Accès au bibtex

titre

Algorithmes proximaux rapides déroulés pour l'analyse d'images fractales homogènes par morceaux

auteur

Hoang Trieu Vy Le, Barbara Pascal, Nelly Pustelnik, Marion Foare, Patrice Abry

article

GRETSI, Sep 2022, Nancy, France

Accès au texte intégral et 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

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. pp.1-11, ⟨10.1145/3545008.3545049⟩

Accès au texte intégral et bibtex

titre

Mapping Tree-shaped Workflows on Memory-heterogeneous Architectures

auteur

Svetlana Kulagina, Henning Meyerhenke, Anne Benoit

article

20th Int. Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms (HeteroPar), Aug 2022, Glasgow, United Kingdom

Accès au texte intégral et bibtex

titre

A study of live VM migration for server consolidation in Data centers

auteur

Alexandre Brandwjan, Thomas Begin, Hind Castel-Taleb, Tülin Atmaca

article

FiCloud 2022 - IEEE 9th International Conference on Future Internet of Things and Cloud, Aug 2022, Rome / Online, Italy. pp.75-82, ⟨10.1109/FiCloud57274.2022.00018⟩

Accès au texte intégral et bibtex

titre

Data center disaggregation: when and how much?

auteur

Thomas Begin, Alexandre Brandwajn, Alain Tchana

article

FiCloud 2022 - 9th IEEE International Conference on Future Internet of Things and Cloud, Aug 2022, Rome / Online, Italy

Accès au texte intégral et bibtex

titre

Checkpointing à la Young/Daly: An Overview

auteur

Anne Benoit, Yishu Du, Thomas Herault, Loris Marchal, Guillaume Pallez, Lucas Perotin, Yves Robert, Hongyang Sun, Frédéric Vivien

article

IC3 2022 - 2022 Fourteenth International Conference on Contemporary Computing, Aug 2022, Noida, India. pp.701-710, ⟨10.1145/3549206.3549328⟩

Accès au texte intégral et bibtex

titre

Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning

auteur

Matteo Mio, Ralph Sarkis, Valeria Vignudelli

article

LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Aug 2022, Haifa Israel, France. pp.1-13, ⟨10.1145/3531130.3533366⟩

Accès au 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

LICS '22: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Aug 2022, Haifa, Israel. ⟨10.1145/3531130.3533375⟩

Accès au texte intégral et 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

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

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

titre

Weakening and Iterating Laws using String Diagrams

auteur

Alexandre Goy

article

MFPS XXXVIII, Jul 2022, Ithaca, NY, United States. ⟨10.46298/entics.10482⟩

Accès au texte intégral et bibtex

titre

L'analyse de cycle de vie de services numériques sur systèmes distribués : définitions et enjeux

auteur

Adrien Berthelot

article

COMPAS 2022: Conférence francophone d'informatique en Parallélisme Architecture et Système (Compas), Jul 2022, Amiens, France

Accès au texte intégral et bibtex

titre

A Polyhedral Approach for Scalar Promotion

auteur

Alec Sadler, Christophe Alias, Hugo Thievenaz

article

Conférence francophone d'informatique en Parallélisme, Architecture et Système (COMPAS'22), Jul 2022, Amiens, France

Accès au texte intégral et 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

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

titre

Functions and References in the Pi-Calculus: Full Abstraction and Proof Techniques

auteur

Enguerrand Prebet

article

ICALP 2022 - 49th International Colloquium on Automata, Languages, and Programming, Jul 2022, Paris, France. ⟨10.4230/LIPIcs.ICALP.2022.114⟩

Accès au texte intégral et bibtex

titre

Dimension-free convergence rates for gradient Langevin dynamics in RKHS

auteur

Boris Muzellec, Kanji Sato, Mathurin Massias, Taiji Suzuki

article

COLT 2022 - 35th Annual Conference on Learning Theory, Jul 2022, London, United Kingdom

Accès au texte intégral et bibtex

titre

Formalising Futures and Promises in Viper

auteur

Cinzia Giusto, Loïc Germerie 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

titre

Beating the Sum-Rate Capacity of the Binary Adder Channel with Non-Signaling Correlations

auteur

Omar Fawzi, Paul Fermé

article

ISIT 2022 - IEEE International Symposium on Information Theory, Jun 2022, Espoo, Finland

Accès au texte intégral et bibtex

titre

Token Sliding on Graphs of Girth Five.

auteur

Valentin Bartier, Nicolas Bousquet, Jihad Hanna, Amer Mouawad, Sebastian Siebertz

article

WG, Jun 2022, Tubingen, Germany. pp.56--69, ⟨10.1007/978-3-031-15914-5\_5⟩

Accès au 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

titre

Affine Multibanking for High-Level Synthesis

auteur

Ilham Lasfar, Christophe Alias, Matthieu Moy, Rémy Neveu, Alexis Carré

article

IMPACT'22 - 12th International Workshop on Polyhedral Compilation Techniques, Jun 2022, Budapest, Hungary

Accès au texte intégral et bibtex

titre

Rephrasing Polyhedral Optimizations with Trace Analysis

auteur

Hugo Thievenaz, Keiji Kimura, Christophe Alias

article

12th International Workshop on Polyhedral Compilation Techniques (IMPACT'22), Jun 2022, Budapest, Hungary

Accès au texte intégral et 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

titre

Lightweight Array Contraction by Trace-Based Polyhedral Analysis

auteur

Hugo Thievenaz, Keiji Kimura, Christophe Alias

article

C3PO 2022 - International Workshop on Compiler-assisted Correctness Checking and Performance Optimization for HPC, Jun 2022, Hamburg, Germany

Accès au texte intégral et 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

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

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

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.265--274

Accès au texte intégral et 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

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

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

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

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 Guérin 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

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

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

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

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

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, Virtual, Portugal

Accès au texte intégral et 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

ICLR 2022 - 10th International Conference on Learning Representations, Apr 2022, Virtual, France. pp.1-28

Accès au bibtex

titre

Corecursion up-to via Causal Transformations

auteur

Damien Pous, Jurriaan Rot, Ruben Turkenburg

article

Coalgebraic Methods in Computer Science, Apr 2022, Munich, Germany. ⟨10.1007/978-3-031-10736-8_7⟩

Accès au texte intégral et bibtex

titre

Rational Modular Encoding in the DCR Setting: Non-Interactive Range Proofs and Paillier-Based Naor-Yung in the Standard Model

auteur

Julien Devevey, Benoît Libert, Thomas Peters

article

Public-Key Cryptography (PKC 2022) - 25th IACR International Conference on Practice and Theory of Public-Key Cryptography, Mar 2022, Yokohama (devenu virtuel pour cause de COVID), Japan

Accès au texte intégral et 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

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

titre

BV and Pomset Logic Are Not the Same

auteur

Lê Thành Dung Nguyên, Lutz Straßburger

article

CSL 2022 - 30th EACSL Annual Conference on Computer Science Logic, Feb 2022, Göttingen, Germany. ⟨10.4230/LIPIcs.CSL.2022.32⟩

Accès au texte intégral et 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. pp.23, ⟨10.4230/LIPIcs.CSL.2022.23⟩

Accès au texte intégral et bibtex

titre

Larger Corner-Free Sets from Combinatorial Degenerations

auteur

Matthias Christandl, Omar Fawzi, Hoang Ta, Jeroen Zuiddam

article

ITCS 2022 - 13th Innovations in Theoretical Computer Science Conference, Jan 2022, Berkeley, United States. pp.1-2410, ⟨10.4230/LIPIcs.ITCS.2022.48⟩

Accès au 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

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

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

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

titre

Practical, Round-Optimal Lattice-Based Blind Signatures

auteur

Shweta Agrawal, Elena Kirshanova, Damien Stehlé, Anshu Yadav

article

CCS '22: 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022, Los Angeles CA USA, France. pp.39-53, ⟨10.1145/3548606.3560650⟩

Accès au bibtex

titre

Towards Globally Optimized Hybrid Homomorphic Encryption - Featuring the Elisabeth Stream Cipher

auteur

Orel Cosseron, Clément Hoffmann, Pierrick Méaux, François-Xavier Standaert

article

ASIACRYPT 2022, 2022, Taipei, Taiwan

Accès au bibtex

titre

Round-optimal lattice-based threshold signatures, revisited

auteur

Shweta Agrawal, Damien Stehlé, Anshu Yadav

article

ICALP 2022, 2022, Paris, France

Accès au bibtex

titre

INSPIRE: Distributed Bayesian Optimization for ImproviNg SPatIal REuse in Dense WLANs

auteur

Anthony Bardou, Thomas Begin

article

MSWiM '22: Int'l ACM Conference on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2022, Montreal, Quebec, Canada. pp.133-142, ⟨10.1145/3551659.3559050⟩

Accès au texte intégral et bibtex

Master thesis

titre

Type indexing in OCaml for function search in a large ecosystem

auteur

Pauline Garelli

article

Programming Languages [cs.PL]. 2022

Accès au texte intégral et 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

Books

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. , pp.1-292, 2022

Accès au texte intégral et 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

titre

Memory-Aware Scheduling Of Tasks Sharing Data On Multiple GPUs

auteur

Maxime Gonthier, Samuel Thibault, Loris Marchal

article

HiPEAC ACACES 2022 - 18th International Summer School on Advanced Computer Architecture and Compilation for High-performance Embedded Systems, Jul 2022, Fiuggi, Italy

Accès au texte intégral et bibtex

titre

Comparaison expérimentale de logiciels de mesure d'énergie : côté GPU

auteur

Mathilde Jay, Laurent Lefèvre, Denis Trystram

article

Compas 2022, Jul 2022, Amiens, France

Accès au texte intégral et bibtex

titre

Une comparaison expérimentale de wattmètres logiciels : focus sur le CPU

auteur

Vladimir Ostapenco, Laurent Lefèvre, Anne-Cécile Orgerie, Benjamin Fichel

article

COMPAS 2022, Jul 2022, Amiens, France

Accès au texte intégral et 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

Documents associated with scientific events

titre

Memory-Aware Scheduling of Tasks Sharing Data on Multiple GPUs with Dynamic Runtime Systems

auteur

Maxime Gonthier, Loris Marchal, Samuel Thibault

article

15th Scheduling for Large Scale Systems Workshop, Jun 2022, Fréjus, France

Accès au texte intégral et 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

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

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

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

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

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

titre

Locality-aware batch scheduling of I/O intensive workloads

auteur

Maxime Gonthier, Loris Marchal, Samuel Thibault, Elisabeth Larsson, Carl Nettelblad

article

RR-9497, ENS Lyon; Inria Bordeaux; Uppsala Universitet. 2022, pp.25

Accès au texte intégral et 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

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

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

titre

Proposition de document de cadrage Évaluation environnementale de projets impliquant des méthodes d'IA

auteur

Laurent Lefèvre, Anne-Laure Ligozat, Denis Trystram, Sylvain Bouveret, Aurélie Bugeau, Jacques Combaz, Emmanuelle Frenoux, Gaël Guennebaud, Julien Lefèvre, Jean-Philippe Nicolaï

article

EcoInfo. 2022, pp.1-8

Accès au texte intégral et bibtex

Software

titre

Artifact: An experimental comparison of software-based power meters

auteur

Mathilde Jay, Vladimir Ostapenco

article

2022, ⟨swh:1:dir:3f96aa52df97e6ee64540a296ddf1e399e808cf3;origin=https://hal.archives-ouvertes.fr/hal-03974900;visit=swh:1:snp:b0ac5615ad2ca549c14feea48856b4e5b782acff;anchor=swh:1:rel:bbf9820f1799be1e04a06a7eaf8c4e156dd7f9b7;path=/⟩

Accès au texte intégral et bibtex

titre

Ribbit

auteur

Gabriel Radanne, Laure Gonnord, Thaïs Baudon

article

2022, ⟨swh:1:dir:b3be924ea99bdee1c1df8d9b4310e2f767536766;origin=https://hal.archives-ouvertes.fr/hal-03860442;visit=swh:1:snp:6c1082239a4d9372b0546b82945f453576931dd2;anchor=swh:1:rel:eeff41f174f0ec95c25dba2cea8acb78b859d98a;path=/⟩

Accès au texte intégral et bibtex

titre

LinBox

auteur

The Linbox Group

article

2022, ⟨swh:1:dir:ab3150274e077cc4c4d18ab7bc074fab0a5c12d3;origin=https://hal.archives-ouvertes.fr/hal-03788347;visit=swh:1:snp:99e4a5b29527e7089567751cd8b75113ecd12c0b;anchor=swh:1:rel:35391e40ce3a7b02180e2dc159c095a89ed26a91;path=/⟩

Accès au texte intégral et bibtex

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

titre

Code for reproducible research - "Spurious Valleys, NP-hardness, and Tractability of Sparse Matrix Factorization With Fixed Support

auteur

Quoc-Tung Le, Elisa Riccietti, Rémi Gribonval

article

2022, ⟨swh:1:dir:96dde633bde9eb800bc2e298ae98dba0579cb052;origin=https://hal.archives-ouvertes.fr/hal-03667186;visit=swh:1:snp:5d6cba12bff4367e05a63c41938941f627ed2946;anchor=swh:1:rel:76d45ab397d6879990a7aa51621191589440f04b;path=/⟩

Accès au texte intégral et 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

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

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

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

Theses

titre

Fault-tolerant algorithms for iterative applications and batch schedulers

auteur

Yishu Du

article

Distributed, Parallel, and Cluster Computing [cs.DC]. Ecole normale supérieure de lyon - ENS LYON, 2022. English. ⟨NNT : 2022ENSL0045⟩

Accès au texte intégral et bibtex

titre

Non-determinism, explorable automata and cyclic proofs

auteur

Émile Hazard

article

Computational Complexity [cs.CC]. Ecole normale supérieure de lyon - ENS LYON, 2022. English. ⟨NNT : 2022ENSL0022⟩

Accès au texte intégral et bibtex

titre

Typed Behavioural Equivalences in the Pi-Calculus

auteur

Enguerrand Prebet

article

Logic in Computer Science [cs.LO]. Ecole normale supérieure de lyon - ENS LYON; Università degli studi (Bologne, Italie), 2022. English. ⟨NNT : 2022ENSL0017⟩

Accès au texte intégral et bibtex

titre

Proof Theory of Riesz Modal Logic

auteur

Christophe Lucas

article

General Mathematics [math.GM]. Ecole normale supérieure de lyon - ENS LYON, 2022. English. ⟨NNT : 2022ENSL0009⟩

Accès au texte intégral et bibtex

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

titre

Study of dynamical social networks of pre-school children using wearable wireless sensors

auteur

Sicheng Dai

article

Social and Information Networks [cs.SI]. Université de Lyon; East China normal university (Shanghai), 2022. English. ⟨NNT : 2022LYSEN015⟩

Accès au texte intégral et 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

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

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

Preprints, Working Papers, ...

titre

A theory of optimal convex regularization for low-dimensional recovery

auteur

Yann Traonmilin, Rémi Gribonval, Samuel Vaiter

article

2022

Accès au texte intégral et 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

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

titre

Semidefinite programming lower bounds on the squashed entanglement

auteur

Hamza Fawzi, Omar Fawzi

article

2022

Accès au bibtex

titre

On Up-to Context Techniques in the π-calculus

auteur

Enguerrand Prebet

article

2022

Accès au texte intégral et bibtex

titre

The faster proximal algorithm, the better unfolded deep learning architecture ? The study case of image denoising

auteur

Hoang Trieu Vy Le, Nelly Pustelnik, Marion Foare

article

2022

Accès au texte intégral et bibtex

titre

Zaionc paradox revisited

auteur

Pierre Lescanne

article

2022

Accès au texte intégral et 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

titre

Symmetric Subrank of Tensors and Applications

auteur

Matthias Christandl, Omar Fawzi, Hoang Ta, Jeroen Zuiddam

article

2022

Accès au bibtex