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
...
tel-01357054v1  Habilitation à diriger des recherches
Rémi Douence. Composition non modulaire modulaire
Génie logiciel [cs.SE]. Université de Nantes, Faculté des sciences et des techniques., 2015
...
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-01009703v1  Reports
Paul-Louis George, Houman Borouchaki. Sur les carreaux B-spline ou NURBS de degré 2
[Rapport de recherche] RR-8550, INRIA. 2014, pp.59
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
...
tel-00008413v2  Theses
Hamoudi Kalla. Génération automatique de distributions/ordonnancements temps réel, fiables et tolérants aux fautes
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2004. Français
...
hal-00755482v1  Reports
Bilel Saadallah, Abdelkader Lahmadi, Olivier Festor. CCNx for Contiki: implementation details
[Technical Report] RT-0432, INRIA. 2012, pp.52
hal-01357514v1  Journal articles
Stéphane Ubéda. Comparaison d'algorithmes d'amincissement d'images sur machine à base de Transputers
La Lettre du transputer et des calculateurs distribués, La Boucle informatique, 1992, pp.21-33
...
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
...
hal-01352700v2  Reports
François Pellegrini. L'originalité des œuvres logicielles
[Rapport de recherche] RR-8945, Inria Bordeaux Sud-Ouest; Université de bordeaux. 2016, pp.13
...
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
...
tel-00357309v1  Theses
Taous-Meriem Laleg. Analyse de signaux par quantification semi-classique. Application à l'analyse des signaux de pression artérielle
Mathématiques [math]. Université de Versailles-Saint Quentin en Yvelines, 2008. Français
...
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