Skip to Main content Skip to Navigation
  1. Search


...
hal-00654202v1  Reports
Pierre-Yves Laffont, Adrien Bousseau, George Drettakis. Rich Intrinsic Image Separation for Multi-View Outdoor Scenes
[Research Report] RR-7851, INRIA. 2011, pp.28
hal-00854662v1  Journal articles
Henri Cohen, Frank Thorne. Dirichlet series associated to cubic fields with given quadratic resolvent
Michigan Mathematical Journal, University of Michigan, 2014, 63, pp.253-273
...
hal-01306440v1  Reports
Bruno Blanchet, Ben Smyth. Automated reasoning for equivalences in the applied pi calculus with barriers
[Research Report] RR-8906, Inria Paris. 2016, pp.54
hal-01406655v1  Book sections
Bernt Øksendal, Agnès Sulem, Tusheng Zhang. A stochastic HJB equation for optimal control of forward-backward SDEs
The Fascination of Probability, Statistics and their Applications, Springer Verlag, pp.11, 2016
...
hal-01256384v1  Book sections
Nazim Fatès. Aesthetics and randomness in cellular automata
Andrew Adamatzky; Genaro J. Martínez. Designing Beauty: The Art of Cellular Automata, Springer, 2016, Emergence, Complexity and Computation, 978-3-319-27269-6. ⟨10.1007/978-3-319-27270-2_23⟩
...
inria-00445212v2  Journal articles
Simon Kramer, Catuscia Palamidessi, Roberto Segala, Andrea Turrini, Christelle Braun. A Quantitative Doxastic Logic for Probabilistic Processes and Applications to Information-Hiding
Journal of Applied Non-Classical Logics, Taylor & Francis, 2009, 19 (4), pp.489-516. ⟨10.3166/jancl.19.489-516⟩
...
hal-01357485v1  Reports
Dimitrios Zorbas, Tahiry Razafindralambo. Modeling the power consumption of a Wifibot and studying the role of communication cost in operation time
[Technical Report] Inria Lille - Nord Europe. 2015
...
hal-00755482v1  Reports
Bilel Saadallah, Abdelkader Lahmadi, Olivier Festor. CCNx for Contiki: implementation details
[Technical Report] RT-0432, INRIA. 2012, pp.52
...
tel-01157160v1  Theses
Luigi Liquori. Type Assigment Systems for Lambda Calculi and for the Lambda Calculus of Objects
Computation and Language [cs.CL]. Ministère de l'Education Nationale, de la Recherche et de Technologie, Rome, Italy, 1996. English
...
inria-00407778v1  Reports
Georges Gonthier, Roux Stéphane Le. An Ssreflect Tutorial
[Technical Report] RT-0367, INRIA. 2009, pp.33
...
tel-02405839v1  Habilitation à diriger des recherches
Yann Regis-Gianas. About some Metamorphoses of Computer Programs
Programming Languages [cs.PL]. Université Paris Diderot, 2019
...
tel-01749799v2  Theses
Laura Haide Perez. Natural Language Generation for Language Learning
Artificial Intelligence [cs.AI]. Université de Lorraine, 2013. English. ⟨NNT : 2013LORR0062⟩
...
tel-00604647v1  Theses
Gabriela Gallegos Garrido. Development of a tightly coupled composite Vision/Laser sensor for indoor SLAM
Automatic. Ecole Nationale Supérieure des Mines de Paris, 2011. English. ⟨NNT : 2011ENMP0013⟩
...
hal-01676355v1  Book sections
David González, Joshué Pérez, Vicente Milanés, Fawzi Nashashibi, Marga Saez Tort et al.  Arbitration and Sharing Control Strategies in the Driving Process
Guillermo Payá-Vayá; Holger Blume. Towards a Common Software/Hardware Methodology for Future Advanced Driver Assistance Systems The DESERVE Approach, River Publishers , pp.24, 2017, 9788793519145
...
hal-01009457v1  Reports
Denis Roegel. Easter bracelets for 5700000 years
[Research Report] 2014
...
hal-01357822v1  Reports
Denis Roegel. A reconstruction of Peters's table of logarithms to 7 places (1921)
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
...
hal-01357840v1  Reports
Denis Roegel. A reconstruction of Peters's table of 7-place logarithms (volume 1, 1940)
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
...
hal-01357823v1  Reports
Denis Roegel. A reconstruction of Peters’s ten-place table of logarithms (volume 1, 1922)
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
...
hal-01357828v1  Reports
Denis Roegel. A reconstruction of Peters's multiplication and interpolation tables (1930)
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
...
hal-01357842v1  Reports
Denis Roegel. A reconstruction of Peters's table of 7-place logarithms (volume 2, 1940)
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
...
hal-01357844v1  Reports
Denis Roegel. A reconstruction of Peters's table of 7-place trigonometrical values for the new division(1941)
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
...
hal-01357837v1  Reports
Denis Roegel. A reconstruction of Peters's eight-place table of trigonometric functions (1939)
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
...
hal-01357820v1  Reports
Denis Roegel. A reconstruction of Peters's table of logarithms to 6 places (1921)
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
...
cel-00529505v7  Lectures
Arnaud Legout. How to Give a Good Talk?
3rd cycle. France. 2013
...
inria-00555008v1  Journal articles
Sho Suzuki, Keiichirou Kusakari, Fré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
...
hal-01357793v1  Reports
Denis Roegel. A reconstruction of Peters's table of products (1909)
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
hal-01306998v1  Journal articles
Kamel Aissat, Ammar Oulamara. A priori approach of real-time ridesharing problem with intermediate meeting locations
Journal of Artificial Intelligence and Soft Computing Research, 2014, 4 (4), pp.287-299