Skip to Main content Skip to Navigation

hal-01148347v1  Journal articles
Alberto CiaffaglioneLuigi LiquoriMarino Miculan. Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts
Journal of Automated Reasoning, Springer Verlag, 2007, Journal of Automated Reasoning, 39 (1), pp.1-47. ⟨10.1007/s10817-006-9061-y⟩
inria-00100788v1  Conference papers
Benoit SonntagDominique ColnetOlivier Zendra. Dynamic inheritance: a powerful mechanism for operating system design
5th ECOOP Workshop on Object-Orientation and Operating Systems - ECOOP-OOOSWS'2002, Jun 2002, Malaga, Espagne, 5 p
hal-01149845v1  Conference papers
Alberto CiaffaglioneLuigi LiquoriMarino Miculan. Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax
MERLIN '03. Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding, Aug 2003, Uppsala, Sweden. pp.1-10, ⟨10.1145/976571.976574⟩
hal-01149867v1  Conference papers
Alberto CiaffaglioneLuigi LiquoriMarino Miculan. Imperative Object-Based Calculi in Co-inductive Type Theories
Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings, Sep 2003, Almaty, Kazakhstan. pp.59-77, ⟨10.1007/978-3-540-39813-4_4⟩
hal-01149611v1  Conference papers
Luigi LiquoriSimona Ronchi Della Rocca. Towards an Intersection Typed System à la Church
Proceedings of the Third International Workshop on Intersection Types and Related Systems (ITRS 2004) Intersection Types and Related Systems 2004, Jul 2004, Turku, Finland. pp.43-56, ⟨10.1016/j.entcs.2005.06.015⟩
inria-00188820v1  Conference papers
Bruno GasMohamed ChetouaniJean-Louis ZaraderFarid Feiz. The predictive self-organizing map : application to speech features extraction
5th Workshop on Self-Organizing Maps - WSOM'05, 2005, Paris, France
inria-00107711v1  Conference papers
Enrico PoggiYe-Qiong SongAnis KoubaaZhi Wang. Matrix-DBP for (m, k)-firm Real Time Guarantee
RTS 2003 - Real Time Systems Conference, 2003, Paris, France. pp.27
inria-00613186v1  Conference papers
Thomas BourquardJérôme AzéAnne PouponDavid Ritchie. Protein-protein docking based on shape complementarity and Voronoi fingerprint
Journées Ouvertes Biologie Informatique Mathématiques, Jun 2011, Paris, France. pp.9-16
inria-00628038v1  Conference papers
Jérôme AzéThomas BourquardSylvie HamelAnne PouponDavid Ritchie. Using Kendall-Tau Meta-Bagging to Improve Protein-Protein Docking Predictions
PRIB 2011, Marcel Reinders and Dick de Ridder, Nov 2011, DELFT, Netherlands. pp.284-295
inria-00099199v1  Conference papers
Guillaume CheliusEric Fleury. An IP Next Generation Compliant Java ™ Virtual Machine
IPDPS 2000 - International Workshop on Java for Parallel & Distributed Computing, D. Caromel, S. Chaumette, G. Fox, P. Graham, May 2000, Cancun, Mexico. pp.528-535, ⟨10.1007/3-540-45591-4_72⟩
inria-00509269v1  Conference papers
Daniel AugotMagali BardetJean-Charles Faugère. Efficient decoding of (binary) cyclic codes above the correction capacity of the code using Grobner bases
IEEE International Symposium on Information Theory - ISIT'2003, Jun 2003, Yokohama, Japan. pp.362 - 362, ⟨10.1109/ISIT.2003.1228378⟩
hal-00601944v1  Journal articles
Pierre-Emmanuel Jabin. Averaging Lemmas and Dispersion Estimates for kinetic equations
Rivista di Matematica della Università di Parma, Istituto di Matematica, 2009, 8 (1), pp.71-138
hal-00602795v1  Books
Carl GrahamDenis Talay. Simulation stochastique et méthodes de Monte-Carlo
Les Éditions de l'École Polytechnique, pp.198, 2011
hal-00452108v1  Book sections
Florent MalrieuDenis Talay. Concentration inequalities for Euler schemes
Niederreiter, Harald and Talay, Denis. Monte Carlo and Quasi-Monte Carlo Methods 2004, Springer, pp.355-371, 2006
hal-01479854v1  Journal articles
Sylvain Maire. Un algorithme probabiliste de calculs d’approximations polynomiales sur un hypercube
Comptes Rendus Mathématique, Elsevier Masson, 2003, 336 (2), pp.185-190
hal-00278077v1  Journal articles
Benjamin BruderOlivier BokanowskiStefania MarosoHasnaa Zidani. Numerical approximation for a superreplication problem under gamma constraints
SIAM Journal on Numerical Analysis, Society for Industrial and Applied Mathematics, 2009, 3 (47), pp.2289-2320
hal-01479844v1  Journal articles
Emmanuel GobetSylvain Maire. A spectral Monte Carlo method for the Poisson equation
Monte Carlo Methods and Applications, De Gruyter, 2004, 10 (3-4), pp.275-285
hal-00719457v1  Journal articles
Pierre-Emmanuel JabinAnne Nouri. Analytic solutions to a strongly nonlinear Vlasov equation
Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 2011, 349 (9-10), pp.541-546. ⟨10.1016/j.crma.2011.03.024⟩
hal-00274882v1  Conference papers
Benoîte de SaportaChristophette Blanchet-ScallietEtienne TanréDenis Talay. Optimal portfolio allocation under transaction costs
31st conference on Stochastic Processes and Their Applications, Jul 2006, Paris, France
hal-00601403v1  Journal articles
Pierre-Emmanuel JabinJuan Soler. A coupled Boltzmann & Navier-Stokes fragmentation model induced by a fluid-particle-spring interaction
Multiscale Modeling and Simulation: A SIAM Interdisciplinary Journal, Society for Industrial and Applied Mathematics, 2010, 8 (4), pp.1244-1268. ⟨10.1137/080735655⟩
hal-01479848v1  Journal articles
Sylvain Maire. Polynomial approximations of multivariate smooth functions from quasi-random data
Statistics and Computing, Springer Verlag (Germany), 2004, 14 (4), pp.333-336
hal-00594200v1  Book sections
Christophette Blanchet-ScallietRajna Gibson BrandonBenoîte de SaportaDenis TalayEtienne Tanré. Viscosity solutions to optimal portfolio allocation problems in models with random time changes and transaction costs.
Albrecher Hansjörg, Runggaldier Wolfgang J. and Schachermayer Walter. Advanced Financial Modelling, Walter de Gruyter, pp.53-90, 2009, Radon series on computational and applied mathematics 8, ⟨10.1515/9783110213140.53⟩