Skip to Main content Skip to Navigation


hal-00854662v1  Journal articles
Henri CohenFrank 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 GeorgeHouman 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 ØksendalAgnès SulemTusheng 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⟩
...
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-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 GonthierRoux 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⟩
...
hal-01676355v1  Book sections
David GonzálezJoshué PérezVicente MilanésFawzi NashashibiMarga 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
...
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
...
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
...
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 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
...
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 AissatAmmar 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
...
hal-01610541v1  Book sections
P.-A JosephB GlizeM CognéE SoritaH. Sauzéon. La cognition sociale au-delà du cerveau : une cognition inclusive
Jean-Michel Mazaux; P-A Joseph; A Prouteau; V Brun. La cognition sociale, Sauramps Médical pp.135-142, 2016, 979-10-303-0048-2
hal-01357895v1  Journal articles
Stéphane UbédaPierre KuonenJanez Žerovnik. Graph theory applied to mobile network optimisation
Elektroniski vestnik, 1996, 2 (63), pp.62-72
...
hal-01357826v1  Reports
Denis Roegel. A reconstruction of Peters's six-place table of trigonometric functions (1929)
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
...
hal-01357811v1  Reports
Denis Roegel. A reconstruction of Peters's seven-place table of trigonometric functions (1918)
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
...
hal-01357814v1  Reports
Denis Roegel. A reconstruction of Peters's auxiliary tables to his ten-place logarithms (1919)
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
...
hal-01357831v1  Reports
Denis Roegel. A reconstruction of Peters's six-place table of trigonometric functions for the new division (1930).
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
...
hal-01357834v1  Reports
Denis Roegel. A reconstruction of Peters's table of involutes (1937).
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
...
tel-01108521v1  Theses
Mickaël Buchet. Topological inference from measures
Computational Geometry [cs.CG]. Université Paris Sud - Paris XI, 2014. English. ⟨NNT : 2014PA112367⟩
hal-00654533v1  Books
Dominique ChapelleK.J. Bathe. The Finite Element Analysis of Shells - Fundamentals - Second Edition
Springer, pp.410, 2011, Computational Fluid and Solid Mechanics, 978-3-642-16407-1. ⟨10.1007/978-3-642-16408-8⟩
...
hal-01357835v1  Reports
Denis Roegel. A reconstruction of Peters's six-place table of trigonometric functions for the new division (1938)
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
...
hal-01357846v1  Reports
Denis Roegel. The genealogy of Johann Theodor Peters's great mathematical tables
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
...
hal-01357804v1  Reports
Denis Roegel. A reconstruction of Peters's seven-place table of logarithms of trigonometric functions (1911)
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
...
hal-01357809v1  Reports
Denis Roegel. A reconstruction of Peters's 3-place tables (1913)
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
...
hal-01357806v1  Reports
Denis Roegel. A reconstruction of Peters's five-place table of logarithms of trigonometric functions (1912)
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
...
hal-01357798v1  Reports
Denis Roegel. A reconstruction of Bauschinger and Peters's eight-place table of logarithms (volume 1, 1910)
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
...
hal-01357801v1  Reports
Denis Roegel. A reconstruction of Bauschinger and Peters's eight-place table of logarithms (volume 2, 1911)
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2016
hal-01256593v1  Book sections
Samuel Cruz-LaraAlexandre DenisNadia BellalemLotfi Bellalem. Handbook on 3D3C Platforms: Applications and Tools for Three Dimensional Systems for Community, Creation and Commerce
Yesha Sivan. Handbook on 3D3C Platforms: Applications and Tools for Three Dimensional Systems for Community, Creation and Commerce, Springer International Publishing, pp.507, 2016, 978-3-319-22040-6. ⟨10.1007/978-3-319-22041-3⟩
...
tel-01647934v1  Habilitation à diriger des recherches
Francis Colas. Modélisation bayésienne et robotique
Robotique [cs.RO]. Université de Lorraine, 2017
...
tel-02438652v1  Theses
Arthur Loussert. Understanding and Guiding the Computing Resource Management in a Runtime Stacking Context
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Bordeaux, 2019. English
...
tel-00339402v2  Theses
Mouhamad Ibrahim. Routing and performance evaluation of disruption tolerant networks
Modeling and Simulation. Université Nice Sophia Antipolis, 2008. English
...
ensl-00086707v1  Books
Jean-Michel Muller. Arithmétique des ordinateurs
Masson, pp.214, 1989, 2-225-81689-1
...
tel-00008599v1  Theses
Bilal Atfeh. Méthode des lignes de courant appliquée à la modélisation des bassins
Modélisation et simulation. Université de Provence - Aix-Marseille I, 2003. Français
...
tel-00295072v1  Theses
Dino Lopez Pacheco. Propositions for a robust and inter-operable eXplicit Control Protocol on heterogeneous high speed networks
Networking and Internet Architecture [cs.NI]. Ecole normale supérieure de lyon - ENS LYON, 2008. English
...
tel-00671181v1  Theses
Anca Belme. Unsteady Aerodynamics and Adjoint Method
Analysis of PDEs [math.AP]. Université Nice Sophia Antipolis, 2011. English
inria-00442283v1  Journal articles
Gianpaolo OrioloGautier Stauffer. Clique-Circulant for the Stable Set Polytope of Quasi-line Graphs
Mathematical Programming, Series A, Springer, 2008
hal-01837891v1  Directions of work or proceedings
Martin LeuckerJorge PérezCamilo RuedaFrank D. Valencia. Special Issue: Best Papers Presented at ICTAC 2015
Cambridge University Press, 2018, Mathematical Structures in Computer Science
...
pastel-00576861v1  Theses
Shaoshi Chen. Some applications of differential-difference algebra to creative telescoping
Symbolic Computation [cs.SC]. Ecole Polytechnique X, 2011. English
...
tel-01749331v2  Theses
Utpala Musti. Acoustic-Visual Speech Synthesis by Bimodal Unit Selection
Machine Learning [cs.LG]. Université de Lorraine, 2013. English. ⟨NNT : 2013LORR0003⟩
hal-00826909v1  Journal articles
Yelva RoustanMarc BocquetLuc Musson-GenonBruno Sportisse. Modélisation du mercure, du plomb et du cadmium à l'échelle européenne
Pollution Atmosphérique : climat, santé, société, Le Kremlin Bicêtre : Revue Pollution atmosphérique, 2006, 48 (191), pp.317-327
...
tel-00927119v1  Habilitation à diriger des recherches
Slim Ouni. Multimodal Speech: from articulatory speech to audiovisual speech
Machine Learning [cs.LG]. Université de Lorraine, 2013
...
inria-00195379v1  Reports
Stéphane Le Roux. Graphs and Path Equilibria
[Research Report] 2007, pp.41
...
inria-00576472v1  Reports
C. Mouton. Configuration File Parser Library
[Technical Report] 2009, pp.12
...
pastel-00927122v1  Theses
Zheng Qu. Nonlinear Perron-Frobenius theory and max-plus numerical methods for Hamilton-Jacobi equations
Optimization and Control [math.OC]. Ecole Polytechnique X, 2013. English
...
inria-00576469v1  Reports
C. Mouton. Linear Algebra Libraries
[Technical Report] 2009, pp.35
hal-00826931v1  Journal articles
Anne MathieuIrène KorsakissokDenis QuéloOlivier SaunierJérôme Groëll et al.  État de la modélisation pour simuler l'accident nucléaire de la centrale Fukushima Daiichi
Pollution Atmosphérique : climat, santé, société, Le Kremlin Bicêtre : Revue Pollution atmosphérique, 2013
...
tel-01995823v1  Habilitation à diriger des recherches
Cătălin Hriţcu. The Quest for Formally Secure Compartmentalizing Compilation
Programming Languages [cs.PL]. ENS Paris; PSL Research University, 2019
...
tel-01078911v1  Theses
Matias Martinez. Extraction and Analysis of Knowledge for Automatic Software Repair
Software Engineering [cs.SE]. Université Lille 1, 2014. English