|
|
Nonlinear Acceleration of Stochastic Algorithms
Damien Scieur
,
Alexandre d'Aspremont
,
Francis Bach
2017
Preprints, Working Papers, ...
hal-01618379v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Categories, Types and Structures.
Andrea Asperti
,
Giuseppe Longo
MIT Press, pp.1-300, 1991, 0262011255, 978-0262011259
Books
hal-03316030v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Espace, temps et cognition. A partir des mathématiques et des sciences de la nature
Francis Bailly
,
Giuseppe Longo
Journal articles
hal-03318948v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Mathematics and the natural sciences. The Physical Singularity of Life
Francis Bailly
,
Giuseppe Longo
Books
hal-03313753v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
The Inert vs. the Living State of Matter: Extended Criticality, Time Geometry, Anti-Entropy - An Overview.
Giuseppe Longo
,
Maël Montévil
Journal articles
hal-01192906v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
An expression of closure to efficient causation in terms of lambda-calculus
Matteo Mossio
,
Giuseppe Longo
,
John Stewart
Journal articles
hal-00554549v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Risk bounds in linear regression through PAC-Bayesian truncation
Jean-Yves Audibert
,
Olivier Catoni
2010
Preprints, Working Papers, ...
hal-00360268v2
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Reduction Drawing: Language Constructs and Polyhedral Compilation for Reductions on GPUs
Chandan Reddy
,
Michael Kruse
,
Albert Cohen
PACT'16 - ACM/IEEE Conference on Parallel Architectures and Compilation Techniques, Sep 2016, Haifa, Israel. pp.87 - 97, ⟨10.1145/2967938.2967950⟩
Conference papers
hal-01425750v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Varieties of Static Analyzers: A Comparison with ASTRÉE
Patrick Cousot
,
Radhia Cousot
,
Jerôme Feret
,
Laurent Mauborgne
,
Antoine Miné
et al.
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), Jun 2007, Shanghai, China. pp.3-20, ⟨10.1109/TASE.2007.55⟩
Conference papers
hal-00154031v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Multi-Client Inner-Product Functional Encryption in the Random-Oracle Model
Michel Abdalla
,
Florian Bourse
,
Hugo Marival
,
David Pointcheval
,
Azam Soleimanian
et al.
SCN 2020 - 12th International Conference Security and Cryptography for Networks., Sep 2020, Amalfi / Virtual, Italy. pp.525-545, ⟨10.1007/978-3-030-57990-6_26⟩
Conference papers
hal-02948657v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Analyses des motifs accessibles dans les modèles Kappa
Jérôme Feret
Cédric Lhoussaine et Élisabeth Remy. Approches symboliques de la modélisation et de l’analyse des systèmes biologiques, ISTE, 2022, 9781789480290
Book sections
hal-03088539v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Automatic Analysis of Open Objects in Dynamic Language Programs
Arlen Cox
,
Bor-Yuh Evan Chang
,
Xavier Rival
Conference papers
hal-01095955v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Per-Link Reliability and Rate Control: Two Facets of the SIR Meta Distribution
Sanket Sanjay Kalamkar
,
Martin Haenggi
Journal articles
hal-02417332v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Approximations of functionals of some modulated-Poisson Voronoi tessellations with applications to modeling of communication networks
Bartlomiej Blaszczyszyn
,
René Schott
[Research Report] RR-5323, INRIA. 2004, pp.24
Reports
inria-00070677v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Mean Field Convergence of a model of multiple TCP connections through a buffer implementing RED
David R. Mcdonald
,
Julien Reynier
[Research Report] RR-4850, INRIA. 2003
Reports
inria-00071733v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Visualizing computation in large-scale cellular automata
Hugo Cisneros
,
Josef Sivic
,
Tomas Mikolov
ALIFE 2020: The 2020 Conference on Artificial Life, Jul 2020, Online, France. pp.239-247, ⟨10.1162/isal_a_00277⟩
Conference papers
hal-02933012v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
A Square Root Formula for the Rate of Non-Persistent TCP Flows
François Baccelli
,
David R. Mcdonald
[Research Report] RR-5301, INRIA. 2004, pp.27
Reports
inria-00070699v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Tight Adaptively Secure Broadcast Encryption with Short Ciphertexts and Keys
Romain Gay
,
Lucas Kowalczyk
,
Hoeteck Wee
SCN 2018: Security and Cryptography for Networks, Sep 2018, Amalfi, Italy
Conference papers
hal-01900275v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Gradient Descent on Infinitely Wide Neural Networks: Global Convergence and Generalization
Francis Bach
,
Lénaïc Chizat
International Congress of Mathematicians, 2022, Saint-Petersbourg, Russia
Conference papers
hal-03379011v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
From Lucky Luke to Lock Bits
Thomas Souvignet
,
Thibaut Heckmann
,
Timothy Bolle
Journal articles
hal-02913014v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Reflections on Concrete Incompleteness
Giuseppe Longo
Philosophia Mathematica, 2011, 19 (3), pp.255-280
Journal articles
hal-03319505v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Compositional analysis of floating-point linear numerical filters
David Monniaux
Conference papers
hal-00084291v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Abstract interpretation of programs as Markov decision processes
David Monniaux
Journal articles
hal-00084297v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Tails in Generalized Jackson Networks with Subexponential Service Distributions
François Baccelli
,
Serguei Foss
,
Marc Lelarge
[Research Report] RR-5081, INRIA. 2004
Reports
inria-00071502v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
A simple stability condition for RED using TCP mean-field modeling
Julien Reynier
[Research Report] 2006, pp.24
Reports
inria-00091036v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
HTTP Turbulence
François Baccelli
,
Augustin Chaintreau
,
Danny de Vleeschauwer
,
David R. Mcdonald
[Research Report] RR-5205, INRIA. 2004, pp.54
Reports
inria-00070787v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Stability Properties of data flows on a CDMA network in macrodiversity
Charles Bordenave
[Research Report] RR-5257, INRIA. 2004, pp.26
Reports
inria-00070741v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Analysis of the Competition between Wired, DSL and Wireless TCP Flows in an Access Network
François Baccelli
,
Ki Baek Kim
,
Danny de Vleeschauwer
[Research Report] RR-5306, INRIA. 2004, pp.39
Reports
inria-00070694v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
A Note on the TCP Fluid Model
Dohy Hong
[Research Report] RR-4703, INRIA. 2003
Reports
inria-00071883v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
A Static Analyzer for Large Safety-Critical Software
Bruno Blanchet
,
Patrick Cousot
,
Radhia Cousot
,
Jerôme Feret
,
Laurent Mauborgne
et al.
Conference papers
hal-00128135v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|