1. Recherche
104 résultats  enregistrer la recherche
...
hal-00150387v1  Article dans une revue
Maureen Clerc, Stéphane Mallat. Estimating deformations of stationary processes
The Annals of Statistics, IMS, 2003, 31 (6), pp. 1772-1821. <10.1214/aos/1074290327>
hal-00954842v1  Ouvrage (y compris édition critique et traduction)
Denis Talay, Carl Graham. Stochastic Simulation and Monte Carlo Methods. Mathematical Foundations of Stochastic Simulation.
Springer, 68, pp.268, 2013, Stochastic Modelling and Applied Probability, 978-3-642-39363-1
...
hal-00754971v1  Communication dans un congrès
Térence Bayen, Francis Mairet, Pierre Martinon, Matthieu Sebbah. Optimizing the anaerobic digestion of microalgae in a coupled process
13th European Control Conference, Jul 2013, Zurich, Switzerland. pp.6, 2012
hal-00923609v1  Article dans une revue
Omri Azencot, Mirela Ben Chen, Leonidas J. Guibas, Maks Ovsjanikov, Raif Rustamov et al.  Map-Based Exploration of Intrinsic Shape Differences and Variability
ACM Transactions on Graphics (TOG), ACM New York, NY, USA, 2013, ACM Transactions on Graphics (TOG) - SIGGRAPH 2013 Conference Proceedings, 32 (4), pp.article 72
...
inria-00524938v1  Communication dans un congrès
Bruno Barras, Pierre Corbineau, Benjamin Grégoire, Hugo Herbelin, Jorge Sacchini. A New Elimination Rule for the Calculus of Inductive Constructions
Stefano Berardi and Ferruccio Damiani and Ugo de'Liguoro. Types for Proofs and Programs, Mar 2008, Torino, Italy. Springer, 5497, pp.32-48, 2009, Lecture Notes in Computer Science; Types for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008, Revised Selected Papers. <10.1007/978-3-642-02444-3_3>
...
hal-01001975v1  Rapport
Bernard Bonnard, Mathieu Claeys, Olivier Cots, Alain Jacquemard, Pierre Martinon. A combination of algebraic, geometric and numerical methods in the contrast problem by saturation in magnetic resonance imaging
[Research Report] LAAS-CNRS. 2014
...
hal-00800436v1  Communication dans un congrès
Bernard Bonnard, Mathieu Claeys, Olivier Cots, Pierre Martinon. Comparison of Numerical Methods in the Contrast Imaging Problem in NMR
52nd IEEE Conference on Decision and Control, Dec 2013, Firenze, Italy. 2013
...
inria-00074658v1  Rapport
Olivier Faugeras, Thierry Viéville, Eric Theron, Jean Vuillemin, Bernard Hotz et al.  Real-time correlation-based stereo : algorithm, implementations and applications
[Research Report] RR-2013, INRIA. 1993
...
inria-00527531v1  Article dans une revue
Gilles Dowek, Gérard Berry. L'informatique oblige à repenser la classification des sciences : questions à Gilles Dowek. On a longtemps confondu l'informatique avec ses usages, questions à Gérard Berry ; propos recueillis par Dominique Chouchan
Les Cahiers de l'INRIA - La Recherche, INRIA, 2009, Neandertal : pourquoi a-t-il disparu ?
...
inria-00429607v1  Communication dans un congrès
Sebastien Loriot, Frédéric Cazals, Michael Levitt, Julie Bernauer. A geometric knowledge-based coarse-grained scoring potential for structure prediction evaluation
Journées Ouvertes en Biologie, Informatique et Mathématiques (JOBIM), Jul 2009, Nantes, France. 2009
...
hal-00809304v1  Pré-publication, Document de travail
Julien Claisse, Denis Talay, Xiaolu Tan. A note on solutions to controlled martingale problems and their conditioning
2013
hal-00772475v1  Communication dans un congrès
Frédéric Chazal, Leonidas J. Guibas, Primoz Skraba, Maks Ovsjanikov. Persistence-based Segmentation of Deformable Shapes
CVPR Workshop on Non-Rigid Shape Analysis and Deformable Image Alignment, Jun 2010, San Francisco, United States. 2010
...
hal-00780349v1  Communication dans un congrès
Beniamino Accattoli, Ugo Dal Lago. On the Invariance of the Unitary Cost Model for Head Reduction
23rd International Conference on Rewriting Techniques and Applications (RTA'12), May 2012, Nagoya, Japan. 2012
...
inria-00614041v1  Communication dans un congrès
Mickaël Armand, Germain Faure, Benjamin Grégoire, Chantal Keller, Laurent Théry et al.  Verifying SAT and SMT in Coq for a fully automated decision procedure
PSATTT'11: International Workshop on Proof-Search in Axiomatic Theories and Type Theories, Aug 2011, Wroclaw, Poland. 2011
...
hal-01301937v2  Communication dans un congrès
Thomas Bonis, Maks Ovsjanikov, Steve Oudot, Frédéric Chazal. Persistence-based Pooling for Shape Pose Recognition
6th International Workshop on Computational Topology in Image Context (CTIC 2016), Jun 2016, Marseille, France. 9667, CTIC 2016 Proceedings of the 6th International Workshop on Computational Topology in Image Context
...
hal-01203716v1  Communication dans un congrès
Mathieu Carriere, Steve Oudot, Maks Ovsjanikov. Stable Topological Signatures for Points on 3D Shapes
Eurographics Symposium on Geometry Processing 2015, Jul 2015, Graz, Austria. 34 (5), Proceedings of the Eurographics Symposium on Geometry Processing 2015
...
hal-00553441v1  Communication dans un congrès
Bruno Cessac, Juan Carlos Vasquez, Hassan Nasser, Horacio Rostro-Gonzalez, Thierry Viéville et al.  Parametric estimation of spike train statistics by Gibbs distributions : an application to bio-inspired and experimental data
Cinquième conférence plénière française de Neurosciences Computationnelles, "Neurocomp'10", Aug 2010, Lyon, France
...
hal-01203816v1  Communication dans un congrès
Stéphanie Allassonnière, Loïc Devilliers, Xavier Pennec. Estimating the Template in the Total Space with the Fréchet Mean on Quotient Spaces may have a Bias: a Case Study on Vector Spaces Quotiented by the Group of Translations
Mathematical Foundations of Computational Anatomy (MFCA'15), Oct 2015, Munich, Germany. pp.131-142, 2015, Proceedings of the fifth international workshop on Mathematical Foundation sof Computational Anatomy (MFCA'15). <http://www-sop.inria.fr/asclepios/events/MFCA15/>
...
inria-00368403v2  Communication dans un congrès
François Garillot, Georges Gonthier, Assia Mahboubi, Laurence Rideau. Packaging Mathematical Structures
Tobias Nipkow and Christian Urban. Theorem Proving in Higher Order Logics, 2009, Munich, Germany. Springer, 5674, 2009, Lecture Notes in Computer Science
...
hal-01393327v1  Pré-publication, Document de travail
Marta Zoppello, Antonio Desimone, François Alouges, Laetitia Giraldi, Pierre Martinon. Optimal control of slender microswimmers
2016
...
hal-01066076v1  Communication dans un congrès
Johannes Starlinger, Sarah Cohen-Boulakia, Sanjeev Khanna, Susan Davidson, Ulf Leser. Layer Decomposition: An Effective Structure-based Approach for Scientific Workflow Similarity
IEEE e-Science conference, Oct 2014, Guarujá, Brazil. 2014
...
hal-01514977v1  Pré-publication, Document de travail
Camille Coron, Sylvie Méléard, Denis Villemonais. Perpetual integrals convergence and extinctions in population dynamics
2017
...
hal-01254053v3  Pré-publication, Document de travail
Fabien Campillo, Nicolas Champagnat, Coralie Fritsch. On the variations of the principal eigenvalue with respect to a parameter in growth-fragmentation models
2017
...
hal-01521891v1  Pré-publication, Document de travail
Alexandre Richard, Patricio Orio, Etienne Tanré. An integrate-and-fire model to generate spike trains with long memory
2017
...
hal-01371591v2  Pré-publication, Document de travail
Bertrand Cloez, Coralie Fritsch. Gaussian approximations for chemostat models in finite and infinite dimensions
2017
...
inria-00502496v2  Communication dans un congrès
Michaël Armand, Benjamin Grégoire, Arnaud Spiwack, Laurent Théry. Extending Coq with Imperative Features and its Application to SAT Verification
Interactive Theorem Proving, Jul 2010, Edinburgh, United Kingdom. 2010
...
hal-01159297v2  Pré-publication, Document de travail
Mathieu Carriere, Steve Oudot, Maks Ovsjanikov. Local Signatures using Persistence Diagrams
2015
...
hal-00736036v2  Article dans une revue
Nicolas Champagnat, Amaury Lambert, Mathieu Richard. Birth and death processes with neutral mutations
International Journal of Stochastic Analysis, Hindawi, 2012, 2012, Article ID 569081, 20 p. <10.1155/2012/569081>
...
inria-00001251v1  Autre publication
Evelyne Hubert, Alexandre Sedoglavic. Polynomial Time Nondimensionalisation of Ordinary Differential Equations via their Lie Point Symmetries
2006

Contact


archive-ouverte@inria.fr