Towards Self-Verification in Finite Difference Code Generation Jan H¨ uckelheim1 , Ziqing Luo2 , Fabio Luporini1 ,Navjot Kukreja1 , Michael Lange1 , Gerard Gorman1 , Stephen Siegel2 , Matthew Dwyer3 , Paul Hovland4

Source URL: correctness-workshop.github.io

• Computing
• Computer programming
• Software engineering
• Operator theory
• Fortran
• OpenMP
• Parallel computing
• Hermitian adjoint
• Adjoint

A Finite Difference Method for Irregular Geometries: Application to Dynamic Rupture on Rough Faults David Belanger (1) and Eric M. Dunham (2,Department of Mathematics, Harvard University; (2) Department of Earth a

Source URL: pangea.stanford.edu

Proc. of the 17th Int. Conference on Digital Audio Effects (DAFx-14), Erlangen, Germany, September 1-5, 2014 FINITE VOLUME PERSPECTIVES ON FINITE DIFFERENCE SCHEMES AND BOUNDARY FORMULATIONS FOR WAVE SIMULATION Brian Ha

Source URL: www.dafx14.fau.de

Nonlinear Analysis: Modelling and Control, 2009, Vol. 14, No. 4, 419–433 Further Comparisons of Finite Difference Schemes for Computational Modelling of Biosensors∗ D. Britz1 , R. Baronas2,3 , E. Gaidamauskait˙e2 ,

Source URL: www.lana.lt

Staggered Finite Difference Schemes for Conservation Laws Gabriella Puppo∗, Giovanni Russo† March 8, 2005 Key words. Conservation laws, balance laws, finite difference schemes, high-order accuracy, central schemes.

Source URL: www.dmi.unict.it

COMPUTATIONAL METHODS IN APPLIED MATHEMATICS, Vol), No.2, pp.154–177 c 2006 Institute of Mathematics of the National Academy of Sciences of Belarus
SUPRACONVERGENCE OF A FINITE DIFFERENCE SCHEME FOR ELLIPTIC B

Source URL: www.math.tu-berlin.de

• Mathematical analysis
• Mathematics
• Sobolev spaces
• Fourier analysis
• Fractional calculus
• Operator theory
• Differential forms on a Riemann surface

3.1 Hybrid finite difference scheme with improved spectral resolution. Kosovic, Branko, Domingo Munoz-Esparza, National Center for Atmospheric Research, and Jeremy Sauer, Los Alamos National Labs Idealized simul

Source URL: www2.mmm.ucar.edu

• Computational fluid dynamics
• Upwind scheme
• Bram van Leer

Silent error detection in numerical time-stepping schemes Austin R. Benson1 2 Sven Schmit1

Source URL: stanford.edu

• Mathematical analysis
• Measurement
• Numerical analysis
• Mathematics
• Coding theory
• Error detection and correction
• Numerical methods for ordinary differential equations
• Truncation error
• Finite difference method
• Error
• Partial differential equation
• Numerical stability

2014 Taiwan-Japan-New Zealand Seismic Hazard Assessment Meeting, NCREE, Taipei, Taiwan, 19-20 May, 2014 Finite-difference simulation of long-period ground motion for the Nankai Trough earthquakes T. Maeda1, N. Morikawa2

Source URL: myweb.ncku.edu.tw

• Plate tectonics
• Geology
• Seismology
• Geology of Japan
• Earth
• Mechanics
• Geology of the Pacific Ocean
• Nankai Trough
• Strong ground motion
• Seismic hazard
• Earthquake
• Simulation

Model Theory of Finite Difference Fields and Simple Groups Mark Jonathan Ryten Submitted in accordance with the requirements of the degree of PhD The University of Leeds Department of Pure Mathematics

Source URL: www1.maths.leeds.ac.uk

• Algebra
• Mathematics
• Abstract algebra
• Metalogic
• Model theory
• Claude Chevalley
• Simple group
• Asymptotic theory
• Field