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
- 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
- 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
- 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
- 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 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
- 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
- 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, pp.e7856. ⟨10.1002/cpe.7856⟩
- 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
- 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
- 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 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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, In press, ⟨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
- titre
- Error in ulps of the multiplication or division by a correctly-rounded function or constant in binary floating-point arithmetic
- auteur
- Nicolas Brisebarre, Jean-Michel Muller, Joris Picot
- article
- IEEE Transactions on Emerging Topics in Computing, In press, ⟨10.1109/TETC.2023.3294986⟩
- 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
- 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
- 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
- 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.48550/arXiv.2309.07307⟩
- 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
- 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
- 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
- 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
- Bit-Stealing Made Legal
- auteur
- Thaïs Baudon, Gabriel Radanne, Laure Gonnord
- article
- ICFP 2023, Sep 2023, Seattle (USA), United States. ⟨10.1145/3607858⟩
- 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, USA, France
- 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 ∞ -Approximations of Mathematical Functions
- auteur
- Nicolas Brisebarre, Silviu-Ioan Filip
- article
- 30th IEEE International Symposium on Computer Arithmetic ARITH 2023, Sep 2023, Portland, United States
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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.2, ⟨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
- 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
- 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
- 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
- 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
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
- Accès au texte intégral et bibtex
Proceedings
- titre
- Subexponential algorithms in geometric graphs via the subquadratic grid minor property: the role of local radius
- auteur
- Gaétan Berthe, Marin Bougeret, Daniel Gonçalves, Jean-Florent Raymond
- article
- 19th Scandinavian Symposium and Workshops on Algorithm Theory (SWAT 2024), 294, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, pp.11:1-11:18, 2023, ⟨10.4230/LIPIcs.SWAT.2024.11⟩
- 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. 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
- 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
- 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
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
- Reduction-Based Creative Telescoping for Definite Summation of D-Finite Functions
- auteur
- Hadrien Brochet, Bruno Salvy
- article
- 2023
- Accès au texte intégral et bibtex
- titre
- Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces
- auteur
- Matteo Mio, Ralph Sarkis, Valeria Vignudelli
- article
- 2023
- Accès au bibtex
- titre
- Broadcast Channel Coding: Algorithmic Aspects and Non-Signaling Assistance
- auteur
- Omar Fawzi, Paul Fermé
- article
- 2023
- Accès au texte intégral et bibtex
- titre
- The supersingular endomorphism ring problem given one endomorphism
- auteur
- Arthur Herlédan Le Merdy, Benjamin Wesolowski
- 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
- IML FISTA: A Multilevel Framework for Inexact and Inertial Forward-Backward. Application to Image Restoration
- auteur
- Guillaume Lauga, Elisa Riccietti, Nelly Pustelnik, Paulo Gonçalves
- 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
- Lower Bounds on Learning Pauli Channels
- auteur
- Omar Fawzi, Aadil Oufkir, Daniel Stilck Franca
- article
- 2023
- Accès au texte intégral et 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