1. Recherche
171 résultats  enregistrer la recherche
...
tel-00250312v1  HDR
Jean-Gabriel Luque. Invariants des hypermatrices
Autre [cs.OH]. Université de Marne la Vallée, 2008
...
inria-00073341v1  Rapport
Loïc Correnson, Étienne Duris, Didier Parigot, Gilles Roussel. Symbolic Composition
[Research Report] RR-3348, INRIA. 1998
...
inria-00073070v1  Rapport
Loïc Correnson, Étienne Duris, Didier Parigot, Gilles Roussel. How to Deforest in Accumulative Parameters?
[Research Report] RR-3608, INRIA. 1999
...
tel-00462013v1  Thèse
Pavel Vassiliev. Development and implementation of a simulator for abstract state machines with real time and model-checking of properties in a language of first order predicate logic with time
Other [cs.OH]. Université Paris-Est, 2008. Russian. <NNT : 2008PEST0050>
...
tel-00974977v1  Thèse
Jean Fortin. BSP-Why, un outil pour la vérification déductive de programmes BSP : machine-checked semantics and application to distributed state-space algorithms
Other [cs.OH]. Université Paris-Est, 2013. English. <NNT : 2013PEST1084>
hal-00765226v1  Ouvrage (y compris édition critique et traduction)
Gilles Dowek, Jean-Pierre Archambault, Emmanuel Baccelli, Sylvie Boldo, Denis Bouhineau et al.  Une introduction à la science informatique pour les enseignants de la discipline en lycée
Gilles Dowek. CRDP Paris, pp.376, 2011, Repères pour agir (RPA disciplines & compétences), Christine Moulin, 978-2-86631-188-9
hal-00765220v1  Ouvrage (y compris édition critique et traduction)
Gilles Dowek, Jean-Pierre Archambault, Emmanuel Baccelli, Claudio Cimellli, Albert Cohen et al.  Informatique et Sciences du Numérique - Spécialité ISN en Terminale S
Eyrolles, pp.303, 2012, ISBN 978-2-212-13543-5
hal-00765227v1  Autre publication
Pierre-Benoît Joly, Thierry Viéville. Planète Sciences et Planète Numérique : une belle passerelle de l'un à l'autre.
Publication dans le numéro spécial "50 ans de Planète Sciences" édité par http://www.planete-scie.. 2012
...
hal-00340797v1  Chapitre d'ouvrage
Olivier Carton, Dominique Perrin, Jean-Eric Pin. Automata and semigroups recognizing infinite words
J. Flum, E. Grädel and T. Wilke. Logic and Automata, History and perspectives, Amsterdam University Press, pp.585-596, 2007
...
hal-01552462v1  Communication dans un congrès
Stéphane Breuils, Vincent Nozick, Laurent Fuchs, Dietmar Hildenbrand, Werner Benger et al.  A hybrid approach for computing products of high-dimensional geometric algebras
CGI / ENGAGE 2017, Jun 2017, Hiyoshi, Japan. pp.1 - 6, 2017, CGI '17 Proceedings of the Computer Graphics International Conference <10.1145/3095140.3097284>
...
tel-00093143v1  Thèse
Johann Dréo. Adaptation de la métaheuristique des colonies de fourmis pour l'optimisation difficile en variables continues. Application en génie biologique et médical.
Autre [cs.OH]. Université Paris XII Val de Marne, 2003. Français
hal-01412831v1  Poster
Isabelle Hue, Nicolas Turenne. TeDE-OM: Text data extraction & OMics
Journées d’Animation des Crédits Incitatifs du Département de Physiologie Animale et Systèmes d’Elevage (JACI Phase 2016) , Apr 2016, Tours, France. 115 p., 2016
inria-00099381v1  Communication dans un congrès
Arnaud Durand, Miki Hermann, Phokion G. Kolaitis. Subtractive Reductions and Complete Problems for Counting Complexity Classes
M. Nielsen et B. Rovan. 25th International Symposium on Mathematical Foundations of Computer Science - MFCS'2000, 2000, Bratislava, Slovaquie, Springer-Verlag, 1893, pp.323-332, 2000, Lecture Notes in Computer Science
...
tel-00587367v1  Thèse
Pierre Boulenguez. Caractérisation multispectrale imageante du champ de lumière de sources et de matériaux pour la photosimulation
Autre [cs.OH]. Université Paris-Est, 2010. Français. <NNT : 2010PEST1008>
...
tel-00587434v1  Thèse
Arash Bahrammirzaee. Contribution to study and design of intelligent virtual agents : application to negotiation strategies and sequences simulation
Other [cs.OH]. Université Paris-Est, 2010. English. <NNT : 2010PEST1006>
...
hal-00711065v1  Communication dans un congrès
Anne-Laure Chauve, Jean-Philippe Pons, Jean-Yves Audibert, Renaud Keriven. Transductive Segmentation of Textured Meshes
9th Asian conference on Computer Vision (ACCV 2009), Sep 2009, Xi'an, China. Springer-Verlag, 5995, pp.502-513, 2010, Lecture Notes in Computer Science. <10.1007/978-3-642-12304-7_47>
hal-00711064v1  Article dans une revue
Ehsan Aganj, Pascal Monasse, Renaud Keriven. Multi-view Texturing of Imprecise Mesh
COMPUTER VISION - ACCV 2009, PT II, 2010, 5995 (?), pp.468--476
...
hal-00711066v1  Communication dans un congrès
Ehsan Aganj, Jean-Philippe Pons, Renaud Keriven. Globally Optimal Spatio-temporal Reconstruction from Cluttered Videos
ACCV 2009 9th Asian conference on Computer Vision, Sep 2009, Xi'an, China. Springer-Verlag, 5996 (?), pp.667-678, 2010, Lecture Notes in Computer Science (LNCS). <10.1007/978-3-642-12297-2_64>
...
hal-00711070v1  Communication dans un congrès
Nicolas Thorstensen, Renaud Keriven. Non-rigid Shape Matching Using Geometry and Photometry
ACCV 2009 9th Asian conference on Computer Vision, Sep 2009, Xi'an, China. Springer-Verlag, 5996, pp.644-654, 2010, Lecture Notes in Computer Science (LNCS)
...
hal-00257704v1  Communication dans un congrès
A.M. Paracha, Ph. Basset, F. Marty, A. Vaisman Chasin, P. Poulichet et al.  A High Power Density Electrostatic Vibration-to-Electric Energy Converter Based On An In-Plane Overlap Plate (IPOP) Mechanism
DTIP 2007, Apr 2007, Stresa, lago Maggiore, Italy. TIMA Editions, pp.290-296, 2007
...
hal-00306661v1  Communication dans un congrès
Julien Allali, Marie-France Sagot. Novel tree edit operations for RNA secondary structure comparison
Workshop on Algorithms in Bioinformatics 2004, 2004, Bergen, Denmark. 3240, pp.412--425, 2004
...
hal-00306660v1  Communication dans un congrès
Julien Allali, Marie-France Sagot. A Multiple Graph Layers Model with Application to RNA Secondary Structures Comparison
String Processing and Information Retrieval 2005, Nov 2005, Argentina. Mariano Consens and Gonzalo Navarro, 3772, pp.348--359, 2005
...
hal-00306572v1  Communication dans un congrès
Pierre Peterlongo, Julien Allali, Marie-France Sagot. The Gapped-Factor Tree
Prague Stringology Conference 2006, 2006, Czech Republic. pp.182--196, 2006
hal-00112831v1  Ouvrage (y compris édition critique et traduction)
Jean-Eric Pin, Dominique Perrin. Infinite Words: Automata, Semigroups, Logic and Games
Elsevier, pp.538, 2004
...
tel-00110831v1  Thèse
Frédéric Gava. Approches fonctionnelles de la programmation parallèle et des méta-ordinateurs. Sémantiques, implantations et certification.
Autre [cs.OH]. Université Paris XII Val de Marne, 2005. Français
...
hal-01164086v3  Pré-publication, Document de travail
Eugene Asarin, Julien Cervelle, Aldric Degorre, Catalin Dima, Florian Horn et al.  Entropy Games and Matrix Multiplication Games
Accepted to STACS 2016. 2015
...
tel-00499252v1  Thèse
Harold Phelippeau. Méthodes et algorithmes de dématriçage et de filtrage du bruit pour la photographie numérique
Autre [cs.OH]. Université Paris-Est, 2009. Français. < NNT : 2009PEST1002 >
...
inria-00072721v1  Rapport
Claude Martini. Cheapest Superstrategies without the Optional Decomposition
[Research Report] RR-3931, INRIA. 2000
...
inria-00072805v1  Rapport
Benjamin Jourdain, Claude Martini. Yet Another Approximation of the American Put
[Research Report] RR-3851, INRIA. 2000

Contact


archive-ouverte@inria.fr