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
-
- 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
- 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
- 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
- Twin-width and permutations
- auteur
- Edouard Bonnet, Jaroslav Nešetřil, Patrice Ossona de Mendez, Sebastian Siebertz, Stéphan Thomassé
- article
- Logical Methods in Computer Science, 2024, Volume 20, Issue 3, ⟨10.46298/lmcs-20(3:4)2024⟩
- Accès au 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
-
- 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
- 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, 71 (3), pp.1-45. ⟨10.1145/3651151⟩
- 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
- 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
- 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
- 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
- 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
- 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
- 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, ⟨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
- 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
- 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
-
- 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
- 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
- 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
-
- 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
- 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
- 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
- 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
- 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
-
- 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
- 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
- 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
-
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
-
- 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
- GreenCom 2024 - 20th IEEE International conference on Green Computing and Communications, Aug 2024, Copenhagen, Denmark
- Accès au texte intégral et 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
- 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
- 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
-
- 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
- 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
- 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
- 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
- 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
-
- 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
- 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
-
- 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
-
- 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
-
- 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
- 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
- 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
- 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
-
- 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
-
- 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
-
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
-
- 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
- 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
-
- 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
- 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
-
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
-
- 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
- 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
-
Preprints, Working Papers, ...
- 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
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- Bivariate polynomial reduction and elimination ideal over finite fields
- auteur
- Gilles Villard
- 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
- Engineering Edge Orientation Algorithms
- auteur
- Henrik Reinstädtler, Christian Schulz, Bora Uçar
- 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
- 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
-
- 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
- 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
-
- titre
- Entropy Constraints for Ground Energy Optimization
- auteur
- Hamza Fawzi, Omar Fawzi, Samuel O. Scalet
- article
- 2024
- Accès au 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
- 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
-
- titre
- Kick the cliques
- auteur
- Gaétan Berthe, Marin Bougeret, Daniel Gonçalves, Jean-Florent Raymond
- article
- 2024
- Accès au 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
-