Skip to Main content Skip to Navigation

hal-00654217v1  Conference papers
Sylvain HeraudDavid Nowak. A Formalization of Polytime Functions
ITP 2011, Aug 2011, Nijmegen, Netherlands
hal-00654041v1  Conference papers
Amandine DuboisAbdallah DibFrançois Charpillet. Using HMMs for Discriminating Mobile from Static Objects in a 3D Occupancy Grid
23rd IEEE International Conference on Tools with Artificial Intelligence - ICTAI 2011, Nov 2011, Boca Raton, Florida, United States. pp.170-176, ⟨10.1109/ICTAI.2011.188⟩
hal-00905328v1  Books
Thierry Goudon. Intégration : Intégrale de Lebesgue et introduction à l'analyse fonctionnelle
Ellipses, pp.191, 2011, Collection Reférences Sciences, 978-2-7298-7041-6
hal-00905330v1  Journal articles
Christophe BesseSaja BorgholThierry GoudonIngrid Lacroix-VioletJean-Paul Dudon. Hydrodynamic regimes, Knudsen layer, numerical schemes: Definition of boundary fluxes
Advances in Applied Mechanics, New York ; London ; Paris [etc] : Academic Press, 2011, 3 (5), pp.519--561
hal-01856196v1  Conference papers
Nicolas P. Rougier. We Redo Science
Bernstein Conference - PhD Symposium, Sep 2018, Berlin, Germany
hal-01955305v1  Master thesis
Daniel Coggia. On subspace trails cryptanalysis
Cryptography and Security [cs.CR]. 2018
hal-01955273v1  Conference papers
Anne Canteaut. Chut ! On nous écoute
Conférence de clôture des Olympiades Nationales de Mathématiques 2018, Jun 2018, Paris, France
hal-01955256v1  Conference papers
Christina BouraAnne CanteautJérémy JeanValentin Suder. On Sboxes sharing the same DDT
Dagstuhl Seminar 18021 Symmetric Cryptography, Jan 2018, Dagstuhl, Germany. ⟨10.4230/DAGREP.8.1.1⟩
hal-00654290v1  Conference papers
Alejandro GronskisDominique HeitzEtienne Mémin. Inflow and initial conditions for direct numerical simulation based on adjoint data assimilation
7th International Symposium on Turbulence and Shear Flow Phenomena, TSFP-7, Jul 2011, Ottawa, Canada. p. - p
hal-01955286v1  Conference papers
Anne CanteautChristof BeierleGregor Leander. On nonlinear approximations and the linear hull effect
ASK 2018 - 8th Asian Workshop on Symmetric Key Cryptography, Nov 2018, Kolkata, India
hal-01856189v1  Conference papers
Nicolas P. Rougier. Reproducibility in Machine Learning
ICML 2018 - Workshop on reproducibility in machine learning, Jul 2018, Stockholm, Sweden
hal-00654246v1  Conference papers
Leonardo AmetMalek GhanesJean-Pierre Barbot. Direct control based on sliding mode techniques for multicell serial chopper
IEEE ACC (American Control Conference), Jun 2011, San Francisco, United States
hal-00654266v1  Conference papers
Mikel RodriguezIvan LaptevJosef SivicJean-Yves Audibert. Density-aware person detection and tracking in crowds
ICCV 2011 - 13th International Conference on Computer Vision, Nov 2011, Barcelona, Spain. 8 p
tel-00654268v1  Theses
Julien Mercadal. Approche langage au développement logiciel : application au domaine des systèmes d'informatique ubiquitaire
Langage de programmation [cs.PL]. Université Sciences et Technologies - Bordeaux I, 2011. Français
hal-00654256v1  Conference papers
Mikel RodriguezJosef SivicIvan LaptevJean-Yves Audibert. Data-driven Crowd Analysis in Videos
ICCV 2011 - 13th International Conference on Computer Vision, Nov 2011, Barcelona, Spain. pp.1235 - 1242, ⟨10.1109/ICCV.2011.6126374⟩
hal-00654240v1  Conference papers
Bilal AmgharM. DarcherifJean-Pierre Barbot. Observability analysis for parallel multi-cell chopper
Systems, Signals and Devices (SSD), 2011 8th International Multi-Conference, Nabil Derbal, Mar 2011, Sousse, Tunisia
hal-01955337v1  Conference papers
Anne Canteaut. L'insoutenable légèreté du chiffrement
Journées Scientifiques Inria 2018, Jun 2018, Bordeaux, France
hal-01357372v1  Conference papers
Cedric AudrasAndrew I. ComportMaxime MeillandPatrick Rives. Real-time dense RGB-D localisation and mapping
Australian Conference on Robotics and Automation, 2011, Monash University, Australia
hal-00755337v1  Conference papers
Aland AstudilloThierry ViévilleMaria-Jose EscobarAdrian Palacios. Relevant features identification in natural images to allow there use in retinal biology
VII Anual Meeting, Chilean Society for Neuroscience, Sep 2011, Santa Cruz, Chile
hal-00654193v1  Conference papers
Emmanuel AgulloCédric AugonnetJack DongarraMathieu FavergeJulien Langou et al.  LU Factorization for Accelerator-based Systems
9th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 11), Jun 2011, Sharm El-Sheikh, Egypt
hal-01856159v1  Conference papers
Matthew TragerBrian OssermanJean Ponce. On the Solvability of Viewing Graphs
European Conference on Computer Vision 2018 (ECCV 2018), Sep 2018, Munich, Germany
hal-01955263v1  Conference papers
Victor ChepoiFeodor DraganMichel HabibYann VaxèsHend Alrasheed. Fast Approximation of Centrality and Distances in Hyperbolic Graphs
COCOA 2018 - 12th Annual International Conference on Combinatorial Optimization and Applications, Dec 2018, Atlanta, United States. pp.1-23
hal-00654267v1  Conference papers
Philippe Duchon. Random generation of combinatorial structures: Boltzmann samplers and beyond
Winter Simulation Conference, Dec 2011, Phoenix, United States
hal-01955267v1  Conference papers
Anne Canteaut. Chut ! On nous écoute
Semaine des Maths 2018, Mar 2018, Paris, France
inria-00555008v1  Journal articles
Sho SuzukiKeiichirou KusakariFrédéric Blanqui. Argument filterings and usable rules in higher-order rewrite systems
IPSJ Transactions on Programming, IPSJ, 2011, 4 (2), pp.1-12
tel-01950884v2  Theses
Nadim Kobeissi. Formal Verification for Real-World Cryptographic Protocols and Implementations
Computer Science [cs]. INRIA Paris; Ecole Normale Supérieure de Paris - ENS Paris, 2018. English