1. Recherche
78 résultats  enregistrer la recherche
...
ensl-00150406v1  Pré-publication, Document de travail
Peter Kornerup, Vincent Lefèvre, Jean-Michel Muller. Computing Integer Powers in Floating-Point Arithmetic
Rapport de recherche LIP n°2007-23. Laboratoire LIP : CNRS/ENS Lyon/INRIA/Université Lyon 1. 2007
...
hal-00307765v1  Communication dans un congrès
Arnaud Pecher, Xuding Zhu. Claw-free circular-perfect graphs
Eurocomb07 - European Conference on Combinatorics, Graph Theory and Applications, Sep 2007, Spain. 29, pp.451--455, 2007
...
inria-00073593v1  Rapport
Kevin Burrage, Jocelyne Erhel. On the Performance of Various Adaptive Preconditioned GMRES Strategies
[Research Report] RR-3098, INRIA. 1997
...
inria-00074712v1  Rapport
Ozalp Babaoglu, Michel Raynal. Sequence-based global predicates for distributed computations : definitions and detection algorithms
[Research Report] RR-1961, INRIA. 1993
...
inria-00074750v1  Rapport
Pierre Bernard, Denis Talay, Luciano Tubaro. Rate of convergence of a stochastic particle method for the Kolmogorov equation with variable coefficients
[Research Report] RR-1924, INRIA. 1993
...
inria-00076893v1  Rapport
François Baccelli, William A. Massey, Paul E. Wright. Determining the exit time distribution for a closed cyclic network
[Research Report] RR-0832, INRIA. 1988
...
inria-00077099v1  Rapport
Panagiotis Alevizos, Jean-Daniel Boissonnat, Franco Preparata. On the boundary of a union of rays
[Research Report] RR-0896, INRIA. 1988
...
inria-00074433v1  Rapport
Dieter Kratsch, T. Klots, H. Müller. Computing the toughness and the scattering number for interval and other graphs
[Research Report] RR-2237, INRIA. 1994
...
inria-00074525v1  Rapport
David Harel, Meir Sardas. Randomized graph drawing with heavy-duty preprocessing
[Research Report] RR-2147, INRIA. 1993
...
inria-00074557v1  Rapport
Zhen Liu, Jacques Resing. Duality and equivalencies in closed tandem queuing
[Research Report] RR-2115, INRIA. 1993
...
inria-00075288v1  Rapport
Fayssal Benkhaldoun, Thierry Fernandez, Bernard Larrouturou, Pénélope Leyland. A dynamical adaptive method based on local refinement and unrefinement for triangular finite-element meshes: preliminary results
[Research Report] RR-1271, INRIA. 1990
...
inria-00075490v1  Rapport
Denis Talay, Luciano Tubaro. Expansion of the global error for numerical schemes solving stochastic differential equations
[Research Report] RR-1069, INRIA. 1989
...
inria-00075335v1  Rapport
Mattew R. James, François Le Gland. Consistent parameter estimation for partially observed diffusions with small noise
[Research Report] RR-1223, INRIA. 1990
...
inria-00630241v1  Communication dans un congrès
Yalin Wang, Xiaotian Yin, Jie Zhang, Xianfeng Gu, Tony Chan et al.  Brain Mapping with the Ricci Flow Conformal Parameterization and Multivariate Statistics on Deformation Tensors
Xavier Pennec. 2nd MICCAI Workshop on Mathematical Foundations of Computational Anatomy, Oct 2008, New-York, United States. pp.36-47, 2008
...
inria-00632879v1  Communication dans un congrès
Xiuwen Liu, Washington Mio, Yonggang Shi, Ivo Dinov. Geodesic Shape Spaces of Surfaces of Genus Zero
Xavier Pennec. 2nd MICCAI Workshop on Mathematical Foundations of Computational Anatomy, Oct 2008, New-York, United States. pp.105-116, 2008
...
inria-00632882v1  Communication dans un congrès
Peter Kim, Donald Richards. Diffusion Tensor Imaging and Deconvolution on Spaces of Positive Definite Symmetric Matrices
Xavier Pennec. 2nd MICCAI Workshop on Mathematical Foundations of Computational Anatomy, Oct 2008, New-York, United States. pp.140-149, 2008
...
inria-00517367v1  Article dans une revue
Stefano Galatolo, Mathieu Hoyrup, Cristobal Rojas. Dynamics and abstract computability: computing invariant measures
Discrete and Continuous Dynamical Systems - Series A, American Institute of Mathematical Sciences, 2011, 29 (1), pp.193-212. <10.3934/dcds.2011.29.193>
hal-00650973v1  Communication dans un congrès
Philippe Darondeau, Laurie Ricker. Towards Distributed Control of Discrete Event Systems
Jörg Desel and Alex Yakovlev. ART2011 : Workshop on Applications of Region Theory, Jun 2011, Newcastle upon Tyne, United Kingdom. 725, pp.63-78, 2011, CEUR Workshop Proceedings; ART2011
...
inria-00517372v1  Communication dans un congrès
Stefano Galatolo, Mathieu Hoyrup, Cristobal Rojas. Computing the speed of convergence of ergodic averages and pseudorandom points in computable dynamical systems
Xizhong Zheng and Ning Zhong. Computability and Complexity in Analysis (CCA), Jun 2010, Zhenjiang, China. 24, pp.7-18, 2010, Electronic Proceedings in Theoretical Computer Science; Proceedings Seventh International Conference on Computability and Complexity in Analysis. <http://arxiv.org/abs/1006.0392v1>. <10.4204/EPTCS.24.6>
...
inria-00364462v1  Rapport
Gérald Oster, Pascal Molli, Sergiu Dumitriu, Rubén Mondéjar. UniWiki: A Reliable and Scalable Peer-to-Peer System for Distributing Wiki Applications
[Research Report] RR-6848, INRIA. 2009, pp.18
inria-00098482v1  Communication dans un congrès
Christopher Lynch, Christelle Scharff. Basic Completion with E-cycle Simplification
Jacques Calmet et Jan Plaza. International Conference on Artificial Intelligence & Symbolic Computation - AISC'98, 1998, Plattsburgh, NY, USA, Springer Verlag, 1476, pp.209-221, 1998, Lecture Notes in Artificial Intelligence
hal-00084186v1  Communication dans un congrès
Laure Petrucci, Jonathan Billington, Søren Christensen, Kees Van Hee, Ekkart Kindler et al.  The Petri Net Markup Language: Concepts, Technology and Tools
24th international conference on Application and Theory of Petri Nets, 2003, Netherlands. Springer-Verlag, pp.483-505, 2003, LNCS 2679
...
inria-00072320v1  Rapport
David Defour, Peter Kornerup, Jean-Michel Muller, Nathalie Revol. A New Range Reduction Algorithm
[Research Report] RR-4267, INRIA. 2001
...
ensl-00278430v1  Pré-publication, Document de travail
Jean-Michel Muller, Peter Kornerup, Christoph Lauter, Vincent Lefèvre, Nicolas Louvet. Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic
Rapport de recherche LIP n° 2008-15. 23 pages. 2008
...
inria-00099479v1  Communication dans un congrès
Hervé Bronnimann, Hazel Everett, Sylvain Lazard, Frank Sottile, Sue Whitesides. Transversals to Line Segments in R3
15th Canadian Conference on Computational Geometry - CCCG'2003, 2003, Halifax, Canada, 4 p, 2003
inria-00099519v1  Ouvrage (y compris édition critique et traduction)
Falai Chen, Dongming Wang. Geometric Computation
World Scientific Publishing Co., Singapore, VIII-412 p, 2003
...
hal-00541996v1  Communication dans un congrès
Pierre Guillon, Pierre-Etienne Meunier, Guillaume Theyssier. Clandestine Simulations in Cellular Automata
TUCS. Journées Automates Cellulaires 2010, Dec 2010, Turku, Finland. pp.133-144, 2010
hal-00342958v1  Chapitre d'ouvrage
Vincenzo Bonifaci, Ralf Klasing, Peter Korteweg, Leen Stougie, Alberto Marchetti-Spaccamela. Data Gathering in Wireless Networks
Arie Koster and Xavier Munoz. Graphs and Algorithms in Communication Networks, Springer-Verlag, pp.357--377, 2010, Springer Monograph
...
inria-00635875v1  Communication dans un congrès
Colin J. Cotter, Darryl D. Holm. Singular solutions, momentum maps and computational anatomy
Xavier Pennec and Sarang Joshi. 1st MICCAI Workshop on Mathematical Foundations of Computational Anatomy: Geometrical, Statistical and Registration Methods for Modeling Biological Shape Variability, Oct 2006, Copenhagen, Denmark. pp.18-28, 2006
...
inria-00077116v1  Rapport
Olivier Devillers, Vida Dujmovic, Hazel Everett, Samuel Hornus, Sue Whitesides et al.  Maintaining Visibility Information of Planar Point Sets with a Moving Viewpoint
[Research Report] RR-5742, INRIA. 2005, pp.11

Contact


archive-ouverte@inria.fr