Skip to Main content Skip to Navigation


inria-00407387v1  Books
Olivier Beaumont. Introduction to HeteroPar'07 Proceedings
IEEE International Conference on Cluster Computing, 2007, pp.2, 2007, ⟨10.1109/CLUSTR.2007.4629275⟩
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
...
hal-01059458v1  Book sections
Jose Luis Patino VilchisHamid BenhaddaFrancois Bremond. Data Mining in a Video Data Base
Jean Yves Dufour. Intelligent Video Surveillance Systems, John Wiley & Sons, Inc., Hoboken, NJ USA., 2013, ⟨10.1002/9781118577851.ch14⟩
...
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⟩
...
inria-00107516v1  Book sections
Karl Tombre. Analysis of Engineering Drawings: State of the Art and Challenges
Tombre, Karl and Chhabra, Atul K. Graphics Recognition -- Algorithms and Systems, Springer Verlag, pp.257-264, 1998, Lecture Notes in Computer Science
...
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
...
inria-00107710v1  Reports
Guillaume Burel. Logique Equationnelle et probabilités selon Halpern
[Stage] A03-R-321 || burel03a, 2003, 19 p
...
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-00307986v1  Journal articles
Patrick ReuterJ. BehrM. Alexa. An Improved Adjacency Data Structure for Fast Triangle Stripping
Journal of graphics tools, A.K. Peters, Ltd., 2005, pp.41-50
...
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
...
inria-00107694v1  Journal articles
Gérôme CanalsPascal MolliClaude Godart. Support for End User Participation using Replicated Versions and Group Communication
ACM SIGGROUP Bulletin (ACM Digital Library), Association for Computing Machinery (ACM), 1999, 20 (1), pp.5-9. ⟨10.1145/327556.327598⟩
...
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
...
inria-00107685v1  Reports
Fei Yin. Minimum Receiving Node Minimum Energy Broadcast in All-Wireless Networks
[Intership report] A03-R-222 || yin03a, 2003, 42 p
...
inria-00107696v1  Journal articles
Denis Roegel. Solving Layout Problems Concurrently With TeX and Java
Tugboat, TeX Users Group, 2003, 8 p
...
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
...
inria-00107618v1  Reports
Anis Ben Hellel. Architecture SSM sécurisée utilisant un proxy IGMP
[Stage] A02-R-442 || ben_hellel02a, 2002, 67 p
...
cel-00529505v7  Lectures
Arnaud Legout. How to Give a Good Talk?
3rd cycle. France. 2013
...
inria-00107742v1  Reports
Ralph DebusmannDenys Duchier. A Meta-Grammatical Framework for Dependency Grammar
[Intern report] A03-R-278 || debusmann03a, 2003, 8 p
...
inria-00107753v1  Reports
Bruno Scherrer. Modular self-organization for a long-living autonomous agent
[Intern report] A03-R-053 || scherrer03b, 2003, 7 p
...
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-00107750v1  Reports
Stephan MerzAli Sezgin. Emptiness of Linear Weak Alternating Automata
[Intern report] A03-R-503 || merz03c, 2003, 14 p
...
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
...
inria-00107809v1  Reports
Stephan Merz. TLA+ Case Study: A Resource Allocator
[Intern report] A04-R-101 || merz04a, 2004, 20 p
...
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
...
inria-00107614v1  Reports
Guillaume Thisselin. Fiabilité, maintenance, simulation et combinatoire
[Stage] A02-R-393 || thisselin02c, 2002, 49 p
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
...
inria-00107609v1  Reports
Julien Fondrevelle. Ordonnancement de produits périssables
[Stage] A02-R-377 || fondrevelle02a, 2002, 26 p
...
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