Skip to Main content Skip to Navigation
  1. Search


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-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-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-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
...
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⟩
...
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
...
tel-00905873v1  Habilitation à diriger des recherches
Benoîte de Saporta. Contribution à l'estimation et au contrôle de processus stochastiques
Probabilités [math.PR]. Université Sciences et Technologies - Bordeaux I, 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
...
hal-01256574v1  Reports
Lionel Seinturier. État de l’art sur l’interopérabilité des systèmes
[Rapport de recherche] Inria. 2013
...
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