1. Recherche
77 résultats  enregistrer la recherche
...
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>
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
...
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
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-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)
...
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
...
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
...
inria-00072270v1  Rapport
Mohamed Mnif, Agnès Sulem. Optimal Risk Control under Excess of Loss Reinsurance
[Research Report] RR-4317, INRIA. 2001
...
inria-00072303v1  Rapport
Chen Zengjing, Agnès Sulem. An Integral Representation Theorem of g-expectations
[Research Report] RR-4284, INRIA. 2001
...
inria-00072440v1  Rapport
David Lefèvre. An introduction to Utility Maximization with Partial Observation
[Research Report] RR-4183, INRIA. 2001
...
inria-00072571v1  Rapport
Matthieu Leblanc, Claude Martini. Unbounded Volatility in the Uncertain Volatility Model
[Research Report] RR-4065, INRIA. 2000
...
inria-00072570v1  Rapport
Hatim Benamar, Claude Martini, Christophe Patry, Faouzi Trabelsi. Discrete Superstrategies
[Research Report] RR-4066, INRIA. 2000
...
inria-00073050v1  Rapport
Marianne Akian, Agnès Sulem, Michael I. Taksar. Dynamic Optimisation of a Long Term Growth Rate for a Mixed Portfolio with Transaction Costs. The Logarithmic Utility Case
[Research Report] RR-3626, INRIA. 1999
...
inria-00072972v1  Rapport
Claude Martini. The Uncertain Volatility Model and American Options
[Research Report] RR-3697, INRIA. 1999
...
inria-00072973v1  Rapport
Claude Martini. On the Marginal Laws of One-Dimensional Stochastic Integrals with Uniformly Elliptic Integrand
[Research Report] RR-3696, INRIA. 1999
...
inria-00072718v1  Rapport
Claude Martini. American Option Prices as Unique Viscosity Solutions to Degenerated Hamilton-Jacobi-Bellman Equations
[Research Report] RR-3934, INRIA. 2000
...
inria-00072913v1  Rapport
Nils Chr. Framstad, Bernt Oksendal, Agnès Sulem. Optimal Consumption and Portfolio in a Jump Diffusion Market with Proportional Transaction Costs
[Research Report] RR-3749, INRIA. 1999
...
inria-00072860v1  Rapport
Benjamin Jourdain, Claude Martini. American Prices Embedded in European Prices
[Research Report] RR-3799, INRIA. 1999
...
inria-00072895v1  Rapport
Claude Martini, Christophe Patry. Variance Optimal Hedging in the Black-Scholes Model for a given Number of Transactions
[Research Report] RR-3767, INRIA. 1999
inria-00098956v1  Communication dans un congrès
Arnaud Durand, Miki Hermann, Laurent Juban. On the complexity of recognizing the Hilbert basis of a linear Diophantine system
M. Kutylowski, L. Pacholski, T. Wierzbicki. 24th International Symposium on Mathematical Foundations of Computer Science - MFCS'99, 1999, Szklarska Poreba, Poland, Springer-Verlag, 1672, pp.92-102, 1999, Lecture Notes in Computer Science
...
tel-00676449v1  Thèse
Vincent Gardeux. Conception d'heuristiques d'optimisation pour les problèmes de grande dimension : application à l'analyse de données de puces à ADN
Autre [cs.OH]. Université Paris-Est, 2011. Français. <NNT : 2011PEST1022>
...
tel-00681041v1  Thèse
Khaled Dridi. Spécification du protocole MAC pour les réseaux IEEE 802.11e à différentiation de services sous contrainte de mobilité
Autre [cs.OH]. Université Paris-Est, 2011. Français. <NNT : 2011PEST1016>
...
tel-00665586v1  Thèse
Weiwei Yu. Contribution à l’étude et à la mise en œuvre de stratégies adaptatives de commandes intelligentes : application au contrôle de systèmes dynamiques complexes
Autre [cs.OH]. Université Paris-Est, 2011. Français. <NNT : 2011PEST1059>

Contact


archive-ouverte@inria.fr