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

2017

Journal articles

titre
Max K-Armed Bandit: On the ExtremeHunter Algorithm and Beyond
auteur
Mastane Achab, Stéphan Clémençon, Aurélien Garivier, Anne Sabourin, Claire Vernade
article
Machine Learning and Knowledge Discovery in Databases ECML PKDD 2017, 2017, pp.389-404
Accès au bibtex
BibTex
titre
Linearity in higher-order recursion schemes
auteur
Pierre Clairambault, Charles Grellois, Andrzej Murawski
article
Proceedings of the ACM on Programming Languages, ACM, 2017, 2, pp.1 - 29. ⟨10.1145/3158127⟩
Accès au bibtex
BibTex
titre
Disjoint cycles of different lengths in graphs and digraphs
auteur
Julien Bensmail, Ararat Harutyunyan, Ngoc Khang Le, Binlong Li, Nicolas Lichiardopol
article
The Electronic Journal of Combinatorics, Open Journal Systems, 2017, 24 (4)
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01653334/file/distinct-lengths.pdf BibTex
titre
Combinatorics of lambda-terms: a natural approach
auteur
Pierre Lescanne, Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc
article
J. Log. Comput., Oxford Academic, 2017
Accès au bibtex
BibTex
titre
Optimizing Affine Control with Semantic Factorizations
auteur
Christophe Alias, Alexandru Plesco
article
ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2017, 14 (4), pp.27
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01470873/file/RR-9034.pdf BibTex
titre
Designing and Building SDN Testbeds for Energy-Aware Traffic Engineering Services
auteur
Marcos Dias de Assuncao, Radu Carpa, Laurent Lefèvre, Olivier Glück, Piotr Borylo, Artur Lason, Andrzej Szymanski, Michal Rzepka
article
Photonic Network Communications, Springer Verlag, 2017, 34 (3), pp.396--410. ⟨10.1007/s11107-017-0709-9⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01539656/file/paper.pdf BibTex
titre
On variational expressions for quantum relative entropies
auteur
Mario Berta, Omar Fawzi, Marco Tomamichel
article
Letters in Mathematical Physics, Springer Verlag, 2017, 107 (12), pp.2239-2265
Accès au bibtex
BibTex
titre
Hardness of k-LWE and Applications in Traitor Tracing
auteur
San Ling, Duong Hieu Phan, Damien Stehlé, Ron Steinfeld
article
Algorithmica, Springer Verlag, 2017, 79 (4), pp.1318 - 1352. ⟨10.1007/s00453-016-0251-7⟩
Accès au bibtex
BibTex
titre
Modeling cascade formation in Twitter amidst mentions and retweets
auteur
Soumajit Pramanik, Qinna Wang, Maximilien Danisch, Jean-Loup Guillaume, Bivas Mitra
article
Social Network Analysis and Mining, Springer, 2017, 7 (1), ⟨10.1007/s13278-017-0462-1⟩
Accès au bibtex
BibTex
titre
Undecidability of Equality in the Free Locally Cartesian Closed Category (Extended Version)
auteur
Simon Castellan, Pierre Clairambault, Peter Dybjer
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2017, ⟨10.23638/LMCS-13(4:22)2017⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01579415/file/lmcs-2017.pdf BibTex
titre
Extensibility and Composability of a Multi-Stencil Domain Specific Framework
auteur
Hélène Coullon, Julien Bigot, Christian Pérez
article
International Journal of Parallel Programming, Springer Verlag, 2017, ⟨10.1007/s10766-017-0539-5⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01650998/file/article.pdf BibTex
titre
Detecting an induced subdivision of K4
auteur
Ngoc Khang Le
article
Electronic Notes in Discrete Mathematics, Elsevier, 2017, 62, pp.315-320
Accès au bibtex
BibTex
titre
Chromatic Number of ISK4-Free Graphs
auteur
Ngoc Khang Le
article
Graphs and Combinatorics, Springer Verlag, 2017, 33 (6), pp.1635-1646
Accès au bibtex
BibTex
titre
Möbius Stanchion Systems
auteur
Lucas Isenmann, Timothée Pecatte
article
Electronic Notes in Discrete Mathematics, Elsevier, 2017, 62, pp.177-182. ⟨10.1016/j.endm.2017.10.031⟩
Accès au bibtex
BibTex
titre
Avoidability of Formulas with Two Variables
auteur
Pascal Ochem, Matthieu Rosenfeld
article
The Electronic Journal of Combinatorics, Open Journal Systems, 2017, 24 (4), pp.#P4.30
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01897592/file/6536-22614-1-PB.pdf BibTex
titre
Fast Computation of the Rank Profile Matrix and the Generalized Bruhat Decomposition
auteur
Jean-Guillaume Dumas, Clément Pernet, Ziad Sultan
article
Journal of Symbolic Computation, Elsevier, 2017, Special issue on ISSAC'15, 83, pp.187-210. ⟨10.1016/j.jsc.2016.11.011⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01251223/file/elu_jsc_final.pdf BibTex
titre
Computing minimal interpolation bases
auteur
Claude-Pierre Jeannerod, Vincent Neiger, Eric Schost, Gilles Villard
article
Journal of Symbolic Computation, Elsevier, 2017, 83, pp.272--314. ⟨10.1016/j.jsc.2016.11.015⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01241781/file/MinimalInterpolationBasis.pdf BibTex
titre
Measure properties of regular sets of trees
auteur
Tomasz Gogacz, Henryk Michalewski, Matteo Mio, Michał Skrzypczak
article
Information and Computation, Elsevier, 2017, 256, pp.108 - 130. ⟨10.1016/j.ic.2017.04.012⟩
Accès au bibtex
BibTex
titre
Ce que l'internet fait à l'écriture
auteur
Éric Guichard
article
La Revue Belge de Psychanalyse, Société Belge de Psychanalyse, 2017, Internet, l’écrit et les psychanalystes, 71, pp.1-7
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01672730/file/Guichard-Internet-Ecriture-2017-RBP.pdf BibTex
titre
Fast, deterministic computation of the Hermite normal form and determinant of a polynomial matrix
auteur
George Labahn, Vincent Neiger, Wei Zhou
article
Journal of Complexity, Elsevier, 2017, ⟨10.1016/j.jco.2017.03.003⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01345627/file/determinant_hermite_polmat.pdf BibTex
titre
Optimal focal length of primary mirrors in Fresnel linear collectors
auteur
Paola Boito, Roberto Grena
article
Solar Energy, Elsevier, 2017, 155, pp.1313 - 1318. ⟨10.1016/j.solener.2017.07.079⟩
Accès au bibtex
BibTex
titre
Games and Strategies as Event Structures
auteur
Simon Castellan, Pierre Clairambault, Silvain Rideau, Glynn Winskel
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2017, ⟨10.23638/LMCS-13(3:35)2017⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01302713/file/main.pdf BibTex
titre
Petri Automata
auteur
Paul Brunet, Damien Pous
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2017, 13 (3), pp.1-50. ⟨10.23638/LMCS-13(3:33)2017⟩
Accès au bibtex
BibTex
titre
On the Complexity of the Block Low-Rank Multifrontal Factorization
auteur
Patrick Amestoy, Alfredo Buttari, Jean-Yves l'Excellent, Théo Mary
article
SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2017, 39 (4), pp.34. ⟨10.1137/16M1077192⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01322230/file/SISC17.pdf BibTex
titre
A failure detector for HPC platforms
auteur
George Bosilca, Aurelien Bouteiller, Amina Guermouche, Thomas Herault, Yves Robert, Pierre Sens, Jack Dongarra
article
International Journal of High Performance Computing Applications, SAGE Publications, 2017, 32 (1), pp.139-158. ⟨10.1177/1094342017711505⟩
Accès au bibtex
BibTex
titre
k-Abelian Equivalence and Rationality
auteur
Julien Cassaigne, Juhani Karhumäki, Svetlana Puzynina, Markus Whiteland
article
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2017, 154 (1-4), pp.65-94. ⟨10.3233/FI-2017-1553⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03566907/file/kabrat.pdf BibTex
titre
Simulating MPI applications: the SMPI approach
auteur
Augustin Degomme, Arnaud Legrand, Georges Markomanolis, Martin Quinson, Mark Stillwell, Frédéric Suter
article
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2017, 28 (8), pp.14. ⟨10.1109/TPDS.2017.2669305⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01415484/file/smpi_article.pdf BibTex
titre
Inria: From Cold War Computing to Digital Sciences
auteur
Pascal Guitton, Philippe Nain, François X. Sillion
article
Computer, IEEE Computer Society, 2017, 50 (8), pp.8-12. ⟨10.1109/MC.2017.3001238⟩
Accès au bibtex
BibTex
titre
Focusing in Orthologic
auteur
Olivier Laurent
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2017, 13 (3), pp.6. ⟨10.23638/LMCS-13(3:6)2017⟩
Accès au bibtex
BibTex
titre
A Real QZ Algorithm for Structured Companion Pencils
auteur
Paola Boito, Yuli Eidelman, Luca Gemignani
article
Calcolo, Springer Verlag, 2017, ⟨10.1007/s10092-017-0231-6⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01407864/file/RealQZ.pdf BibTex
titre
Towards Optimal Multi-Level Checkpointing
auteur
Anne Benoit, Aurélien Cavelan, Valentin Le Fèvre, Yves Robert, Hongyang Sun
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2017, 66 (7), pp.1212-1226. ⟨10.1109/TC.2016.2643660⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02082416/file/multilevel_failstop.pdf BibTex
titre
On the robustness of the 2Sum and Fast2Sum algorithms
auteur
Sylvie Boldo, Stef Graillat, Jean-Michel Muller
article
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2017, 44 (1)
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-01310023/file/FaithfulTwoSum-Final-Fev2017.pdf BibTex
titre
Controlling the Correlation of Cost Matrices to Assess Scheduling Algorithm Performance on Heterogeneous Platforms
auteur
Louis-Claude Canon, Pierre-Cyrille Héam, Laurent Philippe
article
Concurrency and Computation: Practice and Experience, Wiley, 2017, 29 (15), pp.e4185 (27). ⟨10.1002/cpe.4185⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01664629/file/ccpe17.pdf BibTex
titre
Nu@ge: A container-based cloud computing service federation
auteur
Daniel Balouek-Thomert, Eddy Caron, Pascal Gallard, Laurent Lefèvre
article
Concurrency and Computation: Practice and Experience, Wiley, 2017, 29 (11), ⟨10.1002/cpe.4049⟩
Accès au bibtex
BibTex
titre
Gender context effects in noun recognition: grammatical cues or co-occurrence effects?
auteur
Cindy Bellanger, Jean-Pierre Chevrot, Elsa Spinelli
article
Language, Cognition and Neuroscience, Taylor and Francis, 2017, 32 (9), pp.1204 - 1209. ⟨10.1080/23273798.2017.1335876⟩
Accès au bibtex
BibTex
titre
Improving fairness between close Wi-Fi access points
auteur
Bertrand Ducourthial, Stéphane Mottelet, Anthony Busson
article
Journal of Network and Computer Applications (JNCA), Elsevier, 2017, 87, pp.87-99. ⟨10.1016/j.jnca.2017.03.001⟩
Accès au bibtex
BibTex
titre
On the Heterogeneity Bias of Cost Matrices for Assessing Scheduling Algorithms
auteur
Louis-Claude Canon, Laurent Philippe
article
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2017, 28 (6), pp.1675 - 1688
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01664636/file/tpds16-1.pdf BibTex
titre
Large-scale 3D EM modeling with a Block Low-Rank multifrontal direct solver
auteur
Daniil Shantsev, Piyoosh Jaysaval, Sébastien de la Kethulle de Ryhove, Patrick Amestoy, Alfredo Buttari, Jean-Yves l'Excellent, Théo Mary
article
Geophysical Journal International, Oxford University Press (OUP), 2017, 209 (3), pp.1558-1571. ⟨10.1093/gji/ggx106⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01672952/file/shantsev_19065.pdf BibTex
titre
Spatio-temporal thermal-aware scheduling for homogeneous high-performance computing datacenters
auteur
Hongyang Sun, Patricia Stolf, Jean-Marc Pierson
article
Future Generation Computer Systems, Elsevier, 2017, 71, pp.157-170. ⟨10.1016/j.future.2017.02.005⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01740033/file/sun_18918.pdf BibTex
titre
Analogues of Cliques for (m,n)-colored Mixed Graphs
auteur
Julien Bensmail, Christopher Duffy, Sagnik Sen
article
Graphs and Combinatorics, Springer Verlag, 2017, 33 (4), pp.735-750. ⟨10.1007/s00373-017-1807-2⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01078218/file/BDS_May18.pdf BibTex
titre
Resilient co-scheduling of malleable applications
auteur
Anne Benoit, Loïc Pottier, Yves Robert
article
International Journal of High Performance Computing Applications, SAGE Publications, 2017, ⟨10.1177/1094342017704979⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01670153/file/ijhpca-resilient.pdf BibTex
titre
A Proof of the Barát–Thomassen Conjecture
auteur
Julien Bensmail, Ararat Harutyunyan, Tien-Nam Le, Martin Merker, Stéphan Thomassé
article
Journal of Combinatorial Theory, Series B, Elsevier, 2017, 124, pp.39 - 55. ⟨10.1016/j.jctb.2016.12.006⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01629943/file/RevisedVersion.pdf BibTex
titre
Safety Message Generation Rate Adaptation in LTE-based Vehicular Networks
auteur
Hossein Soleimani, Thomas Begin, Azzedine Boukerche
article
Computer Networks, Elsevier, 2017, pp.11. ⟨10.1016/j.comnet.2017.04.054⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01549606/file/v0.pdf BibTex
titre
Burstiness and tie activation strategies in time-varying social networks
auteur
Enrico Ubaldi, Alessandro Vezzani, Màrton Karsai, Nicola Perra, Raffaella Burioni
article
Scientific Reports, Nature Publishing Group, 2017, 7, ⟨10.1038/srep46225⟩
Accès au bibtex
BibTex
titre
Exponential sums and correctly-rounded functions
auteur
Nicolas Brisebarre, Guillaume Hanrot, Olivier Robert
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2017, 66 (12), pp.2044-2057. ⟨10.1109/TC.2017.2690850⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01396027/file/sommesexp-hal.pdf BibTex
titre
Quantum-Proof Randomness Extractors via Operator Space Theory
auteur
Mario Berta, Omar Fawzi, Volkher Scholz
article
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2017, 63 (4), pp.2480-2503
Accès au bibtex
BibTex
titre
Efficient maximum matching algorithms for trapezoid graphs
auteur
Phan-Thuan Do, Ngoc-Khang Le, Van-Thieu Vu
article
Electronic Journal of Graph Theory and Applications, 2017, 5 (1), pp.7-20
Accès au bibtex
BibTex
titre
Łukasiewicz μ-calculus
auteur
Matteo Mio, Alex Simpson
article
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2017, 150 (3-4), pp.317 - 346. ⟨10.3233/FI-2017-1472⟩
Accès au bibtex
BibTex
titre
The road to energy efficient optical access: GreenTouch final results
auteur
Sofie Lambert, Prasanth Ananth, Peter Vetter, Ka-Lun Lee, Jie Li, Xin Yin, Hungkei Chow, Jean-Patrick Gelas, Laurent Lefèvre, Dominique Chiaroni, Bart Lannoo, Mario Pickavet
article
Journal of Optical Communications and Networking, Piscataway, NJ ; Washington, DC : IEEE : Optical Society of America, 2017
Accès au bibtex
BibTex
titre
L'acquisition des liaisons après les clitiques préverbaux est-elle spécifique ? Apport d'une expérimentation à grande échelle
auteur
Céline Dugua, Aurélie Nardy, Loïc Liégeois, Jean-Pierre Chevrot, Damien Chabanal
article
Journal of French Language Studies, Cambridge University Press (CUP), 2017, La liaison en français contemporain: normes, usages, acquisitions, 27 (01), pp.73 - 86. ⟨10.1017/S0959269516000387⟩
Accès au bibtex
BibTex
titre
Renewable-aware Geographical Load Balancing of Web Applications for Sustainable Data Centers
auteur
Adel Nadjaran Toosi, Chenhao Qu, Marcos Dias de Assuncao, Rajkumar Buyya
article
Journal of Network and Computer Applications (JNCA), Elsevier, 2017, 83, pp.155-168. ⟨10.1016/j.jnca.2017.01.036⟩
Accès au bibtex
BibTex
titre
On a directed variation of the 1-2-3 and 1-2 Conjectures
auteur
Emma Barme, Julien Bensmail, Jakub Przybyło, Mariusz Woźniak
article
Discrete Applied Mathematics, Elsevier, 2017, 217 (2), pp.123-131
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01175756/file/luczak-v2.pdf BibTex
titre
Toward an Optimal Online Checkpoint Solution under a Two-Level HPC Checkpoint Model
auteur
Sheng Di, Yves Robert, Frédéric Vivien, Franck Cappello
article
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2017, 28 (1), pp.16. ⟨10.1109/TPDS.2016.2546248⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01353871/file/Optimize-Pattern-Ckpt.pdf BibTex
titre
On cardinalities of k-abelian equivalence classes
auteur
Juhani Karhumaki, Svetlana Puzynina, Michael Rao, Markus Whiteland
article
Theoretical Computer Science, Elsevier, 2017, 658, pp.190-204
Accès au bibtex
BibTex
titre
Colouring perfect graphs with bounded clique number
auteur
Maria Chudnovsky, Aurélie Lagoutte, Paul Seymour, Sophie Spirkl
article
Journal of Combinatorial Theory, Series B, Elsevier, 2017, 122, pp.757-775. ⟨10.1016/j.jctb.2016.09.006⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01561528/file/paper.pdf BibTex
titre
Improving the Performance of Challenged Networks with Controlled Mobility
auteur
Isabelle Guérin-Lassous, Laurent Reynaud
article
Mobile Networks and Applications, Springer Verlag, 2017
Accès au bibtex
BibTex
titre
A notion of effectiveness for subshifts on finitely generated groups
auteur
Nathalie Aubrun, Sebastián Barbieri, Mathieu Sablik
article
Theoretical Computer Science, Elsevier, 2017, 661, pp.35-55. ⟨10.1016/j.tcs.2016.11.033⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01970761/file/1412.2582%282%29.pdf BibTex
titre
A Polynomial Turing-Kernel for Weighted Independent Set in Bull-Free Graphs
auteur
Stéphan Thomassé, Nicolas Trotignon, Kristina Vušković
article
Algorithmica, Springer Verlag, 2017, 77 (3), pp.619 - 641. ⟨10.1007/s00453-015-0083-x⟩
Accès au bibtex
BibTex
titre
On rank-width of even-hole-free graphs
auteur
Isolde Adler, Ngoc Khang Le, Haiko Müller, Marko Radovanovic, Nicolas Trotignon, Kristina Vuskovic
article
Discrete Mathematics and Theoretical Computer Science, DMTCS, 2017, 19 (1)
Accès au bibtex
BibTex
titre
Equistarable Graphs and Counterexamples to Three Conjectures on Equistable Graphs
auteur
Martin Milanič, Nicolas Trotignon
article
Journal of Graph Theory, Wiley, 2017, 84 (3), pp.536 - 551. ⟨10.1002/jgt.22040⟩
Accès au bibtex
BibTex
titre
Lower Bounds by Birkhoff Interpolation
auteur
Ignacio Garcia-Marco, Pascal Koiran
article
Journal of Complexity, Elsevier, 2017
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-01172296/file/birkhoff.arxiv.pdf BibTex
titre
Graphs with No Induced Five-Vertex Path or Antipath
auteur
Maria Chudnovsky, Louis Esperet, Laetitia Lemoine, Peter Maceli, Frédéric Maffray, Irena Penev
article
Journal of Graph Theory, Wiley, 2017, 84 (3), pp.221-232. ⟨10.1002/jgt.22022⟩
Accès au bibtex
https://arxiv.org/pdf/1410.0871 BibTex
titre
On Triangle-Free Graphs That Do Not Contain a Subdivision of the Complete Graph on Four Vertices as an Induced Subgraph
auteur
Nicolas Trotignon, Kristina Vušković
article
Journal of Graph Theory, Wiley, 2017, 84 (3), pp.233 - 248. ⟨10.1002/jgt.22023⟩
Accès au bibtex
BibTex
titre
Rigorous Measurement of the Internet Degree Distribution
auteur
Matthieu Latapy, Elie Rotenberg, Christophe Crespelle, Fabien Tarissan
article
Complex Systems , Complex Systems Publications, Inc., 2017, 26 (1)
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01500371/file/document.pdf BibTex
titre
An unexpected journey: A few lessons from sciences Po médialab's experience
auteur
Tommaso Venturini, Mathieu Jacomy, Axel Meunier, Bruno Latour
article
Big Data & Society, SAGE, 2017, 4 (2), ⟨10.1177/2053951717720949⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01670177/file/Venturini%20et%20al.%20-%202017%20-%20An%20unexpected%20journey%20A%20few%20lessons%20from%20sciences%20Po%20me%CC%81dialab%27s%20experience.pdf BibTex
titre
Narrating Networks
auteur
Liliana Bounegru, Tommaso Venturini, Jonathan Gray, Mathieu Jacomy
article
Digital Journalism , Routledge, 2017, 5 (6), pp.699-730. ⟨10.1080/21670811.2016.1186497⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01672285/file/NarratingNetworksPrePrint.pdf BibTex
titre
Colouring graphs with constraints on connectivity
auteur
Pierre Aboulker, Nick Brettell, Frédéric Havet, Dániel Marx, Nicolas Trotignon
article
Journal of Graph Theory, Wiley, 2017, 85 (4), pp.814-838. ⟨10.1002/jgt.22109⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01570035/file/colourConnectivity.pdf BibTex
titre
Strong Emergence of Wave Patterns on Kadanoff Sandpiles
auteur
Kévin Perrot, Eric Rémila
article
The Electronic Journal of Combinatorics, Open Journal Systems, 2017, 24 (2), pp. 2-4
Accès au texte intégral et bibtex
https://halshs.archives-ouvertes.fr/halshs-01417254/file/5619-20523-3-PB.pdf BibTex
titre
Multi-server preemptive priority queue with general arrivals and service times
auteur
Alexandre Brandwajn, Thomas Begin
article
Performance Evaluation, Elsevier, 2017, ⟨10.1016/j.peva.2017.08.003⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01581118/file/Preemptive%20priority%20queue-v28.pdf BibTex
titre
Understanding Social Networks and Social Protection: Insights on Demonetisation from Rural Tamil Nadu
auteur
Govindan Venkatasubramanian, Christophe Jalil Nordman, Sebastien Michiels, Youna Lanos, Isabelle Guérin
article
Economic and Political Weekly, 2017, 52 (52)
Accès au bibtex
BibTex
titre
Error bounds on complex floating-point multiplication with an FMA
auteur
Claude-Pierre Jeannerod, Peter Kornerup, Nicolas Louvet, Jean-Michel Muller
article
Mathematics of Computation, American Mathematical Society, 2017, 86 (304), pp. 881-898. ⟨10.1090/mcom/3123⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00867040/file/JKLM17.pdf BibTex
titre
On Matrices With Displacement Structure: Generalized Operators and Faster Algorithms
auteur
Alin Bostan, Claude-Pierre Jeannerod, Christophe Mouilleron, Eric Schost
article
SIAM Journal on Matrix Analysis and Applications, Society for Industrial and Applied Mathematics, 2017, 38 (3), pp.733-775. ⟨10.1137/16M1062855⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01588552/file/M106285-final.pdf BibTex
titre
Tight and rigourous error bounds for basic building blocks of double-word arithmetic
auteur
Mioara Joldes, Jean-Michel Muller, Valentina Popescu
article
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2017, 44 (2), pp.1 - 27. ⟨10.1145/3121432⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01351529/file/a15res-joldes.pdf BibTex
titre
Efficient checkpoint/verification patterns
auteur
Anne Benoit, Saurabh K. Raina, Yves Robert
article
International Journal of High Performance Computing Applications, SAGE Publications, 2017, 31 (1), pp.52-65. ⟨10.1177/1094342015594531⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-01252342/file/main-IJHPCA.pdf BibTex
titre
Weighted Lattice Walks and Universality Classes
auteur
J Courtiel, Stephen Melczer, Marni Mishna, Kilian Raschel
article
Journal of Combinatorial Theory, Series A, Elsevier, 2017, ⟨10.1016/j.jcta.2017.06.008⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01368786/file/CoMeMiRa-Rev-arx.pdf https://hal.archives-ouvertes.fr/hal-01368786/file/ab-diagram-big.pdf https://hal.archives-ouvertes.fr/hal-01368786/file/drift.pdf https://hal.archives-ouvertes.fr/hal-01368786/file/fig1.pdf https://hal.archives-ouvertes.fr/hal-01368786/file/GB-800-2.pdf https://hal.archives-ouvertes.fr/hal-01368786/file/GB-wt-800.pdf https://hal.archives-ouvertes.fr/hal-01368786/file/Gessel.pdf https://hal.archives-ouvertes.fr/hal-01368786/file/kaya.pdf https://hal.archives-ouvertes.fr/hal-01368786/file/paths.pdf https://hal.archives-ouvertes.fr/hal-01368786/file/Simple.pdf https://hal.archives-ouvertes.fr/hal-01368786/file/Tandem.pdf BibTex
titre
Correctly Rounded Arbitrary-Precision Floating-Point Summation
auteur
Vincent Lefèvre
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2017, 66 (12), pp.14. ⟨10.1109/TC.2017.2690632⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01394289/file/ieeetc2017-mpfrsum-auth.pdf BibTex
titre
Combining Range and Inequality Information for Pointer Disambiguation
auteur
Maroua Maalej, Vitor Paisante, Fernando Magno Quintão Pereira, Laure Gonnord
article
Science of Computer Programming, Elsevier, 2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01625402/file/scp17_pointers_hal_authorversion.pdf BibTex
titre
Automatic source-to-source error compensation of floating-point programs: code synthesis to optimize accuracy and time
auteur
Laurent Thévenoux, Philippe Langlois, Matthieu Martel
article
Concurrency and Computation: Practice and Experience, Wiley, 2017, Concurrency and Computation: Practice and Experience, 29 (7), pp.e3953. ⟨10.1002/cpe.3953⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01236919/file/tlm.pdf BibTex
titre
Algebraic Diagonals and Walks: Algorithms, Bounds, Complexity
auteur
Alin Bostan, Louis Dumont, Bruno Salvy
article
Journal of Symbolic Computation, Elsevier, 2017, Special issue on the conference ISSAC 2015: Symbolic computation and computer algebra, 83, pp.68-92. ⟨10.1016/j.jsc.2016.11.006⟩
Accès au bibtex
https://arxiv.org/pdf/1510.04526 BibTex
titre
Multiple binomial sums
auteur
Alin Bostan, Pierre Lairez, Bruno Salvy
article
Journal of Symbolic Computation, Elsevier, 2017, 80 (2), pp.351--386. ⟨10.1016/j.jsc.2016.04.002⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01220573/file/binomsums.pdf BibTex
titre
Absolute Real Root Separation
auteur
Yann Bugeaud, Andrej Dujella, Tomislav Pejković, Bruno Salvy
article
American Mathematical Monthly, Mathematical Association of America, 2017, 124 (10), pp.930-936. ⟨10.4169/amer.math.monthly.124.10.930⟩
Accès au bibtex
BibTex
titre
Periodicity in optimal hierarchical checkpointing schemes for adjoint computations
auteur
Guillaume Aupy, Julien Herrmann
article
Optimization Methods and Software, Taylor & Francis, 2017, 32 (3), pp.594-624. ⟨10.1080/10556788.2016.1230612⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01654632/file/main-revision.pdf BibTex

Conference papers

titre
Faster and Enhanced Inclusion-Minimal Cograph Completion
auteur
Christophe Crespelle, Daniel Lokshtanov, Thi Ha Duong Phan, Eric Thierry
article
11th Annual International Conference on Combinatorial Optimization and Applications – COCOA 2017, Dec 2017, Shanghai, China
Accès au bibtex
BibTex
titre
Adaptive Oblivious Transfer with Access Control from Lattice Assumptions
auteur
Benoît Libert, San Ling, Fabrice Mouhartem, Khoa Nguyen, Huaxiong Wang
article
ASIACRYPT 2017 - Advances in Cryptology, Dec 2017, Hong Kong, China. pp.533-563, ⟨10.1007/978-3-319-70694-8_19⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01622197/file/OT-LWE-full-version.pdf BibTex
titre
ABE with Tag Made Easy: Concise Framework and New Instantiations in Prime-order Groups
auteur
Jie Chen, Junqing Gong
article
Asiacrypt 2017, Dec 2017, Hong Kong, China
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01643435/file/junqing-AC17.pdf BibTex
titre
Zero-Knowledge Arguments for Lattice-Based PRFs and Applications to E-Cash
auteur
Benoît Libert, San Ling, Khoa Nguyen, Huaxiong Wang
article
Asiacrypt 2017, Dec 2017, Hong Kong, China
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01621027/file/ecash-LWR-full.pdf BibTex
titre
Socioeconomic and network dependencies of linguistic patterns in Twitter
auteur
Jacobo Levy Abitbol, Márton Karsai, Jean-Pierre Chevrot, Jean-Philippe Magué, Eric Fleury
article
COMPLEX NETWORKS 2017 - 6th International Conference on Complex Networks and Their Applications, Nov 2017, Lyon, France
Accès au bibtex
BibTex
titre
Evaluating the Impact of SDN-Induced Frequent Route Changes on TCP Flows
auteur
Radu Carpa, Marcos Dias de Assuncao, Olivier Glück, Laurent Lefèvre, Jean-Christophe Mignot
article
CNSM2017 : 13th International Conference on Network and Service Management, Nov 2017, Tokyo, Japan
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01632677/file/tcp_cnsm2017_pour_hal.pdf BibTex
titre
Simulation Toolbox for Studying Energy Consumption in Wired Networks
auteur
Anne-Cécile Orgerie, Betsegaw Lemma Amersho, Timothée Haudebourg, Martin Quinson, Myriana Rifai, Dino Lopez Pacheco, Laurent Lefèvre
article
CNSM: International Conference on Network and Service Management, Nov 2017, Tokyo, Japan. pp.1-5
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01630226/file/CNSM2017-short.pdf BibTex
titre
Grammaticalization of the French and Bulgarian Causative Constructions. Some Diachronic and Developmental Aspects
auteur
Yanka Bezinska, Iva Novakova, Jean-Pierre Chevrot
article
La linguistique contrastive : méthodologies, applications et perspectives, Université Marie Curie-Skłodowska, Nov 2017, Lublin, Poland. pp.29-42
Accès au bibtex
BibTex
titre
How social, economic and demographic forces shape linguistic variation on Twitter
auteur
Jacobo Levy Abitbol, Márton Karsai, Jean-Pierre Chevrot, Jean-Philippe Magué, Eric Fleury
article
POPLANG 2017 - Workshop Population effects on languages: Modelling population dynamics and language transmission from the perspective of language learning, contact and change, Nov 2017, Lyon, France
Accès au bibtex
BibTex
titre
Réalisation d'expériences avec Grid'5000
auteur
Simon Delamare, Pascal Morillon, Lucas Nussbaum
article
JRES2017 - Journées Réseaux de l'enseignement et de la recherche, Nov 2017, Nantes, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01639524/file/jres2017-grid5000.pdf BibTex
titre
Budget-aware scheduling algorithms for scientific workflows on IaaS Cloud platforms
auteur
Yves Caniou, Eddy Caron, Aurélie Kong Win Chang, Yves Robert
article
WORKS 2017 - 12th Workshop Workflows in Support of Large-Scale Science, Nov 2017, Denver, United States. pp.1
Accès au bibtex
BibTex
titre
Periodic I/O scheduling for super-computers
auteur
Guillaume Aupy, Ana Gainaru, Valentin Le Fèvre
article
PMBS 2017 - 8th International Workshop High Performance Computing Systems. Performance Modeling, Benchmarking and Simulation, Nov 2017, Denver (CO), United States. pp.1-22
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01654645/file/pmbs.pdf BibTex
titre
Efficient decoding of random errors for quantum expander codes
auteur
Antoine Grospellier, Anthony Leverrier, Omar Fawzi
article
Journées Informatique Quantique 2017, Nov 2017, Bordeaux, France. pp.521-534
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01671491/file/JIQ.pdf BibTex
titre
The optional realization of the French negative particle (ne) on Twitter: Space, status and time
auteur
Jacobo Levy Abitbol, Jean-Pierre Chevrot, Màrton Karsai, Jean-Philippe Magué, Yannick Léo, Aurélie Nardy, Eric Fleury
article
New Ways of Analyzing Variation 46, Nov 2017, Madison, United States
Accès au bibtex
BibTex
titre
Efficient Public Trace and Revoke from Standard Assumptions
auteur
Shweta Agrawal, Sanjay Bhattacherjee, Duong Hieu Phan, Damien Stehlé, Shota Yamada
article
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS'2017, Oct 2017, Dallas, United States
Accès au bibtex
BibTex
titre
On the relative error of computing complex square roots in floating-point arithmetic
auteur
Claude-Pierre Jeannerod, Jean-Michel Muller
article
ACSSC 2017 - 51st Asilomar Conference on Signals, Systems, and Computers, Oct 2017, Pacific Grove, United States. pp.737-740, ⟨10.1109/ACSSC.2017.8335442⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-01780265/file/asilomar17.pdf BibTex
titre
Interfaces of sociolinguistics: Cognition and massive data
auteur
Jean-Pierre Chevrot
article
Indiana University's Horizons of Knowledge lecture, University of Indiana, Oct 2017, Bloomington, United States
Accès au bibtex
BibTex
titre
Towards including batch services in models for DPDK-based virtual switches
auteur
Zidong Su, Thomas Begin, Bruno Baynat
article
IEEE Global Information Infrastructure and Networking Symposium (GIIS 2017), Oct 2017, Saint Pierre, France. pp.37-44
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01632879/file/paper.pdf BibTex
titre
Question Answering Benchmarks for Wikidata
auteur
Dennis Diefenbach, Thomas Tanon, Kamal Singh, Pierre Maret
article
ISWC 2017, Oct 2017, Vienne, Austria
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01637141/file/paper555.pdf BibTex
titre
Performance and Energy Analysis of OpenMP Runtime Systems with Dense Linear Algebra Algorithms
auteur
João Lima, Issam Raïs, Laurent Lefèvre, Thierry Gautier
article
SBAC-PAD 2017 - International Symposium on Computer Architecture and High Performance Computing, Oct 2017, Campinas, Brazil. pp.1-6, ⟨10.1109/SBAC-PADW.2017.10⟩
Accès au bibtex
BibTex
titre
Acquisition of sociolinguistic style – Exploring how children process variation
auteur
Laurence Buson, Aurélie Nardy, Agnès Souque, Emilie Charles, Jean-Pierre Chevrot
article
Many Paths to Language (MPaL), Oct 2017, Nijmegen, Netherlands
Accès au bibtex
BibTex
titre
Social interactions and language development at preschool: benefits from interdisciplinarity and big data
auteur
Aurélie Nardy, Jean-Pierre Chevrot, Eric Fleury, Màrton Karsai
article
Many Paths to Language (MPaL), Oct 2017, Nimègue, Netherlands
Accès au bibtex
BibTex
titre
Bio-curation for cellular signalling
auteur
Russ Harmer, Yves-Stan Le Cornec, Sébastien Légaré, Ievgeniia Oshurko
article
Computational Methods in Systems Biology, Sep 2017, Darmstadt, Germany. ⟨10.1007/978-3-319-67471-1_1⟩
Accès au bibtex
BibTex
titre
Formal Verification of a Floating-Point Expansion Renormalization Algorithm
auteur
Sylvie Boldo, Mioara Joldes, Jean-Michel Muller, Valentina Popescu
article
8th International Conference on Interactive Theorem Proving (ITP'2017), Sep 2017, Brasilia, Brazil
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01512417/file/itp17.pdf BibTex
titre
A cut-free cyclic proof system for Kleene algebra
auteur
Anupam Das, Damien Pous
article
TABLEAUX, Sep 2017, Brasilia, Brazil
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01558132/file/hka.pdf BibTex
titre
Optional realisation of the French negative particle (ne) on Twitter: Can big data reveal new sociolinguistic patterns?
auteur
Jacobo Levy Abitbol, Márton Karsai, Jean-Philippe Magué, Jean-Pierre Chevrot, Eric Fleury
article
CCS 2017 - Conference on Complex Systems , Sep 2017, Cancun, Mexico
Accès au bibtex
BibTex
titre
On Some Interesting Ternary Formulas
auteur
Pascal Ochem, Matthieu Rosenfeld
article
WORDS, Sep 2017, Montreal, Canada. pp.30-35, ⟨10.1007/978-3-319-66396-8_4⟩
Accès au bibtex
BibTex
titre
Sociolinguistic perception: Linguistic knowledge and social categories
auteur
Jean-Pierre Chevrot
article
Language and perception, Sep 2017, Berne, Switzerland
Accès au bibtex
BibTex
titre
On Decidability of Concurrent Kleene Algebra
auteur
Paul Brunet, Damien Pous, Georg Struth
article
CONCUR, Sep 2017, Berlin, Germany
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01558108/file/cka.pdf BibTex
titre
Lévy Flights for Graph Based Semi-Supervised Classification.
auteur
Esteban Bautista, Sarah de Nigris, Patrice Abry, Konstantin Avrachenkov, Paulo Gonçalves
article
26th colloquium GRETSI, Sep 2017, Juan-Les-Pins, France
Accès au bibtex
BibTex
titre
Divergence and unique solution of equations
auteur
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
article
CONCUR 2017 - 28th International Conference on Concurrency Theory, Sep 2017, Berlin, Germany. pp.1 - 7, ⟨10.4230/LIPIcs.CONCUR.2017.7⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01643502/file/usol.pdf BibTex
titre
Assuming failure independence: are we right to be wrong?
auteur
Guillaume Aupy, Yves Robert, Frédéric Vivien
article
FTS 2017 - 3rd International Workshop on Fault-Tolerant Systems, Sep 2017, Honolulu (HI), United States. pp.1-8
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01654639/file/fts2017.pdf BibTex
titre
Checkpointing Workflows for Fail-Stop Errors
auteur
Li Han, Louis-Claude Canon, Henri Casanova, Yves Robert, Frédéric Vivien
article
IEEE Cluster 2017, Sep 2017, Honolulu, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01559967/file/cluster2017.pdf BibTex
titre
A Curry-Howard Approach to Church's Synthesis
auteur
Pierre Pradic, Colin Riba
article
FSCD'17, Sep 2017, Oxford, United Kingdom. ⟨10.4230/LIPIcs.FSCD.2017.29⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01511837/file/church.pdf BibTex
titre
Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or
auteur
Simon Castellan, Pierre Clairambault, Glynn Winskel
article
Second International Conference on Formal Structures for Computation and Deduction, FSCD 2017, Sep 2017, Oxford, United Kingdom. pp.1 - 12, ⟨10.4230/LIPIcs.FSCD.2017.12⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01886926/file/LIPIcs-FSCD-2017-12.pdf BibTex
titre
An Efficient Communication Aware Heuristic for Multiple Cloud Application Placement
auteur
Pedro Silva, Christian Pérez
article
Europar 2017 - 23rd European Conference on Parallel Processing, Aug 2017, Santiago de Compostela, Spain. pp.1-13, ⟨10.1007/978-3-319-64203-1_27⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01621525/file/europar_2017_silva_et_al.pdf BibTex
titre
Low-Cost Approximation Algorithms for Scheduling Independent Tasks on Hybrid Platforms
auteur
Louis-Claude Canon, Loris Marchal, Frédéric Vivien
article
Euro-Par 2017: 23rd International European Conference on Parallel and Distributed Computing, Aug 2017, Santiago de Compostela, Spain
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01559898/file/europar2017.pdf BibTex
titre
Decomposing graphs into paths and trees
auteur
Tereza Klimošová, Stéphan Thomassé
article
The European Conference on Combinatorics, Graph Theory and Applications (EUROCOMB'17), Aug 2017, Vienna, Austria. pp.751-757
Accès au bibtex
BibTex
titre
Coloring dense digraphs
auteur
Ararat Harutyunyan, Tien-Nam Le, Alantha Newman, Stéphan Thomassé
article
The European Conference on Combinatorics, Graph Theory and Applications (EUROCOMB'17), Aug 2017, Vienna, Austria. pp.577-583
Accès au bibtex
BibTex
titre
Fractional Graph-based Semi-Supervised Learning
auteur
Sarah de Nigris, Esteban Bautista, Patrice Abry, Konstantin Avrachenkov, Paulo Gonçalves
article
EUSIPCO 2017 - 25th European Signal Processing Conference, Aug 2017, Kos Island, Greece
Accès au bibtex
BibTex
titre
Shutdown Policies with Power Capping for Large Scale Computing Systems
auteur
Anne Benoit, Laurent Lefèvre, Anne-Cécile Orgerie, Issam Raïs
article
Euro-Par: International European Conference on Parallel and Distributed Computing, Aug 2017, Santiago de Compostela, Spain. pp.134 - 146, ⟨10.1109/COMST.2016.2545109⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01589555/file/europar.pdf BibTex
titre
K4-free Graphs as a Free Algebra
auteur
Enric Cosme-Llópez, Damien Pous
article
42nd International Symposium on Mathematical Foundations of Computer Science, Aug 2017, Aalborg, Denmark
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01515752/file/tw2iso.pdf BibTex
titre
Production Deployment Tools for IaaSes: an Overall Model and Survey
auteur
Hélène Coullon, Dimitri Pertin, Christian Pérez
article
The IEEE 5th International Conference on Future Internet of Things and Cloud (FiCloud), Aug 2017, Prague, Czech Republic. pp.183-190, ⟨10.1109/FiCloud.2017.51⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01532489/file/main.pdf BibTex
titre
Distributed Strategies Made Easy
auteur
Simon Castellan, Pierre Clairambault, Glynn Winskel
article
42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017, Aug 2017, Aalborg, Denmark. ⟨10.4230/LIPIcs.MFCS.2017.81⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01886946/file/LIPIcs-MFCS-2017-81.pdf BibTex
titre
Strategies with Parallel Causes
auteur
Marc de Visme, Glynn Winskel
article
Computer Science Logic 2017 (CSL), Aug 2017, Stockholm, Sweden
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02863514/file/1607.03747.pdf BibTex
titre
Encryption Switching Protocols Revisited: Switching Modulo $p$
auteur
Guilhem Castagnos, Laurent Imbert, Fabien Laguillaumie
article
CRYPTO 2017, Aug 2017, Santa Barbara, United States. pp.255-287, ⟨10.1007/978-3-319-63688-7_9⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01587451/file/503.pdf BibTex
titre
All-But-Many Lossy Trapdoor Functions and Selective Opening Chosen-Ciphertext Security from LWE
auteur
Benoît Libert, Amin Sakzad, Damien Stehlé, Ron Steinfeld
article
Crypto 2017 - 37th International Cryptology Conference, Aug 2017, Santa Barbara, United States. pp.332 - 364, ⟨10.1007/978-3-662-53018-4_18⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01621025/file/ABM-LWE-tight-SO-v3.pdf BibTex
titre
UdL at SemEval-2017 Task 1: Semantic Textual Similarity Estimation of English Sentence Pairs Using Regression Model over Pairwise Features
auteur
Hussein Al-Natsheh, Lucie Martinet, Fabrice Muhlenbach, Djamel Abdelkader Zighed
article
11th International Workshop on Semantic Evaluation (SemEval-2017), Aug 2017, Vancouver, Canada. pp.115-119
Accès au bibtex
BibTex
titre
Reconstruction Algorithms for Sums of Affine Powers
auteur
Ignacio Garcia-Marco, Pascal Koiran, Timothée Pecatte
article
International Symposium on Symbolic and Algebraic Computation (ISSAC), Jul 2017, Kaiserslautern, Germany
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-01345789/file/decomposition3.arxiv.pdf BibTex
titre
Computing Canonical Bases of Modules of Univariate Relations
auteur
Vincent Neiger, Thi Xuan Vu
article
ISSAC '17 - 42nd International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. pp.8
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01457979/file/univariate_relation_bases.pdf BibTex
titre
Implementation and performance evaluation of an extended precision floating-point arithmetic library for high-accuracy semidefinite programming
auteur
Mioara Joldes, Jean-Michel Muller, Valentina Popescu
article
IEEE Symposium on Computer Arithmetic (Arith24), Jul 2017, London, United Kingdom
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01491255/file/sdpa_C_v2.pdf BibTex
titre
The Classical Relative Error Bounds for Computing $\sqrt(a^2 + b^2)$ and $c/\sqrt(a^2 + b^2)$ in Binary Floating-Point Arithmetic are Asymptotically Optimal
auteur
Claude-Pierre Jeannerod, Jean-Michel Muller, Antoine Plet
article
ARITH-24 2017 - 24th IEEE Symposium on Computer Arithmetic, Jul 2017, London, United Kingdom. pp.8
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-01527202/file/final.pdf BibTex
titre
Optimized Binary64 and Binary128 Arithmetic with GNU MPFR
auteur
Vincent Lefèvre, Paul Zimmermann
article
24th IEEE Symposium on Computer Arithmetic (ARITH 24), Jul 2017, London, United Kingdom. pp.18-26, ⟨10.1109/ARITH.2017.28⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01502326/file/mpfr4.pdf BibTex
titre
A longitudinal analysis of personal network and of the development of sociolinguistic competence during a study abroad
auteur
Rozenn Gautier, Jean-Pierre Chevrot
article
18th World Congress of Applied Linguistic: Innovation and Epistemological Challenges (AILA 2017), Jul 2017, Rio de Janeiro, Brazil
Accès au bibtex
BibTex
titre
Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits
auteur
Jean-Guillaume Dumas, Erich Kaltofen, Gilles Villard, Lihong Zhi
article
ISSAC 2017 - 42nd International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. pp.125-132, ⟨10.1145/3087604.3087640⟩
Accès au bibtex
BibTex
titre
Formal correctness of comparison algorithms between binary64 and decimal64 floating-point numbers
auteur
Arthur Blot, Jean-Michel Muller, Laurent Théry
article
Numerical Software Verification, Jul 2017, Heidelberg, Germany
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01512294/file/paper.pdf BibTex
titre
Introduction to the IEEE 1788-2015 Standard for Interval Arithmetic
auteur
Nathalie Revol
article
10th International Workshop on Numerical Software Verification - NSV 2017, workshop of CAV 2017, Jul 2017, Heidelberg, Germany. pp.14-21, ⟨10.1007/978-3-319-63501-9⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01559955/file/NRevol-NSV17-HAL.pdf BibTex
titre
Universal Adversarial Perturbations
auteur
Seyed-Mohsen Moosavi-Dezfooli, Alhussein Fawzi, Omar Fawzi, Pascal Frossard
article
2017 IEEE Conference on Computer Vision and Pattern Recognition (CVPR), Jul 2017, Honolulu, France. pp.86-94
Accès au bibtex
BibTex
titre
Constraints on the acquisition of sociolinguistic variation in monolingual and multilingual contexts
auteur
Jean-Pierre Chevrot, Véronique Lacoste
article
14th International Congress for the Study of Child Language, Jul 2017, Lyon, France
Accès au bibtex
BibTex
titre
Liaison acquisition, theoretical issues and available results
auteur
Jean-Pierre Chevrot, Ruvoletto Samantha, Sophie Wauquier
article
14th International Congress for the Study of Child Language, Jul 2017, Lyon, France
Accès au bibtex
BibTex
titre
A new model for DPDK-based virtual switches
auteur
Zidong Su, Bruno Baynat, Thomas Begin
article
IEEE Conference on Network Softwarization (IEEE NetSoft 2017), Jul 2017, Bologna, Italy. pp.1-5
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01493275/file/paper.pdf BibTex
titre
Efficient Solution of Shifted Quasiseparable Systems and Applications
auteur
Paola Boito, Yuli Eidelman, Luca Gemignani
article
CMMSE 2017 - 17th International Conference on Computational and Mathematical Methods in Science and Engineering, Jul 2017, Cadiz, Spain. pp.1-4
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01644741/file/Abstract_Boito.pdf BibTex
titre
Sensing as a Complexity Measure
auteur
Shaull Almagor, Denis Kuperberg, Orna Kupferman
article
19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.3-15, ⟨10.1007/978-3-319-60252-3_1⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01657019/file/440206_1_En_1_Chapter.pdf BibTex
titre
Assessing the Impact of Network Bandwidth and Operator Placement on Data Stream Processing for Edge Computing Environments
auteur
Alexandre da Silva Veith, Marcos Dias de Assuncao, Laurent Lefèvre
article
COMPAS'2017 - Conférence d’informatique en Parallélisme, Architecture et Système, Jun 2017, Antibes, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01574448/file/compas_2017.pdf BibTex
titre
Comment estimer la consommation énergétique de processus avec seulement un wattmètre (et un solveur) ?
auteur
Valentin Lorentz, Laurent Lefèvre, Gilles Fedak
article
ComPAS 2017 - Conférence d'informatique en Parallélisme, Architecture et Système, Jun 2017, Nice, France
Accès au bibtex
BibTex
titre
Étude de l'impact d'une clause d'affinité sur les performances et l'énergie dans un support exécutif OpenMP
auteur
Philippe Virouleau
article
Compas 2017, Jun 2017, Sophia Antipolis, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01609007/file/compas-2017.pdf BibTex
titre
Ordonnancement multi-objectifs de workflows dans le cloud : un modèle plus réaliste avec tâches de durée stochastique
auteur
Aurélie Kong Win Chang
article
Compas 2017 - Conférence d’informatique en Parallélisme, Architecture et Système, Jun 2017, Sophia Antipolis, France. pp.1-7
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01679699/file/ComPAS2017_paper_19.pdf BibTex
titre
Optimal Checkpointing Period with Replicated Execution on Heterogeneous Platforms
auteur
Anne Benoit, Aurélien Cavelan, Valentin Le Fèvre, Yves Robert
article
2017 Workshop on Fault-Tolerance for HPC at Extreme Scale FTXS, Jun 2017, Washington, United States. pp.9-16, ⟨10.1145/3086157.3086165⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02082847/file/replication.pdf BibTex
titre
Identifying the Right Replication Level to Detect and Correct Silent Errors at Scale
auteur
Anne Benoit, Aurélien Cavelan, Franck Cappello, Padma Raghavan, Yves Robert, Hongyang Sun
article
2017 Workshop on Fault-Tolerance for HPC at Extreme Scale FTXS, Jun 2017, Washington DC, United States. pp.31-38, ⟨10.1145/3086157.3086162⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02082907/file/ftxs.pdf BibTex
titre
Riesz Modal logic for Markov processes
auteur
Matteo Mio, Robert Furber, Radu Mardare
article
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2017, Reykjavik, France. ⟨10.1109/LICS.2017.8005091⟩
Accès au bibtex
BibTex
titre
More accurate complex multiplication for embedded processors
auteur
Claude-Pierre Jeannerod, Christophe Monat, Laurent Thévenoux
article
12th IEEE International Symposium on Industrial Embedded Systems (SIES 2017), Jun 2017, Toulouse, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01512760/file/Jeannerod_Monat_Thevenoux_SIES17.pdf BibTex
titre
Optional realization of the French negative particule (ne) on Twitter: Can big data reveal new sociolinguistic patterns?
auteur
Paul Mangold, Yannick Léo, Jean-Pierre Chevrot, Eric Fleury, Márton Karsai, Jean-Philippe Magué, Aurélie Nardy, Julie Peuvergne
article
ICLAVE 9 2017 - International Conference on Language Variation in Europe, Jun 2017, Malaga, Spain
Accès au bibtex
BibTex
titre
Don't Hurry be Happy: a Deadline-based Backfilling Approach
auteur
Tchimou N 'Takpé, Frédéric Suter
article
JSSPP 2017 - 21st Workshop on Job Scheduling Strategies for Parallel Processing, Jun 2017, Orlando, FL, United States. pp.1-20
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01672484/file/jsspp_article.pdf BibTex
titre
Monoidal Company for Accessible Functors
auteur
Henning Basold, Damien Pous, Jurriaan Rot
article
CALCO, Jun 2017, Ljubljana, Slovenia
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01529340/file/company.pdf BibTex
titre
Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines
auteur
Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, Alan Schmitt
article
LICS 2017 - 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2017, Reykjavik, Iceland. ⟨10.1109/LICS.2017.8005118⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01479035/file/lics.pdf BibTex
titre
A simple method to infer Wi-Fi conflict graph
auteur
Anthony Busson, Eric Fleury, Ngoc Phung
article
Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, May 2017, Quiberon, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01518742/file/wifi_cores_2017.pdf BibTex
titre
Communication-aware task placement for workflow scheduling on DaaS-based Cloud
auteur
Hadrien Croubois, Eddy Caron
article
Workshop PDCO 2017. Parallel / Distributed Computing and Optimization, May 2017, Orlando, FL., United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01671774/file/paper_pdco_inria.pdf BibTex
titre
Dynamic Memory-Aware Task-Tree Scheduling
auteur
Guillaume Aupy, Clément Brasseur, Loris Marchal
article
IPDPS 2017 - 31st IEEE International Parallel & Distributed Processing Symposium, May 2017, Orlando, United States. pp.10
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01472062/file/main.pdf BibTex
titre
Co-scheduling algorithms for cache-partitioned systems
auteur
Guillaume Aupy, Anne Benoit, Loïc Pottier, Padma Raghavan, Yves Robert, Manu Shantharam
article
APDCM 2017 - 19th Workshop on Advances in Parallel and Distributed Computational Models, May 2017, Orlando (FL), United States. pp.1-10, ⟨10.1109/IPDPSW.2017.60⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01654660/file/apdcm.pdf BibTex
titre
Bidiagonalization and R-Bidiagonalization: Parallel Tiled Algorithms, Critical Paths and Distributed-Memory Implementation
auteur
Mathieu Faverge, Julien Langou, Yves Robert, Jack Dongarra
article
IPDPS'17 - 31st IEEE International Parallel and Distributed Processing Symposium , May 2017, Orlando, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01484113/file/ipdps-final.pdf BibTex
titre
Minimizing I/Os in Out-of-Core Task Tree Scheduling
auteur
Loris Marchal, Samuel Mccauley, Bertrand Simon, Frédéric Vivien
article
19th Workshop on Advances in Parallel and Distributed Computational Models, May 2017, Orlando, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01491969/file/paper.pdf BibTex
titre
Conflict graph-based Markovian model to estimate throughput in unsaturated IEEE 802.11 networks
auteur
Marija Stojanova, Thomas Begin, Anthony Busson
article
IEEE International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks, WiOpt 17, May 2017, Paris, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01493276/file/paper.pdf BibTex
titre
Modeling Distributed Platforms from Application Traces for Realistic File Transfer Simulation
auteur
Anchen Chai, Mohammad-Mahdi Bazm, Sorina Camarasu-Pop, Tristan Glatard, Hugues Benoit-Cattin, Frédéric Suter
article
17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing., May 2017, Madrid, Spain
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01452694/file/article-1_hal.pdf BibTex
titre
Towards Energy Budget Control in HPC
auteur
Pierre-François Dutot, Yiannis Georgiou, David Glesser, Laurent Lefèvre, Millian Poquet, Issam Raïs
article
17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, May 2017, Madrid, Spain. pp.381-390
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01533417/file/towards_energy_budget_control_in_hpc.pdf BibTex
titre
Combining Both a Component Model and a Task-based Model for HPC Applications: a Feasibility Study on GYSELA
auteur
Olivier Aumage, Julien Bigot, Hélène Coullon, Christian Pérez, Jérôme Richard
article
17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid)., May 2017, Madrid, Spain. ⟨10.1109/CCGRID.2017.88⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01518730/file/paper.pdf BibTex
titre
Acyclic Partitioning of Large Directed Acyclic Graphs
auteur
Julien Herrmann, Jonathan Kho, Bora Uçar, Kamer Kaya, Ümit Çatalyürek
article
CCGRID 2017 - 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, May 2017, Madrid, Spain. pp.371-380, ⟨10.1109/CCGRID.2017.101⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01672010/file/paper.pdf BibTex
titre
Bisimilarity of Open Terms in Stream GSOS
auteur
Filippo Bonchi, Matias Lee, Jurriaan Rot
article
7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.35-50, ⟨10.1007/978-3-319-68972-2_3⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01760851/file/459025_1_En_3_Chapter.pdf BibTex
titre
Quantum expander codes
auteur
Antoine Grospellier, Anthony Leverrier, Omar Fawzi
article
Journées codage et cryptographie 2017, Apr 2017, La Bresse, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01671485/file/C2.pdf BibTex
titre
Companions, Codensity and Causality
auteur
Damien Pous, Jurriaan Rot
article
FoSSaCS, Apr 2017, Uppsala, Sweden
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01442222/file/final-dl.pdf BibTex
titre
Duploid situations in concurrent games
auteur
Pierre Clairambault, Guillaume Munch-Maccagnoni
article
Games for Logic and Programming Languages XII (GaLoP), Apr 2017, Uppsala, Sweden. pp.1
Accès au bibtex
BibTex
titre
Teaching complex grammar: Do less advanced learners prefer examples?
auteur
Caroline Rossi, Jean-Pierre Chevrot, Inesa Sahakyan, Cédric Batailler
article
Thinking, Doing, Learning Conference, Apr 2017, Munich, Germany
Accès au bibtex
BibTex
titre
Tightly Secure IBE under Constant-size Master Public Key
auteur
Jie Chen, Junqing Gong, Jian Weng
article
PKC 2017 - Public Key Cryptography, Mar 2017, Amsterdam, Netherlands
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01643457/file/junqing-PKC17.pdf BibTex
titre
Structure-Preserving Chosen-Ciphertext Security with Shorter Verifiable Ciphertexts
auteur
Benoît Libert, Thomas Peters, Chen Qian
article
PKC 2017 - Public Key Cryptography, Mar 2017, Amsterdam, Netherlands. pp.247 - 276, ⟨10.1007/BFb0054113⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01621022/file/SP-CCA-PKC_full-version.pdf BibTex
titre
On the complexity of partial derivatives
auteur
Ignacio Garcia-Marco, Pascal Koiran, Timothée Pecatte, Stéphan Thomassé
article
STACS 2017, Mar 2017, Hannover, Germany
Accès au bibtex
https://arxiv.org/pdf/1607.05494 BibTex
titre
On the computational power of affine automata
auteur
Mika Hirvensalo, Etienne Moutot, Abuzer Yakaryılmaz
article
Language and Automata Theory and Applications, Mar 2017, Umeå, Sweden. ⟨10.1007/978-3-319-53733-7_30⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01908682/file/main.pdf BibTex
titre
GRASP: A Matlab Toolbox for Graph Signal Processing
auteur
Benjamin Girault, Shrikanth Narayanan, Antonio Ortega, Paulo Gonçalves, Eric Fleury
article
2017 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), Mar 2017, New Orleans, United States. pp.6574-6575, ⟨10.1109/ICASSP.2017.8005300⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01424804/file/icassp-2017-demo.pdf BibTex
titre
A Simple Model of Coevolution for Macroscopic and Microscopic Levels
auteur
Matteo Morini, Sarah de Nigris
article
International Conference on Synthetic Populations, IMT School For Advanced Studies, Feb 2017, Lucca, Italy
Accès au bibtex
BibTex
titre
Encoding-Free ElGamal-Type Encryption Schemes on Elliptic Curves
auteur
Marc Joye, Benoît Libert
article
CT-RSA 2017 - RSA Conference 2017 -- Cryptographers' Track, Feb 2017, San Francisco, United States. pp.19 - 35, ⟨10.1007/978-3-540-72738-5_21⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01621014/file/JL17elgecc.pdf BibTex
titre
Language acquisition and sociolinguistic variation: the social, the cognitive, and the network
auteur
Jean-Pierre Chevrot, Aurélie Nardy, Anna Ghimenton, Eric Fleury, Márton Karsai
article
Variation in Language Acquisition (ViLA3), University of Salzburg, Feb 2017, Salzburg, Germany
Accès au bibtex
BibTex
titre
Pointer Disambiguation via Strict Inequalities
auteur
Maroua Maalej, Vitor Paisante, Ramos Pedro, Laure Gonnord, Fernando Pereira
article
Code Generation and Optimisation , Feb 2017, Austin, United States. pp.134-147
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01387031/file/CGO17_AuthorVersion.pdf BibTex
titre
Additive bases and flows in graphs
auteur
Louis Esperet, Rémi de Joannis de Verclos, Tien-Nam Le, Stéphan Thomassé
article
The European Conference on Combinatorics, Graph Theory and Applications (EUROCOMB'17), 2017, Vienne, Austria. pp.399-405, ⟨10.1016/j.endm.2017.06.066⟩
Accès au bibtex
https://arxiv.org/pdf/1701.03366 BibTex
titre
Stamina: Stabilisation Monoids IN Automata theory
auteur
Nathanaël Fijalkow, Hugo Gimbert, Edon Kelmendi, Denis Kuperberg
article
CIAA - International Conference on Implementation and Application of Automata, 2017, Marne-la-Vallée, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01891164/file/main.pdf BibTex
titre
Middle-Product Learning with Errors
auteur
Ron Steinfeld, Amin Sakzad, Miruna Roșca, Damien Stehlé
article
Advances in Cryptology - 2017 - 37th Annual International Cryptology Conference, 2017, Santa Barbara, United States
Accès au bibtex
BibTex
titre
New Techniques for Structural Batch Verification in Bilinear Groups with Applications to Groth-Sahai Proofs
auteur
Gottfried Herold, Max Hoffmann, Michael Klooss, Carla Ràfols, Andy Rupp
article
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017, Dallas, United States
Accès au bibtex
BibTex
titre
NTRU Prime: Reducing Attack Surface at Low Cost
auteur
Daniel Bernstein, Chitchanok Chuengsatiansup, Tanja Lange, Christine Van
article
SAC 2017, 2017, Ottawa, Canada
Accès au bibtex
BibTex

Book sections

titre
La philosophie des techniques revue à l'aune de l'internet et du numérique
auteur
Éric Guichard
article
Gérard Chazal. Le numérique en débat. Des nombres, des machines et des hommes, Editions Universitaires de Dijon, pp.173-189, 2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01672737/file/Guichard-pensee-critique-culture-numerique-philo-technique.pdf BibTex
titre
Co-Scheduling High-Performance Computing Applications
auteur
Guillaume Aupy, Anne Benoit, Loïc Pottier, Padma Raghavan, Yves Robert, Manu Shantharam
article
Big Data: Management, Architecture, and Processing, Chapman and Hall/CRC, 2017, 9781315154008
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02082818/file/main.pdf BibTex
titre
Impact écologique du BigData
auteur
Francoise Berthoud, Laurent Lefèvre
article
Les Big Data à découvert, CNRS Editions, 2017
Accès au bibtex
BibTex
titre
Pavages et automates cellulaires
auteur
Nathalie Aubrun, Guillaume Theyssier
article
Informatique Mathématique, Une photographie en 2017, 2017
Accès au bibtex
BibTex
titre
Analyser et encadrer les erreurs dues à l'arithmétique flottante
auteur
Claude-Pierre Jeannerod, Nathalie Revol
article
Informatique mathématique : une photographie en 2017, CNRS Editions, pp.115-144, 2017, 978-2-271-11523-2
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01658296/file/cours.pdf BibTex
titre
Control Strategies of Contagion Processes in Time-Varying Networks
auteur
Márton Karsai, Nicola Perra
article
Naoki Masuda; Petter Holme. Temporal Network Epidemiology, Springer, 2017, ⟨10.1007/978-981-10-5287-3⟩
Accès au bibtex
BibTex
titre
How to Tell Stories with Networks: Exploring the Narrative Affordances of Graphs with the Iliad
auteur
Tommaso Venturini, Liliana Bounegru, Mathieu Jacomy, Jonathan Gray
article
Schäfer, Mirko Tobias; van Es, Karin. Datafied Society, Amsterdam University Press, 2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01672295/file/How_to_Tell_Stories_with_Networks_PreprintVersion.pdf BibTex
titre
Proximités intellectuelles entre François Dagognet et Jack Goody à l'heure de l'internet
auteur
Éric Guichard
article
Beaune, Jean-Claude; Salhab, Mohamad. Mélanges offerts à François Dagognet. Le sens des objets., Presses de l'Université Libano-française et Éditions universitaires du Liban, pp.185-205, 2017, 978-9-95345-124-4
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01672738/file/Article-Goody-Dagognet-ULF-oct-2016-EGv2enligne.pdf BibTex
titre
Coping with silent errors in HPC applications
auteur
Guillaume Aupy, Anne Benoit, Aurélien Cavelan, Massimiliano Fasi, Yves Robert, Hongyang Sun, Bora Uçar
article
Andy Adamatzky. Emergent Computation, Springer Verlag, 2017, 978-3-319-46375-9. ⟨10.1007/978-3-319-46376-6⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01354892/file/chapter.pdf BibTex

Directions of work or proceedings

titre
Introduction to the Special Section on Computer Arithmetic
auteur
Javier Hormigo, Jean-Michel Muller, Stuart Obermann, Nathalie Revol, Arnaud Tisserand, Julio Villalba-Moreno
article
IEEE Transactions on Computers, 66 (12), pp.1991-1993, 2017, ⟨10.1109/TC.2017.2761278⟩
Accès au bibtex
BibTex
titre
Informatique Mathématique. Une photographie en 2017
auteur
Bruno Salvy
article
France. CNRS éditions, pp.1-258, 2017, 978-2-271-11523-2
Accès au bibtex
BibTex
titre
16th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS), Proceedings
auteur
Peter Höfner, Damien Pous, Georg Struth
article
Peter Hôfner, Damien Pous, Georg Struth. 16th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS), 2017, Lyon, France. 10226, Springer, 2017, Proceedings of RAMiCS 2017
Accès au bibtex
BibTex

Habilitation à diriger des recherches

titre
Contributions to program analysis: expressivity and scalability
auteur
Laure Gonnord
article
Computation and Language [cs.CL]. Université Lyon 1 Claude Bernard, 2017
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01633065/file/HDR_Gonnord-11-11-2017.pdf BibTex
titre
Structures of Complex Networks and of their Dynamics
auteur
Christophe Crespelle
article
Computer Science [cs]. Université Claude Bernard Lyon 1, 2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-01672082/file/hdr.pdf BibTex
titre
Un peu de théorie des nombres et de calcul formel au service de l'arithmétique des ordinateurs
auteur
Nicolas Brisebarre
article
Arithmétique des ordinateurs. École Normale Supérieure de Lyon, 2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-01658342/file/hdrNBrisebarre.pdf BibTex
titre
Preuves aidées par ordinateur en combinatoire des mots
auteur
Michaël Rao
article
Informatique [cs]. ENS de Lyon, 2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-02157167/file/HDR_RAO.pdf BibTex
titre
Rule-based meta-modelling for bio-curation
auteur
Russell Harmer
article
Bioinformatics [q-bio.QM]. Ecole Normale Supérieure de Lyon, 2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-01534703/file/HDR.pdf BibTex

Other publications

titre
Introduction au parallélisme et aux architectures parallèles
auteur
Daniel Etiemble, Franck Cappello
article
2017
Accès au bibtex
BibTex
titre
Lattice Reduction Algorithms
auteur
Damien Stehlé
article
2017
Accès au bibtex
BibTex

Books

titre
Complex Networks & Their Applications VI
auteur
Chantal Cherifi, Hocine Cherifi, Márton Karsai, Mirco Musolesi
article
Springer, pp.XXV, 1288, 2017, 978-3-319-72149-1. ⟨10.1007/978-3-319-72150-7⟩
Accès au bibtex
BibTex
titre
Algorithmes Efficaces en Calcul Formel
auteur
Alin Bostan, Frédéric Chyzak, Marc Giusti, Romain Lebreton, Grégoire Lecerf, Bruno Salvy, Eric Schost
article
published by the Authors, 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01431717/file/aecf%40svn1386.pdf BibTex

Poster communications

titre
Efficient decoding of random errors for quantum expander codes
auteur
Omar Fawzi, Antoine Grospellier, Anthony Leverrier
article
8th colloquium of the GDR IQFA - Ingénierie Quantique, des Aspects Fondamentaux aux Applications, Nov 2017, Nice, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01671496/file/poster.pdf BibTex
titre
The study of optional realization of the French negative particle (ne) on Twitter: Is Sociolinguistics compatible with the Big Data?
auteur
Jacobo Levy Abitbol, Jean-Pierre Chevrot, Màrton Karsai, Jean-Philippe Magué, Yannick Léo, Aurélie Nardy, Eric Fleury
article
New Ways of Analyzing Variation 46 (NWAV46), Nov 2017, Madison, United States
Accès au bibtex
BibTex

Reports

titre
Improving Communication Patterns in Polyhedral Process Networks
auteur
Christophe Alias
article
[Research Report] RR-9131, INRIA Grenoble - Rhône-Alpes. 2017, pp.1-13
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01665155/file/RR-9131.pdf BibTex
titre
On Exploiting Sparsity of Multiple Right-Hand Sides in Sparse Direct Solvers
auteur
Patrick Amestoy, Jean-Yves l'Excellent, Gilles Moreau
article
[Research Report] RR-9122, ENS de Lyon; INRIA Grenoble - Rhone-Alpes. 2017, pp.1-28
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01649244/file/on_exploiting_sparse_rhs_in_direct_methods.pdf BibTex
titre
Revisiting temporal failure independence in large scale systems
auteur
Guillaume Aupy, Leonardo Bautista Gomez, Yves Robert, Frédéric Vivien
article
[Research Report] RR-9134, INRIA. 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01672404/file/rr9134.pdf BibTex
titre
Checkpointing Workflows for Fail-Stop Errors
auteur
Li Han, Louis-Claude Canon, Henri Casanova, Yves Robert, Frédéric Vivien
article
[Research Report] RR-9068, Inria. 2017, pp.33
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01525378/file/RR-9068-v3.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
[Research Report] RR-9128, INRIA. 2017, pp.1-28
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01651149/file/RR-9128.pdf BibTex
titre
Coping with silent and fail-stop errors at scale by combining replication and checkpointing
auteur
Anne Benoit, Aurélien Cavelan, Franck Cappello, Padma Raghavan, Yves Robert, Hongyang Sun
article
[Research Report] RR-9106, University of Basel; Ecole Normale Supérieure de Lyon - ENS LYON; Vanderbilt University; University of Tennessee Knoxville, USA; Argonne National Laboratory. 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01616514/file/RR-9106.pdf BibTex
titre
Static Analysis via Horn Encoding from synchronous Dataflow Programs
auteur
Laure Gonnord, Szabolcs-Marton Bagoly, Lionel Morel
article
[Technical Report] RT-0492, Université Lyon 1 Claude Bernard, LIP & INSA, CITI 2017, pp.25
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01614637/file/RR-0492-lustrearray.pdf BibTex
titre
Optimal Cooperative Checkpointing for Shared High-Performance Computing Platforms
auteur
Thomas Hérault, Yves Robert, Aurélien Bouteiller, Dorian Arnold, Kurt Ferreira, George Bosilca, Jack Dongarra
article
[Research Report] RR-9109, INRIA. 2017, pp.1-20
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01621295/file/rr9109.pdf BibTex
titre
Budget-aware scheduling algorithms for scientific workflows on IaaS cloud platforms
auteur
Yves Caniou, Eddy Caron, Aurélie Kong Win Chang, Yves Robert
article
[Research Report] RR-9088, INRIA. 2017, pp.27
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01574491/file/RR-9088.pdf BibTex
titre
Assuming failure independence: are we right to be wrong?
auteur
Guillaume Aupy, Yves Robert, Frédéric Vivien
article
[Research Report] RR-9078, Inria. 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01556292/file/RR-9078.pdf BibTex
titre
Combining dataflow programming and polyhedral optimization, a case study
auteur
Romain Fontaine, Lionel Morel, Laure Gonnord
article
[Technical Report] RT-0490, Inria Rhône-Alpes; CITI - CITI Centre of Innovation in Telecommunications and Integration of services; LIP - ENS Lyon. 2017, pp.40
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01572439/file/RR-0490-dataflow-poly.pdf BibTex
titre
Computing Dense Tensor Decompositions with Optimal Dimension Trees
auteur
Oguz Kaya, Yves Robert, Bora Uçar
article
[Research Report] RR-9080, Inria. 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01562399/file/rr.pdf BibTex
titre
Low-Cost Approximation Algorithms for Scheduling Independent Tasks on Hybrid Platforms
auteur
Louis-Claude Canon, Loris Marchal, Frédéric Vivien
article
[Research Report] RR-9029, Inria - Research Centre Grenoble – Rhône-Alpes. 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01475884/file/INRIA-9029v2.pdf BibTex
titre
A Study of Systems with Multiple Operating Levels, Soft Thresholds and Hysteresis
auteur
Alexandre Brandwajn, Thomas Begin, Hind Castel-Taleb, Tulin Atmaca
article
[Research Report] RR-9064, Inria - Research Centre Grenoble – Rhône-Alpes. 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01515312/file/RR-9064.pdf BibTex
titre
Multi-server preemptive priority queue with general arrivals and service times
auteur
Alexandre Brandwajn, Thomas Begin
article
[Research Report] RR-9065, Inria - Research Centre Grenoble – Rhône-Alpes. 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01515328/file/RR-9065.pdf BibTex
titre
Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines
auteur
Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, Alan Schmitt
article
[Research Report] RR-9052, Inria. 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01507625/file/RR-9052.pdf BibTex
titre
Optimal checkpointing period with replicated execution on heterogeneous platforms
auteur
Anne Benoit, Aurélien Cavelan, Valentin Le Fèvre, Yves Robert
article
[Research Report] RR-9055, INRIA. 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01504936/file/rr9055inria.pdf BibTex
titre
Identifying the right replication level to detect and correct silent errors at scale
auteur
Anne Benoit, Aurélien Cavelan, Franck Cappello, Padma Raghavan, Yves Robert, Hongyang Sun
article
[Research Report] RR-9047, Inria Grenoble Rhône-Alpes, Université de Grenoble. 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01494678/file/RR-9047.pdf BibTex
titre
Comparaison du niveau de réponse immunitaire moyen entre des groupes de traitements comprenant des répondeurs et des non répondeurs
auteur
Aya El Dakdouki, Caroline Robet, Bertrand Simon, Cécile Taing
article
[Rapport de recherche] AMIES. 2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01491661/file/SEME_LYON_2017_Sanofi-Pasteur.pdf BibTex
titre
Resilience for Stencil Computations with Latent Errors
auteur
Aiman Fang, Aurélien Cavelan, Yves Robert, Andrew Chien
article
[Research Report] RR-9042, INRIA. 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01488409/file/RR-9042.pdf BibTex
titre
Periodic I/O scheduling for super-computers
auteur
Guillaume Aupy, Ana Gainaru, Valentin Le Fèvre
article
[Research Report] RR-9037, Inria Bordeaux Sud-Ouest. 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01474553/file/RR-9037.pdf BibTex
titre
Minimizing I/Os in Out-of-Core Task Tree Scheduling
auteur
Loris Marchal, Samuel Mccauley, Bertrand Simon, Frédéric Vivien
article
[Research Report] RR-9025, INRIA. 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01462213/file/INRIA-9025.pdf BibTex
titre
Matching-Based Assignement Strategies for Improving Data Locality of Map Tasks in MapReduce
auteur
Olivier Beaumont, Thomas Lambert, Loris Marchal, Bastien Thomas
article
[Research Report] RR-8968, Inria - Research Centre Grenoble – Rhône-Alpes; Inria Bordeaux Sud-Ouest. 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01386539/file/paperRRinria%20%281%29.pdf BibTex
titre
Co-scheduling Amdahl applications on cache-partitioned systems
auteur
Guillaume Aupy, Anne Benoit, Sicheng Dai, Loïc Pottier, Padma Raghavan, Yves Robert, Manu Shantharam
article
[Research Report] RR-9021, Inria. 2017, pp.33
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01461157/file/RR-9021.pdf BibTex
titre
A Failure Detector for HPC Platforms
auteur
George Bosilca, Aurélien Bouteiller, Amina Guermouche, Thomas Hérault, Yves Robert, Pierre Sens, Jack Dongarra
article
[Research Report] RR-9024, INRIA. 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01453086/file/RR-9024.pdf BibTex
titre
Parallel scheduling of DAGs under memory constraints
auteur
Loris Marchal, Hanna Nagy, Bertrand Simon, Frédéric Vivien
article
[Research Report] RR-9108, LIP - ENS Lyon. 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01620255/file/RR-9108.pdf BibTex

Theses

titre
On the mapping of distributed applications onto multiple Clouds
auteur
Pedro Paulo de Souza Bento da Silva
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lyon, 2017. English. ⟨NNT : 2017LYSEN089⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01708420/file/DE_SOUZA_BENTO_DA_SILVA_PP_2017LYSEN089_These.pdf BibTex
titre
Conception d'un modèle de composants logiciels avec ordonnancement de tâches pour les architectures parallèles multi-coeurs, application au code Gysela
auteur
Jérôme Richard
article
Autre [cs.OH]. Université de Lyon, 2017. Français. ⟨NNT : 2017LYSEN040⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01663718/file/RICHARD_Jerome_2017LYSEN040_These.pdf BibTex
titre
Energy Efficient Traffic Engineering in Software Defined Networks
auteur
Radu Carpa
article
Networking and Internet Architecture [cs.NI]. Université de Lyon, 2017. English. ⟨NNT : 2017LYSEN065⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01650148/file/CARPA_Radu_2017LYSEN065_These.pdf BibTex
titre
Tools for Understanding the Dynamics of Social Networks
auteur
Matteo Morini
article
Social and Information Networks [cs.SI]. Université de Lyon, 2017. English. ⟨NNT : 2017LYSEN075⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01622941/file/MORINI_Matteo_2017LYSEN075_These.pdf BibTex
titre
Low-cost memory analyses for efficient compilers
auteur
Maroua Maalej Kammoun
article
Other [cs.OH]. Université de Lyon, 2017. English. ⟨NNT : 2017LYSE1167⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01626398/file/TH2017MAALEJMAROUA.pdf BibTex
titre
High Performance Parallel Algorithms for Tensor Decompositions
auteur
Oguz Kaya
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lyon, 2017. English. ⟨NNT : 2017LYSEN051⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01623523/file/KAYA_Oguz_2017LYSEN051_These.pdf BibTex
titre
Concurrent structures in game semantics
auteur
Simon Castellan
article
Logic in Computer Science [cs.LO]. Université de Lyon, 2017. English. ⟨NNT : 2017LYSEN034⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01587718/file/CASTELLAN_Simon_2017LYSEN034_These.pdf BibTex
titre
Contribution to error analysis of algorithms in floating-point arithmetic
auteur
Antoine Plet
article
Computer Arithmetic. Université de Lyon, 2017. English. ⟨NNT : 2017LYSEN038⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01582218/file/PLET_Antoine_2017LYSEN038_These.pdf BibTex
titre
Scheduling algorithms and resilience patterns for fail-stop and silent errors
auteur
Aurélien Cavelan
article
Performance [cs.PF]. Université de Lyon, 2017. English. ⟨NNT : 2017LYSEN031⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01582228/file/CAVELAN_Aurelien_2017LYSEN031_These.pdf BibTex
titre
Towards fast and certified multiple-precision librairies
auteur
Valentina Popescu
article
Computer Arithmetic. Université de Lyon, 2017. English. ⟨NNT : 2017LYSEN036⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-01534090/file/POPESCU_Valentina_2017LYSEN036_These.pdf BibTex
titre
Avoidability of Abelian Repetitions in Words
auteur
Matthieu Rosenfeld
article
Discrete Mathematics [cs.DM]. Université de Lyon, 2017. English. ⟨NNT : 2017LYSEN033⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01563118/file/ROSENFELD_Matthieu_2017LYSEN033_These.pdf BibTex
titre
Shift spaces on groups : computability and dynamics
auteur
Sebastián Andrés Barbieri Lemp
article
Computation and Language [cs.CL]. Université de Lyon, 2017. English. ⟨NNT : 2017LYSEN021⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01563302/file/BARBIERI_LEMP_Sebastian_A_2017LYSEN021_These.pdf BibTex
titre
Analytic Combinatorics in Several Variables : Effective Asymptotics and Lattice Path Enumeration
auteur
Stephen Melczer
article
Symbolic Computation [cs.SC]. Université de Lyon; University of Waterloo (Canada), 2017. English. ⟨NNT : 2017LYSEN013⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01587716/file/MELCZER_Stephen_2017LYSEN013_These.pdf BibTex
titre
Stratégies de mobilité optimisées pour la tolérance aux perturbations dans les réseaux sans fil
auteur
Laurent Reynaud
article
Réseaux et télécommunications [cs.NI]. Université de Lyon, 2017. Français. ⟨NNT : 2017LYSE1060⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01540925/file/TH2017REYNAUDLAURENT.pdf BibTex
titre
Estimation de l’écart type du délai de bout-en-bout par méthodes passives
auteur
Huu-Nghi Nguyen
article
Réseaux et télécommunications [cs.NI]. Université de Lyon, 2017. Français. ⟨NNT : 2017LYSE1044⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01538435/file/TH2017NGUYENHUUNGHI.pdf BibTex
titre
Méthodes de calculs sur les données chiffrées
auteur
Marie Paindavoine
article
Cryptographie et sécurité [cs.CR]. Université de Lyon, 2017. Français. ⟨NNT : 2017LYSE1009⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01526699/file/TH2017PAINDAVOINEMARIE.pdf BibTex

Preprints, Working Papers, ...

titre
Efficient decoding of random errors for quantum expander codes
auteur
Omar Fawzi, Antoine Grospellier, Anthony Leverrier
article
2017
Accès au bibtex
https://arxiv.org/pdf/1711.08351 BibTex
titre
La science et l'enseignement supérieur face au pouvoir des algorithmes
auteur
Éric Guichard
article
2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01677020/file/Guichard-science-algos-technique.pdf BibTex
titre
Modal Logic of Transition Systems in the Topos of Trees
auteur
Colin Riba, Guilhem Jaber
article
2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01620992/file/modaltrees.pdf BibTex
titre
Threshold driven contagion on weighted networks
auteur
Samuel Unicomb, Gerardo Iñiguez, Márton Karsai
article
2017
Accès au bibtex
https://arxiv.org/pdf/1707.02185 BibTex
titre
Mapping temporal-network percolation to weighted, static event graphs
auteur
Mikko Kivelä, Jordan Cambe, Jari Saramäki, Márton Karsai
article
2017
Accès au bibtex
https://arxiv.org/pdf/1709.05647 BibTex
titre
Revealing evolutions in dynamical networks
auteur
Matteo Morini, Patrick Flandrin, Eric Fleury, Tommaso Venturini, Pablo Jensen
article
2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01558219/file/Evolutions_DynNetwks.pdf BibTex
titre
Network analysis of Japanese global business using quasi-exhaustive micro-data for Japanese overseas subsidiaries
auteur
Jean-Pascal Bassino, Pablo Jensen, Matteo Morini
article
2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01558763/file/JapaneseBusinessNetworks_WORKINGVERSION__HALv2.pdf BibTex
titre
Automatic generation of hardware FIR filters from a frequency domain specification
auteur
Silviu-Ioan Filip, Matei Istoan, Florent de Dinechin, Nicolas Brisebarre
article
2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01308377/file/autofir.pdf BibTex
titre
COMET: A High-Performance Model for Fine-Grain Composition
auteur
Julien Bigot, Thierry Gautier, Christian Pérez, Jérôme Richard
article
2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01566288/file/squelette-rr.pdf BibTex
titre
The complexity of Shortest Common Supersequence for inputs with no identical consecutive letters
auteur
Aurélie Lagoutte, Sébastien Tavenas
article
2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01508495/file/SCS_variant_v2.pdf BibTex
titre
On the Spectral Properties of Symmetric Functions
auteur
Anil Ada, Omar Fawzi, Raghav Kulkarni
article
2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01505075/file/sym.pdf BibTex
titre
Quantitative aspects of linear and affine closed lambda terms
auteur
Pierre Lescanne
article
2017
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-01464047/file/counting_affine.pdf BibTex
titre
The Erdős-Hajnal Conjecture for Long Holes and Anti-holes
auteur
Marthe Bonamy, Nicolas Bousquet, Stéphan Thomassé
article
2017
Accès au bibtex
https://arxiv.org/pdf/1408.1964 BibTex
titre
Graphs with large chromatic number induce 3k-cycles
auteur
Marthe Bonamy, Stéphan Thomassé, Pierre Charbit
article
2017
Accès au bibtex
https://arxiv.org/pdf/1408.2172 BibTex