149 résultats  enregistrer la recherche


...
hal-00150387v1  Article dans une revue
Maureen ClercStéphane MallatEstimating deformations of stationary processes
The Annals of Statistics, IMS, 2003, 31 (6), pp. 1772-1821. <10.1214/aos/1074290327>
...
tel-00527367v1  Thèse
Christelle BraunQuantitative Approaches to Information Hiding
Other [cs.OH]. Ecole Polytechnique X, 2010. English
inria-00099194v1  Communication dans un congrès
Alain GoupilDominique PoulalhonGilles SchaefferCentral Characters and Conjugacy Classes in the Symmetric Group
Krob, D. and Mikhalev, A.A. & Mikhalev, A.V. 12th International Conference on Formal Power Series and Algebraic Combinatorics - FPSAC'00, 2000, Moscou/Russia, Springer, pp.238-249, 2000
inria-00099181v1  Rapport
Jörn MiggeP. MinetS. KamounEvaluation d'outils d'analyse de performances
[Contrat] A00-R-299 || migge00a, Loria. 2000, 8 p
hal-00765226v1  Ouvrage (y compris édition critique et traduction)
Gilles DowekJean-Pierre ArchambaultEmmanuel BaccelliSylvie BoldoDenis 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 DowekJean-Pierre ArchambaultEmmanuel BaccelliClaudio CimellliAlbert 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
inria-00101066v1  Rapport
Dominique PoulalhonGilles SchaefferA note on Bipartite Eulerian Planar Maps
[Intern report] A02-R-213 || poulalhon02a, 2002, 5 p
...
hal-00643634v2  Article dans une revue
Olivier BournezDaniel GraçaEmmanuel HainryComputation with perturbed dynamical systems
Journal of Computer and System Sciences, Elsevier, 2013, 79 (5), pp.714-724. <10.1016/j.jcss.2013.01.025>
inria-00099711v1  Article dans une revue
Gilles DowekThérèse HardinClaude KirchnerTheorem Proving Modulo
Journal of Automated Reasoning, Springer Verlag, 2003, 31 (1), pp.33-72
inria-00100542v1  Communication dans un congrès
Guillaume HanrotFrançois MorainSolvability by radicals from an algorithmic point of view
Bernard Mourrain. International Symposium on Symbolic and Algebraic Computation - ISSAC'2001, 2001, London, Ontario, Canada, ACM, 18 p, 2001
inria-00100860v1  Communication dans un congrès
Dominique PoulalhonGilles SchaefferA bijection for loopless triangulations of a polygon with interior points
Foda, O. and Guttmann, T. International Conference on Formal Power Series and Algebraic Combinatorics - FPSAC'02, Jul 2002, Melbourne, Australie, Actes locaux de l'universite de Melbourne, 12 p, 2002
hal-00163564v1  Article dans une revue
C.C. PantelidesL. LibertiP. TsiakisT. CrombieMINLP Interface Specification
CAPE-OPEN Update, 2002, 2, pp.10-13