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

2024

Journal articles

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
https://arxiv.org/pdf/2212.14814 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
https://arxiv.org/pdf/2303.09365 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
https://arxiv.org/pdf/2110.09970 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
https://hal.science/hal-04529664/file/FGCS-2023.pdf 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, Volume 20, Issue 3, ⟨10.46298/lmcs-20(3:3)2024⟩
Accès au bibtex
https://arxiv.org/pdf/2205.06665v5 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
https://arxiv.org/pdf/2206.00594 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
https://inria.hal.science/hal-04618060/file/1-s2.0-S0167739X24002553-main.pdf 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
https://arxiv.org/pdf/2211.16728 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
https://arxiv.org/pdf/2211.12065 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
https://arxiv.org/pdf/2311.03132 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
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
https://hal.science/hal-03561096/file/hal-abintvalidV2.pdf 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
https://arxiv.org/pdf/2307.00640 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
https://arxiv.org/pdf/2211.04153 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
https://hal.science/hal-04593367/file/OFDMA_Queue_WiNet_Revised.pdf 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, ⟨10.1007/s10951-023-00803-8⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04501444/file/revised-paper.pdf 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
https://arxiv.org/pdf/1907.04585 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
https://hal.science/hal-04472679/file/2310.08543.pdf 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
https://inria.hal.science/hal-03950359/file/multi-TTM.pdf 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
https://arxiv.org/pdf/2012.15100 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 bibtex
https://arxiv.org/pdf/2112.11970 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
https://hal.science/hal-03740320/file/resultant.pdf 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
https://inria.hal.science/hal-04067909/file/main.pdf 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
https://arxiv.org/pdf/2007.11513 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
https://hal.science/hal-03872878/file/main.pdf 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, In press
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03643403/file/revised-ccpe.pdf 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
https://hal.science/hal-04622145/file/q-2024-04-30-1319.pdf 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
https://arxiv.org/pdf/2106.16089 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
https://hal.science/hal-03771150/file/BoRiSa23-hal-v2.pdf 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
https://cea.hal.science/cea-04607213/file/AIF%20Digital%20Twin%20definition%20and%20use-case%20classification%20PUBLISHED.pdf BibTex
titre
Etat de l'art sur la co-simulation robotique et réseau des systèmes multi-robots
auteur
Théotime Balaguer, Olivier Simoninᵃ, Isabelle Guerin-Lassousᵇ, Isabelle Fantoniᶜ
article
Revue Ouverte d'Intelligence Artificielle, A paraître, pp.1-25
Accès au texte intégral et bibtex
https://hal.science/hal-04589224/file/ROIA2024-v1.4_camera_ready.pdf 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
https://hal.science/hal-04177614/file/Twin_width_neighbourhood_complexity.pdf BibTex
titre
Active Objects based on Algebraic Effects
auteur
Martin Andrieux, Ludovic Henrio, Gabriel Radanne
article
Active Object Languages: Current Research Trends, 2024, Lecture Notes in Computer Science, 14360, pp.3-36. ⟨10.1007/978-3-031-51060-1_1⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04388798/file/main.pdf BibTex

Conference papers

titre
Abstract Interpreters: A Monadic Approach to Modular Verification
auteur
Sébastien Michelland, Yannick Zakowski, Laure Gonnord
article
Proc. ACM Program. Lang., Vol. 8, No. ICFP., ACM SIGPLAN, Sep 2024, Milan, Italy. ⟨10.1145/3674646⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04628727/file/monadic_ia.pdf 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
https://arxiv.org/pdf/2405.12888 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, Jul 2024, Tallinn, Estonia. ⟨10.4230/LIPIcs.ICALP.2024.36⟩
Accès au bibtex
https://arxiv.org/pdf/2402.06260 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
https://hal.science/hal-04634408/file/LIPIcs.ICALP.2024.130.pdf 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
https://inria.hal.science/hal-04346102/file/Pre-Print_Estimating_LCE.pdf 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
https://inria.hal.science/hal-04555744/file/main_HAL.pdf 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
https://inria.hal.science/hal-04461089/file/fd2a-revised.pdf 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, Clermont Auvergne, Campus des Cézeaux, France
Accès au texte intégral et bibtex
https://hal.science/hal-04628336/file/rits_vf_2024.pdf 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
https://inria.hal.science/hal-04500281/file/Data-Driven%20Locality-Aware%20Batch%20Scheduling.pdf 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
https://hal.science/hal-04566808/file/WiFi_multibande_eco-44.pdf 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
https://hal.science/hal-04629193/file/ICLR24_CamReady.pdf 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
Accès au texte intégral et bibtex
https://hal.science/hal-04550917/file/DCOSS.pdf 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 bibtex
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
Accès au texte intégral et bibtex
https://hal.science/hal-04527225/file/date2024.pdf 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
https://hal.science/hal-04531675/file/LIPIcs.STACS.2024.13.pdf 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
https://hal.science/hal-04447910/file/article.pdf 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
https://inria.hal.science/hal-04527103/file/wamta24_pastix.pdf BibTex
titre
Correct tout seul, sûr à plusieurs
auteur
Clément Allain, Gabriel Scherer
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
https://inria.hal.science/hal-04406412/file/jfla2024-paper-29.pdf 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.1-10, ⟨10.1145/3636480.3637094⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04370966/file/article.pdf 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
https://hal.science/hal-04292984/file/smallButUnwieldy.pdf 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
https://arxiv.org/pdf/2306.05930 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
https://hal.science/hal-04292977/file/separable-product.pdf 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
https://inria.hal.science/hal-04406332/file/jfla2024-paper-100.pdf BibTex

Poster communications

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
https://inria.hal.science/hal-04588604/file/Poster_ICT4S_LAMBERT.pdf 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
https://inria.hal.science/hal-04586653/file/POSTER_ICT4S2024%20%281%29.pdf BibTex

Reports

titre
Orthogonal matching pursuit-based algorithms for the Birkhoff-von Neumann decomposition
auteur
Damien Lesens, Jérémy E Cohen, Bora Uçar
article
RR-9543, Inria Lyon. 2024, pp.12
Accès au texte intégral et bibtex
https://hal.science/hal-04500014/file/RR-9543.pdf 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
https://inria.hal.science/hal-04428417/file/RR-9540.pdf BibTex

Software

titre
Dowsing
auteur
Gabriel Radanne
article
2024, ⟨swh:1:dir:b93e4b399fd773bfb9397f170a8649f4552b191b⟩
Accès au bibtex
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
https://inria.hal.science/hal-04576156/file/permutation-butterfly-main%20%281%29.zip 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
https://hal.science/hal-04498597/file/pathnorm_toolkit-1.0.0.zip BibTex

Theses

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
https://theses.hal.science/tel-04643807/file/GENIET_Colin_2024ENSL0013_These.pdf 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
https://theses.hal.science/tel-04648829/file/DEPRES_Hugues_2024ENSL0011_These.pdf 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
https://theses.hal.science/tel-04633261/file/POLET_Pierre_Etienne_2024ENSL0004.pdf BibTex

Preprints, Working Papers, ...

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
https://hal.science/hal-04643212/file/On%20the%20complexity%20of%20Waiter-Client%20and%20Client-Waiter%20games.pdf 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
https://hal.science/hal-04624238/file/extension-emulfma.pdf 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
https://hal.science/hal-04601882/file/main.pdf BibTex
titre
Correctly-rounded evaluation of a function: why, how, and at what cost?
auteur
Nicolas Brisebarre, Guillaume Hanrot, Jean-Michel Muller, Paul Zimmermann
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04474530/file/crsurvey.pdf BibTex
titre
A concurrency model based on monadic interpreters: executable semantics for a concurrent subset of LLVM IR
auteur
Nicolas Chappe, Ludovic Henrio, Yannick Zakowski
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04594073/file/muir-draft.pdf BibTex
titre
Path-metrics, pruning, and generalization
auteur
Antoine Gonon, Nicolas Brisebarre, Elisa Riccietti, Rémi Gribonval
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04584311/file/neurips_2024.pdf BibTex
titre
Make Inference Faster: Efficient GPU Memory Management for Butterfly Sparse Matrix Multiplication
auteur
Antoine Gonon, Léon Zheng, Pascal Carrivain, Quoc-Tung Le
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04584450/file/neurips_2024.pdf BibTex
titre
Emulation of the FMA in rounded-to-nearest floating-point arithmetic
auteur
Stef Graillat, Jean-Michel Muller
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04575249/file/emulfma.pdf BibTex
titre
An Emacs-Cairo Scrolling Bug due to Floating-Point Inaccuracy
auteur
Vincent Lefèvre
article
2024
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04566768/file/arith31.pdf BibTex
titre
A theory of optimal convex regularization for low-dimensional recovery
auteur
Yann Traonmilin, Rémi Gribonval, Samuel Vaiter
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-03467123/file/opti_convex_reg_journal.pdf BibTex
titre
Bivariate polynomial reduction and elimination ideal over finite fields
auteur
Gilles Villard
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04542799/file/elimin.pdf 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
https://hal.science/hal-04528634/file/preprint.pdf BibTex
titre
Engineering Edge Orientation Algorithms
auteur
Henrik Reinstädtler, Christian Schulz, Bora Uçar
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04555599/file/2404.13997.pdf 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
https://hal.science/hal-04516752/file/report.pdf 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
2024
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04509285/file/EUSIPCO_RI_v3.pdf 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
https://uca.hal.science/hal-04313338/file/2311.16953.pdf 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
https://hal.science/hal-04479963/file/2402.16477.pdf 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
https://hal.science/hal-04460547/file/MALL_isos_FSCD_2023.pdf 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
https://inria.hal.science/hal-04159652/file/pow.pdf BibTex
titre
Computing Krylov iterates in the time of matrix multiplication
auteur
Vincent Neiger, Clément Pernet, Gilles Villard
article
2024
Accès au texte intégral et bibtex
https://cnrs.hal.science/hal-04445355/file/krylovunchained.pdf BibTex
titre
Entropy Constraints for Ground Energy Optimization
auteur
Hamza Fawzi, Omar Fawzi, Samuel O. Scalet
article
2024
Accès au bibtex
https://arxiv.org/pdf/2305.06855 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
https://hal.science/hal-04388766/file/main.pdf 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
https://inria.hal.science/hal-04385725/file/itree-ai.pdf 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
2024
Accès au texte intégral et bibtex
https://uca.hal.science/hal-04149792/file/2306.17710.pdf BibTex
titre
Kick the cliques
auteur
Gaétan Berthe, Marin Bougeret, Daniel Gonçalves, Jean-Florent Raymond
article
2024
Accès au bibtex
https://arxiv.org/pdf/2407.01465 BibTex
titre
A finite presentation of graphs of treewidth at most three
auteur
Amina Doumane, Samuel Humeau, Damien Pous
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04560570/file/tw3.pdf BibTex