Verification and validation in scientific computing.
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- A methodological framework for the validation of predictive simulations
- A finite volume method with linearisation in time for the solution of advection-reaction-diffusion systems
- A combined ghost-point-forcing / direct-forcing immersed boundary method (IBM) for compressible flow simulations
- On the use of the method of manufactured solutions for the verification of CFD codes for the volume-averaged Navier-Stokes equations
- Convergence analysis of the direct simulation Monte Carlo based on the physical laws of conservation
- A discontinuous Galerkin scheme for Chimera overset viscous meshes on curved geometries
- Turbulent flow in rough wall channels: \textit{validation} of RANS models
- Code verification of boundary conditions for compressible and incompressible computational fluid dynamics codes
- Stochastic analysis of the impact of freestream conditions on the aerodynamics of a rectangular 5:1 cylinder
- Smoothed truncation error in functional error estimation and correction using adjoint methods in an unstructured finite volume solver
- On the influence of modelling choices on combustion in narrow channels
- An efficient adaptive mesh refinement (AMR) algorithm for the discontinuous Galerkin method: applications for the computation of compressible two-phase flows
- Benchmark analytic solution of the dynamic sphere problem for Bodner-Partom elastic-viscoplastic materials
- Dirichlet boundary conditions for arbitrary-shaped boundaries in stellarator-like magnetic fields for the flux-coordinate independent method
- Error transport equation boundary conditions for the Euler and Navier-Stokes equations
- Short-term antiretroviral treatment recommendations based on sensitivity analysis of a mathematical model for HIV infection of CD4^+T cells
- Truncation error estimation in the p-anisotropic discontinuous Galerkin spectral element method
- Review of code and solution verification procedures for computational simulation
- Probabilistic optimization of engineering system with prescribed target design in a reduced parameter space
- Rolling element bearing diagnosis based on probability box theory
- Finite element error estimates on geometrically perturbed domains
- Verification of numerical codes for modeling of the flow and isotope separation in gas centrifuges
- A posteriori error estimates of spectral approximations for second order partial differential equations in spherical geometries
- mCRE-based parameter identification from full-field measurements: consistent framework, integrated version, and extension to nonlinear material behaviors
- Code verification for practically singular equations
- Verification and accuracy check of simulations with pope and ipope
- Error transport equations implementation for discontinuous Galerkin methods
- Hydrodynamic confirmation of quasi-similarity theory and its application to weak blast wave motion generated by ultrashort pulse laser breakdown in quiescent air
- A fast pressure-correction method for incompressible flows over curved walls
- Code-verification techniques for hypersonic reacting flows in thermochemical nonequilibrium
- On the risks of using double precision in numerical simulations of spatio-temporal chaos
- Manufactured solutions for the method-of-moments implementation of the electric-field integral equation
- Robust verification of stochastic simulation codes
- Code-verification techniques for the method-of-moments implementation of the electric-field integral equation
- Development of a high-order continuous Galerkin sharp-interface immersed boundary method and its application to incompressible flow problems
- Analytical formulas for verification of aerodynamic force and moment computations
- A flux correction for finite-volume discretizations: achieving second-order accuracy on arbitrary polyhedral grids
- Experimental design for parameter estimation in steady-state linear models of metabolic networks
- Non-intrusive hierarchical coupling strategies for multi-scale simulations in gravitational dynamics
- Composable block solvers for the four-field double porosity/permeability model
- A higher-order error estimation framework for finite-volume CFD
- Relinearization of the error transport equations for arbitrarily high-order error estimates
- Solution verification of multiphase flows with one-way coupling
- Numerical issues in gas flow dynamics with hydraulic shocks using high order finite volume WENO schemes
- Verification and validation of delayed detached eddy simulation for cavitating turbulent flow around a hydrofoil and a marine propeller behind the hull
- A simple static contact angle-based mesh-dependency correction for 3D capillary flow simulations
- Accuracy assessment of the non-ideal computational fluid dynamics model for siloxane MDM from the open-source SU2 suite
- Verification and validation of the foredrag coefficient for supersonic and hypersonic flow of air over a cone of fineness ratio 3
- Calibration of a SEIR-SEI epidemic model to describe the zika virus outbreak in Brazil
- Comprehensive code verification techniques for finite volume CFD codes
- Systematic validation of non-equilibrium thermochemical models using Bayesian inference
- On code verification of RANS solvers
- The GBS code for tokamak scrape-off layer simulations
- Trusting computations: a mechanized proof from partial differential equations to actual program
- Bayesian calibration, validation and uncertainty quantification for predictive modelling of tumour growth: a tutorial
- Bayesian calibration, validation, and uncertainty quantification of diffuse interface models of tumor growth
- Virtual model validation of complex multiscale systems: applications to nonlinear elastostatics
- Verification and validation in computational engineering and science: basic concepts
- On the convergence of finite difference methods for PDE under temporal refinement
- Parameter estimation in systems exhibiting spatially complex solutions via persistent homology and machine learning
- Nonintrusive manufactured solutions for non-decomposing ablation in two dimensions
- Code-verification techniques for the method-of-moments implementation of the magnetic-field integral equation
- Non-systematic grid refinement procedures for computational fluid dynamics
- Time-accurate flow simulations using a finite-volume based lattice Boltzmann flow solver with dual time stepping scheme
- Analysis of stability, verification and chaos with the Kreiss-Yström equations
- Verification and validation in scientific computing code
- Data partition methodology for validation of predictive models
- Validation of a decision support model for investigation and improvement in stroke thrombolysis
- Source term discretization effects on the steady-state accuracy of finite volume schemes
- External verification analysis: a code-independent verification technique for unsteady PDE codes
- Quasi-\textit{a priori} truncation error estimation and higher-order extrapolation for non-linear partial differential equations
- Bayesian estimates of parameter variability in the \(k-\varepsilon\) turbulence model
- Numerical integration techniques for discontinuous manufactured solutions
- A conservative lattice Boltzmann model for the volume-averaged Navier-Stokes equations based on a novel collision operator
- Verification of fluid-dynamic codes in the presence of shocks and other discontinuities
- How can computer simulations produce new knowledge?
- The estimation of truncation error by -estimation for Chebyshev spectral collocation method
- Towards interval techniques for model validation
- The estimation of truncation error by \(\tau \)-estimation revisited
- Verification of variable-density flow solvers using manufactured solutions
- Stable generalized finite element method (SGFEM)
- scientific article; zbMATH DE number 1465754 (Why is no real title available?)
- Identification of dynamical systems with structured uncertainty
- Dealing with uncertainties in engineering problems using only available data
- Consistency analysis for massively inconsistent datasets in bound-to-bound data collaboration
- scientific article; zbMATH DE number 1845080 (Why is no real title available?)
- Structural dynamics model updating with interval uncertainty based on response surface model and sensitivity analysis
- Quasi-a priori truncation error estimation in the DGSEM
- An abstract framework for choreographic testing
- Satellite conjunction analysis and the false confidence theorem
- Oscillon preheating in full general relativity
- On false accuracy verification of UMUSCL scheme
- Reconstructing reality. Models, mathematics, and simulations
- Adaptive multiscale predictive modelling
- On the model building for transmission line cables: a Bayesian approach
- Bayesian Probabilistic Numerical Methods
- On the solution of the Neumann Poisson problem arising from a compact differencing scheme using the full multi-grid method
- Calibration, validation, and prediction in random simulation models: Gaussian process metamodels and a Bayesian integrated solution
- Analytical solutions for the resonance response of Goupillaud-type elastic media using \(z\)-transform methods
- Chapter 12: Computational results for validation of nominations
This page was built for publication: Verification and validation in scientific computing.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3057604)
