Search - Archive ouverte HAL Access content directly

Filter your results

825 Results
Structure: Internal structure identifier : 1315
Image document

Unidirectional Chosen-Ciphertext Secure Proxy Re-Encryption

Benoît Libert , Damien Vergnaud
2008
Preprints, Working Papers, ... inria-00339530v1

Public-Key Encryption Indistinguishable Under Plaintext-Checkable Attacks

Michel Abdalla , Fabrice Benhamouda , David Pointcheval
PKC 2015, Mar 2015, Maryland, United States. pp.332-352, ⟨10.1007/978-3-662-46447-2_15⟩
Conference papers hal-01131982v1
Image document

Trinocular Geometry Revisited

Jean Ponce , Martial Hebert
CVPR - IEEE Conference on Computer Vision and Pattern Recognition, Jun 2014, Columbus, Ohio, United States
Conference papers hal-01053676v1
Image document

Acyclic Preference Systems in P2P Networks

Anh-Tuan Gai , Dmitry Lebedev , Fabien Mathieu , Fabien de Montgolfier , Julien Reynier et al.
[Research Report] RR-6174, INRIA. 2007, pp.9
Reports inria-00143790v2
Image document

DNA, differential methods and the Böhm-out technique (written in 2008)

Giuseppe Longo , Pierre-Emmanuel Tendero
2021
Preprints, Working Papers, ... hal-03319640v1
Image document

Robust Guided Image Filtering Using Nonconvex Potentials

Bumsub Ham , Minsu Cho , Jean Ponce
IEEE Transactions on Pattern Analysis and Machine Intelligence, 2018, Vol. 40 (No. 1), pp. 291-207. ⟨10.1109/TPAMI.2017.2669034⟩
Journal articles hal-01279857v3
Image document

Bridging the Gap between Constant Step Size Stochastic Gradient Descent and Markov Chains

Aymeric Dieuleveut , Alain Durmus , Francis Bach
2018
Preprints, Working Papers, ... hal-01565514v2
Image document

Learning and calibrating per-location classifiers for visual place recognition

Petr Gronat , Guillaume Obozinski , Josef Sivic , Tomas Pajdla
CVPR 2013 - 26th IEEE Conference on Computer Vision and Pattern Recognition, Jun 2013, Portland, United States
Conference papers hal-00934332v1

Restarting Frank-Wolfe

Thomas Kerdreux , Alexandre d'Aspremont , Sebastian Pokutta
Journal of Optimization Theory and Applications, 2022, 192 (3), pp.799-829
Journal articles hal-01893922v1
Image document

Slice inverse regression with score functions

Dmitry Babichev , Francis Bach
Electronic Journal of Statistics , 2018, Volume 12, Number 1 (2018), pp.1507-1543. ⟨10.1214/18-EJS1428⟩
Journal articles hal-01388498v2
Image document

Taking Static Analysis to the Next Level: Proving the Absence of Run-Time Errors and Data Races with Astrée

Antoine Miné , Laurent Mauborgne , Xavier Rival , Jerome Feret , Patrick Cousot et al.
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, Toulouse, France
Conference papers hal-01271552v1
Image document

The differential method and the causal incompleteness of Programming Theory in Molecular Biology

Giuseppe Longo , Pierre-Emmanuel Tendero
Foundations of Science, 2007, 12 (4), pp.337-366. ⟨10.1007/s10699-007-9111-x⟩
Journal articles istex hal-03319628v1
Image document

A Few Graph-Based Relational Numerical Abstract Domains

Antoine Miné
Sep 2002, pp.117-132
Conference papers hal-00136663v1

Floating-point LLL Revisited

Phong Q. Nguyen , Damien Stehlé
24th Annual Eurocrypt Conference - Eurocrypt 2005, 2005, Aarhus/Danemark
Conference papers inria-00000377v1

Encoding CDuce in the Cpi-Calculus

Giuseppe Castagna , Mariangiola Dezani-Ciancaglini , Daniele Varacca
2006, pp.310-326
Conference papers hal-00148935v1
Image document

Efficient, Blind, Spatially-Variant Deblurring for Shaken Images

Oliver Whyte , Josef Sivic , Andrew Zisserman , Jean Ponce
A. N. Rajagopalan; Rama Chellappa. Motion Deblurring: Algorithms and Systems, Cambridge University Press, 2014
Book sections hal-01063814v1

Generic Construction of Hybrid Public Key Traitor Tracing with Full-Public-Traceability

Duong Hieu Phan , Reihaneh Safavi-Naini , Dongvu Tonien
ICALP 2006: Automata, Languages and Programming, Jul 2007, Venice, Italy. pp.264-275, ⟨10.1007/11787006_23⟩
Conference papers hal-03540282v1

Chosen-Ciphertext Security without Redundancy

Duong Hieu Phan , David Pointcheval
Advances in Cryptology - ASIACRYPT 2003, Nov 2003, Taipei, Taiwan. pp.1-18, ⟨10.1007/978-3-540-40061-5_1⟩
Conference papers hal-03540354v1
Image document

Extended critical situations: the physical singularity of life phenomena

Francis Bailly , Giuseppe Longo
Journal of Biological Systems, 2008, 16 (2), pp.309-336. ⟨10.1142/S0218339008002514⟩
Journal articles hal-03319690v1
Image document

Randomness and determination in the interplay between the continuum and the discrete

Francis Bailly , Giuseppe Longo
Mathematical Structures in Computer Science, 2007, Special issue, 17 (2), pp.289-307. ⟨10.1017/S0960129507006007⟩
Journal articles hal-03319881v1
Image document

Learning a Text-Video Embedding from Incomplete and Heterogeneous Data

Antoine Miech , Ivan Laptev , Josef Sivic
2019
Preprints, Working Papers, ... hal-01975102v1

Identity-Based Encryption Gone Wild

Michel Abdalla , Dario Catalano , Alexander Dent , John Malone-Lee , Gregory Neven et al.
ICALP 2006, Jul 2006, Venice, Italy. pp.300-311, ⟨10.1007/11787006_26⟩
Conference papers hal-02391407v1

From Identification to Signatures via the Fiat-Shamir Transform: Minimizing Assumptions for Security and Forward-Security

Michel Abdalla , Jee Hea An , Mihir Bellare , Chanathip Namprempre
Advances in Cryptology - EUROCRYPT 2002, Apr 2002, Amsterdam, Netherlands. pp.418-433, ⟨10.1007/3-540-46035-7_28⟩
Conference papers hal-02391526v1

New Smooth Projective Hash Functions and One-Round Authenticated Key Exchange

Fabrice Benhamouda , Olivier Blazy , Celine Chevalier , David Pointcheval , Damien Vergnaud et al.
Cryptology ePrint Archive, 2013, 2013, pp.34
Journal articles hal-02307152v1
Image document

Un solveur de contraintes basé sur les domaines abstraits

Marie Pelleau , Antoine Miné , Charlotte Truchet , Frédéric Benhamou
9èmes Journées Francophones de Programmation par Contraintes, Jun 2013, Aix-en-Provence, France. pp.259-268
Conference papers hal-00925430v1
Image document

Proofs as Cryptography: a new interpretation of the Curry-Howard isomorphism for software certificates

Amrit Kumar , Pierre-Alain Fouque , Thomas Genet , Mehdi Tibouchi
2012
Preprints, Working Papers, ... hal-00715726v1
Image document

Meshing Volumes Bounded by Smooth Surfaces

Steve Oudot , Laurent Rineau , Mariette Yvinec
International Meshing Roundtable, 2005, San Diego, Californie, USA
Conference papers inria-00097841v1
Image document

Dynamic location in an arrangement of line segments in the plane

Olivier Devillers , Monique Teillaud , Mariette Yvinec
Algorithms Review - newsletter of the ESPRIT II Basic Research Action Project no. 3075 (ALCOM) , 1992, 2 (3), pp.89-103
Journal articles inria-00413506v1
Image document

Finding Actors and Actions in Movies

Piotr Bojanowski , Francis Bach , Ivan Laptev , Jean Ponce , Cordelia Schmid et al.
ICCV 2013 - IEEE International Conference on Computer Vision, Dec 2013, Sydney, Australia. pp.2280-2287, ⟨10.1109/ICCV.2013.283⟩
Conference papers hal-00904991v1
Image document

Sub-Polyhedral Compilation using (Unit-)Two-Variables-Per-Inequality Polyhedra

Ramakrishna Upadrasta
Other [cs.OH]. Université Paris Sud - Paris XI, 2013. English. ⟨NNT : 2013PA112039⟩
Theses tel-00818764v1