Laboratoire de l'Informatique du Parallélisme

2023

Journal articles

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

Logical Methods in Computer Science, 2023, 9 (4), ⟨10.46298/LMCS-19(4:25)2023⟩

Accès au texte intégral et bibtex

titre

Mathematical discoveries from program search with large language models

auteur

Bernardino Romera-Paredes, Mohammadamin Barekatain, Alexander Novikov, Matej Balog, M. Pawan Kumar, Emilien Dupont, Francisco Ruiz, Jordan Ellenberg, Pengming Wang, Omar Fawzi, Pushmeet Kohli, Alhussein Fawzi

article

Nature, 2023, 625 (7995), pp.468-475. ⟨10.1038/s41586-023-06924-6⟩

Accès au texte intégral et bibtex

titre

Partitioning into degenerate graphs in linear time

auteur

Timothée Corsini, Quentin Deschamps, Carl Feghali, Daniel Gonçalves, Hélène Langlois, Alexandre Talon

article

European Journal of Combinatorics, 2023, 114, pp.103771. ⟨10.1016/j.ejc.2023.103771⟩

Accès au bibtex

titre

Impacts environnementaux de l'IA : quels réels bénéfices ?

auteur

Julien Lefevre, Aurélie Bugeau, Jacques Combaz, Laurent Lefèvre, Anne-Laure Ligozat, Denis Trystram

article

Collection numérique de l’AMUE, Agence de mutualisation des universités et établissements d'enseignement supérieur, 2023, 30, pp.42-43

Accès au texte intégral et bibtex

titre

Another Proof of Euler’s Circuit Theorem

auteur

Carl Feghali

article

The American Mathematical Monthly, 2023, 131 (2), pp.164-164. ⟨10.1080/00029890.2023.2280361⟩

Accès au bibtex

titre

Quantum algorithm for ground state energy estimation using circuit depth with exponentially improved dependence on precision

auteur

Guoming Wang, Ruizhe Zhang, Shuchen Zhu, Peter Johnson, Daniel Stilck França

article

Quantum, 2023, 7, pp.1167. ⟨10.22331/q-2023-11-06-1167⟩

Accès au texte intégral et bibtex

titre

HyperTP: A unified approach for live hypervisor replacement in datacenters

auteur

Tu Dinh Ngoc, Boris Teabe, Alain Tchana, Gilles Muller, Daniel Hagimont

article

Journal of Parallel and Distributed Computing, 2023, 181, pp.104733. ⟨10.1016/j.jpdc.2023.104733⟩

Accès au texte intégral et bibtex

titre

Provably Fair Cooperative Scheduling

auteur

Reiner Hähnle, Ludovic Henrio

article

The Art, Science, and Engineering of Programming, 2023, 8 (2), ⟨10.22152/programming-journal.org/2024/8/6⟩

Accès au texte intégral et bibtex

titre

Bonnes pratiques en écoconception de service numérique

auteur

Cyrille Bonamy, Cédric Boudinet, Laurent Bourgès, Karin Dassas, Laurent Lefèvre, Benjamin Ninassi, Francis Vivat

article

Collection numérique de l’AMUE, Agence de mutualisation des universités et établissements d'enseignement supérieur, 2023, 29, pp.2

Accès au texte intégral et bibtex

titre

Fundamentals of Compositional Rewriting Theory

auteur

Nicolas Behr, Russ Harmer, Jean Krivine

article

Journal of Logical and Algebraic Methods in Programming, 2023, 135, pp.100893. ⟨10.1016/j.jlamp.2023.100893⟩

Accès au texte intégral et bibtex

titre

Maximum Matchings in Geometric Intersection Graphs

auteur

Edouard Bonnet, Sergio Cabello, Wolfgang Mulzer

article

Discrete and Computational Geometry, 2023, 70, pp.550 - 579. ⟨10.1007/s00454-023-00564-3⟩

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

Theoretical Computer Science, 2023, 971, pp.114068. ⟨10.1016/j.tcs.2023.114068⟩

Accès au bibtex

titre

Quantum Differential Privacy: An Information Theory Perspective

auteur

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

article

IEEE Transactions on Information Theory, 2023, 69 (9), pp.5771-5787. ⟨10.1109/TIT.2023.3272904⟩

Accès au texte intégral et bibtex

titre

On Adaptivity in Quantum Testing

auteur

Omar Fawzi, Nicolas Flammarion, Aurélien Garivier, Aadil Oufkir

article

Transactions on Machine Learning Research Journal, 2023, pp.1-33

Accès au texte intégral et bibtex

titre

Computer science and mathematics: far from parity

auteur

Nathalie Revol

article

MathémaTICE, 2023, 86

Accès au texte intégral et bibtex

titre

Finding geometric representations of apex graphs is NP-hard

auteur

Dibyayan Chakraborty, Kshitij Gajjar

article

Theoretical Computer Science, 2023, 971, pp.114064. ⟨10.1016/j.tcs.2023.114064⟩

Accès au bibtex

titre

A framework to test interval arithmetic libraries and their IEEE 1788-2015 compliance

auteur

Luis Benet, Luca Ferranti, Nathalie Revol

article

Concurrency and Computation: Practice and Experience, 2023, 36 (1), pp.e7856. ⟨10.1002/cpe.7856⟩

Accès au texte intégral et bibtex

titre

Bit-Stealing Made Legal

auteur

Thaïs Baudon, Gabriel Radanne, Laure Gonnord

article

Proceedings of the ACM on Programming Languages, 2023, ICFP, 7 (ICFP), pp.813-846. ⟨10.1145/3607858⟩

Accès au texte intégral et bibtex

titre

About the Cost of Central Privacy in Density Estimation

auteur

Clément Lalanne, Aurélien Garivier, Rémi Gribonval

article

Transactions on Machine Learning Research Journal, 2023, ⟨10.48550/arXiv.2306.14535⟩

Accès au texte intégral et bibtex

titre

System reduction: an approach based on probabilistic cellular automata

auteur

Pierre-Alain Toupance, Laurent Lefèvre, Bastien Chopard

article

Natural Computing, 2023, 23 (1), pp.17-29. ⟨10.1007/s11047-023-09959-w⟩

Accès au bibtex

titre

Private Quantiles Estimation in the Presence of Atoms

auteur

Clément Lalanne, Clément Gastaud, Nicolas Grislain, Aurélien Garivier, Rémi Gribonval

article

Information and Inference, 2023, ⟨10.1093/imaiai/iaad030⟩

Accès au texte intégral et bibtex

titre

Absolute reconstruction for sums of powers of linear forms: degree 3 and beyond

auteur

Pascal Koiran, Subhayan Saha

article

Computational Complexity, 2023, 32 (2), pp.8. ⟨10.1007/s00037-023-00239-8⟩

Accès au bibtex

titre

Resource-Constrained Scheduling Algorithms for Stochastic Independent Tasks With Unknown Probability Distribution

auteur

Yiqin Gao, Yves Robert, Frédéric Vivien

article

Algorithmica, 2023, 85 (8), pp.2363-2394. ⟨10.1007/s00453-023-01100-8⟩

Accès au texte intégral et bibtex

titre

Extremal Independent Set Reconfiguration

auteur

Nicolas Bousquet, Bastien Durain, Théo Pierron, Stéphan Thomassé

article

The Electronic Journal of Combinatorics, 2023, 30 (3), ⟨10.37236/11771⟩

Accès au bibtex

titre

Positive First-Order Logic on Words and Graphs

auteur

Denis Kuperberg

article

Logical Methods in Computer Science, 2023, 19 (3), pp.7:1 - 7:35. ⟨10.46298/LMCS-19(3:7)2023⟩

Accès au texte intégral et bibtex

titre

Mapping tree‐shaped workflows on systems with different memory sizes and processor speeds

auteur

Svetlana Kulagina, Henning Meyerhenke, Anne Benoit

article

Concurrency and Computation: Practice and Experience, 2023, 35 (25), ⟨10.1002/cpe.7842⟩

Accès au texte intégral et bibtex

titre

Twin-width can be exponential in treewidth

auteur

Edouard Bonnet, Hugues Déprés

article

Journal of Combinatorial Theory, Series B, 2023

Accès au texte intégral et bibtex

titre

1-Extendability of Independent Sets

auteur

Pierre Bergé, Anthony Busson, Carl Feghali, Rémi Watrigant

article

Algorithmica, 2023, 86 (3), pp.757-781. ⟨10.1007/s00453-023-01138-8⟩

Accès au bibtex

titre

Affine Iterations and Wrapping Effect: Various Approaches

auteur

Nathalie Revol

article

Acta Cybernetica, 2023, 26 (1), pp.129-147. ⟨10.14232/actacyb.295251⟩

Accès au texte intégral et bibtex

titre

Approximation speed of quantized vs. unquantized ReLU neural networks and beyond

auteur

Antoine Gonon, Nicolas Brisebarre, Rémi Gribonval, Elisa Riccietti

article

IEEE Transactions on Information Theory, 2023, 69 (6), pp.3960-3977. ⟨10.1109/TIT.2023.3240360⟩

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

Journal of Parallel and Distributed Computing, 2023, 176, pp.1-16. ⟨10.1016/j.jpdc.2023.02.004⟩

Accès au texte intégral et bibtex

titre

Positive maps and entanglement in real Hilbert spaces

auteur

Giulio Chiribella, Kenneth Davidson, Vern Paulsen, Mizanur Rahaman

article

Annales Henri Poincaré, 2023, 24 (12), pp.4139-4168. ⟨10.1007/s00023-023-01325-x⟩

Accès au bibtex

titre

A subpolynomial-time algorithm for the free energy of one-dimensional quantum systems in the thermodynamic limit

auteur

Hamza Fawzi, Omar Fawzi, Samuel O. Scalet

article

Quantum, 2023, 7, pp.1011. ⟨10.22331/q-2023-05-22-1011⟩

Accès au texte intégral et bibtex

titre

Strengthening a theorem of Meyniel

auteur

Quentin Deschamps, Carl Feghali, František Kardoš, Clément Legrand-Duchesne, Théo Pierron

article

SIAM Journal on Discrete Mathematics, 2023, 37 (2), ⟨10.1137/22M1474394⟩

Accès au texte intégral et bibtex

titre

Burling graphs revisited, part I: New characterizations

auteur

Pegah Pournajafi, Nicolas Trotignon

article

European Journal of Combinatorics, 2023, 110, pp.103686. ⟨10.1016/j.ejc.2023.103686⟩

Accès au texte intégral et bibtex

titre

Floating-point arithmetic

auteur

Sylvie Boldo, Claude-Pierre Jeannerod, Guillaume Melquiond, Jean-Michel Muller

article

Acta Numerica, 2023, 32, pp.203-290. ⟨10.1017/S0962492922000101⟩

Accès au texte intégral et bibtex

titre

Analysis of a Decentralized Bayesian Optimization Algorithm for Improving Spatial Reuse in Dense WLANs

auteur

Anthony Bardou, Thomas Begin

article

Computer Communications, 2023, 208, pp.158-170. ⟨10.1016/j.comcom.2023.06.004⟩

Accès au texte intégral et bibtex

titre

Controlling Wasserstein Distances by Kernel Norms with Application to Compressive Statistical Learning

auteur

Titouan Vayer, Rémi Gribonval

article

Journal of Machine Learning Research, 2023, 24 (149), pp.1--51

Accès au texte intégral et bibtex

titre

Extending the laws of thermodynamics for autonomous, arbitrary quantum systems

auteur

Cyril Elouard, Camille Lombard Latune

article

PRX Quantum, 2023, ⟨10.1103/PRXQuantum.4.020309⟩

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

Transactions on Machine Learning Research Journal, 2023

Accès au texte intégral et bibtex

titre

An overview of MAC energy-saving mechanisms in Wi-Fi

auteur

Esther Guérin, Thomas Begin, Isabelle Guérin Lassous

article

Computer Communications, 2023, 203, pp.129-145. ⟨10.1016/j.comcom.2023.03.003⟩

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, 2023, 49 (1), pp.1-34. ⟨10.1145/3568672⟩

Accès au texte intégral et bibtex

titre

Recoloring Planar Graphs of Girth at Least Five

auteur

Valentin Bartier, Nicolas Bousquet, Carl Feghali, Marc Heinrich, Benjamin Moore, Théo Pierron

article

SIAM Journal on Discrete Mathematics, 2023, 37 (1), pp.332-350. ⟨10.1137/21M1463598⟩

Accès au bibtex

titre

Holonomic equations and efficient random generation of binary trees

auteur

Pierre Lescanne

article

Discrete Mathematics and Theoretical Computer Science, 2023, vol. 25:2, ⟨10.46298/dmtcs.10952⟩

Accès au texte intégral et bibtex

titre

Limitations of variational quantum algorithms: a quantum optimal transport approach

auteur

Giacomo de Palma, Milad Marvian, Cambyse Rouzé, Daniel Stilck França

article

PRX Quantum, 2023, 4, pp.010309. ⟨10.1103/PRXQuantum.4.010309⟩

Accès au texte intégral et bibtex

titre

Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq

auteur

Nicolas Chappe, Paul He, Ludovic Henrio, Yannick Zakowski, Steve Zdancewic

article

Proceedings of the ACM on Programming Languages, 2023, pp.1-31. ⟨10.1145/3571254⟩

Accès au texte intégral et bibtex

titre

Dynamic Scheduling Strategies for Firm Semi-Periodic Real-Time Tasks

auteur

Yiqin Gao, Guillaume Pallez, Yves Robert, Frédéric Vivien

article

IEEE Transactions on Computers, 2023, 72 (1), pp.55-68. ⟨10.1109/TC.2022.3208203⟩

Accès au texte intégral et bibtex

titre

Le dilemme du fabricant de tables

auteur

Sylvie Boldo, Nicolas Brisebarre, Jean-Michel Muller

article

La Recherche, 2023, 572

Accès au bibtex

titre

Mitigating starvation in dense WLANs: A multi-armed Bandit solution

auteur

Anthony Bardou, Thomas Begin, Anthony Busson

article

Ad Hoc Networks, 2023, 138, pp.103015. ⟨10.1016/j.adhoc.2022.103015⟩

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, 2023, 34 (01), pp.51-80. ⟨10.1142/s0129054122500186⟩

Accès au texte intégral et bibtex

titre

Grundy Coloring and Friends, Half-Graphs, Bicliques

auteur

Pierre Aboulker, Édouard Bonnet, Eun Jung Kim, Florian Sikora

article

Algorithmica, 2023, 85 (1), pp.1-28. ⟨10.1007/s00453-022-01001-2⟩

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, 2023, 44 (2), pp.503-529. ⟨10.1137/22M1496657⟩

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, 2023, 151 (6), pp.2603--2617. ⟨10.1090/proc/16316⟩

Accès au bibtex

titre

Counterexamples to the extendibility of positive unital norm-one maps

auteur

Giulio Chiribella, Kenneth R. Davidson, Vern I. Paulsen, Mizanur Rahaman

article

Linear Algebra and its Applications, 2023, 663, pp.102-115. ⟨10.1016/j.laa.2023.01.003⟩

Accès au bibtex

titre

LEAF: Navigating Concept Drift in Cellular Networks

auteur

Shinan Liu, Francesco Bronzino, Paul Schmitt, Arjun Nitin Bhagoji, Nick Feamster, Hector Garcia Crespo, Timothy Coyle, Brian Ward

article

Proceedings of the ACM on Networking, 2023, 1 (2), pp.7. ⟨10.1145/3609422⟩

Accès au texte intégral et bibtex

titre

Multiple-Access Channel Coding with Non-Signaling Correlations

auteur

Omar Fawzi, Paul Fermé

article

IEEE Transactions on Information Theory, 2023, pp.1-51. ⟨10.1109/TIT.2023.3301719⟩

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, 2023, 57, p. 853-899. ⟨10.1007/s00365-022-09578-1⟩

Accès au texte intégral et bibtex

titre

HINTS: A methodology for IoT network technology and configuration decision

auteur

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

article

Internet of Things, 2023, pp.100678. ⟨10.1016/j.iot.2023.100678⟩

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, 2023, 5 (1), pp.22-49. ⟨10.1137/22M148872⟩

Accès au texte intégral et bibtex

titre

Taming data locality for task scheduling under memory constraint in runtime systems

auteur

Maxime Gonthier, Loris Marchal, Samuel Thibault

article

Future Generation Computer Systems, 2023, 143, pp.305-321. ⟨10.1016/j.future.2023.01.024⟩

Accès au texte intégral et bibtex

titre

Inferring the arrow of time in quantum spatiotemporal correlations

auteur

Xiangjing Liu, Qian Chen, Oscar Dahlsten

article

Physical Review A, 2023, 109 (3), pp.032219. ⟨10.1103/PhysRevA.109.032219⟩

Accès au texte intégral et bibtex

titre

Modeling, evaluating, and orchestrating heterogeneous environmental leverages for large-scale data center management

auteur

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

article

International Journal of High Performance Computing Applications, 2023, 37 (3-4), ⟨10.1177/10943420231172978⟩

Accès au texte intégral et bibtex

titre

An approximation method for a non-preemptive multiserver queue with quasi-Poisson arrivals

auteur

Alexandre Brandwajn, Thomas Begin

article

ACM Transactions on Modeling and Performance Evaluation of Computing Systems, 2023

Accès au texte intégral et bibtex

Conference papers

titre

A Methodology and a Toolbox to Explore Dataset related to the Environmental Impact of HTTP Requests

auteur

Christophe Cérin, Mathilde Jay, Laurent Lefèvre

article

2023 IEEE International Conference on Big Data (BigData) - 3rd International Workshop on Big Data Analytics for Sustainability, Dec 2023, Sorrento (Naples), Italy. pp.1-10, ⟨10.1109/BigData59044.2023.10386275⟩

Accès au texte intégral et bibtex

titre

SNEkhorn: Dimension Reduction with Symmetric Entropic Affinities

auteur

Hugues Van Assel, Titouan Vayer, Rémi Flamary, Nicolas Courty

article

Thirty-seventh Annual Conference on Neural Information Processing Systems (NeurIPS), Dec 2023, New Orleans, United States

Accès au texte intégral et bibtex

titre

Beyond Average Return in Markov Decision Processes

auteur

Alexandre Marthe, Aurélien Garivier, Claire Vernade

article

Neurips 2023, Dec 2023, New Orleans, United States

Accès au texte intégral et bibtex

titre

Towards Adaptive ML Traffic Processing Systems

auteur

Johann Hugon, Gaetan Nodet, Anthony Busson, Francesco Bronzino

article

CoNEXT 2023: The 19th International Conference on emerging Networking EXperiments and Technologies, ACM, Dec 2023, Paris, France. pp.11-12, ⟨10.1145/3630202.3630227⟩

Accès au texte intégral et bibtex

titre

Efficient Updatable Public-Key Encryption from Lattices

auteur

Alain Passelègue, Damien Stehlé, Calvin Abou Haidar

article

Asiacrypt 2023, Dec 2023, Guangzhou (Canton), China

Accès au bibtex

titre

G+G: A Fiat-Shamir Lattice Signature Based on Convolved Gaussians

auteur

Alain Passelègue, Julien Devevey, Damien Stehlé

article

Asiacrypt 2023, Dec 2023, Guangzhou (Canton), China

Accès au bibtex

titre

Matching Cuts in Graphs of High Girth and H-Free Graphs

auteur

Carl Feghali, Felicia Lucke, Daniël Paulusma, Bernard Ries

article

ISAAC 2023, Dec 2023, Kyoto (Japan), Japan. ⟨10.4230/LIPIcs.ISAAC.2023.31⟩

Accès au bibtex

titre

Optimal Transport with Adaptive Regularisation

auteur

Hugues Van Assel, Titouan Vayer, Remi Flamary, Nicolas Courty

article

NeurIPS OTML Workshop, Dec 2023, New Orleans, France

Accès au texte intégral et bibtex

titre

Interpolating between Clustering and Dimensionality Reduction with Gromov-Wasserstein

auteur

Hugues Van Assel, Cédric Vincent-Cuaz, Titouan Vayer, Rémi Flamary, Nicolas Courty

article

NeurIPS OTML Workshop, Dec 2023, New Orleans, United States

Accès au bibtex

titre

Ideal-SVP is Hard for Small-Norm Uniform Prime Ideals

auteur

Joël Felderhoff, Alice Pellet-Mary, Damien Stehlé, Benjamin Wesolowski

article

Theory of Cryptography, TCC 2023, Dec 2023, Taipei (Taiwan), Taiwan. pp.63-92, ⟨10.1007/978-3-031-48624-1_3⟩

Accès au bibtex

titre

Does a sparse ReLU network training problem always admit an optimum?

auteur

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

article

NeurIPS 2023 - Thirty-seventh Conference on Neural Information Processing Systems, Dec 2023, New Orleans (Lousiane), United States

Accès au texte intégral et bibtex

titre

Abide by the Law and Follow the Flow: Conservation Laws for Gradient Flows

auteur

Sibylle Marcotte, Rémi Gribonval, Gabriel Peyré

article

Thirty-seventh Conference on Neural Information Processing Systems, Dec 2023, New Orleans (Louisiane), United States

Accès au texte intégral et bibtex

titre

Generative, High-Fidelity Network Traces

auteur

Xi Jiang, Shinan Liu, Aaron Gember-Jacobson, Paul Schmitt, Francesco Bronzino, Nick Feamster

article

Twenty-Second ACM Workshop on Hot Topics in Networks, Nov 2023, Cambridge (MA), US, United States. ⟨10.1145/3626111.3628196⟩

Accès au texte intégral et bibtex

titre

When to checkpoint at the end of a fixed-length reservation?

auteur

Quentin Barbut, Anne Benoit, Thomas Herault, Yves Robert, Frédéric Vivien

article

Fault Tolerance for HPC at eXtreme Scales (FTXS) Workshop, Nov 2023, Denver, United States

Accès au texte intégral et bibtex

titre

Risk-Aware Scheduling Algorithms for Variable Capacity Resources

auteur

Lucas Perotin, Chaojie Zhang, Rajini Wijayawardana, Anne Benoit, Yves Robert, Andrew A Chien

article

PMBS Workshop - SC-W 2023: Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis, Nov 2023, Denver, CO, United States. pp.1306-1315, ⟨10.1145/3624062.3624194⟩

Accès au texte intégral et bibtex

titre

Refinements for Open Automata

auteur

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

article

SEFM 2023 - Software Engineering and Formal Methods, Nov 2023, Eindhoven, Netherlands. pp.11-29, ⟨10.1007/978-3-031-47115-5_2⟩

Accès au texte intégral et bibtex

titre

Performance Analysis of MAC Energy-saving Strategies for WLANs

auteur

Esther Guérin, Thomas Begin, Isabelle Guérin Lassous, Anthony Busson

article

MSWiM 2023 - 26th International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, Oct 2023, Montreal, Canada. pp.119-126, ⟨10.1145/3616388.3617531⟩

Accès au texte intégral et bibtex

titre

Strategies to Plan the Number and Locations of RSUs for an IEEE 802.11p-based Infrastructure in Urban Environment

auteur

Juan Pablo Astudillo León, Anthony Busson, Luis J de la Cruz Llopis, Thomas Begin, Azzedine Boukerche

article

MSWiM 2023 - 26th International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, Oct 2023, Montreal Quebec Canada, France. pp.301-305, ⟨10.1145/3616388.3617546⟩

Accès au texte intégral et bibtex

titre

FicWebBoard: A Playful and Collaborative Learning Platform Built for All People and All Programming Languages

auteur

Eddy Caron, Nicolas Chappe

article

2023 IEEE Frontiers in Education Conference (FIE), Oct 2023, College Station, TX, United States. pp.1-8, ⟨10.1109/FIE58773.2023.10343040⟩

Accès au texte intégral et bibtex

titre

Using Pi-Calculus Names as Locks

auteur

Daniel Hirschkoff, Enguerrand Prebet

article

Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, EXPRESS/SOS 2023, and 20th Workshop on Structural Operational Semantics, Sep 2023, Antwerp, Belgium. pp.76--96, ⟨10.4204/EPTCS.387.7⟩

Accès au bibtex

titre

Learning Graphical Factor Models with Riemannian Optimization

auteur

Alexandre Hippert-Ferrer, Florent Bouchard, Ammar Mian, Titouan Vayer, Arnaud Breloy

article

Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML PKDD 2023), Sep 2023, Torino, Italy. ⟨10.1007/978-3-031-43421-1_21⟩

Accès au texte intégral et bibtex

titre

Distance-Based Covering Problems for Graphs of Given Cyclomatic Number

auteur

Dibyayan Chakraborty, Florent Foucaud, Anni Hakanen

article

24th International Symposium on Fundamentals of Computation Theory (FCT 2023), Sep 2023, Trier, Germany. pp.132-146, ⟨10.1007/978-3-031-43587-4_10⟩

Accès au texte intégral et bibtex

titre

Entropic Wasserstein component analysis

auteur

Antoine Collas, Titouan Vayer, Rémi Flamary, Arnaud Breloy

article

IEEE International Workshop on Machine Learning for Signal Processing (MLSP), Sep 2023, Rome, Italy

Accès au texte intégral et bibtex

titre

Improving Simulations of Task-Based Applications on Complex NUMA Architectures

auteur

Idriss Daoudi, Thierry Gautier, Samuel Thibault, Swann Perarnau

article

IWOMP 2023 - 19th International Workshop on OpenMP, Sep 2023, Bristol, United Kingdom. pp.195-209, ⟨10.1007/978-3-031-40744-4_13⟩

Accès au texte intégral et bibtex

titre

Suspending OpenMP Tasks on Asynchronous Events: Extending the Taskwait Construct

auteur

Romain Pereira, Maël Martin, Adrien Roussel, Patrick Carribault, Thierry Gautier

article

IWOMP 23 - International Workshop on OpenMP, Sep 2023, Bristol, United Kingdom. pp.66-80, ⟨10.1007/978-3-031-40744-4_5⟩

Accès au texte intégral et bibtex

titre

Introducing Moldable Tasks in OpenMP

auteur

Pierre-Étienne Polet, Ramy Fantar, Thierry Gautier

article

IWOMP 23 - International Workshop on OpenMP, Sep 2023, Bristol, UK, United Kingdom. pp.51-65, ⟨10.1007/978-3-031-40744-4_4⟩

Accès au texte intégral et bibtex

titre

Treewidth is NP-Complete for Cubic Graphs (and related results)

auteur

Hans L Bodlaender, Edouard Bonnet, Lars Jaffke, Dušan Knop, Paloma T Lima, Martin Milanič, Sebastian Ordyniak, Sukanya Pandey, Ondřej Suchý

article

IPEC 2023, Sep 2023, Amsterdam, Netherlands

Accès au texte intégral et bibtex

titre

Engineering fast algorithms for the bottleneck matching problem

auteur

Ioannis Panagiotas, Grégoire Pichon, Somesh Singh, Bora Uçar

article

ESA 2023 - The 31st Annual European Symposium on Algorithms, Sep 2023, Amsterdam (Hollande), Netherlands

Accès au texte intégral et bibtex

titre

Towards a correctly-rounded and fast power function in binary64 arithmetic

auteur

Tom Hubrecht, Claude-Pierre Jeannerod, Paul Zimmermann

article

2023 IEEE 30th Symposium on Computer Arithmetic (ARITH 2023), Sep 2023, Portland, Oregon (USA), United States

Accès au texte intégral et bibtex

titre

Maximum Independent Set when excluding an induced minor: K_1 + tK_2 and tC_3 cup C_4

auteur

Edouard Bonnet, Julien Duron, Colin Geniet, Stéphan Thomassé, Alexandra Wesolek

article

ESA 2023, Sep 2023, Amsterdam, Netherlands

Accès au texte intégral et bibtex

titre

Testing The Sharpness of Known Error Bounds on The Fast Fourier Transform

auteur

Nicolas Brisebarre, Jean-Michel Muller, Joris Picot

article

30th IEEE International Symposium on Computer Arithmetic ARITH 2023, Sep 2023, Portland, Oregon, United States

Accès au texte intégral et bibtex

titre

Stretch-width

auteur

Édouard Bonnet, Julien Duron

article

IPEC 2023, Sep 2023, Amsterdam, Netherlands

Accès au texte intégral et bibtex

titre

Towards Machine-Efficient Rational $L^{\infty}$-Approximations of Mathematical Functions

auteur

Nicolas Brisebarre, Silviu-Ioan Filip

article

30th IEEE Symposium on Computer Arithmetic, ARITH 2023, Sep 2023, Portland, United States. pp.119--126

Accès au texte intégral et bibtex

titre

Lossy Kernelization for (Implicit) Hitting Set Problems

auteur

Fedor Fomin, Tien-Nam Le, Daniel Lokshtanov, Saket Saurabh, Stéphan Thomassé, Meirav Zehavi

article

ESA 2023, Sep 2023, Amsterdam, Netherlands. ⟨10.4230/LIPIcs.ESA.2023.49⟩

Accès au bibtex

titre

First Order Logic and Twin-Width in Tournaments

auteur

Colin Geniet, Stéphan Thomassé

article

31st Annual European Symposium on Algorithms (ESA 2023), Sep 2023, Amsterdam, Netherlands. pp.53:1--53:14, ⟨10.4230/LIPIcs.ESA.2023.53⟩

Accès au texte intégral et bibtex

titre

Butterfly factorization by algorithmic identification of rank‐one blocks

auteur

Léon Zheng, Gilles Puy, Elisa Riccietti, Patrick Pérez, Rémi Gribonval

article

XXIXème Colloque Francophone de Traitement du Signal et des Images, Aug 2023, Grenoble, France

Accès au texte intégral et bibtex

titre

Implicit Differentiation for Hyperparameter Tuning the Weighted Graphical Lasso

auteur

Can Pouliquen, Paulo Gonçalves, Mathurin Massias, Titouan Vayer

article

GRETSI 2023 - XXIXème Colloque Francophone de Traitement du Signal et des Images, Aug 2023, Grenoble (France), France. pp.1-4

Accès au texte intégral et bibtex

titre

Can sparsity improve the privacy of neural networks?

auteur

Antoine Gonon, Léon Zheng, Clément Lalanne, Quoc-Tung Le, Guillaume Lauga, Can Pouliquen

article

GRETSI 2023 - XXIXème Colloque Francophone de Traitement du Signal et des Images, Aug 2023, Grenoble, France

Accès au texte intégral et bibtex

titre

Un algorithme matriciel pour le calcul des composantes connectées d'un réseau complexe temporel

auteur

Rémi Vaudaine, Pierre. Borgnat, Paulo Gonçalves, Rémi Gribonval, Marton Karsai

article

29e Colloque GRETSI sur le traitement du signal et des image, GRETSI, Aug 2023, Grenoble, France. pp.1181-118

Accès au texte intégral et bibtex

titre

Scaling is all you need: quantization of butterfly matrix products via optimal rank-one quantization

auteur

Rémi Gribonval, Theo Mary, Elisa Riccietti

article

29ème Colloque sur le traitement du signal et des images (GRETSI), Aug 2023, Grenoble, France. pp.497-500

Accès au texte intégral et bibtex

titre

On the minimum number of inversions to make a digraph k-(arc-)strong

auteur

Julien Duron, Frédéric Havet, Florian Hörsch, Clément Rambaud

article

EUROCOMB 2023 - European Conference on Combinatorics, Graph Theory and Applications, Aug 2023, Prague, Czech Republic. pp.386-392, ⟨10.5817/CZ.MUNI.EUROCOMB23-054⟩

Accès au texte intégral et bibtex

titre

Isometric Path Complexity of Graphs

auteur

Dibyayan Chakraborty, Jérémie Chalopin, Florent Foucaud, Yann Vaxès

article

48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023), Aug 2023, Bordeaux, France. pp.32:1-32:14, ⟨10.4230/LIPIcs.MFCS.2023.32⟩

Accès au texte intégral et bibtex

titre

Optimisation Riemannienne pour l'apprentissage de graphes structurés

auteur

Alexandre Hippert-Ferrer, Florent Bouchard, Ammar Mian, Titouan Vayer, Arnaud Breloy

article

GRETSI 2023 - XXIXème Colloque Francophone de Traitement du Signal et des Images, Aug 2023, Grenoble, France. pp.585-588

Accès au texte intégral et bibtex

titre

A Detailed Analysis of Fiat-Shamir with Aborts

auteur

Julien Devevey, Pouria Fallahpour, Alain Passelègue, Damien Stehlé

article

Crypto 2023, Aug 2023, Santa Barbara, United States. pp.327-357, ⟨10.1007/978-3-031-38554-4_11⟩

Accès au bibtex

titre

Investigating Dependency Graph Discovery Impact on Task-based MPI+OpenMP Applications Performances

auteur

Romain Pereira, Adrien Roussel, Patrick Carribault, Thierry Gautier

article

52nd International Conference on Parallel Processing (ICPP 2023), Aug 2023, Salt Lake City, United States. pp.163-172, ⟨10.1145/3605573.3605602⟩

Accès au texte intégral et bibtex

titre

Hector: A Framework to Design and Evaluate Scheduling Strategies in Persistent Key-Value Stores

auteur

Louis-Claude Canon, Anthony Dugois, Loris Marchal, Etienne Rivière

article

ICPP 2023 - 52nd International Conference on Parallel Processing, Aug 2023, Salt Lake City, United States

Accès au texte intégral et bibtex

titre

Asymptotic Performance and Energy Consumption of SLACK

auteur

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

article

Euro-Par, Aug 2023, Limassol, Cyprus. pp.81-95, ⟨10.1007/978-3-031-39698-4_6⟩

Accès au texte intégral et bibtex

titre

Sample-Optimal Quantum Process Tomography with non-adaptive Incoherent Measurements

auteur

Aadil Oufkir

article

TQC 2023, Jul 2023, Aveiro, Portugal

Accès au bibtex

titre

Private Statistical Estimation of Many Quantiles

auteur

Clément Lalanne, Aurélien Garivier, Rémi Gribonval

article

ICML 2023 - 40th International Conference on Machine Learning, Jul 2023, Honolulu, United States

Accès au texte intégral et bibtex

titre

Elimination ideal and bivariate resultant over finite fields

auteur

Gilles Villard

article

ISSAC 2023: International Symposium on Symbolic and Algebraic Computation 2023, Jul 2023, Tromsø Norway, Norway. pp.526-534, ⟨10.1145/3597066.3597100⟩

Accès au texte intégral et bibtex

titre

A living monograph for graph transformation

auteur

Nicolas Behr, Russ Harmer

article

16th International Conference on Graph Transformation (ICGT 2023), Jul 2023, Leicester, United Kingdom. pp.281-291, ⟨10.1007/978-3-031-36709-0_15⟩

Accès au texte intégral et bibtex

titre

Exact computations with quasiseparable matrices

auteur

Clément Pernet, Hippolyte Signargout, Gilles Villard

article

ISSAC'23: the 2023 International Symposium on Symbolic and Algebraic Computation, Jul 2023, Tromso, Norway. pp.480-489, ⟨10.1145/3597066.3597102⟩

Accès au texte intégral et bibtex

titre

Quantum Channel Certification with Incoherent Strategies

auteur

Omar Fawzi, Nicolas Flammarion, Aurélien Garivier, Aadil Oufkir

article

COLT 23 - 36th Annual Conference on Learning Theory, Jul 2023, Bangalore, India. pp.1-58

Accès au texte intégral et bibtex

titre

Algebraic Recognition of Regular Functions

auteur

Mikołaj Bojańczyk, Lê Thành Dũng Nguyễn

article

50th International Colloquium on Automata, Languages, and Programming (ICALP 2023), Jul 2023, Paderborn, Germany. pp.117:1-117:19, ⟨10.4230/LIPIcs.ICALP.2023.117⟩

Accès au texte intégral et bibtex

titre

Etat de l’art sur la co-simulation robotique et réseau des systèmes multi-robots

auteur

Théotime Balaguer, Olivier Simonin, Isabelle Guérin Lassous, Isabelle Fantoni

article

JFSM 2023 - 31èmes Journées Francophones des Systèmes Multi-Agents, Jul 2023, Strasbourg, France. pp.1-10

Accès au texte intégral et bibtex

titre

Exploiting data locality to maximize the performance of data-sharing tasksets

auteur

Maxime Gonthier

article

ComPAS 2023 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Jul 2023, Annecy, France

Accès au texte intégral et bibtex

titre

Étude et modélisation des mécanismes de surallocation de mémoire pour la consolidation de machines virtuelles

auteur

Simon Lambert, Eddy Caron, Laurent Lefèvre, Rémi Grivel

article

Compas 2023 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Jul 2023, Annecy, France

Accès au texte intégral et bibtex

titre

Type Isomorphisms for Multiplicative-Additive Linear Logic

auteur

Rémi Di Guardia, Olivier Laurent

article

8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023), Jul 2023, Rome, Italy. pp.26:1-21, ⟨10.4230/LIPIcs.FSCD.2023.26⟩

Accès au texte intégral et bibtex

titre

Sequentialization is as fun as bungee jumping

auteur

Rémi Di Guardia, Olivier Laurent, Lionel Vaux, Lorenzo Tortora de Falco

article

7th International Workshop on Trends in Linear Logic and Applications (TLLA 2023), Jul 2023, Rome Sapienza Universita di Roma, Italy

Accès au texte intégral et bibtex

titre

Cutting Barnette Graphs Perfectly is Hard

auteur

Édouard Bonnet, Dibyayan Chakraborty, Julien Duron

article

WG 2023, Jun 2023, Fribourg (CH), Switzerland. pp.116-129, ⟨10.1007/978-3-031-43380-1_9⟩

Accès au bibtex

titre

Sample-Optimal Quantum Process Tomography with non-adaptive Incoherent Measurements

auteur

Aadil Oufkir

article

ISIT 2023 - IEEE International Symposium on Information Theory, Jun 2023, Taipei, Taiwan. pp.1919-1924, ⟨10.1109/ISIT54713.2023.10206538⟩

Accès au texte intégral et bibtex

titre

Parallel Memory-Independent Communication Bounds for SYRK

auteur

Hussam Al Daas, Grey Ballard, Laura Grigori, Suraj Kumar, Kathryn Rouse

article

SPAA '23 - ACM Symposium on Parallelism in Algorithms and Architectures, Jun 2023, Orlando, United States. ⟨10.1145/3558481.3591072⟩

Accès au texte intégral et bibtex

titre

Arithmétique des Ordinateurs

auteur

Jean-Michel Muller

article

Colloque Raisonner en arithmétique, est-ce incongru ?, Jun 2023, Talence (33), France

Accès au texte intégral et bibtex

titre

Complete Decomposition of Symmetric Tensors in Linear Time and Polylogarithmic Precision

auteur

Pascal Koiran, Subhayan Saha

article

CIAC 2023, Jun 2023, Larnaca, France. pp.308-322, ⟨10.1007/978-3-031-30448-4_22⟩

Accès au bibtex

titre

On the width of complicated JSJ decompositions

auteur

Kristóf Huszár, Jonathan Spreer

article

39th International Symposium on Computational Geometry (SoCG 2023), Jun 2023, Dallas, United States. pp.42:1--42:18, ⟨10.4230/LIPIcs.SoCG.2023.42⟩

Accès au texte intégral et bibtex

titre

Experiment-driven platform for link quality estimation in IEEE 802.11 WLANs

auteur

Thierry Arrabal, Marija Stojanova, Isabelle Guérin-Lassous, Joris Picot

article

HPSR 2023 - IEEE 24th International Conference on High-Performance Switching and Routing, Jun 2023, Albuquerque, NM, United States. pp.1-6

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

ICASSP, IEEE, Jun 2023, Rhodes, Greece. ⟨10.48550/arXiv.2210.15940⟩

Accès au texte intégral et bibtex

titre

StackNet: IoT Network Simulation as a Service

auteur

Samir Si-Mohammed, Zakaria Fraoui, Thomas Begin, Isabelle Guérin Lassous, Pascale Vicat-Blanc

article

IEEE International Conference on Communications (ICC 2023), IEEE, May 2023, Rome, Italy

Accès au texte intégral et bibtex

titre

COSIMIA : Combiner Simulation et Apprentissage Automatique pour Optimiser la Configuration des Réseaux IoT

auteur

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

article

CoRes 2023 - 8èmes Rencontres Francophones sur la Conception de protocoles, l'évaluation de performances et l'expérimentation de Réseaux de communication, May 2023, Cargese, France

Accès au texte intégral et bibtex

titre

Services Orchestration at the Edge and in the Cloud on Energy-Aware Precision Beekeeping Systems

auteur

Hugo Hadjur, Laurent Lefèvre, Doreid Ammar

article

PAISE 2023: 5th Workshop on Parallel AI and Systems for the Edge - co-conducted with IPDPS 2023, May 2023, St. Petersburg, FL, United States. ⟨10.1109/IPDPSW59300.2023.00129⟩

Accès au texte intégral et bibtex

titre

Multilevel Proximal Methods for Image Restoration

auteur

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

article

Optimization and Control in Burgundy, May 2023, Dijon, France

Accès au bibtex

titre

An experimental comparison of software-based power meters: focus on CPU and GPU

auteur

Mathilde Jay, Vladimir Ostapenco, Laurent Lefèvre, Denis Trystram, Anne-Cécile Orgerie, Benjamin Fichel

article

CCGrid 2023 - 23rd IEEE/ACM international symposium on cluster, cloud and internet computing, May 2023, Bangalore, India. pp.1-13, ⟨10.1109/CCGrid57682.2023.00020⟩

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

The Eleventh International Conference on Learning Representations, May 2023, Kigali, Rwanda

Accès au texte intégral et bibtex

titre

Coordinate Descent for SLOPE

auteur

Johan Larsson, Quentin Klopfenstein, Mathurin Massias, Jonas Wallin

article

26th International Conference on Artificial Intelligence and Statistics - AISTATS 2023, Apr 2023, Valencia, Spain

Accès au texte intégral et bibtex

titre

Constrained Pseudorandom Functions from Homomorphic Secret Sharing

auteur

Geoffroy Couteau, Pierre Meyer, Alain Passelègue, Mahshid Riahinia

article

42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques,EUROCRYPT 2023, Apr 2023, Lyon, France. pp.194-224, ⟨10.1007/978-3-031-30620-4_7⟩

Accès au texte intégral et bibtex

titre

Deciding contextual equivalence of ν-calculus with effectful contexts (full version)

auteur

Daniel Hirschkoff, Guilhem Jaber, Enguerrand Prebet

article

Foundations of Software Science and Computation Structures - 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023., Apr 2023, Paris, France. ⟨10.1007/978-3-031-30829-1_2⟩

Accès au texte intégral et bibtex

titre

Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory

auteur

Bruno Ferres, Oussama Oulkaid, Ludovic Henrio, M. Khosravian G., Matthieu Moy, Gabriel Radanne, Pascal Raymond

article

DATE 2023 - Design, Automation and Test in Europe Conference, Apr 2023, Anvers (Antwerpen), Belgium. pp.1-2, ⟨10.23919/DATE56975.2023.10137147⟩

Accès au texte intégral et bibtex

titre

The Burden of Time on a Large-Scale Data Management Service

auteur

Etienne Mauffret, Flavien Vernier, Sébastien Monnet

article

Advanced Information Networking and Applications (AINA-2023), Mar 2023, Federal University of Juiz de Fora, Brazil, France

Accès au texte intégral et bibtex

titre

Measuring the Performance of iCloud Private Relay

auteur

Trevisan Martino, Idilio Drago, Paul Schmitt, Francesco Bronzino

article

Passive and Active Measurement Conference 2023, Mar 2023, Virtual, France

Accès au texte intégral et bibtex

titre

Twin-width V: linear minors, modular counting, and matrix multiplication

auteur

Edouard Bonnet, Ugo Giocanti, Patrice Ossona de Mendez, Stéphan Thomassé

article

STACS 2023 ( Symposium on Theoretical Aspects of Computer Science ), Mar 2023, Hambourg, Germany. ⟨10.4230/LIPIcs.STACS.2023.15⟩

Accès au texte intégral et bibtex

titre

Approximating Highly Inapproximable Problems on Graphs of Bounded Twin-Width

auteur

Pierre Bergé, Edouard Bonnet, Hugues Déprés, Rémi Watrigant

article

STACS 2023, Mar 2023, Hambourg, Germany

Accès au texte intégral et bibtex

titre

Enhancing productivity on heterogeneous supercomputers with task-based programming model

auteur

Adrien Roussel, Mickael Boichot, Romain Pereira, Manuel Ferat

article

SIAM CSE 2023 - SIAM Conference on Computational Science and Engineering, Feb 2023, Amsterdam, Netherlands

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

ALT 2023 - The 34th International Conference on Algorithmic Learning Theory, Feb 2023, Singapour, Singapore

Accès au texte intégral et bibtex

titre

Separation of Concerns in an Edge-Based Compartmental Modeling Framework

auteur

A Yvan Guifo Fodjo, Jerry L. Lacmou Zeutouo, Samuel Bowong

article

16th International Joint Conference on Biomedical Engineering Systems and Technologies, Feb 2023, Lisbonne, Portugal

Accès au texte intégral et bibtex

titre

Explorable Automata

auteur

Emile Hazard, Denis Kuperberg

article

CSL 2023, Feb 2023, Warsaw, Poland. pp.24:1--24:18, ⟨10.4230/LIPIcs.CSL.2023.24⟩

Accès au texte intégral et bibtex

titre

Generalised entropy accumulation

auteur

Tony Metger, Omar Fawzi, David Sutter, Renato Renner

article

QIP 2023, Feb 2023, Ghent, Belgium. ⟨10.1109/FOCS54457.2022.00085⟩

Accès au bibtex

titre

A lower bound on the overhead of quantum error correction in low dimensions

auteur

Nouédyn Baspin, Omar Fawzi, Ala Shayeghi

article

QIP 2023, Feb 2023, Ghent, Belgium

Accès au texte intégral et bibtex

titre

Exponentially tighter bounds on limitations of quantum error mitigation

auteur

Yihui Quek, Daniel Stilck França, Sumeet Khatri, Johannes Jakob Meyer, Jens Eisert

article

QIP 2023, Feb 2023, Ghent, Belgium

Accès au bibtex

titre

Limitations of variational quantum algorithms: a quantum optimal transport approach

auteur

Giacomo de Palma, Milad Marvian, Cambyse Rouzé, Daniel Stilck França

article

QIP 2023, Feb 2023, Ghent, Belgium

Accès au bibtex

titre

Retrofitting OCaml modules

auteur

Clément Blaudeau, Didier Rémy, Gabriel Radanne

article

JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.59-100

Accès au texte intégral et bibtex

titre

Effectful Programming across Heterogeneous Computations -Work in Progress

auteur

Jean Abou-Samra, Yannick Zakowski, Martin Bodin

article

JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.7-23

Accès au texte intégral et bibtex

titre

SkyData : Rise of the Data How can the Intelligent and Autonomous Data paradigm become real?

auteur

Etienne Mauffret, Elise Jeanneau, Eddy Caron

article

The International Conference on Cloud Computing and Services Science (CLOSER), Insticc, Jan 2023, Prague (Czech Republic), Czech Republic. pp.8

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

2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), Jan 2023, Florence, Italy. pp.3006-3028, ⟨10.1137/1.9781611977554.ch116⟩

Accès au bibtex

titre

A subpolynomial-time algorithm for the free energy of one-dimensional quantum systems in the thermodynamic limit

auteur

Hamza Fawzi, Omar Fawzi, Samuel O. Scalet

article

ITCS 2023 - Innovations in Theoretical Computer Science, Jan 2023, Boston, United States. pp.1-33

Accès au texte intégral et bibtex

Book sections

titre

Des molécules qui calculent

auteur

Nicolas Schabanel

article

L'interdisciplinarité, CNRS editions, pp.75-80, 2023, 9782271139832

Accès au bibtex

Other publications

titre

Évolution du matériel et des services logiciels disponibles dans Grid’5000

auteur

Simon Delamare, David Margery, Pierre Neyron, Lucas Nussbaum

article

2023

Accès au texte intégral et bibtex

titre

Good practices in digital service ecodesign for software developers

auteur

Cyrille Bonamy, Cédric Boudinet, Laurent Bourgès, Karin Dassas, Laurent Lefèvre, Benjamin Ninassi, Francis Vivat

article

2023, pp.1-19

Accès au texte intégral et bibtex

Poster communications

titre

Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory

auteur

Bruno Ferres, Oussama Oulkaid, Ludovic Henrio, Mehdi Khosravian, Matthieu Moy, Gabriel Radanne, Pascal Raymond

article

Colloque du GDR SoC2, Jun 2023, Lyon, France

Accès au texte intégral et bibtex

titre

Memory-Aware Scheduling Of Tasks Sharing Data On Multiple GPUs

auteur

Maxime Gonthier, Loris Marchal, Samuel Thibault

article

ISC 2023 - ISC High Performance 2023, May 2023, Hamburg, Germany. Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Documents associated with scientific events

titre

Memory-Aware Scheduling of Tasks Sharing Data on Multiple GPUs

auteur

Maxime Gonthier, Loris Marchal, Samuel Thibault

article

JLESC 2023 -15th JLESC Workshop, Mar 2023, Bordeaux, France. 2023

Accès au texte intégral et bibtex

Reports

titre

Partial Evaluation of Dense Code on Sparse Structures

auteur

Gabriel Dehame, Christophe Alias, Alec Sadler

article

RR-9534, INRIA Lyon; CNRS; ENS de Lyon; Université de Lyon. 2023, pp.16

Accès au texte intégral et bibtex

titre

Refinements for Open Automata (Extended Version)

auteur

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

article

RR-9517, Inria - Research Centre Grenoble – Rhône-Alpes. 2023

Accès au texte intégral et bibtex

titre

Scheduling Variable Capacity Resources for Sustainability Workshop

auteur

Anne Benoit, Andrew A Chien, Yves Robert

article

ROMA (INRIA Rhône-Alpes / LIP Laboratoire de l’Informatique du Parallélisme); University of Chicago. 2023

Accès au texte intégral et bibtex

titre

Asymptotic Performance and Energy Consumption of SLACK

auteur

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

article

RR-9501, Inria Lyon. 2023, pp.27

Accès au texte intégral et bibtex

titre

Revisiting I/O bandwidth-sharing strategies for HPC applications

auteur

Anne Benoit, Thomas Herault, Lucas Perotin, Yves Robert, Frédéric Vivien

article

RR-9502 v3, INRIA. 2023, pp.57

Accès au texte intégral et bibtex

titre

Guide de bonnes pratiques numérique responsable pour les organisations

auteur

Agnès Comte, Alexandra Grout, Anne Crance, Maxime Nebule, Romain Cassiaux, Rachid Igouti, Anne-Cécile Orgerie, Anne-Laure Ligozat, Brigitte Tran, Catherine Petit, Yveline Baratta, Florence Launay, Didier Mallarino, Emmanuelle Frenoux, Francis Vivat, Françoise Berthoud, Frédéric Damiens, Hervé Le Luherne, Julie Delmas-Orgelet, Laurent Lefèvre, Laurent Pingault, Murielle Timsit, Richard Hanna, Olivier Joviado, Romuald Ribault, Sophie Quinton, Viviane Valla

article

Direction interministérielle du numérique (DINUM); MiNumEco, mission interministérielle numérique écoresponsable; Ministère de la Transition écologique et de la Cohésion des territoires; Institut du Numérique Responsable (INR); EcoInfo. 2023

Accès au texte intégral et bibtex

Software

titre

Code for the article Temporal Network Compression via Network Hashing

auteur

Rémi Vaudaine, Rémi Gribonval, Paulo Gonçalves, Pierre Borgnat, Márton Karsai

article

2023

Accès au bibtex

titre

Code for reproducible research: Does a sparse ReLU network training problem always admit an optimum?

auteur

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

article

2023, ⟨swh:1:dir:bc925c94db38e22382161dead27e7f667d47f71a;origin=https://hal.archives-ouvertes.fr/hal-04233925;visit=swh:1:snp:03d26f344bc6823ea9f499da1ebbe9c37a7c2c8d;anchor=swh:1:rel:893f968c69665c2ca0d3844b48ca1b07d14bd845;path=/⟩

Accès au texte intégral et bibtex

titre

NVML sensor (CPU+GPU)

auteur

Guillaume Raffin, Mathilde Jay

article

2023, ⟨swh:1:dir:86123285fef88a53a7add2daa5cde206a739655b;origin=https://github.com/TheElectronWill/nvml-sensor;visit=swh:1:snp:84d307494eb375c5567d310a51ef6d33f65e92e6;anchor=swh:1:rev:da17074fbd3c78027b52e700c5dadf7918ca0755⟩

Accès au bibtex

titre

Code for reproducible research for the article "OPTIMAL QUANTIZATION OF RANK-ONE MATRICES IN FLOATING-POINT ARITHMETIC—WITH APPLICATIONS TO BUTTERFLY FACTORIZATIONS

auteur

Rémi Gribonval, Elisa Riccietti, Théo Mary

article

2023, ⟨swh:1:dir:98eaa2697116f3815573f266465e4a7800d96af8;origin=https://hal.archives-ouvertes.fr/hal-04124171;visit=swh:1:snp:5c0e415b900b448623781225e10029b1e0e4201a;anchor=swh:1:rel:0c27febd089e0c3a3819886fddda683e400d4462;path=/⟩

Accès au texte intégral et bibtex

titre

WLAN Energy-Saving Strategies Simulator (WE3S)

auteur

Esther Guérin, Thomas Begin, Isabelle Guérin Lassous

article

2023, ⟨swh:1:dir:dfc8dc85a98ae8a16cfb4ec9a8274b784ec5baff;origin=https://hal.archives-ouvertes.fr/hal-04831089;visit=swh:1:snp:e0f162e828aad676d7ff43fda20bf6c753529a55;anchor=swh:1:rel:217dd46940d11b63d95c97fe0319dd28a230996f;path=/⟩

Accès au texte intégral et bibtex

titre

GNU MPFR

auteur

Guillaume Hanrot, Paul Zimmermann, Vincent Lefèvre, Patrick Pélissier, Philippe Théveny

article

2023, ⟨swh:1:rel:b5e308c5dd459a81d8523e1dcb84c19dbc47b51b;origin=https://gitlab.inria.fr/mpfr/mpfr;visit=swh:1:snp:15595615280f9f91d107c1f4e9fa915fda0076dc⟩

Accès au bibtex

titre

Lazylinop

auteur

Simon Delamare, Rémi Gribonval, Hakim Hadj-Djilani, Pascal Carrivain

article

2023, ⟨swh:1:dir:d974aec33b495ab3b19c0f55e3a00dd19012a6fd;origin=https://gitlab.inria.fr/faustgrp/lazylinop;visit=swh:1:snp:41bfa6abec71c1466bc275c03b307ee2e1f349fc;anchor=swh:1:rev:2be493f2a52449432008691f9c2bd3a368c172a0⟩

Accès au bibtex

titre

Code for reproducible research. Abide by the Law and Follow the Flow: Conservation Laws for Gradient Flows

auteur

Sibylle Marcotte, Rémi Gribonval, Gabriel Peyré

article

2023, ⟨swh:1:dir:4ef0397467efbab3728558079522b7bf5b96bb90;origin=https://hal.archives-ouvertes.fr/hal-04261339;visit=swh:1:snp:78f6f8a174ff007bc6eb37ebcc0c3635aca44c1d;anchor=swh:1:rel:2c795a9be210d1bac58f9903a22b307b18299605;path=/⟩

Accès au bibtex

Theses

titre

Algorithmic and theoretical aspects of sparse deep neural networks

auteur

Quoc-Tung Le

article

Neural and Evolutionary Computing [cs.NE]. Ecole normale supérieure de lyon - ENS LYON, 2023. English. ⟨NNT : 2023ENSL0105⟩

Accès au texte intégral et bibtex

titre

Algebraic certificates for graph problems

auteur

Rémi Pellerin

article

Discrete Mathematics [cs.DM]. Ecole normale supérieure de lyon - ENS LYON, 2023. English. ⟨NNT : 2023ENSL0096⟩

Accès au texte intégral et bibtex

titre

Algebraic and Numerical Algorithms for Symmetric Tensor Decompositions

auteur

Subhayan Saha

article

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

Accès au texte intégral et bibtex

titre

Approximation Algorithms for Channel Coding and Non-Signaling Correlations

auteur

Paul Fermé

article

Information Theory [cs.IT]. ENS de Lyon, 2023. English. ⟨NNT : ⟩

Accès au texte intégral et bibtex

titre

Approximation Algorithms for Channel Coding and Non-signaling Correlations

auteur

Paul Fermé

article

Information Theory [cs.IT]. Ecole normale supérieure de lyon - ENS LYON, 2023. English. ⟨NNT : 2023ENSL0092⟩

Accès au texte intégral et bibtex

titre

Efficient Use of Task-based Parallelism in HPC Parallel Applications

auteur

Romain Pereira

article

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

Accès au texte intégral et bibtex

titre

Exact computations with quasiseparable matrices and polynomial matrices with a displacement structure

auteur

Hippolyte Signargout

article

Symbolic Computation [cs.SC]. Ecole normale supérieure de lyon - ENS LYON, 2023. English. ⟨NNT : 2023ENSL0072⟩

Accès au texte intégral et bibtex

titre

On the tradeoffs of statistical learning with privacy

auteur

Clément Lalanne

article

Machine Learning [cs.LG]. Ecole normale supérieure de lyon - ENS LYON, 2023. English. ⟨NNT : 2023ENSL0068⟩

Accès au texte intégral et bibtex

titre

Multi-Criteria Selection and Configuration of IoT Network Technologies

auteur

Samir Si-Mohammed

article

Networking and Internet Architecture [cs.NI]. Ecole normale supérieure de lyon - ENS LYON, 2023. English. ⟨NNT : 2023ENSL0069⟩

Accès au texte intégral et bibtex

titre

Scheduling in Distributed Storage Systems

auteur

Anthony Dugois

article

Databases [cs.DB]. Ecole normale supérieure de lyon - ENS LYON, 2023. English. ⟨NNT : 2023ENSL0057⟩

Accès au texte intégral et bibtex

titre

Scheduling Under Memory Constraint in Task-based Runtime Systems

auteur

Maxime Gonthier

article

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

Accès au texte intégral et bibtex

titre

Lattice-based Signatures in the Fiat-Shamir Paradigm

auteur

Julien Devevey

article

Computer Science [cs]. Ecole Normale Supérieure de Lyon, 2023. English. ⟨NNT : 2023ENSL0052⟩

Accès au texte intégral et bibtex

titre

On Adaptivity in Classical and Quantum Learning

auteur

Aadil Oufkir

article

Data Structures and Algorithms [cs.DS]. Ecole normale supérieure de lyon - ENS LYON, 2023. English. ⟨NNT : 2023ENSL0037⟩

Accès au texte intégral et bibtex

titre

Online Learning for the Black-Box Optimization of Wireless Networks

auteur

Anthony Bardou

article

Social and Information Networks [cs.SI]. Ecole normale supérieure de lyon - ENS LYON, 2023. English. ⟨NNT : 2023ENSL0045⟩

Accès au texte intégral et bibtex

titre

Designing and modeling sustainable, autonomous, smart, and energy efficient Internet of Things systems, applied to precision beekeeping

auteur

Hugo Hadjur

article

Artificial Intelligence [cs.AI]. Ecole normale supérieure de lyon - ENS LYON, 2023. English. ⟨NNT : 2023ENSL0043⟩

Accès au texte intégral et bibtex

titre

Chi-boundedness, Geometric Graph Theory, and Burling Graphs

auteur

Pegah Pournajafi

article

Combinatorics [math.CO]. Ecole normale supérieure de lyon - ENS LYON, 2023. English. ⟨NNT : 2023ENSL0033⟩

Accès au texte intégral et bibtex

titre

Simple, Safe and Efficient Abstractions for Communication and Streaming in Parallel Computing

auteur

Amaury Maillé

article

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

Accès au texte intégral et bibtex

titre

Scheduling algorithms to optimize the performance, energy consumption and robustness of HPC applications

auteur

Lucas Perotin

article

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

Accès au texte intégral et bibtex

titre

Conception de nanostructures ADN par des méthodes géométriques : Modèles, logiciel et expériences

auteur

Nicolas Levy

article

Modeling and Simulation. Ecole normale supérieure de lyon - ENS LYON, 2023. English. ⟨NNT : 2023ENSL0025⟩

Accès au texte intégral et bibtex

titre

A full stack simulator for HPC : multi-level modelling of the BXI interconnect to predict the performance of MPI applications

auteur

Julien Emmanuel

article

Modeling and Simulation. Université Claude Bernard - Lyon I, 2023. English. ⟨NNT : 2023LYO10029⟩

Accès au texte intégral et bibtex

titre

Total cost modeling of software ownership in Virtual Network Functions

auteur

Ghoshana Bista

article

Information Theory [cs.IT]. Ecole normale supérieure de lyon - ENS LYON, 2023. English. ⟨NNT : 2023ENSL0003⟩

Accès au texte intégral et bibtex

Preprints, Working Papers, ...

titre

Open Problems in (Hyper)Graph Decomposition

auteur

Deepak Ajwani, Rob H. Bisseling, Katrin Casel, Ümit V. Çatalyürek, Cédric Chevalier, Florian Chudigiewitsch, Marcelo Fonseca Faraj, Michael Fellows, Lars Gottesbüren, Tobias Heuer, George Karypis, Kamer Kaya, Jakub Lacki, Johannes Langguth, Xiaoye Sherry Li, Ruben Mayer, Johannes Meintrup, Yosuke Mizutani, François Pellegrini, Fabrizio Petrini, Frances Rosamond, Ilya Safro, Sebastian Schlag, Christian Schulz, Roohani Sharma, Darren Strash, Blair D. Sullivan, Bora Uçar, Albert-Jan Yzelman

article

2023

Accès au texte intégral et bibtex

titre

Compressive Recovery of Sparse Precision Matrices

auteur

Titouan Vayer, Etienne Lasalle, Rémi Gribonval, Paulo Gonçalves

article

2023

Accès au texte intégral et bibtex

titre

Twin-width VII: groups

auteur

Édouard Bonnet, Colin Geniet, Romain Tessera, Stéphan Thomassé

article

2023

Accès au texte intégral et bibtex

titre

Signal reconstruction using determinantal sampling

auteur

Ayoub Belhadji, Rémi Bardenet, Pierre Chainais

article

2023

Accès au texte intégral et bibtex

titre

Optimal quantization of rank-one matrices in floating-point arithmetic---with applications to butterfly factorizations

auteur

Rémi Gribonval, Theo Mary, Elisa Riccietti

article

2023

Accès au texte intégral et bibtex

titre

A Block-Coordinate Approach of Multi-level Optimization with an Application to Physics-Informed Neural Networks

auteur

Serge Gratton, Valentin Mercier, Elisa Riccietti, Philippe L Toint

article

2023

Accès au texte intégral et bibtex

titre

Multilevel methods for hyperspectral images restoration

auteur

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

article

2023

Accès au texte intégral et bibtex

titre

About the "accurate mode" of the IEEE 1788-2015 standard for interval arithmetic

auteur

Nathalie Revol

article

2023

Accès au texte intégral et bibtex

titre

Leading constants of rank deficient Gaussian elimination

auteur

Clément Pernet, Hippolyte Signargout, Gilles Villard

article

2023

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

2023

Accès au bibtex

titre

Integer points close to a transcendental curve and correctly-rounded evaluation of a function

auteur

Nicolas Brisebarre, Guillaume Hanrot

article

2023

Accès au texte intégral et bibtex

titre

Environmental assessment of projects involving AI methods

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ï, Karin Dassas

article

2023

Accès au texte intégral et bibtex