scientific article; zbMATH DE number 1196700
From MaRDI portal
Publication:4208578
zbMath0914.68133MaRDI QIDQ4208578
Richard Lai, Ajin Jirachiefpattana
Publication date: 7 September 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Code-verification techniques for hypersonic reacting flows in thermochemical nonequilibrium, Manufactured solutions for the method-of-moments implementation of the electric-field integral equation, Code-verification techniques for the method-of-moments implementation of the electric-field integral equation, Quasi-DNS capabilities of OpenFOAM for different mesh types, A verification study on low-order three-dimensional potential-based panel codes, On the use of the method of manufactured solutions for the verification of CFD codes for the volume-averaged Navier-Stokes equations, Stable, high-order computation of impedance–impedance operators for three-dimensional layered medium simulations, Simulation of dynamic earthquake ruptures in complex geometries using high-order finite difference methods, An efficient adaptive mesh refinement (AMR) algorithm for the discontinuous Galerkin method: applications for the computation of compressible two-phase flows, Verification of fluid-dynamic codes in the presence of shocks and other discontinuities, Benchmark analytic solution of the dynamic sphere problem for Bodner-Partom elastic-viscoplastic materials, Nonintrusive manufactured solutions for non-decomposing ablation in two dimensions, The estimation of truncation error by \(\tau\)-estimation for Chebyshev spectral collocation method, Unnamed Item, A finite-element toolbox for the simulation of solid-liquid phase-change systems with natural convection, Numerical analysis of finite element methods for the cardiac extracellular-membrane-intracellular model: Steklov–Poincaré operator and spatial error estimates, Computation of Ground States of the Gross--Pitaevskii Functional via Riemannian Optimization, Code-verification techniques for the method-of-moments implementation of the combined-field integral equation, Code-verification techniques for the method-of-moments implementation of the magnetic-field integral equation, Synthesizing distributed protocol specifications from a UML state machine modeled service specification, Quasi-a priori truncation error estimation in the DGSEM, High-order perturbation of surfaces algorithms for the simulation of localized surface plasmon resonances in two dimensions, Robust verification analysis, High-order linear and non-linear residual distribution schemes for turbulent compressible flows, LES at Work: Quality Management in Practical Large-Eddy Simulations, A consistent method for direct numerical simulation of droplet evaporation, History of the Finite Element Method – Mathematics Meets Mechanics – Part II: Mathematical Foundation of Primal FEM for Elastic Deformations, Error Analysis and Adaptivity, Solving elliptic boundary value problems with uncertain coefficients by the finite element method: the stochastic formulation
