2022
Journal articles
- titre
- Checkpointing Workflows à la Young/Daly Is Not Good Enough
- auteur
- Anne Benoit, Luca 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
- 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
- Accurate calculation of Euclidean Norms using Double-word arithmetic
- auteur
- Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller, Joris Picot, Laurence Rideau
- article
- ACM Transactions on Mathematical Software, 2022
- 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, 2022
- 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 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
- 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
- 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, 2022, pp.1-30. ⟨10.1142/s0129054122500186⟩
- Accès au texte intégral et 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
- 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
- Implicit differentiation for fast hyperparameter selection in non-smooth convex learning
- auteur
- Quentin Bertrand, Quentin Klopfenstein, Mathurin Massias, Mathieu Blondel, Samuel Vaiter, Alexandre Gramfort, Joseph Salmon
- article
- Journal of Machine Learning Research, 2022, 23 (149), pp.1-43
- 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
- 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
- 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
- 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
- Compositional Equivalences Based on Open pNets
- auteur
- Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine
- article
- Journal of Logical and Algebraic Methods in Programming, In press
- Accès au texte intégral et bibtex
-
- titre
- Differential-Difference Properties of Hypergeometric Series
- auteur
- Nicolas Brisebarre, Bruno Salvy
- article
- Proceedings of the American Mathematical Society, In press
- Accès au 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
- SIAM Journal on Matrix Analysis and Applications, In press
- 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
- 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
- An Embedding of ReLU Networks and an Analysis of their Identifiability
- auteur
- Pierre Stock, Rémi Gribonval
- article
- Constructive Approximation, In press, ⟨10.1007/s00365-022-09578-1⟩
- Accès au texte intégral et bibtex
-
- titre
- Efficient Identification of Butterfly Sparse Matrix Factorizations
- auteur
- Léon Zheng, Elisa Riccietti, Rémi Gribonval
- article
- SIAM Journal on Mathematics of Data Science, In press
- 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, In press
- 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
- 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
-
- titre
- Affine Iterations and Wrapping Effect: Various Approaches
- auteur
- Nathalie Revol
- article
- Acta Cybernetica, In press
- 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 bibtex
-
Scientific blog post
- titre
- Le vrai coût énergétique du numérique
- auteur
- Anne-Cécile Orgerie, Laurent Lefèvre
- article
- 2022
- Accès au 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 (Korea), France. pp.12:1--12:17, ⟨10.4230/LIPIcs.ISAAC.2022.12⟩
- Accès au 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 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
- 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
- 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
- Beyond L1: Faster and Better Sparse Models with skglm
- auteur
- Quentin Bertrand, Quentin Klopfenstein, Pierre-Antoine Bannier, Gauthier Gidel, Mathurin Massias
- article
- NeurIPS, 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 bibtex
-
- titre
- 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.239-253, ⟨10.1007/978-3-031-21017-4_16⟩
- Accès au 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, 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
- 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
- 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
- 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
- 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
- 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
- Une comparaison expérimentale de wattmètres logiciels : focus sur le CPU
- auteur
- Vladimir Ostapenco, Laurent Lefevre, Anne-Cécile Orgerie, Benjamin Fichel
- article
- COMPAS 2022, Jul 2022, Amiens, France
- Accès au texte intégral et bibtex
-
- titre
- Comparaison expérimentale de logiciels de mesure d'énergie : côté GPU
- auteur
- Mathilde Jay, Denis Trystram, Laurent Lefèvre
- 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
-
Proceedings
- 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
- 2022, ⟨10.1109/CloudCom55334.2022.00017⟩
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Revisiting RIP guarantees for sketching operators on mixture models
- auteur
- Ayoub Belhadji, Rémi Gribonval
- article
- 2022
- Accès au texte intégral et bibtex
-
- titre
- Positive First-Order Logic on Words and Graphs
- auteur
- Denis Kuperberg
- article
- 2022
- Accès au texte intégral et bibtex
-
- titre
- Explorable automata
- auteur
- Emile Hazard, Denis Kuperberg
- 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
- Multilevel FISTA for image restoration
- auteur
- Guillaume Lauga, Elisa Riccietti, Nelly Pustelnik, Paulo Gonçalves
- article
- 2022
- Accès au texte intégral et 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
-
- 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
-
- titre
- On the Statistical Complexity of Estimation and Testing under Privacy Constraints
- auteur
- Clément Lalanne, Aurélien Garivier, Rémi Gribonval
- article
- 2022
- Accès au texte intégral et bibtex
-
- 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
-
- 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
- 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
-
- titre
- Semidefinite programming lower bounds on the squashed entanglement
- auteur
- Hamza Fawzi, Omar Fawzi
- article
- 2022
- Accès au bibtex
-
- titre
- Fundamentals of Compositional Rewriting Theory
- auteur
- Nicolas Behr, Russ Harmer, Jean Krivine
- article
- 2022
- Accès au 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
-
- titre
- On Up-to Context Techniques in the π-calculus
- auteur
- Enguerrand Prebet
- article
- 2022
- Accès au texte intégral et 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
-
- 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
-
- 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
-
- 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
-
- titre
- 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
- 2022
- Accès au bibtex
-
- titre
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
- auteur
- Lê Thành Dũng Nguyễn, Lutz Straßburger
- article
- 2022
- Accès au texte intégral et bibtex
-
