Laboratoire de l'Informatique du Parallélisme

2025

Journal articles

titre

Maximum Independent Set when Excluding an Induced Minor: K_1 + tK_2 and tC_3 cup C_4

auteur

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

article

Algorithmica, 2025, 88 (1), pp.16. ⟨10.1007/s00453-025-01356-2⟩

Accès au bibtex

titre

Adversarial Quantum Channel Discrimination

auteur

Kun Fang, Hamza Fawzi, Omar Fawzi

article

Physical Review Letters, 2025, 135 (26), pp.260201. ⟨10.1103/mtbj-grbk⟩

Accès au bibtex

titre

Revisiting virtual machine consolidation to save resources and energy in heterogeneous production cloud infrastructures

auteur

Simon Lambert, Vladimir Ostapenco, Laurent Lefèvre, Eddy Caron, Anne-Cécile Orgerie, Benjamin Fichel, Rémi Grivel

article

International Journal of High Performance Computing Applications, 2025, ⟨10.1177/10943420251399694⟩

Accès au texte intégral et bibtex

titre

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

auteur

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

article

Journal of Graph Theory, 2025, 111 (2), pp.31-62. ⟨10.1002/jgt.23290⟩

Accès au texte intégral et bibtex

titre

Convergence of linear programming hierarchies for Gibbs states of spin systems

auteur

Hamza Fawzi, Omar Fawzi

article

Transactions on Machine Learning Research , 2025

Accès au texte intégral et bibtex

titre

Experiment. Innovate. Transform. The future of digital infrastructure starts with SLICES.

auteur

Solenne Fortun, Nathalie Mitton, Christian Pérez

article

Innovation Platform, 2025, 24, pp.16-24

Accès au texte intégral et bibtex

titre

Induced Minor Models. I. Structural Properties and Algorithmic Consequences

auteur

Nicolas Bousquet, Clément Dallard, Maël Dumas, Claire Hilaire, Martin Milanič, Anthony Perez, Nicolas Trotignon

article

Journal of Computer and System Sciences, 2025, pp.103738. ⟨10.1016/j.jcss.2025.103738⟩

Accès au bibtex

titre

Symmetry reduction for testing $k$-block-positivity via extendibility

auteur

Qian Chen, Benoît Collins, Omar Fawzi

article

Journal of Physics A: Mathematical and Theoretical, 2025, 58 (48), pp.485302. ⟨10.48550/arXiv.⟩

Accès au texte intégral et bibtex

titre

JITI: Dynamic Model Serving for Just-in-Time Traffic Inference

auteur

Xi Jiang, Shinan Liu, Saloua Naama, Francesco Bronzino, Paul Schmitt, Nick Feamster

article

Proceedings of the ACM on Networking, 2025, 3 (CoNEXT4), pp.1-24. ⟨10.1145/3768992⟩

Accès au bibtex

titre

Type Isomorphisms for Multiplicative-Additive Linear Logic

auteur

Rémi Di Guardia, Olivier Laurent

article

Logical Methods in Computer Science, 2025, 21 (4), ⟨10.46298/lmcs-21(4:24)2025⟩

Accès au texte intégral et bibtex

titre

DeepInverse: A Python package for solving imaging inverse problems with deep learning

auteur

Julián Tachella, Matthieu Terris, Samuel Hurault, Andrew Wang, Leo Davy, Jérémy Scanvic, Victor Sechaud, Romain Vo, Thomas Moreau, Thomas Davies, Dongdong Chen, Nils Laurent, Brayan Monroy, Jonathan Dong, Zhiyuan Hu, Minh-Hai Nguyen, Florian Sarron, Pierre Weiss, Paul Escande, Mathurin Massias, Thibaut Modrzyk, Brett Levac, Tobías I Liaudat, Maxime Song, Johannes Hertrich, Sebastian Neumayer, Georg Schramm

article

Journal of Open Source Software, 2025, 10 (115), pp.8923. ⟨10.21105/joss.08923⟩

Accès au texte intégral et bibtex

titre

Zero-error communication under discrete-time Markovian dynamics

auteur

Satvik Singh, Mizanur Rahaman, Nilanjana Datta

article

Quantum, 2025, 9, pp.1910. ⟨10.22331/q-2025-11-14-1910⟩

Accès au texte intégral et bibtex

titre

Fault-Tolerant Quantum Computation with Constant Overhead for General Noise

auteur

Matthias Christandl, Omar Fawzi, Ashutosh Goswami

article

PRX Quantum, 2025, 6 (4), pp.040334. ⟨10.1103/k4cm-pp9p⟩

Accès au bibtex

titre

Unavoidable Induced Subgraphs in Graphs with Complete Bipartite Induced Minors

auteur

Maria Chudnovsky, Meike Hatzel, Tuukka Korhonen, Nicolas Trotignon, Sebastian Wiederrecht

article

SIAM Journal on Discrete Mathematics, 2025, 39 (4), pp.2049-2066. ⟨10.1137/24M1660437⟩

Accès au texte intégral et bibtex

titre

Strategies as Resource Terms, and their Categorical Semantics

auteur

Lison Blondeau-Patissier, Pierre Clairambault, Lionel Vaux Auclair

article

Logical Methods in Computer Science, 2025, 21 (4), ⟨10.46298/lmcs-21(4:9)2025⟩

Accès au texte intégral et bibtex

titre

On treewidth and maximum cliques

auteur

Maria Chudnovsky, Nicolas Trotignon

article

Innovations in Graph Theory, 2025, 2, pp.223-243. ⟨10.5802/igt.11⟩

Accès au texte intégral et bibtex

titre

Convergence Rates for the Trotter Splitting for Unbounded Operators

auteur

Simon Becker, Niklas Galke, Lauritz van Luijk, Robert Salzmann

article

Foundations of Computational Mathematics, 2025, ⟨10.1007/s10208-025-09730-w⟩

Accès au texte intégral et bibtex

titre

Choice Trees: Representing and Reasoning About Nondeterministic, Recursive, and Impure Programs in Rocq

auteur

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

article

Journal of Functional Programming, 2025

Accès au texte intégral et bibtex

titre

Modeling Techniques for the Formal Verification of Integrated Circuits at Transistor-Level: Performance vs. Precision Trade-offs

auteur

Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian

article

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2025, ⟨10.1109/TCAD.2025.3608647⟩

Accès au texte intégral et bibtex

titre

Improved algorithms and novel applications of the FrankWolfe.jl library

auteur

Mathieu Besançon, Sébastien Designolle, Jannis Halbey, Deborah Hendrych, Dominik Kuzinowicz, Sebastian Pokutta, Hannah Troppens, Daniel Viladrich Herrmannsdoerfer, Elias Wirth

article

ACM Transactions on Mathematical Software, 2025, pp.1-31. ⟨10.1145/3765626⟩

Accès au texte intégral et bibtex

titre

Emulation of the FMA and the correctly-rounded sum of three numbers in rounding-to-nearest floating-point arithmetic

auteur

Stef Graillat, Jean-Michel Muller

article

Numerische Mathematik, 2025, ⟨10.1007/s00211-025-01487-2⟩

Accès au texte intégral et bibtex

titre

Optimal experimental design for partially observable pure birth processes

auteur

Ali Eshragh, Matthew Skerritt, Bruno Salvy, Thomas Mccallum

article

PLoS ONE, 2025, 20 (8), pp.e0328707. ⟨10.1371/journal.pone.0328707⟩

Accès au bibtex

titre

Semantics of Probabilistic Programs Using s-Finite Kernels in Dependent Type Theory

auteur

Reynald Affeldt, Cyril Cohen, Ayumu Saito

article

ACM Transactions on Probabilistic Machine Learning, 2025, 1 (3), pp.1-34. ⟨10.1145/3732291⟩

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

The Electronic Journal of Combinatorics, 2025, 32

Accès au texte intégral et bibtex

titre

PASCO (PArallel Structured COarsening): an overlay to speed up graph clustering algorithms

auteur

Etienne Lasalle, Rémi Vaudaine, Titouan Vayer, Pierre Borgnat, Rémi Gribonval, Paulo Gonçalves, Màrton Karsai

article

Machine Learning, 2025, 114, pp.212. ⟨10.1007/s10994-025-06837-7⟩

Accès au texte intégral et bibtex

titre

A scheduler to foster data locality for GPU and out-of-core task-based linear algebra applications

auteur

Maxime Gonthier, Loris Marchal, Samuel Thibault

article

Journal of Parallel and Distributed Computing, 2025, 206, pp.105170. ⟨10.1016/j.jpdc.2025.105170⟩

Accès au texte intégral et bibtex

titre

A bargain for mergesorts — How to prove your mergesort correct and stable, almost for free

auteur

Cyril Cohen, Kazuhiko Sakaguchi

article

Proceedings of the ACM on Programming Languages, 2025, 9 (ICFP), pp.1-29. ⟨10.1145/3747505⟩

Accès au texte intégral et bibtex

titre

Fixed-Work vs. Fixed-Time Checkpointing on Large-Scale Failure-Prone Platforms

auteur

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

article

International Journal of High Performance Computing Applications, 2025, 40 (1), pp.96-114. ⟨10.1177/10943420251379278⟩

Accès au texte intégral et bibtex

titre

Sampling (noisy) quantum circuits through randomized rounding

auteur

Victor Martinez, Omar Fawzi, Daniel Stilck França

article

Quantum, 2025, 10, pp.2068. ⟨10.22331/q-2026-04-15-2068⟩

Accès au texte intégral et bibtex

titre

Butterfly factorization with error guarantees

auteur

Quoc-Tung Le, Léon Zheng, Elisa Riccietti, Rémi Gribonval

article

SIAM Journal on Matrix Analysis and Applications, 2025, 46 (4), ⟨10.1137/24M1708796⟩

Accès au texte intégral et bibtex

titre

Multi-parameter analysis of finding minors and induced subgraphs in edge-periodic temporal graphs

auteur

Emmanuel Arrighi, Niels Grüttemeier, Nils Morawietz, Frank Sommer, Petra Wolf

article

Discrete Applied Mathematics, 2025, 378, pp.102 - 119. ⟨10.1016/j.dam.2025.06.024⟩

Accès au texte intégral et bibtex

titre

A Survey on Transistor-Level Electrical Rule Checking of Integrated Circuits

auteur

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

article

ACM Transactions on Design Automation of Electronic Systems, 2025, ⟨10.1145/3748327⟩

Accès au texte intégral et bibtex

titre

Assessing the Performance of NOMA in a Multi-Cell Context: A General Evaluation Framework

auteur

Anthony Bardou, Jean-Marie Gorce, Thomas Begin

article

IEEE Transactions on Wireless Communications, 2025, 25, pp.415-428. ⟨10.1109/TWC.2025.3584178⟩

Accès au texte intégral et bibtex

titre

Amplifying microwave pulses with a single qubit engine fueled by quantum measurements

auteur

Rémy Dassonneville, C. Elouard, Romain Cazali, R. Assouly, A. Bienfait, A. Auffèves, B. Huard

article

Physical Review Research, 2025, 8 (1), pp.013228. ⟨10.1103/rygc-bc3c⟩

Accès au texte intégral et bibtex

titre

Distributional Reduction: Unifying Dimensionality Reduction and Clustering with Gromov-Wasserstein

auteur

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

article

Transactions on Machine Learning Research , 2025

Accès au bibtex

titre

Higher Catoids, Higher Quantales and their Correspondences

auteur

Cameron Calk, Philippe Malbos, Damien Pous, Georg Struth

article

Applied Categorical Structures, 2025, 33 (4), pp.25. ⟨10.1007/s10485-025-09817-z⟩

Accès au bibtex

titre

Convexity in ReLU Neural Networks: beyond ICNNs?

auteur

Anne Gagneux, Mathurin Massias, Emmanuel Soubies, Rémi Gribonval

article

Journal of Mathematical Imaging and Vision, 2025, 67 (4), pp.40. ⟨10.1007/s10851-025-01253-x⟩

Accès au texte intégral et bibtex

titre

Measuring and interpreting performances of HPC applications with dependent tasks

auteur

Romain Pereira, Thierry Gautier, Adrien Roussel, Patrick Carribault

article

Future Generation Computer Systems, 2025, pp.107933. ⟨10.1016/j.future.2025.107933⟩

Accès au texte intégral et bibtex

titre

Trocq: Proof Transfer for Free, Beyond Equivalence and Univalence

auteur

Cyril Cohen, Enzo Crance, Assia Mahboubi

article

ACM Transactions on Programming Languages and Systems (TOPLAS), 2025, pp.1-40. ⟨10.1145/3737283⟩

Accès au texte intégral et bibtex

titre

Ants on the highway

auteur

Anahí Gajardo, Victor Lutfalla, Michaël Rao

article

Natural Computing, 2025, 24, pp.497-509. ⟨10.1007/s11047-025-10018-9⟩

Accès au texte intégral et bibtex

titre

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

auteur

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

article

Algorithmica, 2025, 87 (8), pp.1199-1221. ⟨10.1007/s00453-025-01318-8⟩

Accès au bibtex

titre

Thermodynamic consistency of autocatalytic cycles

auteur

Thomas Kosc, Denis Kuperberg, Etienne Rajon, Sylvain Charlat

article

Proceedings of the National Academy of Sciences of the United States of America, 2025, 122 (18), pp.e2421274122. ⟨10.1101/2024.10.11.617739⟩

Accès au texte intégral et bibtex

titre

Efficient Algorithms for Maximal Matroid Degenerations and Irreducible Decompositions of Circuit Varieties

auteur

Emiliano Liwski, Fatemeh Mohammadi, Rémi Prébet

article

Journal of Algebra, 2025, 691, pp.526-576. ⟨10.1016/j.jalgebra.2025.12.003⟩

Accès au texte intégral et bibtex

titre

Lower Bounds on Learning Pauli Channels With Individual Measurements

auteur

Omar Fawzi, Aadil Oufkir, Daniel Stilck França

article

IEEE Transactions on Information Theory, 2025, pp.1-32. ⟨10.1109/TIT.2025.3527902⟩

Accès au texte intégral et bibtex

titre

Multilevel Plug-and-Play Image Restoration

auteur

Nils Laurent, Julián Tachella, Elisa Riccietti, Nelly Pustelnik

article

IEEE Transactions on Computational Imaging, 2025, 12, pp.445-456. ⟨10.1109/TCI.2025.3640427⟩

Accès au texte intégral et bibtex

titre

Sparse Induced Subgraphs of Large Treewidth

auteur

Édouard Bonnet

article

Journal of Combinatorial Theory, Series B, 2025, 173, pp.184-203

Accès au texte intégral et bibtex

titre

Graphs without a 3-Connected Subgraph are 4-Colourable

auteur

Édouard Bonnet, Carl Feghali, Tung Nguyen, Alex Scott, Paul Seymour, Stéphan Thomassé, Nicolas Trotignon

article

The Electronic Journal of Combinatorics, 2025, 32 (1), ⟨10.37236/13181⟩

Accès au texte intégral et bibtex

titre

Asymptotic Equipartition Theorems in von Neumann algebras

auteur

Omar Fawzi, Li Gao, Mizanur Rahaman

article

Annales Henri Poincaré, 2025, pp.1-48

Accès au bibtex

titre

Avoiding Signature Avoidance in ML Modules with Zippers

auteur

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

article

Proceedings of the ACM on Programming Languages, 2025, POPL (9), ⟨10.1145/3704902⟩

Accès au texte intégral et bibtex

titre

Systems immunology integrates the complex endotypes of recessive dystrophic epidermolysis bullosa

auteur

Nell Hirt, Enzo Manchon, Qian Chen, Clara Delaroque, Aurelien Corneau, Patrice Hemon, Safaa Saker-Delye, Pauline Bataille, Jean-David Bouaziz, Emmanuelle Bourrat, Alain Hovnanian, Helene Le Buanec, Fawzi Aoudjit, Hicham El Costa, Nabila Jabrane-Ferrat, Reem Al-Daccak

article

Nature Communications, 2025, 16 (1), pp.664. ⟨10.1038/s41467-025-55934-7⟩

Accès au texte intégral et bibtex

titre

Spanning-tree based coverage for a tethered robot

auteur

Xiao Peng, François Schwarzentruber, Olivier Simonin, Christine Solnon

article

IEEE Robotics and Automation Letters, In press, pp.1-8

Accès au texte intégral et bibtex

titre

Algorithms for symmetric Birkhoff-von Neumann decomposition of symmetric doubly stochastic matrices

auteur

Damien Lesens, Jérémy E. Cohen, Bora Uçar

article

SIAM Journal on Matrix Analysis and Applications, In press, pp.1-30

Accès au texte intégral et bibtex

titre

Bivariate polynomial reduction and elimination ideal over finite fields

auteur

Gilles Villard

article

Journal of Symbolic Computation, 2025, 127, pp.102367. ⟨10.1016/j.jsc.2024.102367⟩

Accès au texte intégral et bibtex

titre

Communication Lower Bounds and Optimal Algorithms for Symmetric Matrix Computations

auteur

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

article

ACM Transactions on Parallel Computing, 2025, 12 (2), ⟨10.1145/3727344⟩

Accès au bibtex

titre

The supersingular endomorphism ring problem given one endomorphism

auteur

Arthur Herlédan Le Merdy, Benjamin Wesolowski

article

IACR Communications in Cryptology, 2025, ⟨10.62056/akgyivrzn⟩

Accès au texte intégral et bibtex

titre

Fault-tolerant numerical iterative algorithms at scale

auteur

Alix Tremodeux, Anne Benoit, Emmanuel Agullo, Thomas Herault, Luc Giraud, Yves Robert

article

International Journal of High Performance Computing Applications, 2025

Accès au texte intégral et bibtex

titre

Efficient Simulation of Parametrized Quantum Circuits under Nonunital Noise through Pauli Backpropagation

auteur

Victor Martinez, Armando Angrisani, Ekaterina Pankovets, Omar Fawzi, Daniel Stilck França

article

Physical Review Letters, 2025, 134 (25), pp.250602. ⟨10.1103/j1gg-s6zb⟩

Accès au texte intégral et bibtex

titre

An Exchange Algorithm for Optimizing both Approximation and Finite-Precision Evaluation Errors in Polynomial Approximations

auteur

Denis Arzelier, Florent Bréhard, Tom Hubrecht, Mioara Joldes

article

ACM Transactions on Mathematical Software, In press, ⟨10.1145/3770066⟩

Accès au texte intégral et bibtex

titre

Identifying a piecewise affine signal from its nonlinear observation -application to DNA replication analysis

auteur

Clara Lage, Nelly Pustelnik, Jean-Michel Arbona, Benjamin Audit, Rémi Gribonval

article

IEEE Transactions on Signal Processing, 2025, 73, pp.1278 - 1292. ⟨10.1109/TSP.2025.3544463⟩

Accès au texte intégral et bibtex

titre

Efficient Parallel Sparse Tensor Contraction

auteur

Somesh Singh, Bora Uçar

article

IEEE Transactions on Parallel and Distributed Systems, 2025, 36 (6), pp.1206-1219. ⟨10.1109/TPDS.2025.3557750⟩

Accès au texte intégral et bibtex

titre

Signal reconstruction using determinantal sampling

auteur

Ayoub Belhadji, Rémi Bardenet, Pierre Chainais

article

Applied and Computational Harmonic Analysis, 2025

Accès au texte intégral et bibtex

titre

Understanding the environmental impact of generative AI services

auteur

Adrien Berthelot, Eddy Caron, Mathilde Jay, Laurent Lefèvre

article

Communications of the ACM, 2025, Special Issue on Sustainability and Computing 68 (7), pp.46-53. ⟨10.1145/3725984⟩

Accès au texte intégral et bibtex

Scientific blog post

titre

A Visual Dive into Conditional Flow Matching

auteur

Anne Gagneux, Ségolène Martin, Rémi Emonet, Quentin Bertrand, Mathurin Massias

article

2025

Accès au bibtex

Conference papers

titre

PPEM-BM: Portable Power Estimation Methodology for Bare Metal Servers

auteur

Maxime Agusti, Eddy Caron, Benjamin Fichel, Laurent Lefèvre, Olivier Nicol, Anne-Cécile Orgerie

article

ICPADS 2025 - 31st IEEE International Conference on Parallel and Distributed Systems, Dec 2025, Hefei, China. pp.1-8

Accès au texte intégral et bibtex

titre

Babel-formal: Translation of Proofs between Lean and Rocq

auteur

Théo Stoskopf, Cyril Cohen, Nicolas Tabareau

article

The 5th Workshop on Mathematical Reasoning and AI at NeurIPS 2025, Dec 2025, San Diego, United States

Accès au texte intégral et bibtex

titre

Bridging Arbitrary and Tree Metrics via Differentiable Gromov Hyperbolicity

auteur

Pierre Houedry, Nicolas Courty, Florestan Martin-Baillon, Laetitia Chapel, Titouan Vayer

article

NeurIPS 2025 - 39th Annual Conference on Neural Information Processing Systems, Dec 2025, San diego (Californie), United States

Accès au texte intégral et bibtex

titre

On the Closed-Form of Flow Matching: Generalization Does Not Arise from Target Stochasticity

auteur

Quentin Bertrand, Anne Gagneux, Mathurin Massias, Rémi Emonet

article

NeurIPS 2025 - 39th Annual Conference on Neural Information Processing Systems, Dec 2025, San Diego (CA), United States

Accès au texte intégral et bibtex

titre

Performance portable batched linear algebra kernels for transport sweeps using Kokkos

auteur

Gabriel Suau, Thierry Gautier, Ansar Calloo, Rémi Baron, Romain Le Tellier

article

SC Workshops '25: Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis, Nov 2025, St Louis, United States. pp.1147-1158, ⟨10.1145/3731599.3767491⟩

Accès au bibtex

titre

Positive Sharing and Abstract Machines

auteur

Beniamino Accattoli, Claudio Sacerdoti Coen, Jui-Hsuan Wu

article

APLAS 2025 - 23rd Asian Symposium on Programming Languages and Systems, Oct 2025, Bengaluru, India. pp.107-127, ⟨10.1007/978-981-95-3585-9_6⟩

Accès au texte intégral et bibtex

titre

A Reinforcement Learning Simulator for Multi-UAV Based Network Coverage Problem

auteur

Dorian Tonnis, Loïc Desgeorges, Isabelle Guérin Lassous, Laëtitia Matignon

article

IEEE International Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, Oct 2025, Barcelona, Spain. ⟨10.1109/MSWiM67937.2025.11309126⟩

Accès au texte intégral et bibtex

titre

PMSA: Power Mode Selection Algorithm in IEEE 802.11 WLANs operating TWT

auteur

Loïc Desgeorges, Thomas Begin, Isabelle Guérin Lassous

article

27th International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM 2025), Oct 2025, Barcelona, Spain

Accès au texte intégral et bibtex

titre

An Analytical Method to Configure TWT in WLANs

auteur

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

article

The 27th International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM 2025), IEEE, Oct 2025, Barcelone, Spain

Accès au texte intégral et bibtex

titre

Propositions pour une approche quantitative-qualitative des discours traitant des métiers dans l’Encyclopédie de Diderot et d’Alembert

auteur

Alice Brenon, Denis Vigier

article

Journées internationales de Linguistique de Corpus (JLC 2025), Oct 2025, Lyon (ENS LSH), France

Accès au bibtex

titre

CPU Frequency Aware Power Modeling for IoT Edge Nodes

auteur

Vladimir Ostapenco, Loic Guegan, Salma Tofaily, Issam Raïs, Laurent Lefèvre

article

MASCOT2025: 33rd International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication System, Oct 2025, Paris, France

Accès au texte intégral et bibtex

titre

UAV Chain Network Creation in Cluttered Environments with Flocking Rules and Routing Data

auteur

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

article

2025 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Oct 2025, Hangzhou, China. pp.18058-18064, ⟨10.1109/IROS60139.2025.11247652⟩

Accès au bibtex

titre

UAV Chain Network Creation in Cluttered Environments with Flocking Rules and Routing Data

auteur

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

article

IROS 2025 - IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Oct 2025, Hangzhou, China

Accès au bibtex

titre

Model Placement for Quality Inference of Video Streaming Traffic over a Cellular Network

auteur

Francescomaria Faticanti, Loïc Desgeorges, Rémi Watrigant, Thomas Begin, Francesco Bronzino

article

The 50th IEEE Conference on Local Computer Networks (LCN 2025), Oct 2025, Sydney, Australia

Accès au texte intégral et bibtex

titre

Efficient and effective methods for variant selection

auteur

Srinivas Aluru, Anne Benoit, Bora Uçar

article

16th ACM Conference on Bioinformatics, Computational Biology, and Health Informatics (BCB 2025), Oct 2025, Philadelphie, PA, United States

Accès au texte intégral et bibtex

titre

Engineering Digital Twins: A Research Roadmap

auteur

Benoît Combemale, Pascale Vicat-Blanc, Arnaud Blouin, Hind Bril El Haouzi, Jean-Michel Bruel, Julien Deantoni, Thierry Duval, Sébastien Gérard, Jean-Marc Jézéquel

article

EDTconf 2025 - 2nd International Conference on Engineering Digital Twins, Oct 2025, Grand Rapids, Michigan, United States. pp.1-7, ⟨10.1109/MODELS-C68889.2025.00035⟩

Accès au texte intégral et bibtex

titre

Formalizing Concentration Inequalities in Rocq: Infrastructure and Automation

auteur

Reynald Affeldt, Alessandro Bruni, Cyril Cohen, Pierre Roux, Takafumi Saikawa

article

16th International Conference on Interactive Theorem Proving (ITP 2025), Sep 2025, Reykjavik, Iceland. ⟨10.4230/LIPIcs.ITP.2025.21⟩

Accès au texte intégral et bibtex

titre

Treedepth Inapproximability and Exponential ETH Lower Bound

auteur

Édouard Bonnet, Daniel Neuen, Marek Sokołowski

article

IPEC 2025, Sep 2025, Warsaw, Poland

Accès au texte intégral et bibtex

titre

Semi-Streaming Algorithms for Hypergraph Matching

auteur

Henrik Reinstädtler, S M Ferdous, Alex Pothen, Bora Uçar, Christian Schulz

article

ESA 2025 - European Symposium on Algorithms, European Association for Theoretical Computer Science (EATCS), Sep 2025, Warsaw (POLAND), Poland

Accès au texte intégral et bibtex

titre

Additivity and chain rules for quantum entropies via multi-index Schatten norms

auteur

Omar Fawzi, Jan Kochanowski, Cambyse Rouzé, Thomas van Himbeeck

article

TQC 2025 - Theory of Quantum Computation, Communication and Cryptography, Sep 2025, Bangalore, India. ⟨10.1007/s00220-026-05567-8⟩

Accès au bibtex

titre

Classical Estimation of the Free Energy and Quantum Gibbs Sampling from the Markov Entropy Decomposition

auteur

Samuel O. Scalet, Angela Capel, Anirban N. Chowdhury, Hamza Fawzi, Omar Fawzi, Isaac H. Kim, Arkin Tikku

article

TQC 2025, Sep 2025, Bangalore, India

Accès au bibtex

titre

Unfolded discrete Mumford-Shah functional for joint image denoising and edge detection

auteur

Hoang Trieu Vy Le, Marion Foare, Audrey Repetti, Nelly Pustelnik

article

EUSIPCO 2025 - 32nd European Signal Processing Conference, Sep 2025, Palerme, Italy

Accès au texte intégral et bibtex

titre

Deadline-Aware Scheduling of Mixed-Criticality Tasks

auteur

Maxime Gonthier, Kyle Chard, Ian Foster, Loris Marchal, Frédéric Vivien

article

ICPP '25 - 54th International Conference on Parallel Processing, Sep 2025, San Diego, CA, United States

Accès au texte intégral et bibtex

titre

Carbon-Aware Workflow Scheduling with Fixed Mapping and Deadline Constraint

auteur

Dominik Schweisgut, Anne Benoit, Yves Robert, Henning Meyerhenke

article

ICPP 2025 - 54th International Conference on Parallel Processing, Sep 2025, San Diego (CA), United States

Accès au texte intégral et bibtex

titre

How to improve expressivity of convex ReLU neural networks?

auteur

Anne Gagneux, Mathurin Massias, Emmanuel Soubies, Rémi Gribonval

article

GRETSI 2025 - XXXème Colloque Francophone de Traitement du Signal et des Images, Aug 2025, Strasbourg, France

Accès au texte intégral et bibtex

titre

Temporal Valued Constraint Satisfaction Problems

auteur

Manuel Bodirsky, Édouard Bonnet, Žaneta Semanišinová

article

MFCS 2025, Aug 2025, Warsaw (POLAND), Poland

Accès au texte intégral et bibtex

titre

Une brève histoire de la parcimonie : du traitement de signal à l'apprentissage profond

auteur

Rémi Gribonval, Elisa Riccietti

article

GRETSI 2025 – XXXème Colloque Francophone de Traitement du Signal et des Images, Aug 2025, Strasbourg, France

Accès au texte intégral et bibtex

titre

Cache Management for Mixture-of-Experts LLMs

auteur

Spyros Angelopoulos, Loris Marchal, Adrien Obrecht, Bertrand Simon

article

31st European Conference on Parallel and Distributed Processing (EURO-PAR 2025), Aug 2025, Dresden, Germany. pp.18-32, ⟨10.1007/978-3-031-99872-0_2⟩

Accès au texte intégral et bibtex

titre

Partial Detectors Versus Replication To Cope With Silent Errors

auteur

Anne Benoit, Thomas Herault, Yves Robert, Alix Tremodeux

article

Euro-Par 2025 - 31 st International European Conference on Parallel and Distributed Computing, Aug 2025, Dresden, Germany

Accès au texte intégral et bibtex

titre

Green Scheduling on the Edge

auteur

Joachim Cendrier, Rajini Wijayawardana, Anne Benoit, Yves Robert, Frédéric Vivien, Andrew A. Chien

article

Euro-Par 2025 - 31st International European Conference on Parallel and Distributed Computing, Aug 2025, Dresden, Germany. pp.380-394, ⟨10.1007/978-3-031-99854-6_26⟩

Accès au texte intégral et bibtex

titre

CROQuant: Complex Rank-One Quantization Algorithm

auteur

Maël Chaumette, Rémi Gribonval, Elisa Riccietti

article

GRETSI 2025 – XXXème Colloque Francophone de Traitement du Signal et des Images, Aug 2025, Strasbourg, France

Accès au texte intégral et bibtex

titre

Une équivalence entre algorithmes multiniveaux et algorithmes de descente par blocs

auteur

Guillaume Lauga, Elisa Riccietti, Luis Briceño-Arias, Nelly Pustelnik, Paulo Gonçalves

article

Colloque GRETSI’25, XXXe Colloque Francophone de Traitement du Signal et des Images, GRETSI, Aug 2025, Strasbourg, France

Accès au texte intégral et bibtex

titre

Leveraging Expert Usage to Speed up LLM Inference with Expert Parallelism

auteur

Olivier Beaumont, Raphaël Bourgouin, Maxime Darrin, Loris Marchal, Pablo Piantanida

article

Euro-Par 2025: Parallel Processing, Aug 2025, Dresden, Germany. ⟨10.1007/978-3-031-99854-6_10⟩

Accès au texte intégral et bibtex

titre

A multilevel approach to accelerate the training of Transformers

auteur

Guillaume Lauga, Maël Chaumette, Edgar Desainte-Maréville, Étienne Lasalle, Arthur Lebeurrier

article

GRETSI'25, XXème Colloque Francophone de Traitement du Signal et des Images, GRETSI, Aug 2025, Strasbourg, France

Accès au texte intégral et bibtex

titre

En quête de précision : Un benchmark open-source et un solveur polyvalent pour le Graphical Lasso

auteur

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

article

GRETSI 2025 - XXXème Colloque Francophone de Traitement du Signal et des Images, Aug 2025, Strasboug, France. pp.1-3

Accès au texte intégral et bibtex

titre

Algorithme multiniveau hybride pour la restauration d'images

auteur

Nils Laurent, Elisa Riccietti, Julian Tachella, Nelly Pustelnik

article

GRETSI 2025 - XXXème Colloque Francophone de Traitement du Signal et des Images, GRETSI - Groupe de Recherche en Traitement du Signal et des Images, Aug 2025, Strasbourg, France

Accès au texte intégral et bibtex

titre

PEGASIS: Practical Effective Class Group Action using 4-Dimensional Isogenies

auteur

Pierrick Dartois, Jonathan Komada Eriksen, Tako Boris Fouotsa, Arthur Herlédan Le Merdy, Riccardo Invernizzi, Damien Robert, Ryan Rueger, Frederik Vercauteren, Benjamin Wesolowski

article

CRYPTO 2025, Aug 2025, Santa Barbara, United States. pp.67-99, ⟨10.1007/978-3-032-01855-7_3⟩

Accès au texte intégral et bibtex

titre

First-order store and visibility in name-passing calculi

auteur

Daniel Hirschkoff, Iwan Quémerais, Davide Sangiorgi

article

36th International Conference on Concurrency Theory (CONCUR 2025), Aug 2025, Aarhus (Denmark), Denmark. ⟨10.4230/LIPIcs⟩

Accès au texte intégral et bibtex

titre

Opening the Black Box: Reverse-Engineering of Sparse Neural Networks

auteur

Valérie Castin, Rémi Gribonval

article

GRETSI 2025 – XXXème Colloque Francophone de Traitement du Signal et des Images, Aug 2025, Strasbourg, France

Accès au texte intégral et bibtex

titre

Minimizing Communication for Parallel Symmetric Tensor Times Same Vector Computation

auteur

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

article

SPAA 2025 - ACM Symposium on Parallelism in Algorithms and Architectures, Jul 2025, Portland, United States. ⟨10.1145/3694906.3743332⟩

Accès au texte intégral et bibtex

titre

A unified approach for degree bound estimates of linear differential operators

auteur

Louis Gaillard

article

ISSAC '25: International Symposium on Symbolic and Algebraic Computation, Jul 2025, Guanajuato Mexico, Mexico. pp.16-24, ⟨10.1145/3747199.3747542⟩

Accès au texte intégral et bibtex

titre

Positivity Proofs for Linear Recurrences with Several Dominant Eigenvalues

auteur

Alaa Ibrahim

article

ISSAC '25: International Symposium on Symbolic and Algebraic Computation, Jul 2025, Guanajuato Mexico, France. pp.224-232, ⟨10.1145/3747199.3747565⟩

Accès au bibtex

titre

A Formalization of Multiplicative Proof-Nets in Rocq

auteur

Rémi Di Guardia, Olivier Laurent

article

9th International Workshop on Trends in Linear Logic and Applications (TLLA 2025), Jul 2025, Birmingham (UK), United Kingdom

Accès au texte intégral et bibtex

titre

Optimizing Canonical Structures

auteur

Quentin Vermande

article

UNIF 2025 - 39th International Workshop on Unification, Jul 2025, Birmingham, United Kingdom

Accès au texte intégral et bibtex

titre

Infinitary Refinement Types for Temporal Properties in Scott Domains

auteur

Colin Riba, Alexandre Kejikian

article

Logic, Language, Information, and Computation, Jul 2025, Porto, Portugal. pp.175-193, ⟨10.1007/978-3-031-99536-1_11⟩

Accès au bibtex

titre

Yeo’s Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic

auteur

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

article

10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025), Jul 2025, Birmingham, United Kingdom. ⟨10.4230/LIPIcs.FSCD.2025.16⟩

Accès au texte intégral et bibtex

titre

A Rescaling-Invariant Lipschitz Bound Based on Path-Metrics for Modern ReLU Network Parameterizations

auteur

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

article

International Conference on Machine Learning, Jul 2025, Vancouver (BC), Canada

Accès au texte intégral et bibtex

titre

Transformative or Conservative? Conservation laws for ResNets and Transformers

auteur

Sibylle Marcotte, Rémi Gribonval, Gabriel Peyré

article

42nd International Conference on Machine Learning (ICML 2025), Jul 2025, Vancouver (Canada), Canada

Accès au texte intégral et bibtex

titre

Fast Inference with Kronecker-Sparse Matrices

auteur

Antoine Gonon, Léon Zheng, Pascal Carrivain, Quoc-Tung Le

article

International Conference on Machine Learning, Jul 2025, Vancouver (BC), Canada

Accès au texte intégral et bibtex

titre

Tree Algebras and Bisimulation-Invariant MSO on Finite Graphs

auteur

Thomas Colcombet, Amina Doumane, Denis Kuperberg

article

ICALP, Jul 2025, Aarhus, Denmark. ⟨10.4230/LIPIcs.ICALP.2025.152⟩

Accès au texte intégral et bibtex

titre

Positive and monotone fragments of FO and LTL

auteur

Simon Iosti, Denis Kuperberg, Quentin Moreau

article

ICALP, Jul 2025, Aarhus (Danemark), Denmark. ⟨10.4230/LIPIcs.ICALP.2025.162⟩

Accès au texte intégral et bibtex

titre

Induced Disjoint Paths Without an Induced Minor

auteur

Pierre Aboulker, Édouard Bonnet, Timothé Picavet, Nicolas Trotignon

article

ICALP 2025, Jul 2025, Aarhus, Denmark

Accès au texte intégral et bibtex

titre

On the complexity of Client-Waiter and Waiter-Client games

auteur

Valentin Gledel, Nacim Oijid, Sébastien Tavenas, Stéphan Thomassé

article

International Colloquium on Automata, Languages, and Programming (ICALP), Jul 2025, Aarhus, Denmark. ⟨10.4230/LIPIcs.ICALP.2025.89⟩

Accès au texte intégral et bibtex

titre

Mim-Width Is paraNP-Complete

auteur

Benjamin Bergougnoux, Édouard Bonnet, Julien Duron

article

52nd International Colloquium on Automata, Languages, and Programming (ICALP 2025), Jul 2025, Aarhus, Denmark. ⟨10.4230/LIPIcs.ICALP.2025.25⟩

Accès au bibtex

titre

Pushing the Frontiers of Subexponential FPT Time for Feedback Vertex Set

auteur

Gaétan Berthe, Marin Bougeret, Daniel Gonçalves, Jean-Florent Raymond

article

ICALP 2025 - 52nd International Colloquium on Automata, Languages, and Programming, Jul 2025, Aarhus, Denmark. pp.26:1-26:15, ⟨10.4230/LIPIcs.ICALP.2025.26⟩

Accès au bibtex

titre

Separability Properties of Monadically Dependent Graph Classes

auteur

Édouard Bonnet, Samuel Braunfeld, Ioannis Eleftheriadis, Colin Geniet, Nikolas Mählmann, Michał Pilipczuk, Wojciech Przybyszewski, Szymon Toruńczyk

article

ICALP 2025, Jul 2025, Aarhus, Denmark

Accès au texte intégral et bibtex

titre

The Cost of Packet Loss on ML-Based Traffic Analysis

auteur

Johann Hugon, Paul Schmitt, Francesco Bronzino

article

2025 IEEE 31st International Symposium on Local and Metropolitan Area Networks (LANMAN 2025), Jul 2025, Liile, France. ⟨10.1109/LANMAN66415.2025.11154586⟩

Accès au texte intégral et bibtex

titre

Placing leverages in Cloud for footprint reduction

auteur

Thomas Stavis, Laurent Lefèvre, Anne-Cécile Orgerie

article

COMPAS 2025 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Jun 2025, Bordeaux, France

Accès au bibtex

titre

On the twin-width of smooth manifolds

auteur

Édouard Bonnet, Kristóf Huszár

article

41st International Symposium on Computational Geometry (SoCG 2025), Jun 2025, Kanazawa, Japan. pp.23:1-23:16, ⟨10.4230/LIPIcs.SoCG.2025.23⟩

Accès au texte intégral et bibtex

titre

Efficient Thermalization and Universal Quantum Computing with Quantum Gibbs Samplers

auteur

Cambyse Rouzé, Daniel Stilck França, Álvaro Alhambra

article

STOC 2025 - 57th Annual ACM Symposium on Theory of Computing, Jun 2025, Prague Czechia, Czech Republic. pp.1488-1495, ⟨10.1145/3717823.3718268⟩

Accès au texte intégral et bibtex

titre

Treewidth Inapproximability and Tight ETH Lower Bound

auteur

Édouard Bonnet

article

STOC 2025, Jun 2025, Prague (Czech Republic), Czech Republic

Accès au texte intégral et bibtex

titre

An 11/6-Approximation Algorithm for Vertex Cover on String Graphs

auteur

Édouard Bonnet, Paweł Rzążewski

article

CGWeek 2025, Jun 2025, Kanazawa, Japan

Accès au texte intégral et bibtex

titre

Compact Quantitative Theories of Convex Algebras

auteur

Matteo Mio

article

MFPS 2025 - 41st Conference on Mathematical Foundations of Programming Semantics, Clemens Kupke; Stefan Milius, Jun 2025, Glasgow, United Kingdom. ⟨10.46298/ENTICS.16876⟩

Accès au texte intégral et bibtex

titre

Beyond Affine Loops: A Geometric Approach to Program Synthesis

auteur

Erdenebayar Bayarmagnai, Fatemeh Mohammadi, Rémi Prébet

article

SOAP '25: 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, PLDI: Programming Language Design and Implementation, Jun 2025, Seoul, South Korea. pp.1-7, ⟨10.1145/3735544.3735581⟩

Accès au texte intégral et bibtex

titre

A Structural Description of Zykov and Blanche Descartes Graphs

auteur

Malory Marin, Stéphan Thomassé, Nicolas Trotignon, Rémi Watrigant

article

Graph-Theoretic Concepts in Computer Science, Jun 2025, Otzenhausen, Germany. pp.377-389, ⟨10.1007/978-3-032-11835-6_27⟩

Accès au texte intégral et bibtex

titre

Studying the Benefits of Hybrid Wi-Fi/LiFi Networks for Indoor WLANs

auteur

Mériem Ghali, Anthony Busson, Thomas Begin

article

2025 IEEE International Conference on Communications (ICC): Optical Networks and Systems Symposium, Jun 2025, Montreal, Canada. ⟨10.1109/ICC52391.2025.11161091⟩

Accès au texte intégral et bibtex

titre

Estimation de la consommation énergétique de la 5G en France basée sur des données réelles et des modèles analytiques

auteur

Meriem Ghali, Anthony Busson, Marceau Coupechoux

article

CORES 2025 - 10èmes Rencontres Francophones sur la Conception de Protocoles, l'Evaluation de Performances et l'Expérimentation des Réseaux de Communication, Jun 2025, Saint Valery-sur-Somme, France

Accès au texte intégral et bibtex

titre

Introduction of Security in the Controller Placement Problem

auteur

Loïc Desgeorges, Francescomaria Faticanti

article

26th IEEE International Conference on High Performance Switching and Routing (HPSR 2025), May 2025, Osaka, Japan

Accès au texte intégral et bibtex

titre

Memory-aware Adaptive Scheduling of Scientific Workflows on Heterogeneous Architectures

auteur

Svetlana Kulagina, Anne Benoit, Henning Meyerhenke

article

CCGrid 2025 - 25th IEEEE International Symposium on Cluster, Cloud and Internet Computing, IEEE, May 2025, Tromsø, Norway

Accès au texte intégral et bibtex

titre

Spatial contrastive pre-training of transformer encoders for seeg-based seizure onset zone detection

auteur

Zacharie Rodière, Pierre Borgnat, Paulo Gonçalves, Julien Jung

article

GSP 2025 - Workshop on Graph Signal Processing, May 2025, Montréal (Québec), Canada. pp.1-3

Accès au texte intégral et bibtex

titre

FastTwoSum revisited

auteur

Claude-Pierre Jeannerod, Paul Zimmermann

article

32nd IEEE Symposium on Computer Arithmetic (ARITH 2025), May 2025, El Paso, TX, United States

Accès au texte intégral et bibtex

titre

Variable Elimination as Rewriting in a Linear Lambda Calculus

auteur

Thomas Ehrhard, Claudia Faggian, Michele Pagani

article

ESOP 2025 - 34th European Symposium on Programming Languages and Systems, May 2025, Hamilton, Canada. pp.292-321, ⟨10.1007/978-3-031-91118-7_12⟩

Accès au texte intégral et bibtex

titre

An abstract, certified account of operational game semantics

auteur

Peio Borthelle, Tom Hirschowitz, Guilhem Jaber, Yannick Zakowski

article

ESOP 2025 - 34th European Symposium on Programming, May 2025, Hamilton, Ontario, Canada. pp.172-199, ⟨10.1007/978-3-031-91118-7_7⟩

Accès au texte intégral et bibtex

titre

CATO: End-to-End Optimization of ML-Based Traffic Analysis Pipelines

auteur

Gerry Wan, Shinan Liu, Francesco Bronzino, Nick Feamster, Zakir Durumeric

article

22nd USENIX Symposium on Networked Systems Design and Implementation, USENIX, Apr 2025, Philadelphia (PA), United States

Accès au bibtex

titre

First results from the DORN experiment onboard the Chang’E 6 mission

auteur

Pierre-Yves Meslin, Huaiyu He, Jiannan Li, Íñigo de Loyola Chacartegui Rojo, Bing Qi, Vincent Thomas, Olivier Gasnault, Zhizhong Kang, King Wah Wong, Luo Baorui, Sylvestre Maurice, Paolo Pilleri, Benoit Sabot, Jean-Christophe Sabroux, Frédéric Girault, Jean-François Pineau, Jérémie Lasue, Patrick Pinet, Ding Zhang, Yang Ruihong

article

EGU General Assembly 2025, European Geosciences Union (EGU), Apr 2025, Vienna, Austria. ⟨10.5194/egusphere-egu25-14816⟩

Accès au texte intégral et bibtex

titre

Schur's Positive-Definite Network: Deep Learning in the SPD cone with structure

auteur

Can Pouliquen, Mathurin Massias, Titouan Vayer

article

International Conference on Learning Representations ICLR 2025, Apr 2025, Singapore, Singapore

Accès au texte intégral et bibtex

titre

PNP-FLOW: Plug-And-Play Image Restoration with Flow Matching

auteur

Ségolène Martin, Anne Gagneux, Paul Hagemann, Gabriele Steidl

article

International Conference on Learning Representations, Apr 2025, Singapore, Singapore

Accès au texte intégral et bibtex

titre

DANCERS: A Physics and Network Co-Simulator for Communicating Multi-Robot Systems

auteur

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

article

SIMPAR 2025 - IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots, IEEE, Apr 2025, Palermo, Italie. pp.1-6

Accès au texte intégral et bibtex

titre

A Computationally Grounded Framework for Cognitive Attitudes

auteur

Tiago de Lima, Emiliano Lorini, Elise Perrotin, François Schwarzentruber

article

Proceedings of the AAAI Conference on Artificial Intelligence, Feb 2025, Philadelphia, United States. pp.14858-14866, ⟨10.1609/aaai.v39i14.33629⟩

Accès au bibtex

titre

Fault-tolerant quantum input/output

auteur

Matthias Christandl, Omar Fawzi, Ashutosh Goswami

article

QIP 2025 - 28th Quantum Information Processing Conference, Feb 2025, Raleigh (NC), United States. pp.1-80

Accès au bibtex

titre

Optimal Fidelity Estimation from Binary Measurements for Discrete and Continuous Variable Systems

auteur

Omar Fawzi, Aadil Oufkir, Robert Salzmann

article

QIP 2025 - 28th International conference on Quantum Information Processing, Feb 2025, Raleigh (NC), United States

Accès au texte intégral et bibtex

titre

Information transmission under Markovian noise

auteur

Nilanjana Datta, Omar Fawzi, Mizanur Rahaman, Satvik Singh, Mostafa Taheri

article

QIP 2025 - 28th international conference on Quantum Information Processing, Feb 2025, Raleigh (NC), United States. pp.1-14, ⟨10.48550/arXiv.2409.17743⟩

Accès au bibtex

titre

Generalized quantum asymptotic equipartition

auteur

Kun Fang, Hamza Fawzi, Omar Fawzi

article

QIP 2025 - 28th Annual Quantum Information Processing Conference, Feb 2025, Raleigh Convention Center Raleigh, NC, United States

Accès au bibtex

titre

Channel Simulation: Tight meta converse for error and strong converse exponents

auteur

Mario Berta, Michael X Cao, Hao-Chung Cheng, Omar Fawzi, Aadil Oufkir, Yongsheng Yao

article

QIP 2025 - 28th Annual Quantum Information Processing Conference, Feb 2025, Raleigh (NC), United States

Accès au bibtex

titre

Rapid mixing, partition function estimation and universal quantum computation with dissipative quantum Gibbs sampling

auteur

Cambyse Rouzé, Daniel Stilck França, Álvaro M. Alhambra

article

QIP 2025, Feb 2025, Raleigh, United States

Accès au bibtex

titre

Correspondences between codensity and coupling-based liftings, a practical approach

auteur

Samuel Humeau, Daniela Petrisan, Jurriaan Rot

article

33rd EACSL Annual Conference on Computer Science Logic (CSL 2025), Feb 2025, Amsterdam, Netherlands. ⟨10.4230/LIPIcs.CSL.2025.29⟩

Accès au texte intégral et bibtex

titre

On the Minimisation of Deterministic and History-Deterministic Generalised (Co)Büchi Automata

auteur

Antonio Casares, Olivier Idir, Denis Kuperberg, Corto Mascle, Aditya Prakash

article

CSL, Feb 2025, Amsterdam, Netherlands. ⟨10.4230/LIPIcs.CSL.2025.22⟩

Accès au texte intégral et bibtex

titre

The Lambda Calculus Is Quantifiable

auteur

Valentin Maestracci, Paolo Pistone

article

33rd EACSL Annual Conference on Computer Science Logic 2025 (CSL 2025), Feb 2025, Amsterdam, Netherlands. ⟨10.4230/LIPIcs.CSL.2025.34⟩

Accès au bibtex

titre

Formalizing adhesive category theory in Rocq

auteur

Samuel Arsac, Russell Harmer, Damien Pous

article

36es Journées Francophones des Langages Applicatifs (JFLA 2025), Jan 2025, Roiffé, France

Accès au texte intégral et bibtex

titre

Automatic Specialization of Polyhedral Programs on Sparse Structures

auteur

Alec Sadler, Christophe Alias

article

15th International Workshop on Polyhedral Compilation Techniques (IMPACT'25), Jan 2025, Barcelona (ES), Spain

Accès au texte intégral et bibtex

titre

Monadic Interpreters for Concurrent Memory Models: Executable Semantics of a Concurrent Subset of LLVM IR

auteur

Nicolas Chappe, Ludovic Henrio, Yannick Zakowski

article

CPP '25: 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2025, Denver CO USA, France. pp.283-298, ⟨10.1145/3703595.3705890⟩

Accès au texte intégral et bibtex

titre

Adjacency Labeling Schemes for Small Classes

auteur

Édouard Bonnet, Julien Duron, John Sylvester, Viktor Zamaraev

article

ITCS 2025, Jan 2025, New York (NY), United States

Accès au texte intégral et bibtex

Book sections

titre

Proof Techniques for Behavioural Relations Based on Unique-Solutions of Equations and Inequations

auteur

Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi

article

Edward A. Lee; Mohammad Reza Mousavi; Carolyn Talcott. Rebeca for Actor Analysis in Action: Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday, LNCS-15560, Springer Nature Switzerland, pp.425-439, 2025, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-85134-6_19⟩

Accès au texte intégral et bibtex

Master thesis

titre

Trocq: a deeper study of the lattice of relations

auteur

Lucie Lahaye, Cyril Cohen

article

Formal Languages and Automata Theory [cs.FL]. 2025

Accès au texte intégral et bibtex

Other publications

titre

LLM4Docq: Bootstrapping Documentation for MathComp with LLMs and Expert Feedback

auteur

Théo Stoskopf, Jules Viennot, Cyril Cohen

article

2025

Accès au texte intégral et bibtex

Books

titre

Computer Performance Modeling

auteur

Alexandre Brandwajn, Thomas Begin

article

WORLD SCIENTIFIC, 2025, 978-981-12-9204-0. ⟨10.1142/13809⟩

Accès au bibtex

Poster communications

titre

MULTI-CONTRAST SUPER-RESOLUTION FOR MRI WITH A VARIATIONAL APPROACH: DISENTANGLING THE CHALLENGES

auteur

Luis Amador, Marion Foare, Olivier Beuf, Hélène Ratiney, Eric Van Reeth

article

European Society for Magnetic Resonance in Medicine and Biology (ESMRMB)., Oct 2025, Marseille, France. 2025

Accès au texte intégral et bibtex

titre

Work in progress: securing critical variables at compile time

auteur

Clara Bourgeais, Laure Gonnord, David Hély

article

Compas, Jun 2025, Bordeaux, France

Accès au texte intégral et bibtex

titre

Revisiting virtual machine consolidation to save resources and energy in heterogeneous production cloud infrastructures

auteur

Simon Lambert, Vladimir Ostapenco, Laurent Lefèvre, Eddy Caron, Anne-Cécile Orgerie, Benjamin Fichel, Rémi Grivel

article

ICT4S 2025 - International Conference on Information and Communications Technology for Sustainability, Jun 2025, Dublin, Ireland. pp.1-1, 2025

Accès au texte intégral et bibtex

titre

Study scenarios to analyze the Full Life Cycle of IoT-Based Solutions for Smart Agriculture

auteur

Emile Egreteau-Druet, Doreid Ammar, Laurent Lefèvre, Nathalie Mitton

article

ICT4S 2025 - 11th International Conference on ICT for Sustainability, Jun 2025, Dublin, Ireland

Accès au texte intégral et bibtex

titre

Placing leverages on Clouds for footprint reduction

auteur

Thomas Stavis, Laurent Lefèvre, Anne-Cécile Orgerie

article

ICT4S - International Conference on Information and Communications Technology for Sustainability, Jun 2025, Dublin, Ireland. 2025

Accès au texte intégral et bibtex

titre

Des serveurs aux services, évaluer l'empreinte environnementale d'un système d'information et de l'ensemble de ses services

auteur

Adrien Berthelot, Eddy Caron, Romain de Laage, Laurent Lefèvre, Alexis Nicolas

article

Green Days 2025, Mar 2025, Rennes, France

Accès au texte intégral et bibtex

titre

SUPER-RESOLUTION ISOTROPE VARIATIONNELLE POUR L'IRM

auteur

Luis Amador, Marion Foare, Olivier Beuf, Hélène Ratiney, Eric Van Reeth

article

Septième congrès de la Société Française de Résonance Magnétique en Biologie et Médecine (SFRMBM), Mar 2025, Saint Malo, France

Accès au bibtex

Proceedings

titre

Rethinking Geolocalization on the Internet

auteur

Augustin Laouar, Loic Desgeorges, Paul Schmitt, Francesco Bronzino

article

HotNets '25: 24th ACM Workshop on Hot Topics in Networks, Nov 2025, UMD Campus College Park MD USA, United States. ACM, pp.236-244, 2025, ⟨10.1145/3772356.3772421⟩

Accès au bibtex

Reports

titre

Scheduling Jobs Under a Variable Number of Processors

auteur

Anne Benoit, Joachim Cendrier, Frédéric Vivien

article

RR-9582, Inria. 2025

Accès au texte intégral et bibtex

titre

Optimal partitioning of 2D meshes for stencil computations

auteur

Rob H. Bisseling, Bora Uçar

article

RR-9585, Inria Lyon. 2025

Accès au texte intégral et bibtex

titre

MTrees : Mixing monadic effects and Labelled Transition Systems in Rocq

auteur

Théa Hervier, Yannick Zakowski, Ludovic Henrio

article

ENS de Lyon. 2025

Accès au texte intégral et bibtex

titre

Coping with Silent Errors for Workflows of Moldable Tasks

auteur

Qi Gao, Li Han, Sascha Hunold, Yves Robert, Frédéric Vivien

article

RR-9589, INRIA. 2025

Accès au texte intégral et bibtex

titre

Partial Detectors Versus Replication To Cope With Silent Errors

auteur

Anne Benoit, Thomas Herault, Yves Robert, Alix Tremodeux

article

RR-9581, Inria. 2025

Accès au texte intégral et bibtex

titre

Green Scheduling on the Edge

auteur

Joachim Cendrier, Rajini Wijayawardana, Anne Benoit, Yves Robert, Frédéric Vivien, Andrew A Chien

article

RR-9580, Inria. 2025

Accès au texte intégral et bibtex

titre

Quiz sur les impacts environnementaux du numérique

auteur

Sylvain Bouveret, Aurélie Bugeau, Emmanuelle Frenoux, Julien Lefevre, Laurent Lefèvre, Anne-Laure Ligozat, Philippe Marquet, Anne-Cécile Orgerie, Denis Trystram

article

EcoInfo. 2025, pp.1-5

Accès au texte intégral et bibtex

titre

Towards Parallel Transformer-Based Large Language Models for Fast Inference

auteur

Félix Wirth, Gael Delalleau, Loris Marchal

article

RR-9573, Inria. 2025, pp.42

Accès au texte intégral et bibtex

titre

Fault-tolerant numerical iterative algorithms at scale

auteur

Alix Tremodeux, Emmanuel Agullo, Anne Benoit, Luc Giraud, Thomas Herault, Yves Robert

article

RR-9567, Inria Lyon. 2025

Accès au texte intégral et bibtex

titre

Section 06 Sciences de l’information : fondements de l’informatique, calculs, algorithmes, représentations, exploitations

auteur

Nathalie Appel, Jérémie Bourdon, Nicolas Bousquet, Johanne Cohen, Antoine Genitrini, Patricia Georgeon, Yves Grandvalet, Katia Jaffrès-Runser, Arnaud Legrand, Damian Markham, Anca Muscholl, Anastasia Paparrizou, Loïc Paulevé, Michael Poss, Maria Gradinariu Potop-Butucaru, Jean-Florent Raymond, Romain Rouvoy, Yolande Sallent, Pierre Senellart, Thomas Seiller, Ye-Qiong Song, Alain Tchana, Hélène Waeselynck

article

CNRS. 2025, pp.1-20

Accès au texte intégral et bibtex

Software

titre

Code for reproducible research - CROQuant: Complex Rank-One Quantization Algorithm

auteur

Maël Chaumette, Rémi Gribonval, Elisa Riccietti

article

2025, ⟨swh:1:dir:31b2b28bf4b578180b0daaf03902808de35fb109;origin=https://hal.archives-ouvertes.fr/hal-05133647;visit=swh:1:snp:e895217205bbf60c1b4b749ed0fc30100d24e964;anchor=swh:1:rel:879c672e56027dde5f1dcfa20f6797577524e662;path=/⟩

Accès au bibtex

titre

Code for reproducible research: "Opening the Black Box: Reverse-Engineering of Sparse Neural Networks

auteur

Valérie Castin, Rémi Gribonval

article

2025, ⟨swh:1:dir:9b57025ded7a453e68284d5f650d7920ee693108;origin=https://hal.archives-ouvertes.fr/hal-05136299;visit=swh:1:snp:9de311e78eb80c1059f72db355d32e887ac6021a;anchor=swh:1:rel:95fea2bbe20a3ebd7e0268781375e8ad055bc431;path=/⟩

Accès au texte intégral et bibtex

titre

Code for reproducible research - A rescaling-invariant Lipschitz bound using path-metrics

auteur

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

article

2025, ⟨swh:1:dir:3ef1659778414497b9fc2469b8afad02c6eb9e68;origin=https://hal.archives-ouvertes.fr/hal-05088847;visit=swh:1:snp:4315baa0c8e513fa42b84634266d757d5e44fcbd;anchor=swh:1:rel:147f1cfa0d54dace5a3c59dad43d04b055217f5b;path=/⟩

Accès au texte intégral et bibtex

titre

PASCO

auteur

Etienne Lasalle, Rémi Vaudaine, Titouan Vayer

article

2025, ⟨swh:1:dir:18c931d98f790cdbd1dcfba6e2e03ff4427a8c24;origin=https://hal.archives-ouvertes.fr/hal-05086352;visit=swh:1:snp:369c0877aee64505a50b80345742b519c9ddbd7b;anchor=swh:1:rel:45b059a3bd793f910f722c5822c3bf5f69462f89;path=/⟩

Accès au bibtex

titre

MatchMaker

auteur

Kamer Kaya, Johannes Langguth, Ioannis Panagiotas, Bora Uçar

article

2025, ⟨swh:1:dir:9baf1bc03292dbadf5b5b50a9d65bdb1d38c9981;origin=https://gitlab.inria.fr/bora-ucar/matchmaker.git;visit=swh:1:snp:7e6827b13c64ee91add458723f068e1b5031d947;anchor=swh:1:rev:50b09f54e9c4255c1a7becfce54d088940124149⟩

Accès au bibtex

titre

YALLA: Yet Another deep embedding of Linear Logic in Rocq

auteur

Olivier Laurent

article

2025, ⟨swh:1:dir:2e43a1ba10c4f11ed8d8f4cc22f4106a48f1d007⟩

Accès au bibtex

titre

Quantifiers

auteur

Olivier Laurent

article

2025, ⟨swh:1:dir:48009bbccf91ce1ba3238f8a34d57ddb5f7e9786⟩

Accès au bibtex

titre

Proof nets for MLL

auteur

Rémi Di Guardia, Olivier Laurent

article

2025, ⟨swh:1:dir:a5e052a812cc72ef6b32f0cbb455ce2d8b315f71⟩

Accès au bibtex

titre

List Permutation

auteur

Christophe Lucas, Olivier Laurent

article

2025, ⟨swh:1:dir:dab64b85cec398e0f7712ef7205b8f32d0b9d5d8⟩

Accès au bibtex

titre

FormalizedLLBib

auteur

Olivier Laurent

article

2025, ⟨swh:1:dir:56ebe157fe0d55ff61383a66b3189e2cde6c8c00⟩

Accès au bibtex

titre

Mathematical Components Analysis

auteur

Reynald Affeldt, Yves Bertot, Alessandro Bruni, Cyril Cohen, Marie Kerjean, Assia Mahboubi, Damien Rouhling, Pierre Roux, Kazuhiko Sakaguchi, Zachary Stone, Pierre-Yves Strub, Laurent Théry

article

2025, ⟨swh:1:dir:5fe4b61acc38fea6066881d466ac64524e90a4cd⟩

Accès au bibtex

titre

Trocq

auteur

Cyril Cohen, Enzo Crance, Assia Mahboubi

article

2025, ⟨swh:1:dir:21f2e18a8e117e0615eb19d5554ad4a5f828f6b1⟩

Accès au bibtex

titre

EmergeNS

auteur

Denis Kuperberg, Thomas Kosc

article

2025, ⟨swh:1:dir:5f8cf6188f4b80882b49e4024c42a679c324d1f2;origin=https://github.com/deniskup/EmergeNS;visit=swh:1:snp:71ce660310840624e246b38e8ca30b03db6f3b2b;anchor=swh:1:rev:f24da194ab1c42fdf7cd4e3077006874f3d13b6f⟩

Accès au bibtex

titre

Hierarchy Builder

auteur

Cyril Cohen, Pierre Roux, Kazuhiko Sakaguchi, Enrico Tassi

article

2025, ⟨swh:1:dir:50c5087fc42a2f95913dada99ef4ac1cdba66d7b⟩

Accès au bibtex

titre

Click and coLLecT - An Interactive Linear Logic Prover

auteur

Etienne Callies, Olivier Laurent

article

2025, ⟨swh:1:dir:d17c7c89c9873b38f35ac4fc7f38d8223b239eaf⟩

Accès au bibtex

titre

OLlibs - Add-ons for the Rocq Standard Library

auteur

Olivier Laurent, Christophe Lucas

article

2025, ⟨swh:1:dir:d2917e29b501a71bf5a507f950d07b20913b7dd5⟩

Accès au bibtex

titre

KAMI

auteur

Russ Harmer, Eugenia Oshurko

article

2025

Accès au texte intégral et bibtex

titre

ReGraph

auteur

Russ Harmer, Eugenia Oshurko

article

2025

Accès au texte intégral et bibtex

Theses

titre

System-Constrained Feature Extraction Pipelines for Network Traffic Monitoring

auteur

Johann Hugon

article

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

Accès au texte intégral et bibtex

titre

Differentiable and learning-based methods for structure representation

auteur

Can Pouliquen

article

Machine Learning [cs.LG]. Ecole Normale Supérieure de Lyon, 2025. English. ⟨NNT : ⟩

Accès au texte intégral et bibtex

titre

Differentiable and learning-based methods for structure representation

auteur

Can Pouliquen

article

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

Accès au texte intégral et bibtex

titre

Flotte coopérative de robots aériens basée sur des communications sans fil, sous l'angle du flocking

auteur

Théotime Balaguer

article

Robotique [cs.RO]. INSA de Lyon, 2025. Français. ⟨NNT : 2025ISAL0103⟩

Accès au texte intégral et bibtex

titre

Modèles Formels des Circuits Intégrés pour la Vérification Électrique au Niveau Transistor

auteur

Oussama Oulkaid

article

Computer Science [cs]. Université Claude Bernard - Lyon I, 2025. English. ⟨NNT : 2025LYO10264⟩

Accès au texte intégral et bibtex

titre

Automatic positivity proofs for P-finite sequences

auteur

Alaa Ibrahim

article

Calcul formel [cs.SC]. Ecole normale supérieure de lyon - ENS LYON, 2025. Français. ⟨NNT : 2025ENSL0078⟩

Accès au texte intégral et bibtex

titre

Structures and equations of sourced graphs : small treewidth and disjoint paths

auteur

Samuel Humeau

article

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

Accès au texte intégral et bibtex

titre

Analysis of Quality of Service and Sustainability Metrics in Hybrid LiFi/Wi-Fi and 5G Networks

auteur

Meriem Ghali

article

Computer Science [cs]. Ecole normale supérieure de lyon - ENS LYON, 2025. English. ⟨NNT : 2025ENSL0076⟩

Accès au texte intégral et bibtex

titre

Reduction of Cloud infrastructure power consumption through dynamic resource provisioning

auteur

Simon Lambert

article

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

Accès au texte intégral et bibtex

titre

Frugality in second-order optimization: floating-point approximations for Newton's method

auteur

Giuseppe Carrino

article

Computer Science [cs]. Bologna University, 2025. English. ⟨NNT : ⟩

Accès au texte intégral et bibtex

titre

On the foundations of supersingular isogeny-based cryptography

auteur

Arthur Herlédan Le Merdy

article

Cryptography and Security [cs.CR]. Ecole normale supérieure de lyon - ENS LYON, 2025. English. ⟨NNT : 2025ENSL0031⟩

Accès au texte intégral et bibtex

titre

Exploiting the Potential of Linearity in Automatic Differentiation and Computational Cryptography

auteur

Giulia Giusti

article

Programming Languages [cs.PL]. Ecole normale supérieure de lyon - ENS LYON, 2025. English. ⟨NNT : 2025ENSL0032⟩

Accès au texte intégral et bibtex

titre

Algorithms and Structures : Graphs equipped with an Order

auteur

Julien Duron

article

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

Accès au texte intégral et bibtex

titre

Controlling DNA Origami Co-folding

auteur

Octave Hazard

article

Biotechnology. Ecole normale supérieure de lyon - ENS LYON, 2025. English. ⟨NNT : 2025ENSL0007⟩

Accès au texte intégral et bibtex

Preprints, Working Papers, ...

titre

Deterministic inversion of some matrices with displacement structure

auteur

Claude-Pierre Jeannerod

article

2025

Accès au texte intégral et bibtex

titre

Half-integral Erdős-Pósa property for non-null $S$-$T$ paths

auteur

Vera Chekan, Colin Geniet, Meike Hatzel, Michał Pilipczuk, Marek Sokołowski, Michał Seweryn, Marcin Witkowski

article

2025

Accès au bibtex

titre

Algorithm-driven DNA nanostructure design for advanced functionality

auteur

Nicolas Levy, Julie Finkel, Allan Mills, Gerrit Wilkens, Anjelica Kucinic, Aurelie Ancelin, Pierre Marcus, Octave Hazard, Joris Picot, Daria Pchelina, Gaëtan Bellot, Nicolas Schabanel

article

2025

Accès au texte intégral et bibtex

titre

A multilevel stochastic regularized first-order method with application to finite sum minimization

auteur

Filippo Marini, Margherita Porcelli, Elisa Riccietti

article

2025

Accès au texte intégral et bibtex

titre

Answering Related Questions

auteur

Édouard Bonnet

article

2025

Accès au texte intégral et bibtex

titre

Every Graph is Essential to Large Treewidth

auteur

Bogdan Alecu, Édouard Bonnet, Pedro Bureo Villafana, Nicolas Trotignon

article

2025

Accès au texte intégral et bibtex

titre

A tamed family of triangle-free graphs with unbounded chromatic number

auteur

Édouard Bonnet, Romain Bourneuf, Julien Duron, Colin Geniet, Stéphan Thomassé, Nicolas Trotignon

article

2025

Accès au texte intégral et bibtex

titre

Reduced bandwidth: a qualitative strengthening of twin-width in minor-closed classes (and beyond)

auteur

Édouard Bonnet, O-Joung Kwon, David R Wood

article

2025

Accès au texte intégral et bibtex

titre

TWIN-WIDTH VII: GROUPS

auteur

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

article

2025

Accès au texte intégral et bibtex

titre

Induced Minors and Region Intersection Graphs

auteur

Édouard Bonnet, Robert Hickingbotham

article

2025

Accès au texte intégral et bibtex

titre

Proximal Operators of Sorted Nonconvex Penalties

auteur

Anne Gagneux, Mathurin Massias, Emmanuel Soubies

article

2025

Accès au texte intégral et bibtex

titre

A flexible block-coordinate forward-backward algorithm for non-smooth and non-convex optimization.

auteur

Luis Briceño-Arias, Paulo Gonçalves, Guillaume Lauga, Nelly Pustelnik, Elisa Riccietti

article

2025

Accès au texte intégral et bibtex

titre

EVaR-Optimal Arm Identification in Bandits

auteur

Mehrasa Ahmadipour, Aurélien Garivier

article

2025

Accès au texte intégral et bibtex

titre

From Affine to Polynomial: Synthesizing Loops with Branches via Algebraic Geometry

auteur

Erdenebayar Bayarmagnai, Fatemeh Mohammadi, Rémi Prébet

article

2025

Accès au texte intégral et bibtex

titre

Non-Vacuous Generalization Bounds: Can Rescaling Invariances Help?

auteur

Damien Rouchouse, Antoine Gonon, Rémi Gribonval, Benjamin Guedj

article

2025

Accès au texte intégral et bibtex

titre

Effective Asymptotics of Combinatorial Systems

auteur

Carine Pivoteau, Bruno Salvy

article

2025

Accès au texte intégral et bibtex

titre

Cryptography from Lossy Reductions: Towards OWFs from ETH, and Beyond

auteur

Pouria Fallahpour, Alex B. Grilo, Garazi Muguruza, Mahshid Riahinia

article

2025

Accès au bibtex

titre

Pushing the frontiers of subexponential FPT time for Feedback Vertex Set

auteur

Gaétan Berthe, Marin Bougeret, Daniel Gonçalves, Jean-Florent Raymond

article

2025

Accès au bibtex

titre

On deciding transcendence of power series

auteur

Alin Bostan, Bruno Salvy, Michael F. Singer

article

2025

Accès au texte intégral et bibtex

titre

Recovery of cyclic words by their subwords

auteur

Sergey Luchinin, Svetlana Puzynina, Michaël Rao

article

2025

Accès au bibtex

titre

Identifying the Best Transition Law

auteur

Mehrasa Ahmadipour, Elise Crépon, Aurélien Garivier

article

2025

Accès au texte intégral et bibtex

titre

Journée thématique du GDR RSD : pratiques expérimentales de la communauté systèmes et réseaux

auteur

Mathieu Bacou, David Beserra, Eugen Dedu, Loïc Desgeorges, Didier Donsez, Alexandre Guitton, Baptiste Jonglez, Arnaud Legrand, Georgios Papadopoulos, Olivier Richard, Samir Si-Mohammed, Nina Tamdrari, Fabrice Theoleyre

article

2025

Accès au texte intégral et bibtex

titre

Efficient Risk-sensitive Planning via Entropic Risk Measures

auteur

Alexandre Marthe, Samuel Bounan, Aurélien Garivier, Claire Vernade

article

2025

Accès au texte intégral et bibtex

titre

A note on the relations between mixture models, maximum-likelihood and entropic optimal transport

auteur

Titouan Vayer, Etienne Lasalle

article

2025

Accès au texte intégral et bibtex

titre

Profile and neighbourhood complexity of graphs with excluded minors and tree-structured graphs

auteur

Laurent Beaudou, Jan Bok, Florent Foucaud, Daniel A. Quiroz, Jean-Florent Raymond

article

2025

Accès au bibtex

titre

Young domination on Hamming rectangles

auteur

Janko Gravner, Matjaž Krnc, Martin Milanič, Jean-Florent Raymond

article

2025

Accès au bibtex

titre

A unified toolbox for multipartite entanglement certification

auteur

Ye-Chao Liu, Jannis Halbey, Sebastian Pokutta, Sébastien Designolle

article

2025

Accès au texte intégral et bibtex

titre

Certifying and learning quantum Ising Hamiltonians

auteur

Andreas Bluhm, Matthias Caro, Francisco Escudero Gutiérrez, Aadil Oufkir, Cambyse Rouzé

article

2025

Accès au bibtex

titre

Learning and certification of local time-dependent quantum dynamics and noise

auteur

Daniel Stilck França, Tim Möbus, Cambyse Rouzé, Albert Werner

article

2025

Accès au bibtex

titre

Can outcome communication explain Bell nonlocality?

auteur

Carlos Vieira, Carlos de Gois, Pedro Lauand, Lucas Emanuel Antunes Porto, Sébastien Designolle, Marco Túlio Quintino

article

2025

Accès au bibtex

titre

Complexity of mixed Schatten norms of quantum maps

auteur

Jan Kochanowski, Omar Fawzi, Cambyse Rouzé

article

2025

Accès au bibtex

titre

On the Two Paths Theorem and the Two Disjoint Paths Problem

auteur

Samuel Humeau, Damien Pous

article

2025

Accès au texte intégral et bibtex

titre

Linear colorings of graphs

auteur

Claire Hilaire, Matjaž Krnc, Martin Milanič, Jean-Florent Raymond

article

2025

Accès au bibtex

Videos

titre

La magicienne

auteur

Nathalie Revol, Alice Decarpigny, Clémence Dellenbach

article

2025

Accès au texte intégral et bibtex