Skip to Main content Skip to Navigation

hal-00094341v1  Journal articles
Mihai BostanSimon Labrunie. On the harmonic Boltzmannian waves in laser-plasma interaction
Journal of Physics A: Mathematical and Theoretical, IOP Publishing, 2006, 39, pp.11697-11706
inria-00326931v1  Conference papers
Claire ChauvinSever Adrian HirstoagaPavla KabelikovaAntoine RousseauFrédéric Bernardin et al.  Solving the Uniform Density Constraint in a Stochastic Downscaling Model
CEMRACS 2007 - Centre d'Eté Mathématique de Recherche Avancée en Calcul Scientifique, Aug 2007, Marseille, France. pp.97-110, ⟨10.1051/proc:2008032⟩
ensl-00356709v3  Journal articles
Sylvain Chevillard. The functions erf and erfc computed with arbitrary precision and explicit error bounds
Information and Computation, Elsevier, 2012, 216, pp.72 -- 95
inria-00539835v1  Conference papers
Marco GaboardiRomain Péchoux. Global and local space properties of stream programs
FOPARA 2009 - First International Workshop on Foundational and Practical Aspects of Resource Analysis, Nov 2009, Eindhoven, Netherlands. pp.51--66, ⟨10.1007/978-3-642-15331-0_4⟩
hal-00591868v1  Journal articles
Marco GaboardiJean-Yves MarionSimona Ronchi Della Rocca. An Implicit Characterization of PSPACE
ACM Transactions on Computational Logic, Association for Computing Machinery, 2012, 13 (2), pp.Article 18. ⟨10.1145/2159531.2159540⟩
hal-00642544v1  Conference papers
Frédéric BessonPascal FontaineLaurent Théry. A Flexible Proof Format for SMT: a Proposal
First International Workshop on Proof eXchange for Theorem Proving - PxTP 2011, Aug 2011, Wrocław, Poland
hal-00681539v1  Book sections
François FaureChristian DuriezHervé DelingetteJérémie AllardBenjamin Gilles et al.  SOFA: A Multi-Model Framework for Interactive Physical Simulation
Yohan Payan. Soft Tissue Biomechanical Modeling for Computer Assisted Surgery, 11, Springer, pp.283-321, 2012, Studies in Mechanobiology, Tissue Engineering and Biomaterials, 978-3-642-29013-8. ⟨10.1007/8415_2012_125⟩
hal-00695670v1  Journal articles
Bruno GalerneAres LagaeSylvain LefebvreGeorge Drettakis. Gabor Noise by Example
ACM Transactions on Graphics, Association for Computing Machinery, 2012, 31 (4), pp.Article No. 73. ⟨10.1145/2185520.2185569⟩
hal-00750835v1  Conference papers
Hugo TalbotChristian DuriezHadrien CourtecuisseJatin RelanMaxime Sermesant et al.  Towards Real-Time Computation of Cardiac Electrophysiology for Training Simulator
Statistical Atlases and Computational Models of the Heart - STACOM 2012 in the 15th International Conference on Medical Image Computing and Computer Assisted Intervention - MICCAI 2012, Oct 2012, Nice, France
hal-00797354v1  Journal articles
Hugo TalbotStéphanie MarchesseauChristian DuriezMaxime SermesantStéphane Cotin et al.  Towards an Interactive Electromechanical Model of the Heart
Interface Focus, Royal Society publishing, 2013, The Virtual Physiological Human: Integrative Approaches to Computational Biomedicine, 3 (2), pp.4. ⟨10.1098/rsfs.2012.0091⟩
hal-00833774v1  Conference papers
Olivier DevillersMarc GlisseXavier Goaoc. Complexity Analysis of Random Geometric Structures Made Simpler
29th Annual Symposium on Computational Geometry, Jun 2013, Rio, Brazil. pp.167-175, ⟨10.1145/2462356.2462362⟩
hal-00846953v1  Conference papers
Patrizio AngeliniDavid EppsteinFabrizio FratiMichael KaufmannSylvain Lazard et al.  Universal Point Sets for Planar Graph Drawings with Circular Arcs
Canadian Conference on Computational Geometry, Aug 2013, Waterloo, Canada. pp.117-122
hal-00912767v1  Book sections
Amélie CordierValmi Dufour-LussierJean LieberEmmanuel NauerFadi Badra et al.  Taaable: a Case-Based System for personalized Cooking
Montani, Stefania and Jain, Lakhmi C. Successful Case-based Reasoning Applications-2, 494, Springer, pp.121-162, 2014, Studies in Computational Intelligence, 978-3-642-38735-7. ⟨10.1007/978-3-642-38736-4_7⟩
hal-00920177v1  Journal articles
Ares LagaeSylvain LefebvreRob CookTony DeroseGeorge Drettakis et al.  A Survey of Procedural Noise Functions
Computer Graphics Forum, Wiley, 2010, 29 (8), pp.2579-2600. ⟨10.1111/j.1467-8659.2010.01827.x⟩
hal-00841374v2  Reports
Marc GlisseSylvain LazardJulien MichelMarc Pouget. Silhouette of a random polytope
[Research Report] RR-8327, INRIA. 2013, pp.13
hal-00997207v1  Journal articles
Patrizio AngeliniDavid EppsteinFabrizio FratiMichael KaufmannSylvain Lazard et al.  Universal Point Sets for Planar Graph Drawing with Circular Arcs
Journal of Graph Algorithms and Applications, Brown University, 2014, 18 (3), pp.313-324. ⟨10.7155/jgaa.00324⟩
hal-01015747v1  Conference papers
Dominique AttaliOlivier DevillersMarc GlisseSylvain Lazard. Recognizing shrinkable complexes is NP-complete
Proceedings of the 22nd European Symposium on Algorithms, 2014, Wroclaw, Poland. pp.74-86, ⟨10.1007/978-3-662-44777-2_7⟩