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

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
https://inria.hal.science/hal-03909547/file/2209.07825.pdf 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
https://hal.science/hal-04682926/file/s41586-023-06924-6.pdf 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
https://hal.science/hal-04486682/file/Article_final.pdf 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
https://arxiv.org/pdf/2204.11100 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
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
https://hal.science/hal-04477700/file/HyperTP_JPDC_Postprint.pdf 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
https://hal.science/hal-04372450/file/2312.16977.pdf 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
https://inria.hal.science/hal-04402624/file/amue-collection-numerique-29_p38-39.pdf 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
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
https://hal.science/hal-03739405/file/NBRHJK-ICGT-2021-extended%20%281%29.pdf 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
https://hal.science/hal-04296712/file/matchingSTACS.pdf 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
https://arxiv.org/pdf/2208.14229 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
https://hal.science/hal-04107265/file/On_adaptivity.pdf 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
https://inria.hal.science/hal-04160309/file/NRevol-MathemaTICE.pdf 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
https://hal.science/hal-04183957/file/Osuva_Benet_Ferranti_Revol_2023.pdf 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
https://hal.science/hal-04133655/file/preprint_v2.pdf 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
https://hal.science/hal-03572701/file/preprint.pdf 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
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
https://inria.hal.science/hal-04214825/file/revised-algorithmica.pdf 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
https://arxiv.org/pdf/2301.02020 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
https://hal.science/hal-03865495/file/PositiveFOWordsGraphs.pdf 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
https://inria.hal.science/hal-04397633/file/CCPE-2023.pdf 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
https://hal.science/hal-04292973/file/main.pdf 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
https://arxiv.org/pdf/2204.05809 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
https://inria.hal.science/hal-03505854/file/NRevol.pdf BibTex
titre
Approximation speed of quantized vs. unquantized ReLU neural networks and beyond
auteur
Antoine Gonon, Nicolas Brisebarre, Rémi Gribonval, Elisa Riccietti
article
IEEE Transactions on Information Theory, 2023, 69 (6), pp.3960-3977. ⟨10.1109/TIT.2023.3240360⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03672166/file/v2_preprint_approximation_speed_of_quantized_vs_unquantized_ReLU_neural_networks_and_beyond.pdf BibTex
titre
Energy-aware mapping and scheduling strategies for real-time workflows under reliability constraints
auteur
Zhiwei Wu, Li Han, Jing Liu, Yves Robert, Frédéric Vivien
article
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
https://inria.hal.science/hal-04214810/file/jpdc-final.pdf 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
https://hal.science/hal-04388201/file/q-2023-05-22-1011.pdf 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
https://hal.science/hal-04156967/file/Kempe_Recoloring.pdf 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
https://arxiv.org/pdf/2104.07001 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
https://hal.science/hal-04095151/file/floatingpoint_arithmetic.pdf 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
https://hal.science/hal-04141989/file/MainFile_Revised.pdf 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
https://hal.science/hal-03461492/file/21-1516.pdf 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
https://hal.science/hal-04037199/file/HAL_version.pdf 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
https://hal.science/hal-03794374/file/main.pdf 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
https://hal.science/hal-03482567/file/NormsandDW%20HaLV2.pdf 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
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
https://hal.science/hal-03674690/file/Hol_Lin_Gen.pdf 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
https://hal.science/hal-03886910/file/ctrees.pdf 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
https://inria.hal.science/hal-03778357/file/revised_ieeetc_submitted_June_15_2022.pdf 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
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
https://hal.science/hal-03758021/file/ijfcs.pdf 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
https://hal.science/hal-03968224/file/Preprint_HAL.pdf 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
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
https://hal.science/hal-03364668/file/main.pdf 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
https://arxiv.org/pdf/2207.00393 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
https://hal.science/hal-04223362/file/paper.pdf 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
https://hal.science/hal-03292203/file/stock-gribonval.pdf 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
https://hal.science/hal-04206096/file/MAC_NS.pdf 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
https://hal.science/hal-03952008/file/HINTS-Elsevier.pdf 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
https://inria.hal.science/hal-03362626/file/main.pdf 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
https://inria.hal.science/hal-03623220/file/fgcs-paper-reviewers-round2-unmarked-submitted.pdf 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
https://hal.science/hal-04394867/file/Inferring%20the%20arrow%20of%20time%20in%20quantum%20spatiotemporal%20correlations.pdf 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
https://hal.science/hal-04047008/file/Modeling_evaluating_and_orchestrating_heterogeneous_environmental_leverages_for_large_scale_data_centers_management.pdf 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
https://hal.science/hal-04363384/file/50333511_File000002_1264253172.pdf 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
https://hal.science/hal-04044716/file/multconst-clean.pdf 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
https://inria.hal.science/hal-04386964/file/bda4s_2023%20%285%29.pdf 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
https://hal.science/hal-04103326/file/final_snekhorn.pdf 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
https://hal.science/hal-04264487/file/main_neurips.pdf 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
https://hal.science/hal-04332468/file/paper.pdf 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
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
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
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
https://hal.science/hal-04229636/file/workshop_paper.pdf 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
https://arxiv.org/pdf/2310.03398 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
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
https://inria.hal.science/hal-04108849/file/neurips_2023.pdf 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
https://inria.hal.science/hal-04150576/file/2307.00144.pdf 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
https://hal.science/hal-04267389/file/nopaper.pdf 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
https://inria.hal.science/hal-04215554/file/ftxs2023_HAL.pdf 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
https://inria.hal.science/hal-04397574/file/hal-pmbs2023.pdf 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
https://inria.hal.science/hal-04271300/file/refinementarticleV2.pdf 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
https://hal.science/hal-04290920/file/Camera_ready_MSWiM_23__Esther_.pdf 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
https://hal.science/hal-04363387/file/MSWiM33s-astudillo-leon.pdf 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
https://inria.hal.science/hal-04380643/file/ficwebboard-author.pdf 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
https://arxiv.org/pdf/2309.07307 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
https://hal.science/hal-04249001/file/ECML23_Hippert.pdf 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
https://hal.science/hal-04022713/file/otpca.pdf 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
https://inria.hal.science/hal-04201317/file/IWOMP_2023_paper_8.pdf 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
https://inria.hal.science/hal-04135481/file/IWOMP_23___SUSPENDING_TASKS-7.pdf 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
https://hal.science/hal-04409117/file/main.pdf 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
https://hal.science/hal-04249625/file/LIPIcs-ESA-2023-53.pdf 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
https://hal.science/hal-04292980/file/NP_completeness_for_Bounded_Degree_Treewidth.pdf 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
https://inria.hal.science/hal-04146298/file/bottleMatchingLIPICS.pdf 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
https://inria.hal.science/hal-04326201/file/power_function.pdf 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
https://inria.hal.science/hal-04165615/file/main.pdf 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
https://hal.science/hal-04292975/file/mis-ind-minor.pdf 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
https://inria.hal.science/hal-04092770/file/mainIEEE_accepted.pdf BibTex
titre
Stretch-width
auteur
Édouard Bonnet, Julien Duron
article
IPEC 2023, Sep 2023, Amsterdam, Netherlands
Accès au texte intégral et bibtex
https://hal.science/hal-04292981/file/stretch-width.pdf 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
https://hal.science/hal-04093020/file/rminimax_hal.pdf 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
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
https://hal.science/hal-04352250/file/Strong_inversion.pdf 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
https://hal.science/hal-04228029/file/2023_breloy1324.pdf 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
https://inria.hal.science/hal-04145743/file/main.pdf 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
https://hal.science/hal-04151796/file/main.pdf 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
https://hal.science/hal-04062317/file/HAL_gretsi.pdf 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
https://hal.science/hal-04227004/file/2023_vaudaine1386.pdf 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
https://inria.hal.science/hal-04146706/file/gretsi_optimal_rank1_quantization%20%283%29.pdf 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
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
https://hal.science/hal-04158577/file/paper.pdf 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
https://hal.science/hal-04136674/file/article.pdf 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
https://inria.hal.science/hal-04397726/file/main.pdf 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
https://hal.science/hal-03986170/file/camera.pdf 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
https://hal.science/hal-03999414/file/ms.pdf 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
https://hal.science/hal-04177321/file/ICGT_2023.pdf 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
https://cnrs.hal.science/hal-03978799/file/quasisep.pdf 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
https://hal.science/hal-04147856/file/nhhkfvcqhbnqzhzsnmghzgcbndcsxzvb.pdf 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
https://hal.science/hal-03985883/file/main.pdf 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
https://hal.science/hal-04105508/file/JFSMA2023-v1.5-camera-ready.pdf 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
https://inria.hal.science/hal-04090634/file/paper.pdf 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
https://hal.science/hal-04317788/file/compas2023-final55.pdf 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
https://hal.science/hal-04082204/file/MALL_isos_FSCD_2023.pdf 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
https://hal.science/hal-04515300/file/mllseq.pdf 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
https://hal.science/hal-04081990/file/Process_tomography_ISIT-19.pdf 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
https://inria.hal.science/hal-04076513/file/SYRK-spaa2023.pdf 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
https://hal.science/hal-04207082/file/ArticleBordeaux2023.pdf 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
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
https://hal.science/hal-04055617/file/2303.06789.pdf 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
https://hal.science/hal-04089954/file/article_wifi_HPSR23.pdf 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
https://hal.science/hal-03831180/file/ICASSP_2023_Lauga.pdf 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
https://hal.science/hal-04094638/file/StackNet.pdf 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
https://hal.science/hal-04086106/file/CoRes-2023.pdf 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
https://inria.hal.science/hal-04091575/file/PAISE2023_Hadjur_Ammar_Lefevre.pdf 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
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
https://inria.hal.science/hal-04030223/file/_CCGrid23__An_experimental_comparison_of_software_based_power_meters__from_CPU_to_GPU.pdf 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
https://hal.science/hal-03738466/file/iclr2023_conference.pdf 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
https://hal.science/hal-04211867/file/larsson23a.pdf 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
https://hal.science/hal-04265643/file/2023-387.pdf 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
https://hal.science/hal-03955303/file/main.pdf 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
https://hal.science/hal-04007446/file/date2023.pdf 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
https://hal.science/hal-04003057/file/pam23.pdf 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
https://hal.science/hal-04292966/file/arxiv5v2.pdf 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
https://hal.science/hal-04292968/file/arxiv2.pdf 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
https://cea.hal.science/cea-03994014/file/roussela_2023_SIAM-CSE.pdf 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
https://hal.science/hal-03792668/file/barrier23.pdf 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
https://hal.sorbonne-universite.fr/hal-03953230/file/BIOINFORMATICS_2023_31_CR%20%281%29.pdf 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
https://hal.science/hal-03669659/file/Explorable_full.pdf 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
https://inria.hal.science/hal-03936636/file/main.pdf 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
https://hal.science/hal-03886975/file/ordered.pdf 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
https://hal.science/hal-04040588/file/paper.pdf BibTex
titre
Sparse graphs with bounded induced cycle packing number have logarithmic treewidth
auteur
Marthe Bonamy, Édouard Bonnet, Hugues Déprés, Louis Esperet, Colin Geniet, Claire Hilaire, Stéphan Thomassé, Alexandra Wesolek
article
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
https://arxiv.org/pdf/2206.00594 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
https://inria.hal.science/hal-04098050/file/20ans-g5k-evol-hw-sw.pdf 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
https://hal.science/hal-03977001/file/GoodPracticesInDigitalServiceEcodesignForSWDevelopers_V1.pdf 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
https://hal.science/hal-04750092/file/poster.pdf 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
https://inria.hal.science/hal-04090595/file/Poster.pdf 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
https://inria.hal.science/hal-04090612/file/jlesc%20%281%29.pdf 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
https://uca.hal.science/hal-04149792/file/2306.17710.pdf 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
https://inria.hal.science/hal-04358187/file/RR-9534.pdf 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
https://inria.hal.science/hal-04193421/file/RR-9517.pdf 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
https://inria.hal.science/hal-04159509/file/Varsched23-Final-Report-20230709.pdf 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
https://inria.hal.science/hal-04021482/file/RR-9501-v2.pdf 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
https://inria.hal.science/hal-04038011/file/RR-9502.pdf 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
https://hal.science/hal-04556114/file/guide-de-bonnes-pratiques-numerique-responsable-version-1.pdf 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
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
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
https://hal.science/hal-04233925/file/Code%202.zip 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
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
https://inria.hal.science/hal-04124171/file/rank-1-quantization.zip 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
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
https://inria.hal.science/tel-04329531/file/LE_Quoc_Tung_2023ENSL0105_These.pdf 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
https://theses.hal.science/tel-04594636/file/PELLERIN_Remi_2023ENSL0096_These.pdf 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
https://theses.hal.science/tel-04379539/file/SAHA_Subhayan_2023ENSL0093_These.pdf 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
https://hal.science/tel-04391153/file/Manuscrit_Paul_FERME.pdf 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
https://theses.hal.science/tel-04472174/file/FERME_Paul_2023ENSL0092_These.pdf 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
https://theses.hal.science/tel-04466797/file/PEREIRA_Romain_2023ENSL0097_These.pdf 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
https://hal.science/tel-04326015/file/manuscrit_signargout_24sept.pdf 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
https://theses.hal.science/tel-04379624/file/LALANNE_Clement_2023ENSL0068_These.pdf 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
https://hal.science/tel-04238401/file/PhD-Manuscript.pdf 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
https://theses.hal.science/tel-04379876/file/DUGOIS_Anthony_2023ENSL0057_These.pdf 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
https://theses.hal.science/tel-04260094/file/GONTHIER_Maxime_2023ENSL0061.pdf 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
https://hal.science/tel-04320790/file/main.pdf 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
https://theses.hal.science/tel-04210763/file/OUFKIR_Aadil_2023ENSL0037_These.pdf 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
https://theses.hal.science/tel-04212534/file/BARDOU_Anthony_2023ENSL0045_These.pdf 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
https://theses.hal.science/tel-04566428/file/HADJUR_Hugo_2023ENSL0043_These.pdf 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
https://theses.hal.science/tel-04235331/file/POURNAJAFI_Pegah_2023ENSL0033_These.pdf 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
https://theses.hal.science/tel-04238803/file/MAILLE_Amaury_2023ENSL0041_These.pdf 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
https://theses.hal.science/tel-04235393/file/PEROTIN_Lucas_2023ENSL0026_These.pdf 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
https://theses.hal.science/tel-04196229/file/LEVY_Nicolas_2023ENSL0025_These.pdf 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
https://inria.hal.science/tel-04211680/file/TH2023EMMANUELJULIEN.pdf 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
https://theses.hal.science/tel-04074989/file/BISTA_Ghoshana_2023ENSL0003_These.pdf 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
https://hal.science/hal-04251953/file/openproblems.pdf 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
https://hal.science/hal-04275341/file/ima_preprint.pdf 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
https://hal.science/hal-04315615/file/2204.12330.pdf 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
https://hal.science/hal-04295759/file/ReductionBasedCreativeTelescopingForSummation.pdf 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
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
https://hal.science/hal-04232851/file/Broadcast.pdf 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
https://hal.science/hal-04212227/file/paper.pdf 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
https://hal.science/hal-04181079/file/article.pdf 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
https://inria.hal.science/hal-04075814/file/main.pdf 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
https://inria.hal.science/hal-04125381/file/rank1_quant.pdf 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
https://hal.science/hal-04104450/file/MPINNSv1.pdf 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
https://inria.hal.science/hal-04067225/file/gretsi.pdf 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
https://inria.hal.science/hal-04160357/file/Accurate-mode.pdf 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
https://cnrs.hal.science/hal-03976168/file/constantes.pdf 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
https://arxiv.org/pdf/2204.00722 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
https://hal.science/hal-03953931/file/PIT.pdf 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
https://hal.science/hal-03240179/file/tmd-hal-V4.pdf 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
https://hal.science/hal-03922093/file/English%20version%20Proposition%20de%20document%20de%20cadrage%20projets%20IA%20minist%C3%A8re.pdf BibTex