2024
Journal articles
- titre
- ($\overrightarrow{P_6}$, triangle)-Free Digraphs Have Bounded Dichromatic Number
- auteur
- Pierre Aboulker, Guillaume Aubian, Pierre Charbit, Stéphan Thomassé
- article
- The Electronic Journal of Combinatorics, 2024, 31 (4), ⟨10.37236/11838⟩
- Accès au bibtex
-
- titre
- Beyond Data Points: Regionalizing Crowdsourced Latency Measurements
- auteur
- Taveesh Sharma, Paul Schmitt, Francesco Bronzino, Nick Feamster, Nicole P Marwell
- article
- Proceedings of the ACM on Measurement and Analysis of Computing Systems , 2024, 8 (3), pp.1-24. ⟨10.1145/3700416⟩
- Accès au bibtex
-
- titre
- A survey on checkpointing strategies: Should we always checkpoint à la Young/Daly?
- auteur
- Leonardo Bautista-Gomez, Anne Benoit, Sheng Di, Thomas Herault, Yves Robert, Hongyang Sun
- article
- Future Generation Computer Systems, 2024, 161, pp.315-328. ⟨10.1016/j.future.2024.07.022⟩
- Accès au texte intégral et bibtex
-
- titre
- Explicit maximal totally real embeddings
- auteur
- Nefton Pali, Bruno Salvy
- article
- Advances in Mathematics, 2024, 459 (110031), ⟨10.1016/j.aim.2024.110031⟩
- Accès au texte intégral et bibtex
-
- titre
- On the uniqueness and computation of commuting extensions
- auteur
- Pascal Koiran
- article
- Linear Algebra and its Applications, 2024, 703, pp.645-666. ⟨10.1016/j.laa.2024.10.004⟩
- Accès au bibtex
-
- titre
- Learning properties of quantum states without the IID assumption
- auteur
- Omar Fawzi, Richard Kueng, Damian Markham, Aadil Oufkir
- article
- Nature Communications, 2024, 15 (1), pp.9677. ⟨10.1038/s41467-024-53765-6⟩
- Accès au texte intégral et bibtex
-
- titre
- Reduction-Based Creative Telescoping for Definite Summation of D-Finite Functions
- auteur
- Hadrien Brochet, Bruno Salvy
- article
- Journal of Symbolic Computation, 2024, 125, pp.102329. ⟨10.1016/j.jsc.2024.102329⟩
- Accès au texte intégral et bibtex
-
- titre
- Broadcast Channel Coding: Algorithmic Aspects and Non-Signaling Assistance
- auteur
- Omar Fawzi, Paul Fermé
- article
- IEEE Transactions on Information Theory, 2024, 70, pp.7563 - 7580. ⟨10.1109/TIT.2024.3410047⟩
- Accès au texte intégral et bibtex
-
- titre
- A quasi-quadratic vertex-kernel for Cograph Edge Editing
- auteur
- Christophe Crespelle, Rémi Pellerin, Stéphan Thomassé
- article
- Discrete Applied Mathematics, 2024, 357, pp.282-296. ⟨10.1016/j.dam.2024.05.014⟩
- Accès au bibtex
-
- titre
- Kempe classes and almost bipartite graphs
- auteur
- Daniel Cranston, Carl Feghali
- article
- Discrete Applied Mathematics, 2024, 357, pp.94-98. ⟨10.1016/j.dam.2024.05.043⟩
- Accès au bibtex
-
- titre
- Twin-Width III: Max Independent Set, Min Dominating Set, and Coloring
- auteur
- Édouard Bonnet, Colin Geniet, Eun Jung Kim, Stéphan Thomassé, Rémi Watrigant
- article
- SIAM Journal on Computing, 2024, 53 (5), pp.1602-1640. ⟨10.1137/21M142188X⟩
- Accès au bibtex
-
- titre
- Efficient sweep kernels on shared-memory architectures for the discrete ordinates neutron transport equation on Cartesian and hexagonal geometries
- auteur
- Gabriel Suau, Ansar Calloo, Rémi Baron, Romain Le Tellier, Thierry Gautier
- article
- EPJ Web of Conferences, 2024, 302, pp.02009. ⟨10.1051/epjconf/202430202009⟩
- Accès au bibtex
-
- titre
- Generalised Entropy Accumulation
- auteur
- Tony Metger, Omar Fawzi, David Sutter, Renato Renner
- article
- Communications in Mathematical Physics, 2024, 405 (11), pp.261. ⟨10.1007/s00220-024-05121-4⟩
- Accès au bibtex
-
- titre
- Completeness Theorems for Kleene algebra with tests and top
- auteur
- Damien Pous, Jana Wagemaker
- article
- Logical Methods in Computer Science, 2024, Volume 20, Issue 3, ⟨10.46298/lmcs-20(3:27)2024⟩
- Accès au bibtex
-
- titre
- Cutting Barnette graphs perfectly is hard
- auteur
- Edouard Bonnet, Dibyayan Chakraborty, Julien Duron
- article
- Theoretical Computer Science, 2024, 1010 (114701), ⟨10.1016/j.tcs.2024.114701⟩
- Accès au texte intégral et bibtex
-
- titre
- Efficient learning of ground and thermal states within phases of matter
- auteur
- Cambyse Rouzé, Daniel Stilck França, Emilio Onorati, James Watson
- article
- Nature Communications, 2024, 15 (1), pp.7755. ⟨10.1038/s41467-024-51439-x⟩
- Accès au bibtex
-
- titre
- Simply typed convertibility is TOWER-complete even for safe lambda-terms
- auteur
- Lê Thành Dũng Nguyễn
- article
- Logical Methods in Computer Science, 2024, 20 (3), pp.21:1-21:15. ⟨10.46298/LMCS-20(3:21)2024⟩
- Accès au texte intégral et bibtex
-
- titre
- Graphs with all holes the same length
- auteur
- Linda Cook, Jake Horsfield, Myriam Preissmann, Cléophée Robin, Paul Seymour, Ni Luh Dewi Sintiari, Nicolas Trotignon, Kristina Vušković
- article
- Journal of Combinatorial Theory, Series B, 2024, 168, pp.96-158. ⟨10.1016/j.jctb.2024.04.006⟩
- Accès au bibtex
-
- titre
- Device-independent lower bounds on the conditional von Neumann entropy
- auteur
- Peter Brown, Hamza Fawzi, Omar Fawzi
- article
- Quantum, 2024, 8, pp.1445. ⟨10.22331/q-2024-08-27-1445⟩
- Accès au texte intégral et bibtex
-
- titre
- Abstract Interpreters: A Monadic Approach to Modular Verification
- auteur
- Sébastien Michelland, Yannick Zakowski, Laure Gonnord
- article
- Proceedings of the ACM on Programming Languages, 2024, 8 (ICFP), pp.1-28. ⟨10.1145/3674646⟩
- Accès au texte intégral et bibtex
-
- titre
- A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer–Pointer Casts, Finite Space, and undef at the LLVM IR Level of Abstraction
- auteur
- Calvin Beck, Irene Yoon, Hanxi Chen, Yannick Zakowski, Steve Zdancewic
- article
- Proceedings of the ACM on Programming Languages, 2024, 8 (ICFP), pp.789-817. ⟨10.1145/3674652⟩
- Accès au texte intégral et bibtex
-
- titre
- On Complexity Bounds and Confluence of Parallel Term Rewriting
- auteur
- Thaïs Baudon, Carsten Fuhs, Laure Gonnord
- article
- Fundamenta Informaticae, In press
- Accès au texte intégral et bibtex
-
- titre
- A block-coordinate approach of multi-level optimization with an application to physics-informed neural networks
- auteur
- Serge Gratton, Valentin Mercier, Elisa Riccietti, Philippe Toint
- article
- Computational Optimization and Applications, 2024, 89 (2), pp.385-417. ⟨10.1007/s10589-024-00597-1⟩
- Accès au bibtex
-
- titre
- Going beyond gadgets: the importance of scalability for analogue quantum simulators
- auteur
- Dylan Harley, Ishaun Datta, Frederik Ravn Klausen, Andreas Bluhm, Daniel Stilck França, Albert H Werner, Matthias Christandl
- article
- Nature Communications, 2024, 15 (1), pp.6527. ⟨10.1038/s41467-024-50744-9⟩
- Accès au texte intégral et bibtex
-
- titre
- NS+NDT: Smart Integration of Network Simulation in Network Digital Twin, Application to IoT Networks
- auteur
- Samir Si-Mohammed, Anthony Bardou, Thomas Begin, Isabelle Guérin Lassous, Pascale Vicat-Blanc
- article
- Future Generation Computer Systems, 2024, 157, pp.124-144. ⟨10.1016/j.future.2024.03.038⟩
- Accès au texte intégral et bibtex
-
- titre
- Minimizing Energy Consumption for Real-Time Tasks on Heterogeneous Platforms Under Deadline and Reliability Constraints
- auteur
- Yiqin Gao, Li Han, Jing Liu, Yves Robert, Frédéric Vivien
- article
- Algorithmica, 2024, 86 (10), pp.3079-3114. ⟨10.1007/s00453-024-01253-0⟩
- Accès au texte intégral et bibtex
-
- titre
- Security of discrete-modulated continuous-variable quantum key distribution
- auteur
- Stefan Bäuml, Carlos Pascual-García, Victoria Wright, Omar Fawzi, Antonio Acín
- article
- Quantum, 2024, 8, pp.1-37. ⟨10.22331/q-2024-07-18-1418⟩
- Accès au texte intégral et bibtex
-
- titre
- Twin-width and permutations
- auteur
- Édouard Bonnet, Jaroslav Nešetřil, Patrice Ossona de Mendez, Sebastian Siebertz, Stéphan Thomassé
- article
- Logical Methods in Computer Science, 2024, 20 (3), ⟨10.46298/lmcs-20(3:4)2024⟩
- Accès au texte intégral et bibtex
-
- titre
- Fully Abstract Encodings of Lambda-Calculus in HOcore through Abstract Machines
- auteur
- Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, Alan Schmitt
- article
- Logical Methods in Computer Science, 2024, 20 (3), pp.1-45. ⟨10.46298/lmcs-20(3:3)2024⟩
- Accès au bibtex
-
- titre
- Sparse graphs with bounded induced cycle packing number have logarithmic treewidth
- auteur
- Marthe Bonamy, Édouard Bonnet, Hugues Déprés, Louis Esperet, Colin Geniet, Claire Hilaire, Stéphan Thomassé, Alexandra Wesolek
- article
- Journal of Combinatorial Theory, Series B, 2024, 167, pp.215-249. ⟨10.1016/j.jctb.2024.03.003⟩
- Accès au bibtex
-
- titre
- Strategic deployment of RSUs in urban settings: Optimizing IEEE 802.11p infrastructure
- auteur
- Juan Pablo Astudillo León, Anthony Busson, Luis J de la Cruz Llopis, Thomas Begin, Azzedine Boukerche
- article
- Ad Hoc Networks, 2024, 163, ⟨10.1016/j.adhoc.2024.103585⟩
- Accès au bibtex
-
- titre
- Multifacets of lossy compression for scientific data in the Joint-Laboratory of Extreme Scale Computing
- auteur
- Franck Cappello, Sheng Di, Robert Underwood, Dingwen Tao, Jon Calhoun, Yoshii Kazutomo, Kento Sato, Amarjit Singh, Luc Giraud, Emmanuel Agullo, Xavier Yepes, Mario Acosta, Sian Jin, Jiannan Tian, Frédéric Vivien, Boyuan Zhang, Kentaro Sano, Tomohiro Ueno, Thomas Grützmacher, Hartwig Anzt
- article
- Future Generation Computer Systems, 2024, ⟨10.1016/j.future.2024.05.022⟩
- Accès au texte intégral et bibtex
-
- titre
- Kempe equivalent list colorings revisited
- auteur
- Dibyayan Chakraborty, Carl Feghali, Reem Mahmoud
- article
- Journal of Graph Theory, 2024, ⟨10.1002/jgt.23142⟩
- Accès au 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
- SIAM Journal on Imaging Sciences, 2024, ⟨10.1137/23M1582345⟩
- Accès au texte intégral et bibtex
-
- titre
- A theory of optimal convex regularization for low-dimensional recovery
- auteur
- Yann Traonmilin, Rémi Gribonval, Samuel Vaiter
- article
- Information and Inference, 2024, 13 (2)
- Accès au texte intégral et bibtex
-
- titre
- Revisiting I/O bandwidth-sharing strategies for HPC applications
- auteur
- Anne Benoit, Thomas Herault, Lucas Perotin, Yves Robert, Frédéric Vivien
- article
- Journal of Parallel and Distributed Computing, 2024, 188, ⟨10.1016/j.jpdc.2024.104863⟩
- Accès au texte intégral et bibtex
-
- titre
- Completely bounded norms of k-positive maps
- auteur
- Guillaume Aubrun, Kenneth Davidson, Alexander Müller-Hermes, Vern Paulsen, Mizanur Rahaman
- article
- Journal of the London Mathematical Society, 2024, 109 (6), pp.e12936. ⟨10.1112/jlms.12936⟩
- Accès au texte intégral et bibtex
-
- titre
- On Tools for Completeness of Kleene Algebra with Hypotheses (extended version)
- auteur
- Damien Pous, Jurriaan Rot, Jana Wagemaker
- article
- Logical Methods in Computer Science, 2024, Volume 20, Issue 2, ⟨10.46298/lmcs-20(2:8)2024⟩
- Accès au bibtex
-
- titre
- Fast and reliable computation of the instantaneous orbital collision probability
- auteur
- Matthieu Masson, Denis Arzelier, Florent Bréhard, Mioara Joldes, Bruno Salvy
- article
- Journal of Guidance, Control, and Dynamics, 2024, pp.1-14. ⟨10.2514/1.G008102⟩
- Accès au texte intégral et bibtex
-
- titre
- Optimistic online caching for batched requests
- auteur
- Francescomaria Faticanti, Giovanni Neglia
- article
- Computer Networks, 2024, 244, pp.110341. ⟨10.1016/j.comnet.2024.110341⟩
- Accès au texte intégral et bibtex
-
- titre
- Sparse graphs without long induced paths
- auteur
- Oscar Defrain, Jean-Florent Raymond
- article
- Journal of Combinatorial Theory, Series B, In press, 166, pp.30-49. ⟨10.1016/j.jctb.2023.12.003⟩
- Accès au texte intégral et bibtex
-
- titre
- Clique covers of H -free graphs
- auteur
- Tung Nguyen, Alex Scott, Paul Seymour, Stéphan Thomassé
- article
- European Journal of Combinatorics, 2024, 118, pp.103909. ⟨10.1016/j.ejc.2023.103909⟩
- Accès au bibtex
-
- titre
- Recognizing geometric intersection graphs stabbed by a line
- auteur
- Dibyayan Chakraborty, Kshitij Gajjar, Irena Rusu
- article
- Theoretical Computer Science, 2024, 995, pp.114488. ⟨10.1016/j.tcs.2024.114488⟩
- Accès au bibtex
-
- titre
- Fulfilling OCaml Modules with Transparency
- auteur
- Clément Blaudeau, Didier Rémy, Gabriel Radanne
- article
- Proceedings of the ACM on Programming Languages, 2024, 8 (OOPSLA1), pp.194-222. ⟨10.1145/3649818⟩
- Accès au texte intégral et bibtex
-
- titre
- Sketch and shift: a robust decoder for compressive clustering
- auteur
- Ayoub Belhadji, Rémi Gribonval
- article
- Transactions on Machine Learning Research Journal, In press
- Accès au texte intégral et bibtex
-
- titre
- Solution to a Problem of Grünbaum on the Edge Density of 4-Critical Planar Graphs
- auteur
- Zdeněk Dvořák, Carl Feghali
- article
- Combinatorica, 2024, ⟨10.1007/s00493-024-00100-8⟩
- Accès au bibtex
-
- titre
- Three remarks on W graphs
- auteur
- Carl Feghali, Malory Marin
- article
- Theoretical Computer Science, 2024, 990, pp.114403. ⟨10.1016/j.tcs.2024.114403⟩
- Accès au bibtex
-
- titre
- SVD: A Scalable Virtual Machine Disk Format
- auteur
- Kevin Nguetchouang, Stella Bitchebe, Theophile Dubuc, Mar Callau-Zori, Christophe Hubert, Pierre Olivier, Alain Tchana
- article
- IEEE Transactions on Cloud Computing, 2024, 12 (2), pp.684-696. ⟨10.1109/TCC.2024.3391390⟩
- Accès au bibtex
-
- titre
- Faster Modular Composition
- auteur
- Vincent Neiger, Bruno Salvy, Éric Schost, Gilles Villard
- article
- Journal of the ACM (JACM), 2024, 71 (2), pp.1-79. ⟨10.1145/3638349⟩
- Accès au texte intégral et bibtex
-
- titre
- Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
- auteur
- Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, S. Lizeth Tapia Tarifa
- article
- ACM Transactions on Programming Languages and Systems (TOPLAS), 2024, 46 (1), pp.1 - 58. ⟨10.1145/3648439⟩
- Accès au texte intégral et bibtex
-
- titre
- Operator algebra generalization of a theorem of Watrous and mixed unitary quantum channels
- auteur
- David Kribs, Jeremy Levick, Rajesh Pereira, Mizanur Rahaman
- article
- Journal of Physics A: Mathematical and Theoretical, 2024, 57, pp.115303. ⟨10.1088/1751-8121/ad2cb0⟩
- Accès au texte intégral et bibtex
-
- titre
- Dirac's theorem on chordal graphs implies Brooks' theorem
- auteur
- Carl Feghali
- article
- Discrete Mathematics, 2024, 347 (3), pp.113791. ⟨10.1016/j.disc.2023.113791⟩
- Accès au bibtex
-
- titre
- Efficient and Validated Numerical Evaluation of Abelian Integrals
- auteur
- Florent Bréhard, Nicolas Brisebarre, Mioara Joldeş, Warwick Tucker
- article
- ACM Transactions on Mathematical Software, 2024, 50 (1), pp.1 - 38. ⟨10.1145/3637550⟩
- Accès au texte intégral et bibtex
-
- titre
- Checkpointing strategies to tolerate non-memoryless failures on HPC platforms
- auteur
- Anne Benoit, Lucas Perotin, Yves Robert, Frédéric Vivien
- article
- ACM Transactions on Parallel Computing, 2024, 11 (1), pp.1-26. ⟨10.1145/3624560⟩
- Accès au texte intégral et bibtex
-
- titre
- Solution to a problem of Katona on counting cliques of weighted graphs
- auteur
- Peter Borg, Carl Feghali, Rémi Pellerin
- article
- Discrete Applied Mathematics, 2024, 345, pp.147-155. ⟨10.1016/j.dam.2023.11.028⟩
- Accès au bibtex
-
- titre
- Performance evaluation of OFDMA and aggregation downlink stateless service disciplines in Wi-Fi networks
- auteur
- Anh Tuan Giang, Anthony Busson
- article
- Wireless Networks, 2024, ⟨10.1007/s11276-024-03689-2⟩
- Accès au texte intégral et bibtex
-
- titre
- A scheduling framework for distributed key-value stores and its application to tail latency minimization
- auteur
- Sonia Ben Mokhtar, Louis-Claude Canon, Anthony Dugois, Loris Marchal, Etienne Rivière
- article
- Journal of Scheduling, 2024, 27, pp.183-202. ⟨10.1007/s10951-023-00803-8⟩
- Accès au texte intégral et bibtex
-
- titre
- Quasi-Polynomial Time Approximation Schemes for the Maximum Weight Independent Set Problem in \(\boldsymbol{H}\)-Free Graphs
- auteur
- Maria Chudnovsky, Marcin Pilipczuk, Michał Pilipczuk, Stéphan Thomassé
- article
- SIAM Journal on Computing, 2024, 53 (1), pp.47-86. ⟨10.1137/20M1333778⟩
- Accès au bibtex
-
- titre
- NetDiffusion: Network Data Augmentation Through Protocol-Constrained Traffic Generation
- auteur
- Xi I Jiang, Shinan Liu, Aaron Gember-Jacobson, Arjun Nitin Bhagoji, Paul Schmitt, Francesco Bronzino, Nick Feamster
- article
- Proceedings of the ACM on Measurement and Analysis of Computing Systems , 2024, 8 (1), pp.1-32. ⟨10.1145/3639037⟩
- Accès au texte intégral et bibtex
-
- titre
- Communication Lower Bounds and Optimal Algorithms for Multiple Tensor-Times-Matrix Computation
- auteur
- Hussam Al Daas, Grey Ballard, Laura Grigori, Suraj Kumar, Kathryn Rouse
- article
- SIAM Journal on Matrix Analysis and Applications, 2024, 45 (1), pp.450-477. ⟨10.1137/22M1510443⟩
- Accès au texte intégral et bibtex
-
- titre
- Burling graphs revisited, part III: Applications to χ -boundedness
- auteur
- Pegah Pournajafi, Nicolas Trotignon
- article
- European Journal of Combinatorics, 2024, 116, pp.103850. ⟨10.1016/j.ejc.2023.103850⟩
- Accès au texte intégral et bibtex
-
- titre
- Decomposing a triangle-free planar graph into a forest and a subcubic forest
- auteur
- Carl Feghali, Robert Šámal
- article
- European Journal of Combinatorics, 2024, 116, pp.103878. ⟨10.1016/j.ejc.2023.103878⟩
- Accès au bibtex
-
- titre
- High-order lifting for polynomial Sylvester matrices
- auteur
- Clément Pernet, Hippolyte Signargout, Gilles Villard
- article
- Journal of Complexity, 2024, 80, pp.101803. ⟨10.1016/j.jco.2023.101803⟩
- Accès au texte intégral et bibtex
-
- titre
- Temporal network compression via network hashing
- auteur
- Rémi Vaudaine, Pierre Borgnat, Paulo Gonçalves, Rémi Gribonval, Márton Karsai
- article
- Applied Network Science, 2024, 9 (1), pp.3. ⟨10.1007/s10618-020-00683-y⟩
- Accès au texte intégral et bibtex
-
- titre
- Efficient and robust estimation of many-qubit Hamiltonians
- auteur
- Daniel Stilck França, Liubov A. Markovich, V. V. Dobrovitski, Albert H. Werner, Johannes Borregaard
- article
- Nature Communications, 2024, 15 (311), ⟨10.1038/s41467-023-44012-5⟩
- Accès au texte intégral et bibtex
-
- titre
- Treewidth versus clique number. II. Tree-independence number
- auteur
- Clément Dallard, Martin Milanič, Kenny Štorgel
- article
- Journal of Combinatorial Theory, Series B, 2024, 164, pp.404-442. ⟨10.1016/j.jctb.2023.10.006⟩
- Accès au bibtex
-
- titre
- Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey
- auteur
- Hélène Coullon, Ludovic Henrio, Frédéric Loulergue, Simon Robillard
- article
- ACM Computing Surveys, 2024, 56 (1), pp.1-37. ⟨10.1145/3595376⟩
- Accès au texte intégral et bibtex
-
- titre
- A class of graphs with large rankwidth
- auteur
- Chính Hoàng, Nicolas Trotignon
- article
- Discrete Mathematics, 2024, 347 (1), pp.113699
- Accès au bibtex
-
- titre
- Exponentially tighter bounds on limitations of quantum error mitigation
- auteur
- Yihui Quek, Daniel Stilck França, Sumeet Khatri, Johannes Jakob Meyer, Jens Eisert
- article
- Nature Physics, 2024, ⟨10.1038/s41567-024-02536-7⟩
- Accès au texte intégral et bibtex
-
- titre
- Revisiting RIP guarantees for sketching operators on mixture models
- auteur
- Ayoub Belhadji, Rémi Gribonval
- article
- Journal of Machine Learning Research, 2024, 25 (55), pp.1--68
- 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, In press, 127, pp.102367. ⟨10.1016/j.jsc.2024.102367⟩
- Accès au texte intégral et bibtex
-
- titre
- Learning quantum many-body systems from a few copies
- auteur
- Cambyse Rouzé, Daniel Stilck França
- article
- Quantum, 2024, 8, pp.1319. ⟨10.22331/q-2024-04-30-1319⟩
- Accès au texte intégral et bibtex
-
- titre
- Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces
- auteur
- Matteo Mio, Ralph Sarkis, Valeria Vignudelli
- article
- Logical Methods in Computer Science, 2024, Volume 20, Issue 4, ⟨10.46298/lmcs-20(4:19)2024⟩
- Accès au bibtex
-
- titre
- Burling graphs revisited, part II: Structure
- auteur
- Pegah Pournajafi, Nicolas Trotignon
- article
- European Journal of Combinatorics, 2024, 116, pp.103849. ⟨10.1016/j.ejc.2023.103849.⟩
- Accès au bibtex
-
- titre
- Improving Batch Schedulers with Node Stealing for Failed Jobs
- auteur
- Yishu Du, Loris Marchal, Guillaume Pallez, Yves Robert
- article
- Concurrency and Computation: Practice and Experience, 2024, 36 (12), pp.1-36. ⟨10.1002/cpe.8043⟩
- Accès au texte intégral et bibtex
-
- titre
- Certified algorithms for equilibrium states of local quantum Hamiltonians
- auteur
- Hamza Fawzi, Omar Fawzi, Samuel O Scalet
- article
- Nature Communications, 2024, 15 (1), pp.7394. ⟨10.1038/s41467-024-51592-3⟩
- Accès au texte intégral et bibtex
-
- titre
- Minimization of differential equations and algebraic values of $E$-functions
- auteur
- Alin Bostan, Tanguy Rivoal, Bruno Salvy
- article
- Mathematics of Computation, 2024, 93, pp.1427-1472. ⟨10.1090/mcom/3912⟩
- Accès au texte intégral et bibtex
-
- titre
- A Digital Twin use cases classification and definition framework based on Industrial feedback
- auteur
- Emmanuelle Abisset-Chavanne, Thierry Coupaye, Fahad Golra, Damien Lamy, Ariane Piel, Olivier Scart, Pascale Vicat-Blanc
- article
- Computers in Industry, 2024, 161, pp.104113. ⟨10.1016/j.compind.2024.104113⟩
- Accès au texte intégral et bibtex
-
- titre
- Neighbourhood complexity of graphs of bounded twin-width
- auteur
- Édouard Bonnet, Florent Foucaud, Tuomo Lehtilä, Aline Parreau
- article
- European Journal of Combinatorics, 2024, 115, pp.103772. ⟨10.1016/j.ejc.2023.103772⟩
- Accès au texte intégral et bibtex
-
- titre
- Error in ulps of the multiplication or division by a correctly-rounded function or constant in binary floating-point arithmetic
- auteur
- Nicolas Brisebarre, Jean-Michel Muller, Joris Picot
- article
- IEEE Transactions on Emerging Topics in Computing, 2024, 12 (2), pp.656-666. ⟨10.1109/TETC.2023.3294986⟩
- Accès au texte intégral et bibtex
-
- titre
- Etat de l'art sur la co-simulation robotique et réseau des systèmes multi-robots
- auteur
- Théotime Balaguer, Olivier Simonin, Isabelle Guérin-Lassous, Isabelle Fantoni
- article
- Revue Ouverte d'Intelligence Artificielle, A paraître, pp.1-25
- Accès au texte intégral et bibtex
-
- titre
- Twin-width IV: ordered graphs and matrices
- auteur
- Édouard Bonnet, Ugo Giocanti, Patrice Ossona de Mendez, Pierre Simon, Stéphan Thomassé, Szymon Toruńczyk
- article
- Journal of the ACM (JACM), 2024, pp.924-937. ⟨10.1145/3519935.3520037⟩
- Accès au bibtex
-
- titre
- Entropy constraints for ground energy optimization
- auteur
- Hamza Fawzi, Omar Fawzi, Samuel Scalet
- article
- Journal of Mathematical Physics, 2024, 65 (3), pp.032201. ⟨10.1063/5.0159108⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Beaucoup de verrous, peu de leviers ! Sobriété numérique : le cas est grave mais pas désespéré
- auteur
- Françoise Berthoud, Martine Olivi, Laurent Lefèvre
- article
- JRES 2024 - Journées réseaux de l'enseignement et de la recherche, Renater, Dec 2024, Rennes, France
- Accès au texte intégral et bibtex
-
- titre
- IA générative sobre : un oxymore ?
- auteur
- Sylvain Bouveret, Emmanuelle Frenoux, Laurent Lefèvre, Didier Mallarino, Denis Trystam
- article
- JRES (Journées réseaux de l'enseignement et de la recherche ) 2024, Renater, Dec 2024, Rennes, France
- Accès au texte intégral et bibtex
-
- titre
- S-ORCA : A social-based consolidation approach to reduce Cloud infrastructures energy consumption
- auteur
- Simon Lambert, Eddy Caron, Laurent Lefèvre, Rémi Grivel
- article
- 15th IEEE International Conference on Cloud Computing Technology and Science - Cloudcom 2024, Khalifa University, Dec 2024, Abu Dhabi, United Arab Emirates
- Accès au texte intégral et bibtex
-
- titre
- VideoJam: Self-Balancing Architecture for Live Video Analytics
- auteur
- Youssouph Faye, Francescomaria Faticanti, Shubham Jain, Francesco Bronzino
- article
- ACM/IEEE Symposium on Edge Computing, Dec 2024, Rome, Italy
- Accès au texte intégral et bibtex
-
- titre
- OVIDA: Orchestrator for Video Analytics on Disaggregated Architecture
- auteur
- Manavjeet Singh, Sri Pramodh Rachuri, Bryan Bo Cao, Abhinav Sharma, Francesco Bronzino, Venkata Bhumireddy, Samir Das, Anshul Gandhi, Shubham Jain
- article
- ACM/IEEE Symposium on Edge Computing, Dec 2024, Rome, Italy
- Accès au texte intégral et bibtex
-
- titre
- Checkpointing strategies for a fixed-length execution
- auteur
- Anne Benoit, Lucas Perotin, Yves Robert, Frédéric Vivien
- article
- 14th Workshop on Fault-Tolerance for HPC at eXtreme Scale (FTXS 2024), Nov 2024, Atlanta, United States
- Accès au texte intégral et bibtex
-
- titre
- Taskgrind: Heavyweight Dynamic Binary Instrumentation for Parallel Programs Analysis
- auteur
- Romain Pereira, George Stelle, Patrick Carribault
- article
- 8th International Workshop on Software Correctness for HPC Applications (Correctness '24), Nov 2024, Atlanta (USA), United States
- Accès au texte intégral et bibtex
-
- titre
- D'une encyclopédie à l'autre: le corpus parallèle du projet GEODE
- auteur
- Alice Brenon
- article
- Colloque ConCorDial2024, Nov 2024, Lyon, France
- Accès au bibtex
-
- titre
- Exploring RAPL as a Power Capping Leverage for Power-Constrained Infrastructures
- auteur
- Vladimir Ostapenco, Laurent Lefèvre, Anne-Cécile Orgerie, Benjamin Fichel
- article
- ICA3PP 2024 - 24th International Conference on Algorithms and Architectures for Parallel Processing, Oct 2024, Macau SAR, China. pp.1-10
- Accès au texte intégral et bibtex
-
- titre
- On Computational Indistinguishability and Logical Relations
- auteur
- Ugo Dal Lago, Zeinab Galal, Giulia Giusti
- article
- APLAS 2024 - 22nd Asian Symposium on Programming Languages and Systems, Oct 2024, Kyoto, Japan. pp.241-263, ⟨10.1007/978-981-97-8943-6_12⟩
- Accès au texte intégral et bibtex
-
- titre
- Lighting Up Dynamic Networks: AP Assignment Strategy for QoS and Energy Efficiency in HLWNets
- auteur
- Mériem Ghali, Anthony Busson, Thomas Begin
- article
- WiMob 2024: International Conference on Wireless and Mobile Computing, Networking and Communications 2024, Oct 2024, Paris, France. ⟨10.1109/WiMob61911.2024.10770534⟩
- Accès au texte intégral et bibtex
-
- titre
- Optimal Flow Admission Control in Edge Computing via Safe Reinforcement Learning
- auteur
- Andrea Fox, Francesco de Pellegrini, Francescomaria Faticanti, Eitan Altman, Francesco Bronzino
- article
- WiOpt 2024 - 22nd International Symposium on Modeling and Optimization in Mobile, Ad hoc, and Wireless Networks, Oct 2024, Seoul, South Korea
- Accès au texte intégral et bibtex
-
- titre
- Information-theoretic generalization bounds for learning from quantum data
- auteur
- Matthias Caro, Tom Gur, Cambyse Rouzé, Sathyawageeswar Subramanian, França Daniel Stilck
- article
- TQC 2024, Sep 2024, Okinawa, Japan
- Accès au texte intégral et bibtex
-
- titre
- Hamiltonian Property Testing
- auteur
- Andreas Bluhm, Matthias Caro, Aadil Oufkir
- article
- 19th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC), Sep 2024, Okinawa, Japan
- Accès au bibtex
-
- titre
- Making both ends meet: from efficient simulation to universal quantum computing with quantum Gibbs sampling
- auteur
- Daniel Stilck Franca, Cambyse Rouzé, Alvaro Alhambra
- article
- 19 th TQC 2024: Theory of Quantum Computation, Communication and Cryptography, Sep 2024, Okinawa, Japan
- Accès au bibtex
-
- titre
- Noise-induced shallow circuits and absence of barren plateaus
- auteur
- Antonio Anna Mele, Armando Angrisani, Soumik Ghosh, Sumeet Khatri, Jens Eisert, Daniel Stilck França, Yihui Quek
- article
- TQC 2024, Sep 2024, Okinawa, Japan. ⟨10.48550/arXiv.2403.13927⟩
- Accès au bibtex
-
- titre
- Measuring and Interpreting Dependent Task-based Applications Performances
- auteur
- Romain Pereira, Thierry Gautier, Adrien Roussel, Patrick Carribault
- article
- 15th International Conference on Parallel Processing & Applied Mathematics, Sep 2024, Ostrava, Czech Republic
- Accès au texte intégral et bibtex
-
- titre
- Distributed Actors in OCaml
- auteur
- Wenke Du, Ludovic Henrio, Gabriel Radanne
- article
- OCaml Workshop, Sep 2024, Milan, Italy
- Accès au texte intégral et bibtex
-
- titre
- Light-speed type unification modulo isomorphisms
- auteur
- Emmanuel Arrighi, Gabriel Radanne
- article
- ML Workshop 2024, Sep 2024, Milan, Italy
- Accès au texte intégral et bibtex
-
- titre
- Tail Modulo Async/Await - Extended Abstract
- auteur
- Vivien Gachet, Ludovic Henrio, Gabriel Radanne
- article
- FPROPER 2024 - 1st ACM SIGPLAN Workshop on Functional Programming for Productivity and Performance, Sep 2024, Milan, Italy
- Accès au texte intégral et bibtex
-
- titre
- HAETAE: Shorter Lattice-Based Fiat-Shamir Signatures
- auteur
- Jung Hee Cheon, Hyeongmin Choe, Julien Devevey, Tim Güneysu, Dongyeon Hong, Markus Krausz, Georg Land, Marc Möller, Damien Stehlé, Minjune Yi
- article
- Conference on Cryptographic Hardware and Embedded Systems - CHES2024, Sep 2024, Halifax, Canada. pp.25-75, ⟨10.46586/tches.v2024.i3.25-75⟩
- Accès au texte intégral et bibtex
-
- titre
- Engineering Edge Orientation Algorithms
- auteur
- Henrik Reinstädtler, Christian Schulz, Bora Uçar
- article
- ESA 2024 - 32nd Annual European Symposium on Algorithms, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Sep 2024, Egham, United Kingdom. pp.1-21, ⟨10.4230/LIPIcs.ESA.2024.97⟩
- Accès au texte intégral et bibtex
-
- titre
- Kick the Cliques
- auteur
- Gaétan Berthe, Marin Bougeret, Daniel Gonçalves, Jean-Florent Raymond
- article
- IPEC 2024 - 19th International Symposium on Parameterized and Exact Computation, Sep 2024, Londres, United Kingdom. pp.13:1-13:17, ⟨10.4230/LIPIcs.IPEC.2024.13⟩
- Accès au bibtex
-
- titre
- A multilevel framework for accelerating uSARA in radio-interferometric imaging
- auteur
- Guillaume Lauga, Audrey Repetti, Elisa Riccietti, Nelly Pustelnik, Paulo Gonçalves, Yves Wiaux
- article
- European Signal Processing Conference (EUSIPCO), Aug 2024, Lyon, France. ⟨10.23919/EUSIPCO63174.2024.10715263⟩
- Accès au texte intégral et bibtex
-
- titre
- Local Certification of Geometric Graph Classes
- auteur
- Oscar Defrain, Louis Esperet, Aurélie Lagoutte, Pat Morin, Jean-Florent Raymond
- article
- 49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024), Aug 2024, Bratislava, Slovakia. pp.48-1-48-14, ⟨10.4230/LIPIcs.MFCS.2024.48⟩
- Accès au bibtex
-
- titre
- Orthogonal matching pursuit-based algorithms for the Birkhoff-von Neumann decomposition
- auteur
- Damien Lesens, Jérémy E Cohen, Bora Uçar
- article
- EUSIPCO 2024 - 24th European Signal Processing Conference, Aug 2024, Lyon, France. pp.12
- Accès au texte intégral et bibtex
-
- titre
- Symmetric-Difference (Degeneracy) and Signed Tree Models
- auteur
- Édouard Bonnet, Julien Duron, John Sylvester, Viktor Zamaraev
- article
- MFCS 2024, Aug 2024, Bratislava, Slovakia
- Accès au texte intégral et bibtex
-
- titre
- Solving the Restricted Assignment Problem to Schedule Multi-get Requests in Key-Value Stores
- auteur
- Louis-Claude Canon, Anthony Dugois, Loris Marchal
- article
- 30th European Conference on Parallel and Distributed Processing, Aug 2024, Madrid, Spain. pp.195-209, ⟨10.1007/978-3-031-69577-3_14⟩
- Accès au texte intégral et bibtex
-
- titre
- PowerHeat: A non-intrusive approach for estimating the power consumption of bare metal water-cooled servers
- auteur
- Maxime Agusti, Eddy Caron, Benjamin Fichel, Laurent Lefèvre, Olivier Nicol, Anne-Cécile Orgerie
- article
- 2024 IEEE International Conferences on Internet of Things (iThings) and IEEE Green Computing & Communications (GreenCom) and IEEE Cyber, Physical & Social Computing (CPSCom) and IEEE Smart Data (SmartData) and IEEE Congress on Cybermatics, Aug 2024, Copenhagen, Denmark. pp.1-7
- Accès au texte intégral et bibtex
-
- titre
- Deep Reinforcement Learning for Energy-efficient Selection of Embedded Services at the Edge
- auteur
- Hugo Hadjur, Doreid Ammar, Laurent Lefèvre
- article
- 2024 IEEE International Conferences on Internet of Things (iThings), Aug 2024, Copenhagen, Denmark. pp.67-74, ⟨10.1109/iThings-GreenCom-CPSCom-SmartData-Cybermatics62450.2024.00034⟩
- Accès au texte intégral et bibtex
-
- titre
- Fast Public-Key Silent OT and More from Constrained Naor-Reingold
- auteur
- Dung Bui, Geoffroy Couteau, Pierre Meyer, Alain Passelègue, Mahshid Riahinia
- article
- EUROCRYPT 2024, Aug 2024, Santa Barbara (CA), France. pp.88-118, ⟨10.1007/978-3-031-58751-1_4⟩
- Accès au texte intégral et bibtex
-
- titre
- Mapping Large Memory-constrained Workflows onto Heterogeneous Platforms
- auteur
- Svetlana Kulagina, Henning Meyerhenke, Anne Benoit
- article
- ICPP 2024 - 53rd International Conference on Parallel Processing, Aug 2024, Gotland, Sweden. pp.305-316, ⟨10.1145/3673038.3673068⟩
- Accès au texte intégral et bibtex
-
- titre
- Feasibility of State Space Models for Network Traffic Generation
- auteur
- Andrew Chu, Xi Jiang, Shinan Liu, Arjun Bhagoji, Francesco Bronzino, Paul Schmitt, Nick Feamster
- article
- NAIC '24: Proceedings of the 2024 SIGCOMM Workshop on Networks for AI Computing, Aug 2024, Sydney NSW Australia, France. pp.9-17, ⟨10.1145/3672198.3673792⟩
- Accès au bibtex
-
- titre
- Keep the Momentum: Conservation Laws beyond Euclidean Gradient Flows
- auteur
- Sibylle Marcotte, Rémi Gribonval, Gabriel Peyré
- article
- 41st International Conference on Machine Learning, Jul 2024, Vienna, Austria
- Accès au bibtex
-
- titre
- Computing Krylov iterates in the time of matrix multiplication
- auteur
- Vincent Neiger, Clément Pernet, Gilles Villard
- article
- ISSAC '24: International Symposium on Symbolic and Algebraic Computation, Jul 2024, Raleigh, NC, United States. pp.419-428, ⟨10.1145/3666000.3669715⟩
- Accès au texte intégral et bibtex
-
- titre
- Solving parameter-dependent semi-algebraic systems
- auteur
- Louis Gaillard, Mohab Safey El Din
- article
- ISSAC '24: International Symposium on Symbolic and Algebraic Computation, Jul 2024, Raleigh, NC, United States. pp.447-456, ⟨10.1145/3666000.3669718⟩
- Accès au texte intégral et bibtex
-
- titre
- BoaviztAPI: a bottom-up model to assess the environmental impacts of cloud services
- auteur
- Thibault Simon, David Ekchajzer, Adrien Berthelot, Eric Fourboul, Samuel Rince, Romain Rouvoy
- article
- HotCarbon'24 - 3rd Workshop on Sustainable Computer Systems, Jul 2024, Santa Cruz, United States
- Accès au texte intégral et bibtex
-
- titre
- Tight bounds on adjacency labels for monotone graph classes
- auteur
- Édouard Bonnet, Julien Duron, John Sylvester, Viktor Zamaraev, Maksim Zhukovskii
- article
- ICALP 2024, Jul 2024, Tallinn, Estonia
- Accès au texte intégral et bibtex
-
- titre
- A finite presentation of graphs of treewidth at most three
- auteur
- Amina Doumane, Samuel Humeau, Damien Pous
- article
- 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024)., Jul 2024, Tallinn, Estonia. ⟨10.4230/LIPIcs.ICALP.2024.135⟩
- Accès au texte intégral et bibtex
-
- titre
- Vertex-Minor Universal Graphs for Generating Entangled Quantum Subsystems
- auteur
- Maxime Cautrès, Nathan Claudet, Mehdi Mhalla, Simon Perdrix, Valentin Savin, Stéphan Thomassé
- article
- ICALP 2024 51st EATCS International Colloquium on Automata, Languages and Programming, European Association for Theoretical Computer Science (EATCS), Jul 2024, Tallinn, Estonia. ⟨10.4230/LIPIcs.ICALP.2024.36⟩
- Accès au texte intégral et bibtex
-
- titre
- Function Spaces for Orbit-Finite Sets
- auteur
- Mikołaj Bojańczyk, Lê Thành Dũng Nguyễn, Rafał Stefański
- article
- 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024), Jul 2024, Tallinn, Estonia. ⟨10.4230/LIPIcs.ICALP.2024.130⟩
- Accès au texte intégral et bibtex
-
- titre
- Optimality of meta-converse for channel simulation
- auteur
- Mario Berta, Omar Fawzi, Aadil Oufkir
- article
- ISIT 2024 - IEEE International Symposium on Information Theory, Jul 2024, Athens, Greece. pp.1209-1214, ⟨10.1109/ISIT57864.2024.10619187⟩
- Accès au bibtex
-
- titre
- Detecting $K_{2,3}$ as an Induced Minor
- auteur
- Clément Dallard, Maël Dumas, Claire Hilaire, Martin Milanič, Anthony Perez, Nicolas Trotignon
- article
- IWOCA 2024, Jul 2024, Ischia, Italy. pp.151-164, ⟨10.1007/978-3-031-63021-7_12⟩
- Accès au bibtex
-
- titre
- Information-theoretic generalization bounds for learning from quantum data
- auteur
- Matthias Caro, Tom Gur, Cambyse Rouzé, Daniel Stilck Franca, Sathyawageeswar Subramanian
- article
- COLT 2024 - Thirty Seventh Conference on Learning Theory, Jun 2024, Edmonton, Canada
- Accès au bibtex
-
- titre
- Quantum Oblivious LWE Sampling and Insecurity of Standard Model Lattice-Based SNARKs
- auteur
- Thomas Debris-Alazard, Pouria Fallahpour, Damien Stehlé
- article
- STOC 2024 - 56th Annual ACM Symposium on Theory of Computing, Jun 2024, Vancouver BC, Canada. pp.423-434, ⟨10.1145/3618260.3649766⟩
- Accès au bibtex
-
- titre
- Estimating the environmental impact of Generative-AI services using an LCA-based methodology
- auteur
- Adrien Berthelot, Eddy Caron, Mathilde Jay, Laurent Lefèvre
- article
- CIRP LCE 2024 - 31st Conference on Life Cycle Engineering, Jun 2024, Turin, Italy. pp.1-10
- Accès au texte intégral et bibtex
-
- titre
- Feedback Vertex Set for Pseudo-disk Graphs in Subexponential FPT Time
- auteur
- Gaétan Berthe, Marin Bougeret, Daniel Gonçalves, Jean-Florent Raymond
- article
- WG 2024 - 50th International Workshop on Graph-Theoretic Concepts in Computer Science, Jun 2024, Gozd Martuljek, Slovenia. pp.65-78, ⟨10.1007/978-3-031-75409-8_5⟩
- Accès au bibtex
-
- titre
- Tightening I/O Lower Bounds through the Hourglass Dependency Pattern
- auteur
- Lionel Eyraud-Dubois, Guillaume Iooss, Julien Langou, Fabrice Rastello
- article
- SPAA 2024 - 36th ACM Symposium on Parallelism in Algorithms and Architectures, Jun 2024, Nantes, France. pp.1-34
- Accès au texte intégral et bibtex
-
- titre
- Coarsened Spectral Clustering
- auteur
- Pierre Borgnat, Rémi Vaudaine, Etienne Lassale, Paulo Gonçalves, Rémi Gribonval, Marton Karsai
- article
- NetSci 2024, Jun 2024, Québec (CA), Canada
- Accès au texte intégral et bibtex
-
- 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
- SWAT 2024 - 19th Scandinavian Symposium and Workshops on Algorithm Theory, Jun 2024, Helsinki, Finland. pp.11:1-11:18, ⟨10.4230/LIPIcs.SWAT.2024.11⟩
- Accès au bibtex
-
- titre
- Useful applications of correctly-rounded operators of the form ab + cd + e
- auteur
- Tom Hubrecht, Claude-Pierre Jeannerod, Jean-Michel Muller
- article
- 2024 IEEE 31st Symposium on Computer Arithmetic (ARITH 2024), Jun 2024, Málaga, Spain
- Accès au texte intégral et bibtex
-
- titre
- An Emacs-Cairo Scrolling Bug due to Floating-Point Inaccuracy
- auteur
- Vincent Lefèvre
- article
- 2024 IEEE 31st Symposium on Computer Arithmetic (ARITH), Jun 2024, Málaga, Spain. pp.76-79, ⟨10.1109/ARITH61463.2024.00022⟩
- Accès au texte intégral et bibtex
-
- titre
- SUPER-RESOLUTION ISOTROPE POUR L'IRM : UNE APPROCHE VARIATIONNELLE
- auteur
- Luis Amador, Marion Foare, Olivier Beuf, Hélène Ratiney, Eric Van Reeth
- article
- Journées Recherche en Imagerie et Technologies pour la Santé (RITS), SFGBM (Société Française du Génie Biologique et Médical), Jun 2024, Aubière, France
- Accès au texte intégral et bibtex
-
- titre
- Data-Driven Locality-Aware Batch Scheduling
- auteur
- Maxime Gonthier, Elisabeth Larsson, Loris Marchal, Carl Nettelblad, Samuel Thibault
- article
- APDCM 2024 - 26th Workshop on Advances in Parallel and Distributed Computational Models, 38th IEEE International Parallel and Distributed Processing Symposium, May 2024, San Francisco, United States
- Accès au texte intégral et bibtex
-
- titre
- The benefits of specializing Wi-Fi frequency bands for different classes of stations
- auteur
- Loïc Desgeorges, Thomas Begin, Isabelle Guérin Lassous
- article
- CoRes 2024: 9èmes Rencontres Francophones sur la Conception de Protocoles, l'Évaluation de Performance et l'Expérimentation des Réseaux de Communication, May 2024, Saint-Briac-sur-Mer, France
- Accès au texte intégral et bibtex
-
- titre
- Relaxing the Additivity Constraints in Decentralized No-Regret High-Dimensional Bayesian Optimization
- auteur
- Anthony Bardou, Patrick Thiran, Thomas Begin
- article
- The Twelfth International Conference on Learning Representations, May 2024, Vienna, Austria
- Accès au texte intégral et bibtex
-
- titre
- A path-norm toolkit for modern networks: consequences, promises and challenges
- auteur
- Antoine Gonon, Nicolas Brisebarre, Elisa Riccietti, Rémi Gribonval
- article
- International Conference on Learning Representations, May 2024, Wien, Austria
- Accès au texte intégral et bibtex
-
- titre
- Experimental analysis of Wi-Fi-based remote control of UAVs with concurrent mission traffic
- auteur
- Thierry Arrabal, Théotime Balaguer, Isabelle Guérin-Lassous, Olivier Simonin
- article
- Wi-DroIT 2024 - Wireless Sensors and Drones in the Internet of Things, IEEE, Apr 2024, Abu Dhabi, United Arab Emirates. pp.1-8
- Accès au texte intégral et bibtex
-
- titre
- Concealing Compression-accelerated I/O for HPC Applications through In Situ Task Scheduling
- auteur
- Sian Jin, Sheng Di, Frédéric Vivien, Daoce Wang, Yves Robert, Dingwen Tao, Franck Cappello
- article
- EuroSys 2024, Apr 2024, Athens, Greece
- Accès au texte intégral et bibtex
-
- titre
- TrackIops: Real-Time NFS Performance Metrics Extractor
- auteur
- Théophile Dubuc, Pascale Vicat-Blanc, Pierre Olivier, Mar Callau-Zori, Christophe Hubert, Alain Tchana
- article
- EuroSys '24: Nineteenth European Conference on Computer Systems, ACM, Apr 2024, Athens, Greece. pp.1-8, ⟨10.1145/3642963.3652202⟩
- Accès au bibtex
-
- titre
- Trocq: Proof Transfer for Free, With or Without Univalence
- auteur
- Cyril Cohen, Enzo Crance, Assia Mahboubi
- article
- ESOP 2024 - 33rd European Symposium on Programming, Apr 2024, Luxembourg, Luxembourg. pp.239-268, ⟨10.1007/978-3-031-57262-3_10⟩
- Accès au texte intégral et bibtex
-
- titre
- A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving
- auteur
- Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian, Ludovic Henrio, Gabriel Radanne
- article
- Design, Automation and Test in Europe Conference, Mar 2024, Valencia, Spain. pp.1-6, ⟨10.23919/DATE58400.2024.10546537⟩
- Accès au texte intégral et bibtex
-
- titre
- Temporalizing Digraphs via Linear-Size Balanced Bi-Trees
- auteur
- Stéphane Bessy, Stéphan Thomassé, Laurent Viennot
- article
- STACS 2024 - 41st International Symposium on Theoretical Aspects of Computer Science, Mar 2024, Clermont-Ferrand, France. pp.13:1-13:12, ⟨10.4230/LIPIcs.STACS.2024.13⟩
- Accès au texte intégral et bibtex
-
- titre
- Tropical Mathematics and the Lambda-Calculus I: Metric and Differential Analysis of Effectful Programs
- auteur
- Davide Barbarossa, Paolo Pistone
- article
- Computer Science Logic 2024 (CSL 2024), Feb 2024, Napoli, France. ⟨10.4230/LIPIcs.CSL.2024.14⟩
- Accès au texte intégral et bibtex
-
- titre
- Syntactically and Semantically Regular Languages of λ-Terms Coincide Through Logical Relations
- auteur
- Vincent Moreau, Lê Thành Dũng Nguyễn
- article
- 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), Feb 2024, Naples, Italy. pp.40:1-40:22, ⟨10.4230/LIPIcs.CSL.2024.40⟩
- Accès au texte intégral et bibtex
-
- titre
- Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories
- auteur
- Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone
- article
- CSL 2024 - 32nd EACSL Annual Conference on Computer Science Logic, Feb 2024, Napoli, Italy. ⟨10.4230/LIPIcs.CSL.2024.10⟩
- Accès au texte intégral et bibtex
-
- titre
- Enhancing sparse direct solver scalability through runtime system automatic data partition
- auteur
- Alycia Lisito, Mathieu Faverge, Grégoire Pichon, Pierre Ramet
- article
- WAMTA 2024 - Workshop on Asynchronous Many-Task Systems and Applications 2024, Feb 2024, Knoxville, United States. pp.105-110, ⟨10.1007/978-3-031-61763-8_10⟩
- Accès au texte intégral et bibtex
-
- titre
- An Overview on Mixing MPI and OpenMP Dependent Tasking on A64FX
- auteur
- Romain Pereira, Adrien Roussel, Miwako Tsuji, Patrick Carribault, Mitsuhisa Sato, Hitoshi Murai, Thierry Gautier
- article
- International Workshop on Arm-based HPC 2024 (IWAHPCE-2024), Jan 2024, Nagoya, Japan. pp.7-16, ⟨10.1145/3636480.3637094⟩
- Accès au texte intégral et bibtex
-
- titre
- Efficient learning of ground & thermal states within phases of matter
- auteur
- Emilio Onorati, Cambyse Rouzé, Daniel Stilck França, James D. Watson
- article
- QIP 2024, Jan 2024, Taipei, Taiwan
- Accès au texte intégral et bibtex
-
- titre
- Certified algorithms for equilibrium states of local quantum Hamiltonians
- auteur
- Hamza Fawzi, Omar Fawzi, Samuel O Scalet
- article
- QIP 2024, Jan 2024, Taipei, Taiwan
- Accès au bibtex
-
- titre
- Going beyond gadgets: the importance of scalability for analogue quantum simulators
- auteur
- Dylan Harley, Ishaun Datta, Frederik Ravn Klausen, Andreas Bluhm, Daniel Stilck França, Albert Werner, Matthias Christandl
- article
- 27th Annual Conference on Quantum Information Processing (QIP), Jan 2024, Taipeh, Taiwan
- Accès au bibtex
-
- titre
- Small But Unwieldy: A Lower Bound on Adjacency Labels for Small Classes
- auteur
- Edouard Bonnet, Julien Duron, John Sylvester, Viktor Zamaraev, Maksim Zhukovskii
- article
- SODA 2024, Jan 2024, Alexandria, United States
- Accès au texte intégral et bibtex
-
- titre
- Positivity certificates for linear recurrences
- auteur
- Alaa Ibrahim, Bruno Salvy
- article
- SODA 2024 - ACM-SIAM Symposium on Discrete Algorithms, Jan 2024, Alexandria, Virginia, United States. pp.982-994, ⟨10.1137/1.9781611977912.37⟩
- Accès au bibtex
-
- titre
- Factoring Pattern-Free Permutations into Separable ones
- auteur
- Édouard Bonnet, Romain Bourneuf, Colin Geniet, Stéphan Thomassé
- article
- SODA 2024, Jan 2024, Alexandria, United States
- Accès au texte intégral et bibtex
-
- titre
- Liveness Properties in Geometric Logic for Domain-Theoretic Streams
- auteur
- Colin Riba, Solal Stern
- article
- 35es Journées Francophones des Langages Applicatifs (JFLA 2024), Jan 2024, Saint-Jacut-de-la-Mer, France
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Encoding the Specificities of Encyclopedias
- auteur
- Alice Brenon
- article
- Javier Martin Arista; Ana Elvira Ojanguren López. Structuring Lexical Data and Digitising Dictionaries, Brill, pp.36-62, 2024, 978-90-04-70265-3
- Accès au texte intégral et bibtex
-
- titre
- Fog-Robotics Infrastructures Simulation-Based Sizing Approach
- auteur
- Lucien Ngale, Eddy Caron, Yulin Zhang
- article
- Cloud Computing and Services Science : 12th International Conference, CLOSER 2022, Virtual Event, April 27–29, 2022, and 13th International Conference, CLOSER 2023, Prague, Czech Republic, April 26–28, 2023, Revised Selected Papers, 1845, Springer Nature Switzerland, pp.188-211, 2024, Communications in Computer and Information Science, 978-3-031-68165-3. ⟨10.1007/978-3-031-68165-3_10⟩
- Accès au bibtex
-
- titre
- Active Objects based on Algebraic Effects
- auteur
- Martin Andrieux, Ludovic Henrio, Gabriel Radanne
- article
- Active Object Languages: Current Research Trends, 14360, pp.3-36, 2024, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-51060-1_1⟩
- Accès au texte intégral et bibtex
-
Habilitation à diriger des recherches
- titre
- Bridging the Gap Between Machine Learning and Networked Systems
- auteur
- Francesco Bronzino
- article
- Networking and Internet Architecture [cs.NI]. École Normale Supérieure de Lyon, 2024
- Accès au texte intégral et bibtex
-
- titre
- Twin-Width and Contraction Sequences
- auteur
- Édouard Bonnet
- article
- Data Structures and Algorithms [cs.DS]. École Normale Supérieure de Lyon, 2024
- Accès au texte intégral et bibtex
-
- titre
- Recent Results on Quantitative Equational Logic
- auteur
- Matteo Mio
- article
- Computer Science [cs]. Ecole normale supérieure de Lyon, 2024
- Accès au texte intégral et bibtex
-
Other publications
- titre
- ETP4HPC SRA White Paper - Programming Environment
- auteur
- Paul Carpenter, Gabriel Antoniu, Manuel Arenaz, Olivier Aumage, Jakub Beránek, Alfredo Buttari, Alexandru Costan, Sonja Happ, Venkatesh Kannan, Christian Perez, Antonio Peña, Alberto Scionti, Xavier Vigouroux, Paolo Viviani
- article
- 2024, ⟨10.5281/zenodo.14446622⟩
- Accès au bibtex
-
Poster communications
- titre
- Isotropic Super-Resolution method for MRI : A VARIATIONAL APPROACH
- auteur
- Luis Amador, Marion Foare, Olivier Beuf, Helene Ratiney, Eric van Reeth
- article
- European Society for Magnetic Resonance in Medicine and Biology (ESMRMB), Barcelona 2024., Oct 2024, Barcelana, Spain
- Accès au texte intégral et bibtex
-
- titre
- Evaluating the involvement of users for reducing energy consumption of datacenters in a Cloud company
- auteur
- Simon Lambert, Eddy Caron, Laurent Lefèvre, Rémi Grivel
- article
- ICT4S 2024 - ICT for Sustainability, Jun 2024, Stockholm, Sweden
- Accès au texte intégral et bibtex
-
- titre
- Towards a multi-criteria evaluation of the environmental footprint of generative ai services
- auteur
- Adrien Berthelot, Eddy Caron, Mathilde Jay, Laurent Lefèvre
- article
- ICT4S 2024 - International Conference on Information and Communications Technology for Sustainability, Jun 2024, Stockholm, Sweden. pp.1-1, 2024
- Accès au texte intégral et bibtex
-
Reports
- titre
- Efficient parallel sparse tensor contraction
- auteur
- Somesh Singh, Bora Uçar
- article
- RR-9551, Inria Lyon. 2024
- Accès au texte intégral et bibtex
-
- titre
- Checkpointing strategies for a fixed-length execution
- auteur
- Anne Benoit, Lucas Perotin, Yves Robert, Frédéric Vivien
- article
- RR-9552, Inria. 2024, pp.26
- Accès au texte intégral et bibtex
-
- titre
- Connectivity of a random directed graph model
- auteur
- Anne Benoit, Kamer Kaya, Bora Uçar
- article
- RR-9540, Inria Lyon. 2024
- Accès au texte intégral et bibtex
-
Software
- titre
- NetDiffusion
- auteur
- Xi Jiang, Shinan Liu, Aaron Gember-Jacobson, Arjun Nitin Bhagoji, Paul Schmitt, Francesco Bronzino, Nick Feamster
- article
- 2024, ⟨swh:1:dir:b9bcacf5d296170a74bdd7ebb760de37ff3bc55a;origin=https://hal.archives-ouvertes.fr/hal-04857077;visit=swh:1:snp:93c72b693c9f775421d4a4ce37cf535df7ab238b;anchor=swh:1:rel:409b1538bae12b38b0145ea151d3787fd0000f81;path=/⟩
- Accès au texte intégral et bibtex
-
- titre
- VideoJam
- auteur
- Youssouph Faye, Francescomaria Faticanti, Shubham Jain, Francesco Bronzino
- article
- 2024, ⟨swh:1:dir:32d4528af61d3ca129ba9c7badb1b2300216e56f;origin=https://hal.archives-ouvertes.fr/hal-04843313;visit=swh:1:snp:0b77f6f222930d6f6c63ea9a05d7613daf1db7ac;anchor=swh:1:rel:616f1755f90cfad97f0e475efffb0300d189114b;path=/⟩
- Accès au bibtex
-
- titre
- Fkcc, the Farkas Calculator
- auteur
- Christophe Alias
- article
- 2024, ⟨swh:1:dir:03414ffe8c2f4512548fb5ae4480414b228fa62e;origin=https://hal.archives-ouvertes.fr/hal-05005385;visit=swh:1:snp:63c40c7e8c0608d3aad67a76bd5e097a2afa2e22;anchor=swh:1:rel:5e8588a5a7be58be549e80115980cc3cdffa8dcc;path=/⟩
- Accès au texte intégral et bibtex
-
- titre
- S4BXI
- auteur
- Julien Emmanuel, Ludovic Henrio, Matthieu Moy, Grégoire Pichon
- article
- 2024, ⟨swh:1:dir:a8b9f2cbefac423e6882ac2c63aa0436ae54647f;origin=https://github.com/S4BXI/S4BXI;visit=swh:1:snp:a30301a26aa8108ce124d4e7de8f5a0c057fa033;anchor=swh:1:rev:eaf06b9320cd8bc8fb0f32ca5eeee16231179e84⟩
- Accès au bibtex
-
- titre
- Code for reproducible research - "Butterfly factorization with error guarantees
- auteur
- Quoc-Tung Le, Léon Zheng, Rémi Gribonval, Elisa Riccietti
- article
- 2024, ⟨swh:1:dir:3eb1f227a0746e6e8a3577dfa9af340f4548435c;origin=https://hal.archives-ouvertes.fr/hal-04720713;visit=swh:1:snp:21befd2becea13037f5829e23457593a1d0ba16f;anchor=swh:1:rel:40482acf97bf213f4ae48549e39b3450ee631392;path=/⟩
- Accès au bibtex
-
- titre
- Dowsing
- auteur
- Gabriel Radanne
- article
- 2024, ⟨swh:1:dir:b93e4b399fd773bfb9397f170a8649f4552b191b⟩
- Accès au bibtex
-
- titre
- Code for reproducible research - Butterfly factorization by algorithmic identification of rank-one blocks
- auteur
- Léon Zheng, Gilles Puy, Elisa Riccietti, Patrick Pérez, Rémi Gribonval
- article
- 2024, ⟨swh:1:dir:42a081fc95d07a787c1766752046dccc6ca75b73;origin=https://hal.archives-ouvertes.fr/hal-04576156;visit=swh:1:snp:baaf5c1e6241789b5d3986b85175366cc976774a;anchor=swh:1:rel:1c64b94d969137e80d21e29e49499a583a26d5e5;path=/⟩
- Accès au texte intégral et bibtex
-
- titre
- Code for reproducible research - A path-norm toolkit for modern networks: consequences, promises and challenges
- auteur
- Antoine Gonon, Nicolas Brisebarre, Elisa Riccietti, Rémi Gribonval
- article
- 2024, ⟨swh:1:dir:119d3f903d3b6e0a776bd64c71317331839390d4;origin=https://hal.archives-ouvertes.fr/hal-04498597;visit=swh:1:snp:3b7c23b687511f3d2e4673d222c3ba96195bb004;anchor=swh:1:rel:7c123216ebb2018ea3290cbdb4cf4f4b8ddea964;path=/⟩
- Accès au texte intégral et bibtex
-
- titre
- Hypergraphs
- auteur
- Damien Pous
- article
- 2024, ⟨swh:1:dir:da2a8407423406fdf9245865182978f4987c53ba;origin=https://github.com/damien-pous/hypergraph;visit=swh:1:snp:3525f0e39473f1c5a1a89db0d76cdb4e1494de3a;anchor=swh:1:rev:cd81a1c98f658ddbf4c3e6cd292006411c3a66fe⟩
- Accès au bibtex
-
Theses
- titre
- Latency anomalies detection in distributed systems with eBPF
- auteur
- Théophile Dubuc
- article
- Système d'exploitation [cs.OS]. Ecole normale supérieure de lyon - ENS LYON, 2024. Français. ⟨NNT : 2024ENSL0109⟩
- Accès au texte intégral et bibtex
-
- titre
- Scalable Trace-based Compile-Time Memory Allocation
- auteur
- Hugo Thievenaz
- article
- Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2024. English. ⟨NNT : 2024ENSL0108⟩
- Accès au texte intégral et bibtex
-
- titre
- Modeling, evaluating and orchestrating heterogeneous leverages for large-scale cloud data centers management
- auteur
- Vladimir Ostapenco
- article
- Computer Science [cs]. Ecole normale supérieure de lyon - ENS LYON, 2024. English. ⟨NNT : 2024ENSL0096⟩
- Accès au texte intégral et bibtex
-
- titre
- Multilevel proximal methods and application to image restoration
- auteur
- Guillaume Lauga
- article
- Mathematics [math]. Ecole normale supérieure de lyon - ENS LYON, 2024. English. ⟨NNT : 2024ENSL0089⟩
- Accès au texte intégral et bibtex
-
- titre
- Energy-saving for Wi-Fi devices in the MAC layer
- auteur
- Esther Guérin
- article
- Informatique [cs]. Université Claude Bernard - Lyon I, 2024. Français. ⟨NNT : 2024LYO10242⟩
- Accès au texte intégral et bibtex
-
- titre
- Hardness of Structured Lattices Problems for Post-Quantum Cryptography
- auteur
- Joël Felderhoff
- article
- Computer science. Ecole normale supérieure de lyon - ENS LYON, 2024. English. ⟨NNT : 2024ENSL0059⟩
- Accès au texte intégral et bibtex
-
- titre
- A Concurrency Model Based on Monadic Interpreters : Executable semantics for a concurrent subset of LLVM IR
- auteur
- Nicolas Chappe
- article
- Programming Languages [cs.PL]. Ecole normale supérieure de lyon - ENS LYON, 2024. English. ⟨NNT : 2024ENSL0084⟩
- Accès au texte intégral et bibtex
-
- titre
- The complete environmental footprint of digital usage : a contribution to life-cycle analysis of digital services
- auteur
- Adrien Berthelot
- article
- Informatique [cs]. Ecole normale supérieure de lyon - ENS LYON, 2024. Français. ⟨NNT : 2024ENSL0051⟩
- Accès au texte intégral et bibtex
-
- titre
- Harnessing symmetries for modern deep learning challenges : a path-lifting perspective
- auteur
- Antoine Gonon
- article
- Machine Learning [cs.LG]. Ecole normale supérieure de lyon - ENS LYON, 2024. English. ⟨NNT : 2024ENSL0043⟩
- Accès au texte intégral et bibtex
-
- titre
- Algebraic Data Types for High-Performance Computing
- auteur
- Thaïs Baudon
- article
- Computer Science [cs]. Ecole normale supérieure de lyon - ENS LYON, 2024. English. ⟨NNT : 2024ENSL0075⟩
- Accès au texte intégral et bibtex
-
- titre
- Identity of Proofs and Formulas using Proof-Nets in Multiplicative-Additive Linear Logic
- auteur
- Rémi Di Guardia
- article
- Computer Science [cs]. Ecole normale supérieure de lyon - ENS LYON, 2024. English. ⟨NNT : 2024ENSL0050⟩
- Accès au texte intégral et bibtex
-
- titre
- Efficient Storage Virtualization in Cloud Environments
- auteur
- Kevin Nguetchouang Ngongang
- article
- Operating Systems [cs.OS]. Ecole normale supérieure de lyon - ENS LYON, 2024. English. ⟨NNT : 2024ENSL0034⟩
- Accès au texte intégral et bibtex
-
- titre
- Lifting Algebraic Reasoning to Generalized Metric Spaces
- auteur
- Ralph Sarkis
- article
- Logic in Computer Science [cs.LO]. Ecole normale supérieure de lyon - ENS LYON, 2024. English. ⟨NNT : 2024ENSL0025⟩
- Accès au texte intégral et bibtex
-
- titre
- Toward Scalable DNA algorithms
- auteur
- Pierre Marcus
- article
- Bioinformatics [q-bio.QM]. Ecole normale supérieure de lyon - ENS LYON, 2024. English. ⟨NNT : 2024ENSL0024⟩
- Accès au texte intégral et bibtex
-
- titre
- Constrained Pseudorandom Functions : New Constructions and Connections with Secure Computation
- auteur
- Mahshid Riahinia
- article
- Cryptography and Security [cs.CR]. Ecole normale supérieure de lyon - ENS LYON, 2024. English. ⟨NNT : 2024ENSL0022⟩
- Accès au texte intégral et bibtex
-
- titre
- Twin-Width, logical and combinatorial characterisations
- auteur
- Colin Geniet
- article
- Combinatorics [math.CO]. Ecole normale supérieure de lyon - ENS LYON, 2024. English. ⟨NNT : 2024ENSL0013⟩
- Accès au texte intégral et bibtex
-
- titre
- Lattice-based cryptography in a quantum setting : security proofs and attacks
- auteur
- Pouria Fallahpour
- article
- Cryptography and Security [cs.CR]. Ecole normale supérieure de lyon - ENS LYON, 2024. English. ⟨NNT : 2024ENSL0023⟩
- Accès au texte intégral et bibtex
-
- titre
- Twin-width : lower bounds and approximation algorithms
- auteur
- Hugues Déprés
- article
- Computer Science [cs]. Ecole normale supérieure de lyon - ENS LYON, 2024. English. ⟨NNT : 2024ENSL0011⟩
- Accès au texte intégral et bibtex
-
- titre
- Data frugality and computational efficiency in deep learning
- auteur
- Léon Zheng
- article
- Machine Learning [cs.LG]. Ecole normale supérieure de lyon - ENS LYON, 2024. English. ⟨NNT : 2024ENSL0009⟩
- Accès au texte intégral et bibtex
-
- titre
- Porting sonar processing chains to heterogeneous architecture : design and evaluation of a moldable task-based programming environment
- auteur
- Pierre-Etienne Polet
- article
- Informatique [cs]. Ecole normale supérieure de lyon - ENS LYON, 2024. Français. ⟨NNT : 2024ENSL0004⟩
- Accès au texte intégral et bibtex
-
- titre
- Updatable Public Key Encryption in the context of Secure Messaging
- auteur
- Calvin Abou Haidar
- article
- Computer Science [cs]. École Normale Supérieure de LYON, 2024. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- Finitely accessible arboreal adjunctions and Hintikka formulae
- auteur
- Luca Reggio, Colin Riba
- article
- 2024
- Accès au bibtex
-
- titre
- Long induced paths and forbidden patterns: Polylogarithmic bounds
- auteur
- Julien Duron, Louis Esperet, Jean-Florent Raymond
- article
- 2024
- Accès au bibtex
-
- titre
- Zero-error communication under discrete-time Markovian dynamics
- auteur
- Satvik Singh, Mizanur Rahaman, Nilanjana Datta
- article
- 2024
- Accès au bibtex
-
- titre
- Tree algebras and bisimulation-invariant MSO on finite graphs
- auteur
- Thomas Colcombet, Amina Doumane, Denis Kuperberg
- article
- 2024
- Accès au bibtex
-
- titre
- Hamiltonian Property Testing
- auteur
- Andreas Bluhm, Matthias Caro, Aadil Oufkir
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Long induced paths in sparse graphs and graphs with forbidden patterns
- auteur
- Julien Duron, Louis Esperet, Jean-Florent Raymond
- article
- 2024
- Accès au bibtex
-
- titre
- Positive and monotone fragments of FO and LTL
- auteur
- Denis Kuperberg, Quentin Moreau
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Explorable Parity Automata
- auteur
- Emile Hazard, Olivier Idir, Denis Kuperberg
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Temporal Valued Constraint Satisfaction Problems
- auteur
- Manuel Bodirsky, Édouard Bonnet, Žaneta Semanišinová
- article
- 2024
- 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
- 2024
- 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
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Sparse Induced Subgraphs of Large Treewidth
- auteur
- Édouard Bonnet
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Treewidth Inapproximability and Tight ETH Lower Bound
- auteur
- Édouard Bonnet
- article
- 2024
- 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
- 2024
- 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
- 2024
- Accès au bibtex
-
- titre
- PNP-FLOW: Plug-And-Play Image Restoration with Flow Matching
- auteur
- Ségolène Martin, Anne Gagneux, Paul Hagemann, Gabriele Steidl
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- On Sparsity and Sub-Gaussianity in the Johnson-Lindenstrauss Lemma
- auteur
- Aurélien Garivier, Emmanuel Pilliat
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Generalized Stein's lemma and asymptotic equipartition property for subalgebra entropies
- auteur
- Li Gao, Mizanur Rahaman
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Embedding Blake-Zisserman Regularization in Unfolded Proximal Neural Networks for Enhanced Edge Detection
- auteur
- Hoang Trieu Vy Le, Marion Foare, Audrey Repetti, Nelly Pustelnik
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Ants on the highway
- auteur
- Anahí Gajardo, Victor Lutfalla, Michaël Rao
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- A generic scheduler to foster data locality for GPU and out-of-core task-based applications
- auteur
- Maxime Gonthier, Samuel Thibault, Loris Marchal
- article
- 2024
- 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
- 2024
- Accès au texte intégral et bibtex
-
- titre
- On the twin-width of smooth manifolds
- auteur
- Édouard Bonnet, Kristóf Huszár
- article
- 2024
- 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
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Emulation of 3Sum, 4Sum, the FMA and the FD2 instructions in rounded-to-nearest floating-point arithmetic
- auteur
- Stef Graillat, Jean-Michel Muller
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Compiling Morphisms of Algebraic Data Types
- auteur
- Thaïs Baudon, Gabriel Radanne, Laure Gonnord
- article
- 2024
- 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
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Effective Quadratic Error Bounds for Floating-Point Algorithms Computing the Hypotenuse Function
- auteur
- Jean-Michel Muller, Bruno Salvy
- article
- 2024
- 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
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Solving the Restricted Assignment Problem to Schedule Multi-Get Requests in Key-Value Stores (extended version)
- auteur
- Louis-Claude Canon, Anthony Dugois, Loris Marchal
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Local certification of geometric graph classes
- auteur
- Oscar Defrain, Louis Esperet, Aurélie Lagoutte, Pat Morin, Jean-Florent Raymond
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Order p quantum Wasserstein distances from couplings
- auteur
- Emily Beatty, Daniel Stilck França
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Type Isomorphisms for Multiplicative-Additive Linear Logic
- auteur
- Rémi Di Guardia, Olivier Laurent
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Towards a correctly-rounded and fast power function in binary64 arithmetic
- auteur
- Tom Hubrecht, Claude-Pierre Jeannerod, Paul Zimmermann, Laurence Rideau, Laurent Théry
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Rebuilding Algebraic Data Types from Mangled Memory Layouts
- auteur
- Gabriel Radanne, Thaïs Baudon, Laure Gonnord
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Abstract Interpreters: a Monadic Approach to Modular Verification (DRAFT)
- auteur
- Sébastien Michelland, Yannick Zakowski, Laure Gonnord
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Quantum Codes from Group Ring Codes
- auteur
- Kanat Abdukhalikov, Tushar Bag, Daniel Panario
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Quantum Frequential Computing: a quadratic run time advantage for all algorithms
- auteur
- Mischa Woods
- article
- 2024
- 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
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Convergence rates for the Trotter-Kato splitting
- auteur
- Simon Becker, Niklas Galke, Robert Salzmann, Lauritz van Luijk
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Capacities of quantum Markovian noise for large times
- auteur
- Omar Fawzi, Mizanur Rahaman, Mostafa Taheri
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Fine-grained methodology to assess environmental impact of a set of digital services
- auteur
- Adrien Berthelot, Eddy Caron, Romain de Laage, Laurent Lefèvre, Alexis Nicolas
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Certified algorithms for quantum Hamiltonian learning via energy-entropy inequalities
- auteur
- Adam Artymowicz, Hamza Fawzi, Omar Fawzi, Samuel O. Scalet
- article
- 2024
- Accès au bibtex
-
- titre
- An invitation to the sample complexity of quantum hypothesis testing
- auteur
- Hao-Chung Cheng, Nilanjana Datta, Nana Liu, Theshani Nuradha, Robert Salzmann, Mark M Wilde
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Kick the cliques
- auteur
- Gaétan Berthe, Marin Bougeret, Daniel Gonçalves, Jean-Florent Raymond
- article
- 2024
- Accès au bibtex
-
- titre
- Robustness of Fixed Points of Quantum Channels and Application to Approximate Quantum Markov Chains
- auteur
- Robert Salzmann, Bjarne Bergh, Nilanjana Datta
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Quantitative Quantum Zeno and Strong Damping Limits in Strong Topology
- auteur
- Robert Salzmann
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Some New Non-binary Quantum Codes from One-generator Quasi-cyclic Codes
- auteur
- Tushar Bag, Hai Q Dinh, Daniel Panario
- article
- 2024
- Accès au texte intégral et bibtex
-