• 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 near-tip 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 non-linear 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 tangent-linear mode. Subgradients are natural extensions of “usual” derivatives which allow ... application of derivative-based methods to possibly nondifferentiable convex and concave functions. The software package ... propagation of the relaxation and of corresponding subgradients based on the principles of tangent-linear...
  • AK-MCS

  • 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 AK-MCS for Active learning reliability method combining Kriging and Monte Carlo ... particularly for problems dealing with high non-linearity, non-differentiability, non-convex and non-connex...
  • SPIP

  • Referenced in 4 articles [sw16746]
  • implementing the interaction picture method for simulation of light-wave propagation in optical fibre ... aimed at solving the Generalized Non-Linear Schr”odinger equation (GNLSE), involved in optics ... light-wave 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...
  • GP-SCL

  • Referenced in 21 articles [sw18629]
  • imaginary-time propagation based on a split-step Crank-Nicolson method. In a one-space ... 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 (decomposition-recombination), 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 three-dimensional 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 ... free-streaming 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 high-order method ... high-order 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]
  • time-harmonic linear partial differential equations using high-order 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 time-dependent Schrödinger equation ... using a first-order split-step pseudospectral method, relying on the fast Fourier transform ... waves, in frameworks such as laser beam propagation in nonlinear optical materials, matter waves within...
  • GP-SCL-HYB

  • Referenced in 4 articles [sw18221]
  • based on a split-step Crank–Nicolson method, but consider only a fully-anisotropic three ... C/OpenMP/MPI programs for real- and imaginary-time propagation are optimized and accompanied by a customizable ... provided OpenMP/MPI codes and demonstrate almost linear speedup until inter-process 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...