Search - Archive ouverte HAL Access content directly

Filter your results

3 332 Results
Structure: Internal structure identifier : 25027
Image document

Nonlinear Acceleration of Stochastic Algorithms

Damien Scieur , Alexandre d'Aspremont , Francis Bach
2017
Preprints, Working Papers, ... hal-01618379v1
Image document

Categories, Types and Structures.

Andrea Asperti , Giuseppe Longo
MIT Press, pp.1-300, 1991, 0262011255, 978-0262011259
Books hal-03316030v1
Image document

Espace, temps et cognition. A partir des mathématiques et des sciences de la nature

Francis Bailly , Giuseppe Longo
Revue de synthèse, 2003, 124, ⟨10.1007/bf02963401⟩
Journal articles hal-03318948v1

Mathematics and the natural sciences. The Physical Singularity of Life

Francis Bailly , Giuseppe Longo
Imperial College Press, pp.336, 2011, 1848166931, 9781848166936
Books hal-03313753v1
Image document

The Inert vs. the Living State of Matter: Extended Criticality, Time Geometry, Anti-Entropy - An Overview.

Giuseppe Longo , Maël Montévil
Frontiers in Physiology, 2011, 3, pp.39. ⟨10.3389/fphys.2012.00039⟩
Journal articles hal-01192906v1
Image document

An expression of closure to efficient causation in terms of lambda-calculus

Matteo Mossio , Giuseppe Longo , John Stewart
Journal of Theoretical Biology, 2009, 257 (3), pp.489. ⟨10.1016/j.jtbi.2008.12.012⟩
Journal articles hal-00554549v1
Image document

Risk bounds in linear regression through PAC-Bayesian truncation

Jean-Yves Audibert , Olivier Catoni
2010
Preprints, Working Papers, ... hal-00360268v2
Image document

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
Image document

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
Image document

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
Image document

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

Automatic Analysis of Open Objects in Dynamic Language Programs

Arlen Cox , Bor-Yuh Evan Chang , Xavier Rival
21st Static Analysis Symposium (SAS), Sep 2014, München, Germany. ⟨10.1007/978-3-319-10936-7_9⟩
Conference papers hal-01095955v1
Image document

Per-Link Reliability and Rate Control: Two Facets of the SIR Meta Distribution

Sanket Sanjay Kalamkar , Martin Haenggi
IEEE Wireless Communications Letters, 2019, 8 (4), pp.1244-1247. ⟨10.1109/LWC.2019.2912614⟩
Journal articles hal-02417332v1
Image document

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
Image document

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

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
Image document

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

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
Image document

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

From Lucky Luke to Lock Bits

Thomas Souvignet , Thibaut Heckmann , Timothy Bolle
IEEE Security and Privacy Magazine, 2020, 18 (2), pp.61-66. ⟨10.1109/MSEC.2019.2944385⟩
Journal articles hal-02913014v1
Image document

Reflections on Concrete Incompleteness

Giuseppe Longo
Philosophia Mathematica, 2011, 19 (3), pp.255-280
Journal articles hal-03319505v1
Image document

Compositional analysis of floating-point linear numerical filters

David Monniaux
Conference papers hal-00084291v1
Image document

Abstract interpretation of programs as Markov decision processes

David Monniaux
Science of Computer Programming, 2005, 58, pp.179-205. ⟨10.1016/j.scico.2005.02.008⟩
Journal articles hal-00084297v1
Image document

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
Image document

A simple stability condition for RED using TCP mean-field modeling

Julien Reynier
[Research Report] 2006, pp.24
Reports inria-00091036v1
Image document

HTTP Turbulence

François Baccelli , Augustin Chaintreau , Danny de Vleeschauwer , David R. Mcdonald
[Research Report] RR-5205, INRIA. 2004, pp.54
Reports inria-00070787v1
Image document

Stability Properties of data flows on a CDMA network in macrodiversity

Charles Bordenave
[Research Report] RR-5257, INRIA. 2004, pp.26
Reports inria-00070741v1
Image document

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
Image document

A Note on the TCP Fluid Model

Dohy Hong
[Research Report] RR-4703, INRIA. 2003
Reports inria-00071883v1
Image document

A Static Analyzer for Large Safety-Critical Software

Bruno Blanchet , Patrick Cousot , Radhia Cousot , Jerôme Feret , Laurent Mauborgne et al.
2003, pp.196 - 207, ⟨10.1145/781131.781153⟩
Conference papers hal-00128135v1