MATHEMATICS OF COMPUTATION Volume 78, Number 266, April 2009, Pages 845–863 SArticle electronically published on October 7, 2008 WEAK ORDER FOR THE DISCRETIZATION

Source URL: perso-math.univ-mlv.fr

Volume-of-Fluid Discretization Methods for PDE in Irregular Domains Phillip Colella Computing Sciences Directorate Lawrence Berkeley National Laboratory Berkeley, CA

Source URL: crd.lbl.gov

Regularity and multi-scale discretization of the solution construction of hyperbolic evolution equations with limited smoothnessI Maarten V. de Hoopa , Sean F. Holmana,∗, Hart F. Smithb , Gunther Uhlmannb a Center b

Source URL: www.math.washington.edu

A note on the triangle-centered quadratic interpolation discretization of the shape operator J . Reisman (NYU), E. Grinspun (Columbia), D. Zorin (NYU) May, 2007 Abstract In this note we consider a simple shape operator d

Source URL: mrl.nyu.edu

• Analytic geometry
• Conic sections
• Algebraic curves
• Parabolas
• Birational geometry
• Quadratic equation
• Quadratic function
• Collinearity
• Quadratic form
• Triangle
• Degenerate conic
• Quadric

Verification of Hybrid Systems in Coq H. Geuvers, A. Koprowski, D. Synek, E. van der Weegen BRICKS AFM4 Advancing the Real use of Proof Assistants Foundations group, Intelligent Systems, ICIS Radboud University Nijmegen

Source URL: www.cs.ru.nl

• Functional languages
• Type theory
• Automated theorem proving
• Hybrid automaton
• Numerical analysis
• Proof assistant
• Coq
• Verification
• OCaml
• Model checking
• Discretization

Pedestrian flow characterization based on spatiotemporal Voronoi tessellations Marija Nikolic´ Michel Bierlaire Transport and Mobility Laboratory, EPFL

Source URL: www.strc.ch

• Mathematics
• Geometry
• Mathematical analysis
• Diagrams
• Discrete geometry
• Road traffic management
• Computational geometry
• Voronoi diagram
• Mathematical physics
• Traffic flow
• Discretization
• Closed and exact differential forms

Session 1 : Calcul Scientifique Koffi Wifrid Houedanou Residual-based a posteriori error estimates for a nonconforming finite element discretization of the Stokes-Darcy coupled problem: Isotropic discretization.

Source URL: www.scienceafrique.fr

A MULTIGRID-BASED SHIFTED-LAPLACIAN PRECONDITIONER FOR A FOURTH-ORDER HELMHOLTZ DISCRETIZATION. N.UMETANI∗, S.P.MACLACHLAN†, C.W. OOSTERLEE‡ § Abstract. In this paper, an iterative solution method for a fourth-ord

Source URL: ta.twi.tudelft.nl

Stability of Haptic Rendering: Discretization,Quantization, Time-Delays and Coulomb Effects

Source URL: jks-folks.stanford.edu

Approximately Optimal Risk-averse Routing Policies via Adaptive Discretization Darrell Hoy Evdokia Nikolova Electrical Engineering and Computer Science

Source URL: users.ece.utexas.edu