
XFEM
 Referenced in 382 articles
[sw01026]
 sets, vector level sets or a standard method; standard and enriched approximations are independent; enrichment ... material models such as J2 plasticity with linear, isotropic and kinematic hardening. To illustrate ... applications of our paradigm, we present 2D linear elastic fracture mechanics for hundreds of cracks ... with local neartip refinement, and crack propagation in two dimensions as well as complex...

CLAWPACK
 Referenced in 136 articles
[sw01069]
 Laws Package” and was initially developed for linear and nonlinear hyperbolic systems of conservation laws ... methods using limiters in a general framework applicable to many applications. These finite volume methods ... interface between two grid cells into waves propagating into the neighboring cells. Adaptive mesh refinement...

Benchmarks
 Referenced in 25 articles
[sw04612]
 Safety verification of hybrid systems by constraint propagation based abstraction refinement This paper deals with ... verification of nonlinear hybrid systems. We start from a classical method that uses interval ... rectangular grid. We put this method into an abstraction refinement framework and improve ... additional refinement step that employs constraint propagation to add information to the abstraction without introducing...

amodMC
 Referenced in 6 articles
[sw06614]
 method similar to Algorithmic Differentiation (AD) is presented which allows the propagation of, in general ... corresponding subgradients in tangentlinear mode. Subgradients are natural extensions of “usual” derivatives which allow ... application of derivativebased methods to possibly nondifferentiable convex and concave functions. The software package ... propagation of the relaxation and of corresponding subgradients based on the principles of tangentlinear...

AKMCS
 Referenced in 67 articles
[sw18303]
 just started to appear in uncertainty propagation [3] and reliability and studies. It presents interesting ... which can be used in active learning methods. The aim of this paper ... method is called AKMCS for Active learning reliability method combining Kriging and Monte Carlo ... particularly for problems dealing with high nonlinearity, nondifferentiability, nonconvex and nonconnex...

SPIP
 Referenced in 4 articles
[sw16746]
 implementing the interaction picture method for simulation of lightwave propagation in optical fibre ... aimed at solving the Generalized NonLinear Schr”odinger equation (GNLSE), involved in optics ... lightwave propagation in an optical fibre, by the Interaction Picture method, a new efficient...

Libunfold
 Referenced in 1 article
[sw32656]
 Convergence and error propagation results on a linear iterative unfolding method. Unfolding problems often arise ... pertinent regularized operator inversion, we propose a linear iterative formula and provide proof of convergence ... approximation error, the propagated statistical error, and the propagated systematic error can be quantified ... corresponding error propagation is also provided. A numerical example also illustrates the method in operation...

LILIX
 Referenced in 12 articles
[sw00520]
 solving systems of coupled Schrödinger equations. The method is of the sixth order, highly stable ... desired accuracy while subroutine LIX helps propagating the solution and its derivative with respect ... partition. Subroutine RENORM helps conserving the linear independence of various vectors in the solution matrix...

GPSCL
 Referenced in 21 articles
[sw18629]
 imaginarytime propagation based on a splitstep CrankNicolson method. In a onespace ... scalability of threaded codes and demonstrate almost linear speedup obtained with the new programs, allowing...

LINPRO
 Referenced in 1 article
[sw10043]
 LINPRO which provides the solution to the linear inverse problem for data contaminated ... library makes use of two methods: Maximum Entropy Method and Singular Value Decomposition ... analytic continuation of the imaginary time propagator obtained within the Quantum Monte Carlo method...

GPDOF
 Referenced in 8 articles
[sw02585]
 Recursive assembly methods (decompositionrecombination), maximum matching based algorithms, and other famous propagation schema ... geometrical constraints. Models satisfying the set of linear, bilinear and quadratic geometric constraints are optimized...

CEFIT
 Referenced in 2 articles
[sw19989]
 technique for axisymmetric wave propagation in homogeneous and heterogeneous linear elastic media (CEFIT) is presented ... difference time domain scheme offers a suitable method to calculate real threedimensional problems ... available are presented. These solutions involve wave propagation in an elastic plate and plane wave...

Toast++
 Referenced in 4 articles
[sw14492]
 module using the finite element method for simulating the propagation of light in highly scattering ... libraries written in C++ for sparse linear algebra, finite element computation, and nonlinear image reconstruction...

TRHD
 Referenced in 14 articles
[sw16786]
 solved using a compatible unstructured Lagrangian method based on a control volume differencing (CVD) scheme ... freestreaming limit of the radiation propagation in optically thin regions. The proposed RHD model ... also conducted a performance analysis with different linearity preserving interpolation schemes that are used...

DynaThinLayer
 Referenced in 5 articles
[sw08738]
 thin layer method for analyzing viscoelastic wave propagation in stratified media. It approximates the stiffness ... layer method is compared to the thin layer method, the stiffness matrix method ... method in terms of accuracy and efficiency. It is shown that the highorder method ... highorder thin layer method increases linearly when the number of layers increases...

YAO
 Referenced in 1 article
[sw19683]
 first step of the method is a propagation algorithm on the graph that allows computing ... output of the numerical model and its linear tangent, the second is a backpropagation...

Montjoie
 Referenced in 1 article
[sw18725]
 timeharmonic linear partial differential equations using highorder finite element methods. This code ... this code, come from the ”wave propagation” problems, particularly acoustic, electromagnetic, aeroacoustic, elastodynamic problems. Montjoie...

BPM
 Referenced in 2 articles
[sw26045]
 library for the numerical simulation of the linear or nonlinear timedependent Schrödinger equation ... using a firstorder splitstep pseudospectral method, relying on the fast Fourier transform ... waves, in frameworks such as laser beam propagation in nonlinear optical materials, matter waves within...

GPSCLHYB
 Referenced in 4 articles
[sw18221]
 based on a splitstep Crank–Nicolson method, but consider only a fullyanisotropic three ... C/OpenMP/MPI programs for real and imaginarytime propagation are optimized and accompanied by a customizable ... provided OpenMP/MPI codes and demonstrate almost linear speedup until interprocess communication time starts...

cake_lpr
 Referenced in 2 articles
[sw41080]
 proof certificates is propagation redundancy (PR). However, the only existing method to validate proofs ... succinct representation; we present (i) a new Linear PR (LPR) proof format, (ii) a tool...