By continuing your visit to this site you accept the use of cookies to offer you content and services tailored to your interests

 

CNRS ENS Lyon inria 200x200 blurb
UCB Lyon logo univ lyon 200x200 blurb

 


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

2020

Journal articles

titre
Elementary Functions and Approximate Computing
auteur
Jean-Michel Muller
article
Proceedings of the IEEE, Institute of Electrical and Electronics Engineers, 2020, 108 (12), pp.1558-2256. ⟨10.1109/JPROC.2020.2991885⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02517784/file/FINAL_VERSION.pdf BibTex
titre
Alternating Tree Automata with Qualitative Semantics
auteur
Raphaël Berthon, Nathanaël Fijalkow, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Sophie Pinchinat, Sasha Rubin, Olivier Serre
article
ACM Transactions on Computational Logic, Association for Computing Machinery, 2020, 22 (1), ⟨10.1145/3431860⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02533936/file/2021tocl.pdf BibTex
titre
On the Exact Analysis of an Idealized Quantum Switch
auteur
Gayane Vardoyan, Saikat Guha, Philippe Nain, Don Towsley
article
Performance Evaluation, Elsevier, 2020, Performance Evaluation, 144, ⟨10.1016/j.peva.2020.102141⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03010359/file/Perf2020DTMC.pdf BibTex
titre
Delivering Video-on-Demand services with IEEE 802.11p to major non-urban roads: A stochastic performance analysis
auteur
Thomas Begin, Anthony Busson, Isabelle Guérin-Lassous, Azzedine Boukerche
article
Computer Networks, Elsevier, 2020, 182, pp.1-12. ⟨10.1016/j.comnet.2020.107440⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02923337/file/main.pdf BibTex
titre
Temporal social network reconstruction using wireless proximity sensors: model selection and consequences
auteur
Sicheng Dai, Hélène Bouchet, Aurélie Nardy, Eric Fleury, Jean-Pierre Chevrot, Màrton Karsai
article
EPJ Data Science, EDP Sciences, 2020, 9 (1), ⟨10.1140/epjds/s13688-020-00237-8⟩
Accès au bibtex
BibTex
titre
Reversibility and composition of rewriting in hierarchies
auteur
Russ Harmer, Eugenia Oshurko
article
EPTCS, 2020
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02869865/file/paper.cgi.pdf BibTex
titre
Interpretable socioeconomic status inference from aerial imagery through urban patterns
auteur
Jacob Levy Abitbol, Màrton Karsai
article
Nature Machine Intelligence, Nature Research, 2020, 2 (11), pp.684-692. ⟨10.1038/s42256-020-00243-5⟩
Accès au bibtex
BibTex
titre
Developing Accurate and Scalable Simulators of Production Workflow Management Systems with WRENCH
auteur
Henri Casanova, Rafael Ferreira da Silva, Ryan Tanaka, Suraj Pandey, Gautam Jethwani, William Koch, Spencer Albrecht, James Oeth, Frédéric Suter
article
Future Generation Computer Systems, Elsevier, 2020, 112, pp.162-175. ⟨10.1016/j.future.2020.05.030⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02878322/file/main.pdf BibTex
titre
Programming Strategies for Irregular Algorithms on the Emu Chick
auteur
Eric Hein, Srinivas Eswar, Abdurrahman Yaşar, Jiajia Li, Jeffrey Young, Thomas Conte, Ümit V Çatalyürek, Richard Vuduc, Jason Riedy, Bora Uçar
article
ACM Transactions on Parallel Computing, Association for Computing Machinery, 2020, 7 (4), pp.1-25. ⟨10.1145/3418077⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02991204/file/emuapps.pdf BibTex
titre
Performance Analysis and Optimality Results for Data-Locality Aware Tasks Scheduling with Replicated Inputs
auteur
Olivier Beaumont, Thomas Lambert, Loris Marchal, Bastien Thomas
article
Future Generation Computer Systems, Elsevier, 2020, 111, pp.582-598. ⟨10.1016/j.future.2019.08.024⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02275473/file/paper_revision%20%281%29.pdf BibTex
titre
ECSNeT++ : A simulator for distributed stream processing on edge and cloud environments
auteur
Gayashan Amarasinghe, Marcos Dias de Assuncao, Aaron Harwood, Shanika Karunasekera
article
Future Generation Computer Systems, Elsevier, 2020, 111, pp.401-418. ⟨10.1016/j.future.2019.11.014⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02369500/file/paper.pdf BibTex
titre
On the complexity of colouring antiprismatic graphs
auteur
Myriam Preissmann, Cléophée Robin, Nicolas Trotignon
article
Algorithmica, Springer Verlag, 2020, 83 (2), pp.589-612. ⟨10.1007/s00453-020-00767-7⟩
Accès au bibtex
https://arxiv.org/pdf/1910.11001 BibTex
titre
Inference of a clear channel assessment based conflict graph
auteur
Lafdal Abdelwedoud, Anthony Busson, Isabelle Guérin-Lassous, Marion Foare, Mohammed L. Diakite, Mohamedade Farouk Nanne
article
Internet Technology Letters, Wiley, 2020, pp.1-6. ⟨10.1002/itl2.227⟩
Accès au bibtex
BibTex
titre
Resource Allocation in One-dimensional Distributed Service Networks with Applications
auteur
Nitish K Panigrahy, Prithwish Basu, Philippe Nain, Don Towsley, Ananthram Swami, Kevin S Chan, Kin K Leung
article
Performance Evaluation, Elsevier, 2020, 142, ⟨10.1016/j.peva.2020.102110⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02987395/file/1d_Performance_Evaluation2020.pdf BibTex
titre
Computation of Tight Enclosures for Laplacian Eigenvalues
auteur
Joel Dahne, Bruno Salvy
article
SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2020, 42 (5), pp.A3210-A3232. ⟨10.1137/20M1326520⟩
Accès au bibtex
https://arxiv.org/pdf/2003.08095 BibTex
titre
Spatial and temporal regularization to estimate COVID-19 reproduction number R(t): Promoting piecewise smoothness via convex optimization
auteur
Patrice Abry, Nelly Pustelnik, Stéphane G. Roux, Pablo Jensen, Patrick Flandrin, Rémi Gribonval, Charles-Gérard Lucas, Éric Guichard, Pierre Borgnat, Nicolas B. Garnier
article
PLoS ONE, Public Library of Science, 2020, 15 (8), pp.e0237901. ⟨10.1371/journal.pone.0237901⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02921836/file/journal.pone.0237901.pdf BibTex
titre
Knowledge representation and update in hierarchies of graphs
auteur
Russ Harmer, Eugenia Oshurko
article
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2020, 114, pp.100559. ⟨10.1016/j.jlamp.2020.100559⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02869805/file/icgt%2B%2B.pdf BibTex
titre
Intersection multiplicity of a sparse curve and a low-degree curve
auteur
Pascal Koiran, Mateusz Skomra
article
Journal of Pure and Applied Algebra, Elsevier, 2020, 224 (7), pp.106279. ⟨10.1016/j.jpaa.2019.106279⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02502580/file/S0022404919302920.pdf BibTex
titre
A characterization of proximity operators
auteur
Rémi Gribonval, Mila Nikolova
article
Journal of Mathematical Imaging and Vision, Springer Verlag, 2020, 62, pp.773-789. ⟨10.1007/s10851-020-00951-y⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01835101/file/part1.pdf BibTex
titre
The (theta, wheel)-free graphs Part III: Cliques, stable sets and coloring
auteur
Marko Radovanović, Nicolas Trotignon, Kristina Vušković
article
Journal of Combinatorial Theory, Series B, Elsevier, 2020, 143, pp.185-218. ⟨10.1016/j.jctb.2019.07.003⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03060183/file/1707.04205.pdf BibTex
titre
The (theta, wheel)-free graphs Part II: Structure theorem
auteur
Marko Radovanović, Nicolas Trotignon, Kristina Vušković
article
Journal of Combinatorial Theory, Series B, Elsevier, 2020, 143, pp.148-184. ⟨10.1016/j.jctb.2019.07.004⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03060182/file/1703.08675.pdf BibTex
titre
The (theta, wheel)-free graphs Part I: only-prism and only-pyramid graphs
auteur
Emilie Diot, Marko Radovanović, Nicolas Trotignon, Kristina Vušković
article
Journal of Combinatorial Theory, Series B, Elsevier, 2020, 143, pp.123-147. ⟨10.1016/j.jctb.2017.12.004⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03060180/file/1504.01862.pdf BibTex
titre
Adaptively Secure Non-interactive CCA-Secure Threshold Cryptosystems: Generic Framework and Constructions
auteur
Benoît Libert, Moti Yung
article
Journal of Cryptology, Springer Verlag, 2020, 33, pp.1405-1441. ⟨10.1007/s00145-020-09350-3⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03116642/file/threshold-framework-journal-version-revision-2.pdf BibTex
titre
Parameterized Hardness of Art Gallery Problems
auteur
Edouard Bonnet, Miltzow Tillmann
article
ACM Transactions on Algorithms, Association for Computing Machinery, 2020, 16, pp.1 - 23. ⟨10.1145/3398684⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03015328/file/mainTALG.pdf BibTex
titre
On the Analysis of a Multipartite Entanglement Distribution Switch
auteur
Philippe Nain, Gayane Vardoyan, Saikat Guha, Don Towsley
article
Proceedings of the ACM on Measurement and Analysis of Computing Systems , ACM, 2020, pp.1-38. ⟨10.1145/3392141⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02560723/file/multiPartiteSig2020.pdf BibTex
titre
Characterizing, Modeling, and Accurately Simulating Power and Energy Consumption of I/O-intensive Scientific Workflows
auteur
Rafael Ferreira da Silva, Henri Casanova, Anne-Cécile Orgerie, Ryan Tanaka, Ewa Deelman, Frédéric Suter
article
Journal of computational science, Elsevier, 2020, 44, pp.101157. ⟨10.1016/j.jocs.2020.101157⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02876736/file/ferreiradasilva2020jocs.pdf BibTex
titre
The Inverse Voronoi Problem in Graphs I: Hardness
auteur
Edouard Bonnet, Sergio Cabello, Bojan Mohar, Hubert Pérez-Rosés
article
Algorithmica, Springer Verlag, 2020
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03015342/file/main-hardness.pdf BibTex
titre
Scheduling on Two Types of Resources: a Survey
auteur
Olivier Beaumont, Louis-Claude Canon, Lionel Eyraud-Dubois, Giorgio Lucarelli, Loris Marchal, Clement Mommessin, Bertrand Simon, Denis Trystram
article
ACM Computing Surveys, Association for Computing Machinery, 2020, 53 (3), ⟨10.1145/3387110⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02432381/file/Survey.pdf BibTex
titre
Error analysis of some operations involved in the Cooley-Tukey Fast Fourier Transform
auteur
Nicolas Brisebarre, Mioara Joldes, Jean-Michel Muller, Ana-Maria Naneş, Joris Picot
article
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2020, 46 (2), pp.1-34. ⟨10.1145/3368619⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01949458/file/Bounds-FFT-HaLV2-oct19.pdf BibTex
titre
On the smoothing parameter and last minimum of random orthogonal lattices
auteur
Elena Kirshanova, Huyen Nguyen, Damien Stehlé, Alexandre Wallet
article
Designs, Codes and Cryptography, Springer Verlag, 2020, 88 (5), pp.931-950. ⟨10.1007/s10623-020-00719-w⟩
Accès au bibtex
BibTex
titre
Curling of epithelial monolayers reveals coupling between active bending and tissue tension
auteur
Arnaud Ambrosini, Mégane Rayer, Bruno Monier, Jonathan Fouchard, Tom Wyatt, Amsha Proag, Ana Lisica, Nargess Khalilgharibi, Pierre Recho, Magali Suzanne, Alexandre Kabla, Guillaume Charras
article
Proceedings of the National Academy of Sciences of the United States of America, National Academy of Sciences, 2020, 117 (17), pp.9377-9383. ⟨10.1073/pnas.1917838117⟩
Accès au bibtex
BibTex
titre
Combining Linear Logic and Size Types for Implicit Complexity
auteur
Patrick Baillot, Alexis Ghyselen
article
Theoretical Computer Science, Elsevier, 2020, 813, pp.70-99
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01687224/file/Combining-LL-Size%20Types-%20Long%20Version.pdf BibTex
titre
Arithmetic approaches for rigorous design of reliable Fixed-Point LTI filters
auteur
Anastasia Volkova, Thibault Hilaire, Christoph Lauter
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2020, 69 (4), pp.489 - 504. ⟨10.1109/TC.2019.2950658⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01918650/file/wcpg.pdf BibTex
titre
From Cryptomania to Obfustopia Through Secret-Key Functional Encryption
auteur
Nir Bitansky, Ryo Nishimaki, Alain Passelègue, Daniel Wichs
article
Journal of Cryptology, Springer Verlag, 2020, 33 (2), pp.357-405. ⟨10.1007/s00145-019-09337-9⟩
Accès au bibtex
BibTex
titre
Partitioning tree-shaped task graphs for distributed platforms with limited memory
auteur
Changjiang Gou, Anne Benoit, Loris Marchal
article
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2020, 31 (7), pp.1533 - 1544. ⟨10.1109/TPDS.2020.2971200⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03024579/file/TPDS.pdf BibTex
titre
Scheduling independent stochastic tasks under deadline and budget constraints
auteur
Louis-Claude Canon, Aurélie Kong Win Chang, Yves Robert, Frédéric Vivien
article
International Journal of High Performance Computing Applications, SAGE Publications, 2020, 34 (2), pp.246-264. ⟨10.1177/1094342019852135⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02291031/file/ijhpca-revision.pdf BibTex
titre
Online Scheduling of Task Graphs on Heterogeneous Platforms
auteur
Louis-Claude Canon, Loris Marchal, Bertrand Simon, Frédéric Vivien
article
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2020, 31 (3), pp.721-732. ⟨10.1109/TPDS.2019.2942909⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02291268/file/TPDS-final.pdf BibTex
titre
Chain Rule for the Quantum Relative Entropy
auteur
Kun Fang, Omar Fawzi, Renato Renner, David Sutter
article
Physical Review Letters, American Physical Society, 2020, 124 (10), ⟨10.1103/PhysRevLett.124.100501⟩
Accès au bibtex
https://arxiv.org/pdf/1909.05826 BibTex
titre
Quand des erreurs se produisent dans les supercalculateurs
auteur
Anne Benoit, Joanna Jongwane
article
Interstices, INRIA, 2020
Accès au bibtex
BibTex
titre
Joint embedding of structure and features via graph convolutional networks
auteur
Sébastien Lerique, Jacob Levy Abitbol, Márton Karsai
article
Applied Network Science, Springer, 2020, 5 (1), ⟨10.1007/s41109-019-0237-x⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02388402/file/s41109-019-0237-x.pdf BibTex
titre
Full abstraction for the quantum lambda-calculus
auteur
Pierre Clairambault, Marc de Visme
article
Proceedings of the ACM on Programming Languages, ACM, 2020, 4 (POPL), pp.1-28. ⟨10.1145/3371131⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02863835/file/popl20.pdf BibTex
titre
Leveraging access mode declarations in a model for memory consistency in heterogeneous systems
auteur
Ludovic Henrio, Christoph Kessler, Lu Li
article
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2020, 110, pp.1-17. ⟨10.1016/j.jlamp.2019.100498⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02331964/file/main.pdf BibTex
titre
On the Maximum Weight Independent Set Problem in Graphs without Induced Cycles of Length at Least Five
auteur
Maria Chudnovsky, Marcin Pilipczuk, Michał Pilipczuk, Stéphan Thomassé
article
SIAM Journal on Discrete Mathematics, Society for Industrial and Applied Mathematics, 2020, 34 (2), pp.1472-1483. ⟨10.1137/19M1249473⟩
Accès au bibtex
BibTex
titre
Multiplex network inference with sparse tensor decomposition for functional connectivity
auteur
Gaetan Frusque, Julien Jung, Pierre Borgnat, Paulo Gonçalves
article
IEEE Transactions on Signal and Information Processing over Networks, IEEE, 2020, 6, pp.316 - 328. ⟨10.1109/TSIPN.2020.2984853⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02531459/file/IEEE-T-SIPN.pdf BibTex
titre
Arbitrarily many independent observers can share the nonlocality of a single maximally entangled qubit pair
auteur
Peter J Brown, Roger Colbeck
article
Physical Review Letters, American Physical Society, 2020, 125 (9), pp.090401. ⟨10.1103/PhysRevLett.125.090401⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03143215/file/sequential_chsh_v16.pdf BibTex
titre
Slopes of multidimensional subshifts
auteur
Emmanuel Jeandel, Etienne Moutot, Pascal Vanier
article
Theory of Computing Systems, Springer Verlag, 2020, 64 (1), pp.35-61. ⟨10.1007/s00224-019-09931-1⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02158012/file/slope3D-journal.pdf BibTex
titre
Fast computation of approximant bases in canonical form
auteur
Claude-Pierre Jeannerod, Vincent Neiger, Gilles Villard
article
Journal of Symbolic Computation, Elsevier, 2020, 98, pp.192-224. ⟨10.1016/j.jsc.2019.07.011⟩
Accès au texte intégral et bibtex
https://hal-unilim.archives-ouvertes.fr/hal-01683632/file/popov_approx_basis.pdf BibTex
titre
Jointly Low-Rank and Bisparse Recovery: Questions and Partial Answers
auteur
Simon Foucart, Rémi Gribonval, Laurent Jacques, Holger Rauhut
article
Analysis and Applications, World Scientific Publishing, 2020, 18 (01), pp.25--48. ⟨10.1142/S0219530519410094⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02062891/file/main.pdf BibTex
titre
The relative accuracy of $(x+y)*(x-y)$
auteur
Claude-Pierre Jeannerod
article
Journal of Computational and Applied Mathematics, Elsevier, 2020, pp.1-17. ⟨10.1016/j.cam.2019.112613⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02100500/file/relative_accuracy_xy_with_appendix%20%281%29.pdf BibTex
titre
Parameterized Complexity of Independent Set in H-free Graphs
auteur
Edouard Bonnet, Nicolas Bousquet, Pierre Charbit, Stéphan Thomassé, Rémi Watrigant
article
Algorithmica, Springer Verlag, 2020, Parameterized and Exact Computation, IPEC 2018, 82 (8), pp.2360-2394. ⟨10.1007/s00453-020-00730-6⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03015353/file/main.pdf BibTex
titre
Graph Theory in Coq: Minors, Treewidth, and Isomorphisms
auteur
Christian Doczkal, Damien Pous
article
Journal of Automated Reasoning, Springer Verlag, 2020, ⟨10.1007/s10817-020-09543-2⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02316859/file/graphscoq.pdf BibTex
titre
Budget-aware scheduling algorithms for scientific workflows with stochastic task weights on IaaS Cloud platforms *
auteur
Yves Caniou, Eddy Caron, Aurélie Kong Win Chang, Yves Robert
article
Concurrency and Computation: Practice and Experience, Wiley, In press
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03029318/file/journal-hal.pdf BibTex
titre
Distributed Link Scheduling in Wireless Networks
auteur
Jean-Claude Bermond, Dorian Mazauric, Vishal Misra, Philippe Nain
article
Discrete Mathematics, Algorithms and Applications, World Scientific Publishing, 2020, 12 (5), pp.1-38. ⟨10.1142/S1793830920500585⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01977266/file/sans-format.pdf BibTex
titre
A note on perfect simulation for Exponential Random Graph Models
auteur
Andressa Cerqueira, Aurélien Garivier, Florencia Leonardi
article
ESAIM: Probability and Statistics, EDP Sciences, 2020, 24, pp.138-147. ⟨10.1051/ps/2019024⟩
Accès au bibtex
BibTex
titre
Towards 'up to context' reasoning about higher-order processes
auteur
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
article
Theoretical Computer Science, Elsevier, 2020, 807, pp.154-168. ⟨10.1016/j.tcs.2019.09.036⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01857391/file/hopi-HAL.pdf BibTex
titre
Polynomial time in untyped elementary linear logic
auteur
Olivier Laurent
article
Theoretical Computer Science, Elsevier, 2020, 813, pp.117-142. ⟨10.1016/j.tcs.2019.10.002⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02333452/file/ptimeell.pdf BibTex
titre
A Fair and Distributed Congestion Control Mechanism for Smart Grid Neighborhood Area Networks
auteur
Juan Pablo Astudillo León, Thomas Begin, Anthony Busson, Luis Javier de La Cruz Llopis
article
Ad Hoc Networks, Elsevier, 2020, 104, pp.1-13. ⟨10.1016/j.adhoc.2020.102169⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02563269/file/Journal_Adhoc.pdf BibTex

Conference papers

titre
Close relatives of Feedback Vertex Set without single-exponential algorithms parameterized by treewidth
auteur
Benjamin Bergougnoux, Édouard Bonnet, Nick Brettell, O-Joung Kwon
article
IPEC 2020, Dec 2020, Hong Kong, China
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03430381/file/main.pdf BibTex
titre
Maximum Clique in Disk-Like Intersection Graphs
auteur
Édouard Bonnet, Nicolas Grelier, Tillmann Miltzow
article
FSTTCS 2020, Dec 2020, Goa, India
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03430494/file/main.pdf BibTex
titre
Scalable Joint Optimization of Placement and Parallelism of Data Stream Processing Applications on Cloud-Edge Infrastructure
auteur
Felipe Rodrigo de Souza, Alexandre da Silva Veith, Marcos Dias de Assuncao, Eddy Caron
article
ICSOC 2020 - 18th International Conference on Service Oriented Computing, Dec 2020, Dubai, United Arab Emirates
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02926464/file/icsoc2020_final.pdf BibTex
titre
On the Succinctness of Alternating Parity Good-for-Games Automata
auteur
Udi Boker, Denis Kuperberg, Karoliina Lehtinen, Michał Skrzypczak
article
FSTTCS 2020, Dec 2020, Goa, India. pp.41:1--41:13
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03046213/file/2009.14437%20%281%29.pdf BibTex
titre
Alternative Constructions of Asymmetric Primitives from Obfuscation: Hierarchical IBE, Predicate Encryption, and More
auteur
Pooya Farshim, Georg Fuchsbauer, Alain Passelègue
article
Indocrypt 2020 - 21st International Conference on Cryptology, Dec 2020, Virtual conference, India
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03120656/file/2018-576.pdf BibTex
titre
Simulation of the Portals 4 protocol, and case study on the BXI interconnect
auteur
Julien Emmanuel, Matthieu Moy, Ludovic Henrio, Grégoire Pichon
article
HPCS 2020 - International Conference on High Performance Computing & Simulation, Dec 2020, Barcelona, Spain. pp.1-8
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02972297/file/HPCS-2020.pdf BibTex
titre
Simulation-Sound Arguments for LWE and Applications to KDM-CCA2 Security
auteur
Benoît Libert, Khoa Nguyen, Alain Passelègue, Radu Titiu
article
Asiacrypt 2020 - 26th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2020, Virtual, South Korea. pp.1-67
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02993617/file/kdm-NIZK.pdf BibTex
titre
Information Adoption via Repeated or Diversified Social Influence on Twitter
auteur
Jaqueline Faria de Oliveira, Humberto Torres Marques-Neto, Màrton Karsai
article
ASONAM 2020 - IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, Dec 2020, The Hague, Netherlands. pp.237-241, ⟨10.1109/ASONAM49781.2020.9381365⟩
Accès au bibtex
BibTex
titre
Lattice-Based E-Cash, Revisited
auteur
Amit Deo, Benoît Libert, Khoa Nguyen, Olivier Sanders
article
Asiacrypt 2020 - 26th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2020, Corée (devenu virtuel pour cause de COVID), South Korea. pp.1-47
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02993620/file/e-cash-AC20.pdf BibTex
titre
Extraction of functional dynamic networks describing patient's epileptic seizures
auteur
Gaëtan Frusque, Pierre Borgnat, Paulo Gonçalves, Julien Jung
article
CCS 2020 - Conference on Complex Systems, Dec 2020, Palma de Majorque, Spain. pp.1
Accès au bibtex
BibTex
titre
COVID-19 Reproduction Number Estimation: Spatial and Temporal in Convex Optimization to Promote Piecewise Smoothness
auteur
Patrice Abry, Nelly Pustelnik, Stéphane Roux, Pablo Jensen, Patrick Flandrin, Rémi Gribonval, Charles-Gérard Lucas, Éric Guichard, Pierre Borgnat, Nicolas Garnier
article
CCS 2020 - Conference on Complex Systems, Dec 2020, online, Greece. pp.1
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03435991/file/template2020ccs_abry.pdf BibTex
titre
Active Objects with Deterministic Behaviour
auteur
Ludovic Henrio, Einar Broch Johnsen, Violet Ka I. Pun
article
Integrated Formal Methods. IFM 2020, Nov 2020, Lugano, Switzerland. pp.181-198, ⟨10.1007/978-3-030-63461-2_10⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03008405/file/DeterministicObjects.pdf BibTex
titre
Proving array properties using data abstraction
auteur
Julien Braine, Laure Gonnord
article
Numerical and Symbolic Abstract Domains (NSAD), Nov 2020, Virtual, United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02948081/file/nsad20-brainegonnord_authorversion_taggued.pdf BibTex
titre
Twin-width I: tractable FO model checking
auteur
Edouard Bonnet, Eun Jung Kim, Stéphan Thomassé, Rémi Watrigant
article
FOCS 2020, Nov 2020, online, United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03107581/file/twinwidthfocsRevised.pdf BibTex
titre
Leveraging Antenna Orientation to Optimize Network Performance of Fleets of UAVs
auteur
Rémy Grünblatt, Isabelle Guérin-Lassous, Olivier Simonin
article
MSWiM'20 - The 23rd International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, Nov 2020, Alicante, Spain. ⟨10.1145/3416010.3423225⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02934386/file/main.pdf BibTex
titre
Transport Optimal entre Graphes exploitant la Diffusion de la Chaleur
auteur
Amélie Barbe, Marc Sebban, Paulo Gonçalves, Pierre Borgnat, Rémi Gribonval
article
CAP 2020 - Conférence sur l'Apprentissage Automatique, Nov 2020, Vannes, France
Accès au bibtex
BibTex
titre
On the Capacity Region of Bipartite and Tripartite Entanglement Switching
auteur
Gayane Vardoyan, Saikat Guha, Philippe Nain, Don Towsley
article
Performance 2020 - 38th IFIP International Symposium on Computer Performance, Modeling, Measurements and Evaluation, Nov 2020, Milan, Italy. pp.1-6
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02010865/file/bitripartitePER2020.pdf BibTex
titre
Enhancing microservices architectures using data-driven service discovery and QoS guarantees
auteur
Zeina Houmani, Daniel Balouek-Thomert, Eddy Caron, Manish Parashar
article
CCGrid 2020 - 20th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing, Nov 2020, Melbourne, Australia. pp.1-10
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02523442/file/EnhancingMSA_usingDataDrivenSD.pdf BibTex
titre
An Architecture for Improving Variable Radix Real and Complex Division Using Recurrence Division
auteur
James E Stine, Miloš D Ercegovac, Jean-Michel Muller
article
ACSSC 2020 - 54th Asilomar Conference on Signals, Systems, and Computers, Nov 2020, Pacific Grove, CA (virtual), United States. pp.1-5
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03047208/file/asilo2020v2.pdf BibTex
titre
Towards a fast and efficient strategy to assign channels in WLANs with channel bonding
auteur
Amel Chadda, Marija Stojanova, Thomas Begin, Anthony Busson, Isabelle Guérin-Lassous
article
ACM PE-WASUN, Nov 2020, Alicante, Spain. ⟨10.1145/3416011.3424755⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02949696/file/sample-sigconf.tex.pdf BibTex
titre
A Study On Optimizing VNF Software Cost
auteur
Ghoshana Bista, Eddy Caron, Anne-Lucie Vion
article
GIIS 2020 - Global Information Infrastructure and Networking Symposium, Oct 2020, Tunis, Tunisia. pp.1-4, ⟨10.1109/GIIS50753.2020.9248486⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03027945/file/GIIS2020PID.pdf BibTex
titre
On the Verification of Polyhedral Program Transformations
auteur
Christophe Alias, Guillaume Iooss, Sanjay Rajopadhye
article
HPCS 2020 - 18th International Conference on High Performance Computing & Simulation, CADO 2020 - 3rd Special Session on Compiler Architecture, Design and Optimization, Oct 2020, Barcelona, Spain. pp.1-8
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03106070/file/alias-perso.pdf BibTex
titre
Providing Software Asset Management Compliance in Green Deployment Algorithm
auteur
Noëlle Baillon-Bachoc, Eddy Caron, Arthur Chevalier, Anne-Lucie Vion
article
SETCAC 2020 - Symposium on Emerging Topics in Computing and Communications, Oct 2020, Chennai, India. pp.1-14
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03034059/file/SETCAC_2020%20-%20Providing%20Software%20Asset%20Management%20Compliance%20in%20Green%20Deployment%20Algorithm.pdf BibTex
titre
Analysis of Energy Consumption in a Precision Beekeeping System
auteur
Hugo Hadjur, Doreid Ammar, Laurent Lefèvre
article
IoT '20 - 10th International Conference on the Internet of Things, Oct 2020, Malmö, Sweden. pp.1-11, ⟨10.1145/3410992.3411010⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02973772/file/Analysis_energy_PB_HAL.pdf BibTex
titre
Overlaying a hypergraph with a graph with bounded maximum degree
auteur
Frédéric Havet, Dorian Mazauric, Viet-Ha Nguyen, Rémi Watrigant
article
ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02796730/file/final-algotel-2020.pdf BibTex
titre
Etude du niveau d'agrégation des trames dans les réseaux IEEE 802.11 pour l'évaluation du niveau de charge
auteur
Nour El Houda Bouzouita, Anthony Busson, Herve Rivano
article
CORES 2020 – 5ème Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, Sep 2020, Lyon, France. pp.1-4
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02710445/file/Paper.pdf BibTex
titre
Combinatorial Tiling for Sparse Neural Networks
auteur
Filip Pawłowski, Rob H Bisseling, Bora Uçar, Albert-Jan N Yzelman
article
2020 IEEE High Performance Extreme Computing (virtual conference), Sep 2020, Waltham, MA, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02910997/file/sparseNetworks.pdf BibTex
titre
P-Aevol: an OpenMP Parallelization of a Biological Evolution Simulator, Through Decomposition in Multiple Loops
auteur
Laurent Turpin, Jonathan Rouzaud-Cornabas, Thierry Gautier, Christian Pérez
article
16th International Workshop on OpenMP, Sep 2020, Austin, United States. pp.52-66, ⟨10.1007/978-3-030-58144-2_4⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02962838/file/p03_turpin.pdf BibTex
titre
sOMP: Simulating OpenMP Task-Based Applications with NUMA Effects
auteur
Idriss Daoudi, Philippe Virouleau, Thierry Gautier, Samuel Thibault, Olivier Aumage
article
IWOMP 2020 - 16th International Workshop on OpenMP, Sep 2020, Austin / Virtual, United States. ⟨10.1007/978-3-030-58144-2_13⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02933803/file/p05_daoudi.pdf BibTex
titre
Temporal social network reconstruction using wireless proximity sensors: model selection and consequences
auteur
Sicheng Dai, Hélène Bouchet, Aurélie Nardy, Eric Fleury, Jean-Pierre Chevrot, Màrton Karsai
article
NetSci 2020 - Network Science Society Conference, Sep 2020, Rome, Italy
Accès au bibtex
BibTex
titre
Graph Diffusion Wasserstein Distances
auteur
Amélie Barbe, Marc Sebban, Paulo Gonçalves, Pierre Borgnat, Rémi Gribonval
article
ECML PKDD 2020 - European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Sep 2020, Ghent, Belgium. pp.1-16
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02795056/file/ECML-2020.pdf BibTex
titre
Resilient Scheduling of Moldable Jobs on Failure-Prone Platforms
auteur
Anne Benoit, Valentin Le Fèvre, Lucas Perotin, Padma Raghavan, Yves Robert, Hongyang Sun
article
CLUSTER 2020 - IEEE International Conference on Cluster Computing, Sep 2020, Kobe, Japan. pp.1-29
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03028773/file/moldable_cluster_hal.pdf BibTex
titre
Predicting the energy consumption of CUDA kernels using SimGrid
auteur
Dorra Boughzala, Laurent Lefèvre, Anne-Cécile Orgerie
article
SBAC-PAD 2020 - 32nd IEEE International Symposium on Computer Architecture and High Performance Computing, Sep 2020, Porto, Portugal. pp.191-198
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02924028/file/SBAC-PAD2020-final.pdf BibTex
titre
An Optimal Model for Optimizing the Placement and Parallelism of Data Stream Processing Applications on Cloud-Edge Computing
auteur
Felipe Rodrigo de Souza, Marcos Dias de Assuncao, Eddy Caron, Alexandre da Silva Veith
article
SBAC-PAD 2020 - IEEE 32nd International Symposium on Computer Architecture and High Performance Computing, Sep 2020, Porto, Portugal
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02926459/file/sbac-pad_2020.pdf BibTex
titre
Reliable and energy-aware mapping of streaming series-parallel applications onto hierarchical platforms
auteur
Changjiang Gou, Anne Benoit, Mingsong Chen, Loris Marchal, Tongquan Wei
article
SBAC-PAD 2020 - IEEE 32nd International Symposium on Computer Architecture and High Performance Computing, Sep 2020, Porto, Portugal. pp.1-11
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03024594/file/main.pdf BibTex
titre
An Algorithmic Weakening of the Erdős-Hajnal Conjecture
auteur
Stéphan Thomassé, Edouard Bonnet, Rémi Watrigant, Xuan Thang Tran
article
ESA 2020, Sep 2020, Pisa, Italy
Accès au bibtex
https://arxiv.org/pdf/2004.12166 BibTex
titre
Engineering fast almost optimal algorithms for bipartite graph matching
auteur
Ioannis Panagiotas, Bora Uçar
article
ESA 2020 - European Symposium on Algorithms, Sep 2020, Pisa, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02463717/file/ipbuESA20.pdf BibTex
titre
Monads and Quantitative Equational Theories for Nondeterminism and Probability
auteur
Matteo Mio, Valeria Vignudelli
article
CONCUR 2020, Sep 2020, Vienna (on line), Austria. ⟨10.4230/LIPIcs.CONCUR.2020.28⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03028173/file/LIPIcs-CONCUR-2020-28%20%283%29.pdf BibTex
titre
A comparison of several fault-tolerance methods for the detection and correction of floating-point errors in matrix-matrix multiplication
auteur
Valentin Le Fèvre, Thomas Herault, Julien Langou, Yves Robert
article
Resilience 2020 - 12th Workshop on Resiliency in High Performance Computing in Clusters, Clouds, and Grids (colocated with Euro-Par), Aug 2020, Warsaw, Poland. pp.1-14
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03029309/file/resilience-europar-hal.pdf BibTex
titre
Regular resynchronizability of origin transducers is undecidable
auteur
Denis Kuperberg, Jan Martens
article
MFCS, Aug 2020, Prague, Czech Republic. ⟨10.4230/LIPIcs.MFCS.2020.51⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03046161/file/2002.07558%20%281%29.pdf BibTex
titre
Blind Functional Encryption
auteur
Sébastien Canard, Adel Hamdi, Fabien Laguillaumie
article
ICICS 2020 - International Conference on Information and Communications Security, Aug 2020, Copenhagen, Denmark. pp.183-201, ⟨10.1007/978-3-030-61078-4_11⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03039850/file/camera_ready.pdf BibTex
titre
Improving mapping for sparse direct solvers: A trade-off between data locality and load balancing
auteur
Changjiang Gou, Ali Al Zoobi, Anne Benoit, Mathieu Faverge, Loris Marchal, Grégoire Pichon, Pierre Ramet
article
EuroPar 2020 - 26th International European Conference on Parallel and Distributed Computing, Aug 2020, Warsaw / Virtual, Poland. pp.1-16
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02973315/file/paper.pdf BibTex
titre
Robustness of the Young/Daly formula for stochastic iterative applications
auteur
Yishu Du, Loris Marchal, Guillaume Pallez, Yves Robert
article
ICPP 2020 - 49th International Conference on Parallel Processing, Aug 2020, Edmonton / Virtual, Canada. pp.1-11, ⟨10.1145/3404397.3404418⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03024618/file/icpp20-170.pdf BibTex
titre
Energy-aware strategies for reliability-oriented real-time task allocation on heterogeneous platforms
auteur
Li Han, Yiqin Gao, Jing Liu, Yves Robert, Frédéric Vivien
article
ICPP 2020 - 49th International Conference on Parallel Processing, Aug 2020, Edmonton Alberta, Canada. pp.1-11, ⟨10.1145/3404397.3404419⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02977879/file/icpp4hal.pdf BibTex
titre
Testing Balanced Splitting Cycles in Complete Triangulations
auteur
Vincent Despré, Michaël Rao, Stéphan Thomassé
article
Canadian Conference on Computational Geometry (CCCG 2020), Aug 2020, Saskatchewan/Online, Canada. ⟨10.4230/LIPIcs⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03059811/file/DespreSplitting.pdf BibTex
titre
Signatures of Knowledge for Boolean Circuits under Standard Assumptions (Full version)
auteur
Karim Baghery, Alonso González, Zaira Pindado, Carla Ràfols
article
AFRICACRYPT 2020 - 12th International Conference on Cryptology in Africa, Jul 2020, Cairo / Virtual, Egypt. pp.24-44, ⟨10.1007/978-3-030-51938-4_2⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03118271/file/2020-1189.pdf BibTex
titre
Best Arm Identification in Spectral Bandits
auteur
Tomáš Kocák, Aurélien Garivier
article
IJCAI, Jul 2020, Yokohama, Japan
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02552568/file/paper.pdf BibTex
titre
On optimizing scalar self-rebalancing trees
auteur
Paul Iannetta, Laure Gonnord, Lionel Morel
article
COMPAS 2020 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Jun 2020, Lyon, France. pp.1-7
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03048742/file/iannetta.2020.compas.pdf BibTex
titre
Super Exponentials in Linear Logic
auteur
Esaïe Bauer, Olivier Laurent
article
Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Jun 2020, Paris, France. pp.50-73, ⟨10.4204/EPTCS.353.3⟩
Accès au bibtex
BibTex
titre
Fine-Grained Fault Tolerance For Resilient pVM-based Virtual Machine Monitors
auteur
Djob Mvondo, Alain Tchana, Renaud Lachaize, Daniel Hagimont, Noel de Palma
article
DSN 2020 - 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2020, Valencia, France. pp.197-208, ⟨10.1109/DSN48063.2020.00037⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02959252/file/final_dsn_paper.pdf BibTex
titre
Continuous dictionaries meet low-rank tensor approximations
auteur
Clément Elvira, Jérémy E Cohen, Cédric Herzet, Rémi Gribonval
article
iTwist 2020 - International Traveling Workshop on Interactions between low-complexity data models and Sensing Techniques, Jun 2020, Nantes, France. pp.1-3
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02567115/file/itwist20_paper.pdf BibTex
titre
Analytical study of frame aggregation level to infer IEEE 802.11 network load
auteur
Nour El Houda Bouzouita, Anthony Busson, Hervé Rivano
article
IWCMC 2020 - 16th International Wireless Communications and Mobile Computing, Jun 2020, Limassol, Cyprus. pp.952-957, ⟨10.1109/IWCMC48107.2020.9148448⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02925958/file/IWCMC_2020.pdf BibTex
titre
Tight Approximation Bounds for Maximum Multi-Coverage
auteur
Siddharth Barman, Omar Fawzi, Emirhan Gürpinar, Suprovat Ghoshal
article
IPCO 2020, Jun 2020, London, United Kingdom. ⟨10.1007/978-3-030-45771-6_6⟩
Accès au bibtex
https://arxiv.org/pdf/1905.00640 BibTex
titre
Alternative Split Functions and Dekker's Product
auteur
Stef Graillat, Vincent Lefèvre, Jean-Michel Muller
article
ARITH-2020 - IEEE 27th Symposium on Computer Arithmetic, Jun 2020, Portland, United States. pp.1-7, ⟨10.1109/ARITH48897.2020.00015⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02470782/file/SplitDirectedRoundings.pdf BibTex
titre
Algorithms for manipulating quaternions in floating-point arithmetic
auteur
Mioara Joldeş, Jean-Michel Muller
article
ARITH-2020 - IEEE 27th Symposium on Computer Arithmetic, Jun 2020, Portland, United States. pp.1-8, ⟨10.1109/ARITH48897.2020.00016⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02470766/file/quaternions.pdf BibTex
titre
Learning with minibatch Wasserstein : asymptotic and gradient properties
auteur
Kilian Fatras, Younes Zine, Rémi Flamary, Rémi Gribonval, Nicolas Courty
article
AISTATS 2020 - 23nd International Conference on Artificial Intelligence and Statistics, Jun 2020, Palermo, Italy. pp.1-20
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02502329/file/mbot_arxiv.pdf BibTex
titre
Bandwidth-Efficient Threshold EC-DSA
auteur
Guilhem Castagnos, Dario Catalano, Fabien Laguillaumie, Federico Savasta, Ida Tucker
article
PKC 2020 - 23rd IACR International Conference on Practice and Theory of Public-Key Cryptography, Jun 2020, Edinburgh / Virtual, United Kingdom. pp.266-296, ⟨10.1007/978-3-030-45388-6_10⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02944825/file/PKC20_mpECDSA_extended.pdf BibTex
titre
Adaptive Simulation Security for Inner Product Functional Encryption
auteur
Shweta Agrawal, Benoît Libert, Monosij Maitra, Radu Titiu
article
PKC 2020 - International Conference on Public Key Cryptography, Jun 2020, Virtual, United Kingdom. pp.1-30
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02993611/file/IPFE-sim.pdf BibTex
titre
Tiled Algorithms for Efficient Task-Parallel H-Matrix Solvers
auteur
Rocío Carratalá-Sáez, Mathieu Faverge, Grégoire Pichon, Guillaume Sylvand, Enrique S Quintana-Ortí
article
PDSEC 2020 - 21st IEEE International Workshop on Parallel and Distributed Scientific and Engineering Computing, May 2020, News Orleans, United States. pp.1-10
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02513433/file/paper_final.pdf BibTex
titre
Reservation and Checkpointing Strategies for Stochastic Jobs
auteur
Ana Gainaru, Brice Goglin, Valentin Honoré, Guillaume Pallez, Padma Raghavan, Yves Robert, Hongyang Sun
article
IPDPS 2020 - 34th IEEE International Parallel and Distributed Processing Symposium, May 2020, New Orleans, LA / Virtual, United States. pp.1-26
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03029298/file/ipdps-hal.pdf BibTex
titre
Revisiting dynamic DAG scheduling under memory constraints for shared-memory platforms
auteur
Gabriel Bathie, Loris Marchal, Yves Robert, Samuel Thibault
article
IPDPS - 2020 - IEEE International Parallel and Distributed Processing Symposium Workshops, May 2020, New Orleans / Virtual, United States. pp.1-10, ⟨10.1109/IPDPSW50202.2020.00102⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03024626/file/apdcm.pdf BibTex
titre
Design and Comparison of Resilient Scheduling Heuristics for Parallel Jobs
auteur
Anne Benoit, Valentin Le Fèvre, Padma Raghavan, Yves Robert, Hongyang Sun
article
APDCM 2020 - Workshop on Advances in Parallel and Distributed Computational Models (colocated with IPDPS), May 2020, New Orleans, LA, United States. pp.1-27
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03029842/file/rigid_apdcm_hal.pdf BibTex
titre
Predictable Efficiency for Reconfiguration of Service-Oriented Systems with Concerto
auteur
Maverick Chardet, Hélène Coullon, Christian Pérez
article
CCGrid 2020 : 20th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing, May 2020, Melbourne, Australia. ⟨10.1109/CCGrid49817.2020.00-59⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02535077/file/main.pdf BibTex
titre
New Constructions of Statistical NIZKs: Dual-Mode DV-NIZKs and More
auteur
Benoît Libert, Alain Passelègue, Hoeteck Wee, David J Wu
article
Eurocrypt 2020 - 39th Annual International Conference on the Theory and Applications of Cryptographic Techniques, May 2020, Zagreb / Virtual, Croatia. pp.1-85
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02993608/file/DV-NIZK.pdf BibTex
titre
Adaptively Secure ABE for DFA from k-Lin and More
auteur
Junqing Gong, Hoeteck Wee
article
EUROCRYPT 2020 - 9th Annual International Conference on the Theory and Applications of Cryptographic Techniques, May 2020, Zagreb / Virtual, Croatia. pp.278-308, ⟨10.1007/978-3-030-45727-3_10⟩
Accès au bibtex
BibTex
titre
Regularized Partial Phase Synchrony Index Applied to Dynamical Functional Connectivity Estimation
auteur
Gaetan Frusque, Julien Jung, Pierre Borgnat, Paulo Gonçalves
article
ICASSP 2020 - IEEE International Conference on Acoustic Speech and Signal Processing, May 2020, Barcelona, Spain. pp.1-5
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02459821/file/Frusque.icassp2020.pdf BibTex
titre
Fast Optical System Identification by Numerical Interferometry
auteur
Sidharth Gupta, Rémi Gribonval, Laurent Daudet, Ivan Dokmanić
article
ICASSP 2020 - IEEE International Conference on Acoustic Speech and Signal Processing, May 2020, Barcelone, Spain. pp.1-5
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02480027/file/ICASSP_2020_OPU.pdf BibTex
titre
BLASTER: An Off-Grid Method for Blind and Regularized Acoustic Echoes Retrieval -- with supplementary material
auteur
Diego Di Carlo, Clément Elvira, Antoine Deleforge, Nancy Bertin, Rémi Gribonval
article
ICASSP 2020 - IEEE International Conference on Acoustic Speech and Signal Processing, IEEE, May 2020, Barcelona, Spain
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02469901/file/icassp2020_compMat.pdf BibTex
titre
And the Bit Goes Down: Revisiting the Quantization of Neural Networks
auteur
Pierre Stock, Armand Joulin, Rémi Gribonval, Benjamin Graham, Hervé Jégou
article
ICLR 2020 - Eighth International Conference on Learning Representations, Apr 2020, Addis-Abeba, Ethiopia. pp.1-11
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02434572/file/1907.05686%20%281%29.pdf BibTex
titre
Distributed futures for efficient data transfer between parallel processes
auteur
Pierre Leca, Wijnand Suijlen, Ludovic Henrio, Françoise Baude
article
SAC 2020 - 35th ACM/SIGAPP Symposium On Applied Computing, Mar 2020, Brno, Czech Republic. ⟨10.1145/3341105.3374104⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02417953/file/2020-sac-short-final.pdf BibTex
titre
XKBlas: a High Performance Implementation of BLAS-3 Kernels on Multi-GPU Server
auteur
Thierry Gautier, Joao Vicente Ferreira Lima
article
PDP 2020 - 28th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Mar 2020, Västerås, Sweden. pp.1-8, ⟨10.1109/PDP50117.2020.00008⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03121583/file/pdp2020.pdf BibTex
titre
Maximum Matchings in Geometric Intersection Graphs
auteur
Edouard Bonnet, Sergio Cabello, Wolfgang Mulzer
article
STACS 2020, Mar 2020, Montpellier, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03015025/file/LIPIcs-STACS-2020-31.pdf BibTex
titre
Scaling Up the Memory Interference Analysis for Hard Real-Time Many-Core Systems
auteur
Maximilien Dupont de Dinechin, Matheus Schuh, Matthieu Moy, Claire Maïza
article
DATE 2020 - Design, Automation and Test in Europe Conference, Mar 2020, Grenoble, France. pp.1-4
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02431273/file/mia-date-2020.pdf BibTex
titre
Improved energy-aware strategies for periodic real-time tasks under reliability constraints
auteur
Li Han, Louis-Claude Canon, Jing Liu, Yves Robert, Frédéric Vivien
article
RTSS 2019 - 40th IEEE Real-Time Systems Symposium, Feb 2020, York, United Kingdom. pp.1-13
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02271704/file/RTSS_FinalVersion.pdf BibTex
titre
Overlaying a hypergraph with a graph with bounded maximum degree
auteur
Frédéric Havet, Dorian Mazauric, Viet-Ha Nguyen, Rémi Watrigant
article
CALDAM 2020 - 6th Annual International Conference on Algorithms and Discrete Applied Mathematics, Feb 2020, Hyderabad, India
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03035849/file/CALDAM-12pages.pdf BibTex
titre
Exploiting Generic Tiled Algorithms Toward Scalable H-Matrices Factorizations on Top of Runtime Systems
auteur
Rocío Carratalá-Sáez, Mathieu Faverge, Grégoire Pichon, Enrique Salvador Quintana-Ortí, Guillaume Sylvand
article
SIAM PP20 - SIAM Conference on Parallel Processing for Scientific Computing, Feb 2020, Seattle, United States
Accès au bibtex
BibTex
titre
Matrix symmetrization and sparse direct solvers
auteur
Raluca Portase, Bora Uçar
article
CSC 2020 - SIAM Workshop on Combinatorial Scientific Computing, Feb 2020, Seattle, United States. pp.1-10
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02417778/file/rpbucsc20.pdf BibTex
titre
Farkas Lemma made easy
auteur
Christophe Alias
article
10th International Workshop on Polyhedral Compilation Techniques (IMPACT 2020), Jan 2020, Bologna, Italy. pp.1-6
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02422033/file/final.pdf BibTex
titre
Completeness of an Axiomatization of Graph Isomorphism via Graph Rewriting in Coq
auteur
Christian Doczkal, Damien Pous
article
CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2020, New Orleans, LA, United States. ⟨10.1145/3372885.3373831⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02333553/file/coq-2pdom%20%281%29.pdf BibTex
titre
Standard-compliant Parallel SystemC simulation of Loosely-Timed Transaction Level Models
auteur
Gabriel Busnot, Tanguy Sassolas, Nicolas Ventroux, Matthieu Moy
article
ASP-DAC 2020 - 25th Asia and South Pacific Design Automation Conference, Jan 2020, Beijing, China. pp.1-6
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02416253/file/aspdac2019.pdf BibTex
titre
Karp-Sipser based kernels for bipartite graph matching
auteur
Kamer Kaya, Johannes Langguth, Ioannis Panagiotas, Bora Uçar
article
ALENEX20 - SIAM Symposium on Algorithm Engineering and Experiments, Jan 2020, Salt Lake City, Utah, United States. pp.1-12
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02350734/file/ks12.pdf BibTex
titre
Quasi-polynomial time approximation schemes for the Maximum Weight Independent Set Problem in H -free graphs
auteur
Maria Chudnovsky, Marcin Pilipczuk, Michał Pilipczuk, Stéphan Thomassé
article
SODA 2020, Jan 2020, Salt Lake City, United States. pp.2260-2278, ⟨10.1137/1.9781611975994.139⟩
Accès au bibtex
https://arxiv.org/pdf/1907.04585 BibTex
titre
Measure-Rewind-Measure: Tighter Quantum Random Oracle Model Proofs for One-Way to Hiding and CCA Security
auteur
Veronika Kuchta, Amin Sakzad, Damien Stehlé, Ron Steinfeld, Shi-Feng Sun
article
Eurocrypt, 2020, Zagreb, Croatia. pp.703-728, ⟨10.1007/978-3-030-45727-3_24⟩
Accès au bibtex
BibTex
titre
Non axiomatisability of positive relation algebras with constants, via graph homomorphisms
auteur
Amina Doumane, Damien Pous
article
CONCUR, 2020, Vienne, Austria. pp.1-23, ⟨10.4230/LIPIcs.CONCUR.2020.49⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02870687/file/topone.pdf BibTex
titre
MPSign: A Signature from Small-Secret Middle-Product Learning with Errors
auteur
Shi Bai, Dipayan Das, Ryo Hiromasa, Miruna Rosca, Amin Sakzad, Damien Stehlé, Ron Steinfeld, Zhenfei Zhang
article
PKC, 2020, Edimburgh, United Kingdom. pp.66-93, ⟨10.1007/978-3-030-45388-6_3⟩
Accès au bibtex
BibTex
titre
Domino Problem Under Horizontal Constraints
auteur
Nathalie Aubrun, Mathieu Sablik, Julien Esnay
article
STACS 2020 37th International Symposium on Theoretical Aspects of Computer Science, 2020, Montpellier, France. ⟨10.4230/LIPIcs.STACS.2020.26⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02380657/file/LIPIcs-STACS-2020-26%20%281%29.pdf BibTex
titre
Faster Enumeration-Based Lattice Reduction: Root Hermite Factor $k^{1/(2k)}$ Time $k^{k/8+o(k)}$
auteur
Martin Albrecht, Shi Bai, Pierre-Alain Fouque, Paul Kirchner, Damien Stehlé, Weiqiang Wen
article
Crypto, 2020, Santa Barbara, United States. pp.186-212, ⟨10.1007/978-3-030-56880-1_7⟩
Accès au bibtex
BibTex
titre
ModFalcon: Compact Signatures Based On Module-NTRU Lattices
auteur
Chitchanok Chuengsatiansup, Thomas Prest, Damien Stehlé, Alexandre Wallet, Keita Xagawa
article
ASIA-CCS, 2020, Taipei, France. pp.853-866, ⟨10.1145/3320269.3384758⟩
Accès au bibtex
BibTex

Book sections

titre
Radio channel access challenges in LoRa low-power wide-area networks
auteur
Cong-Duc Pham, Ahcène Bounceur, Laurent Clavier, Umber Noreen, Muhammad Ehsan
article
LPWAN Technologies for IoT and M2M Applications, Elsevier, pp.65-102, 2020, ⟨10.1016/B978-0-12-818880-4.00004-1⟩
Accès au bibtex
BibTex
titre
Influence of the Condition Number on Interval Computations: Illustration on Some Examples
auteur
Nathalie Revol
article
O. Kosheleva, S.P. Shary, G. Xiang, R. Zaparin. Beyond Traditional Probabilistic Data Processing Techniques: Interval, Fuzzy etc. Methods and Their Applications, 835, Springer, pp.359--373, 2020, Studies in Computational Intelligence, 978-3-030-31041-7. ⟨10.1007/978-3-030-31041-7_20⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01588713/file/NRevol.pdf BibTex

Master thesis

titre
Identifiability in matrix sparse factorization
auteur
Léon Zheng
article
General Mathematics [math.GM]. 2020
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03176050/file/Zheng_Internship_report.pdf BibTex
titre
Multilayer Sparse Matrix Factorization
auteur
Quoc-Tung Le
article
Computer Science [cs]. 2020
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03130680/file/FinalReport.pdf BibTex

Reports

titre
Budget-aware workflow scheduling with DIET
auteur
Aurélie Kong Win Chang, Yves Caniou, Eddy Caron, Yves Robert
article
[Research Report] RR-9381, Inria Grenoble Rhône-Alpes. 2020
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03080468/file/RR-9381.pdf BibTex
titre
Resource-Constrained Scheduling of Stochastic Tasks With Unknown Probability Distribution
auteur
Yiqin Gao, Yves Robert, Frédéric Vivien
article
[Research Report] RR-9373, Inria - Research Centre Grenoble – Rhône-Alpes. 2020
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02989801/file/rr9373.pdf BibTex
titre
Trading Performance for Memory in Sparse Direct Solvers using Low-rank Compression
auteur
Loris Marchal, Thibault Marette, Grégoire Pichon, Frédéric Vivien
article
[Research Report] RR-9368, INRIA. 2020
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02976233/file/RR-9368.pdf BibTex
titre
Max-stretch minimization on an edge-cloud platform
auteur
Anne Benoit, Redouane Elghazi, Yves Robert
article
[Research Report] RR-9369, Inria - Research Centre Grenoble – Rhône-Alpes. 2020, pp.37
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02972296/file/RR9369.pdf BibTex
titre
Distributed-memory multi-GPU block-sparse tensor contraction for electronic structure (revised version)
auteur
Thomas Herault, Yves Robert, George Bosilca, Robert J Harrison, Cannada A Lewis, Edward F Valeev, Jack J Dongarra
article
[Research Report] RR-9365, Inria - Research Centre Grenoble – Rhône-Alpes. 2020, pp.34
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02970659/file/rr9365.pdf BibTex
titre
Optimal Checkpointing Strategies for Iterative Applications
auteur
Yishu Du, Loris Marchal, Guillaume Pallez, Yves Robert
article
[Research Report] RR-9371, Inria - Research Centre Grenoble – Rhône-Alpes. 2020
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02980455/file/rr9371.pdf BibTex
titre
Distributed-memory multi-GPU block-sparse tensor contraction for electronic structure
auteur
Thomas Herault, Yves Robert, George Bosilca, Robert Harrison, Cannada A Lewis, Edward F Valeev
article
[Research Report] RR-9353, Inria - Research Centre Grenoble – Rhône-Alpes. 2020
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02872813/file/rr9353.pdf BibTex
titre
A comparison of several fault-tolerance methods for the detection and correction of floating-point errors in matrix-matrix multiplication
auteur
Valentin Le Fèvre, Thomas Herault, Julien Langou, Yves Robert
article
[Research Report] RR-9351, Inria - Research Centre Grenoble – Rhône-Alpes. 2020
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02867859/file/rr9351.pdf BibTex
titre
Reliable and energy-aware mapping of streaming series-parallel applications onto hierarchical platforms
auteur
Changjiang Gou, Anne Benoit, Mingsong Chen, Loris Marchal, Tongquan Wei
article
[Research Report] RR-9346, INRIA. 2020
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02859980/file/main.pdf BibTex
titre
An efficient algorithm to estimate Covid-19 infectiousness risk from BLE-RSSI measurements
auteur
Jean-Marie S Gorce, Malcolm Egan, Rémi Gribonval
article
[Research Report] RR-9345, Inria Grenoble Rhône-Alpes. 2020
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02641630/file/RR-9345.pdf BibTex
titre
Termination of Ethereum's Smart Contracts
auteur
Thomas Genet, Thomas Jensen, Justine Sauvage
article
[Research Report] Univ Rennes, Inria, CNRS, IRISA. 2020
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02555738/file/reportInria.pdf BibTex
titre
Energy-aware strategies for reliability-oriented real-time task allocation on heterogeneous platforms
auteur
Li Han, Yiqin Gao, Jing Liu, Yves Robert, Frédéric Vivien
article
[Research Report] RR-9324, Univ Lyon, EnsL, UCBL, CNRS, Inria, LIP. 2020
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02500381/file/rr92324.pdf BibTex
titre
Robustness of the Young/Daly formula for stochastic iterative applications
auteur
Yishu Du, Loris Marchal, Guillaume Pallez, Yves Robert
article
[Research Report] RR-9332, Inria Grenoble Rhône-Alpes. 2020
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02514107/file/rr9332.pdf BibTex
titre
Tiled Algorithms for Efficient Task-Parallel H-Matrix Solvers
auteur
Rocío Carratalá-Sáez, Mathieu Faverge, Grégoire Pichon, Guillaume Sylvand, Enrique S Quintana-Ortí
article
[Research Report] RR-9327, Inria. 2020
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02489269/file/RR-9327.pdf BibTex
titre
Revisiting dynamic DAG scheduling under memory constraints for shared-memory platforms
auteur
Gabriel Bathie, Loris Marchal, Yves Robert, Samuel Thibault
article
[Research Report] RR-9323, Inria. 2020
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02488399/file/rr9323.pdf BibTex
titre
Improving mapping for sparse direct solvers: A trade-off between data locality and load balancing
auteur
Changjiang Gou, Ali Al Zoobi, Anne Benoit, Mathieu Faverge, Loris Marchal, Grégoire Pichon, Pierre Ramet
article
[Research Report] RR-9328, Inria Rhône-Alpes. 2020, pp.21
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02491495/file/rr9328.pdf BibTex
titre
On optimizing scalar self-rebalancing trees
auteur
Paul Iannetta, Laure Gonnord, Lionel Morel
article
[Research Report] RR-9343, ENS LYON; Inria - Research Centre Grenoble – Rhône-Alpes; Université de Lyon I Claude Bernard. 2020
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02573052/file/RR-9343.pdf BibTex
titre
How to use the past to face the future?
auteur
Etienne Mauffret, Flavien Vernier, Sébastien Monnet
article
[Research Report] LISTIC. 2020
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02945953/file/nca2020.pdf BibTex

Software

titre
Fut on Flow
auteur
Hadrien Renaud
article
2020, ⟨swh:1:dir:409184eb3c27c62e3ff996e1b1a7baf41c5b3153;origin=https://hal.archives-ouvertes.fr/hal-02908763;visit=swh:1:snp:9a972df7a9a7d45584256fc0722e03a27d211154;anchor=swh:1:rev:fc074c0539a309fefc4d51c77f5816bc054a5fd6;path=/⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02908763/file/fut-on-flow.1.zip BibTex

Theses

titre
Parallel Standard-Compliant SystemC Simulation of Loosely-Timed Transaction Level Models
auteur
Gabriel Busnot
article
Computation and Language [cs.CL]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSE1315⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-03364390/file/TH2020BUSNOTGABRIEL.pdf BibTex
titre
High-performance dense tensor and sparse matrix kernels for machine learning
auteur
Filip Igor Pawlowski
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEN081⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-03116812/file/PAWLOWSKI_Filip_2020LYSEN081_These.pdf BibTex
titre
Scheduling Solutions for Data Stream Processing Applications on Cloud-Edge Infrastructure
auteur
Felipe Rodrigo de Souza
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEN082⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-03122824/file/DE_SOUZA_Felipe_2020LYSEN082_These.pdf BibTex
titre
Inférence et décomposition modale de réseaux dynamiques en neurosciences
auteur
Gaëtan Frusque
article
Traitement du signal et de l'image [eess.SP]. Université de Lyon, 2020. Français. ⟨NNT : 2020LYSEN080⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-03125330/file/FRUSQUE_Gaetan_2020LYSEN080_These.pdf BibTex
titre
Reconciling parallelism expressivity and separation of concerns in reconfiguration of distributed systems
auteur
Maverick Chardet
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Ecole nationale supérieure Mines-Télécom Atlantique, 2020. English. ⟨NNT : 2020IMTA0194⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-03230476/file/2020IMTA0194_Chardet-Maverick.pdf BibTex
titre
Optimization of software license placement in the Cloud for economical and efficient deployment
auteur
Arthur Chevalier
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEN071⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-03099617/file/CHEVALIER_Arthur_2020LYSEN071_These.pdf BibTex
titre
On algebraic variants of Learning With Errors
auteur
Georgiana-Miruna Rosca
article
Cryptography and Security [cs.CR]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEN063⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-03085029/file/ROSCA_GM_2020LYSEN063_These_vc.pdf BibTex
titre
Functional encryption and distributed signatures based on projective hash functions, the benefit of class groups
auteur
Ida Tucker
article
Cryptography and Security [cs.CR]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEN054⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-03021689/file/TUCKER_Ida_2020LYSEN054_These.pdf BibTex
titre
New Encryption Schemes and Pseudo-Random Functions with Advanced Properties from Standard Assumptions
auteur
Radu Titiu
article
Cryptography and Security [cs.CR]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEN050⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-03116774/file/TITIU_Radu_2020LYSEN050_These.pdf BibTex
titre
On matchings and related problems in graphs, hypergraphs, and doubly stochastic matrices
auteur
Ioannis Panagiotas
article
Data Structures and Algorithms [cs.DS]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEN068⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-03011794/file/PANAGIOTAS_Ioannis_2020LYSEN068_These.pdf BibTex
titre
Quantum Game Semantics
auteur
Marc de Visme
article
Logic in Computer Science [cs.LO]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEN056⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-03045844/file/DE_VISME_Marc_2020LYSEN056_These.pdf BibTex
titre
Task Mapping and Load-balancing for Performance, Memory, Reliability and Energy
auteur
Changjiang Gou
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lyon; East China normal university (Shanghai), 2020. English. ⟨NNT : 2020LYSEN047⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-03064581/file/GOU_Ch_2020LYSEN047_These.pdf BibTex
titre
Around the Domino Problem - Combinatorial Structures and Algebraic Tools
auteur
Etienne Moutot
article
Discrete Mathematics [cs.DM]. Université de Lyon; Turun yliopisto, 2020. English. ⟨NNT : 2020LYSEN027⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-02967024/file/MOUTOT_Etienne_2020LYSEN027_These.pdf BibTex
titre
Knowledge representation and curation in hierarchies of graphs
auteur
Ievgeniia Oshurko
article
Artificial Intelligence [cs.AI]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEN024⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-02917559/file/OSHURKO_Ievgeniia_2020LYSEN024_These.pdf BibTex
titre
Some proof-theoretical approaches to Monadic Second-Order logic
auteur
Pierre Pradic
article
Logic in Computer Science [cs.LO]. Université de Lyon; Uniwersytet Warszawski. Wydział Matematyki, Informatyki i Mechanik, 2020. English. ⟨NNT : 2020LYSEN028⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-02954006/file/PRADIC_Pierre_2020LYSEN028_These.pdf BibTex
titre
Resilient scheduling algorithms for large-scale platforms
auteur
Valentin Le Fèvre
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEN019⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-02947051/file/LE_FEVRE_Valentin_2020LYSEN019_These.pdf BibTex
titre
Unique solution techniques for processes and functions
auteur
Adrien Durier
article
Programming Languages [cs.PL]. Université de Lyon; Università degli studi (Bologne, Italie), 2020. English. ⟨NNT : 2020LYSEN016⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-02947048/file/DURIER_2020LYSEN016_these.pdf BibTex
titre
Fault-tolerant and energy-aware algorithms for workflows and real-time systems
auteur
Li Han
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lyon; East China normal university (Shanghai), 2020. English. ⟨NNT : 2020LYSEN013⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-02713064/file/HAN_Li_2020LYSEN013_These.pdf BibTex
titre
Contagion à effet de seuil dans les réseaux complexes
auteur
Samuel Lee Unicomb
article
Networking and Internet Architecture [cs.NI]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEN003⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-02455070/file/UNICOMB_Samuel_2020LYSEN003_These.pdf BibTex
titre
Computational detection of socioeconomic inequalities
auteur
Jacobo Levy Abitbol
article
Artificial Intelligence [cs.AI]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEN001⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-02459170/file/LEVY_ABITBOL_J_2020LYSEN001_These.pdf BibTex

Preprints, Working Papers, ...

titre
A class of graphs with large rankwidth
auteur
Chính T Hoàng, Nicolas Trotignon
article
2020
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03029483/file/carousels-2020-08-29.pdf BibTex
titre
A functional (Monadic) second-order theory of infinite trees
auteur
Anupam Das, Colin Riba
article
2020
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02067267/file/fsomso.pdf BibTex
titre
Extensive Infinite Games and Escalation, an exercice in Agda
auteur
Pierre Lescanne
article
2020
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02874762/file/Games_in_Agda.pdf BibTex
titre
Learning to Count up to Symmetry
auteur
Pierre Clairambault
article
2020
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02861005/file/counting.pdf BibTex
titre
Enhancing Separation of Concerns, Parallelism, and Formalism in Distributed Software Deployment with Madeus
auteur
Maverick Chardet, Hélène Coullon, Christian Pérez, Dimitri Pertin, Charlène Servantie, Simon Robillard
article
2020
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02737859/file/main.pdf BibTex
titre
Graphiques Covid-19 avec leurs commentaires quotidiennement mis à jour
auteur
Éric Guichard
article
2020
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02559711/file/Graphes-Covid19-Jeu-30-avr-2020-a-heure11.pdf BibTex