2024
Journal articles
- 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
- 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
- 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
- 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
- Going beyond gadgets: the importance of scalability for analogue quantum simulators
- auteur
- Dylan Harley, Ishaun Datta, Frederik Ravn Klausen, Andreas Bluhm, Daniel Stilck Franca, 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
-
- 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
- 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
- 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
- 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
- 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
- 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
-
Conference papers
- 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
- Abstract Interpreters: A Monadic Approach to Modular Verification
- auteur
- Sébastien Michelland, Yannick Zakowski, Laure Gonnord
- article
- ICFP2024 - International Conference on Functional Programming, ACM SIGPLAN, Sep 2024, Milan, Italy. ⟨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
- ICFP 2024 - 29th ACM SIGPLAN International Conference on Functional Programming, Sep 2024, Milan, Italy. pp.789-817, ⟨10.1145/3674652⟩
- 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
- 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. pp.1-7
- 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
- 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 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 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
- Proof assistants for teaching: a survey
- auteur
- Frédéric Tran Minh, Laure Danthony,gonnord, Julien Narboux
- article
- The 13th International Workshop on Theorem proving components for Educational software (ThEdu 24), Jul 2024, Nancy, France
- 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
- Residential radon exposure during childhood and late health effects at adult age, in the CONSTANCES cohort
- auteur
- Olivier Laurent, Choisie Mukakalisa, Emeline Lequy, Marcel Goldberg, Corinne Mandin, Celine Ribet, Marie Zins, Enora Clero
- article
- ISEE Young conference, ISEE Young Organizing Committee, Jun 2024, Rennes, France
- Accès au 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
- 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
- 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
- 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
- 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. 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
- 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
- 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
-
- 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), 2024, Bratislava, Slovakia. pp.48-1-48-14, ⟨10.4230/LIPIcs.MFCS.2024.48⟩
- Accès au bibtex
-
Book sections
- 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
-
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
- 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
- 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
- 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
-
Theses
- 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
- 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, 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
- 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
-
Preprints, Working Papers, ...
- titre
- Tree algebras and bisimulation-invariant MSO on finite graphs
- auteur
- Thomas Colcombet, Amina Doumane, Denis Kuperberg
- article
- 2024
- Accès au bibtex
-
- titre
- Fast inference with Kronecker-sparse matrices
- auteur
- Antoine Gonon, Léon Zheng, Pascal Carrivain, Quoc-Tung Le
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Schur's Positive-Definite Network: Deep Learning in the SPD cone with structure
- auteur
- Can Pouliquen, Mathurin Massias, Titouan Vayer
- article
- 2024
- Accès au bibtex
-
- titre
- Distributional Reduction: Unifying Dimensionality Reduction and Clustering with Gromov-Wasserstein
- auteur
- Hugues Van Assel, Cédric Vincent-Cuaz, Nicolas Courty, Rémi Flamary, Pascal Frossard, Titouan Vayer
- article
- 2024
- Accès au 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
- Communication Lower Bounds and Optimal Algorithms for Symmetric Matrix Computations
- auteur
- Hussam Al Daas, Grey Ballard, Laura Grigori, Suraj Kumar, Kathryn Rouse, Mathieu Verite
- article
- 2024
- Accès au 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
- 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
- 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
- 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
-