
Chaff
 Referenced in 539 articles
[sw06916]
 packages, both proprietary and in the public domain (e.g. GRASP, SATO) which find significant ... particularly efficient implementation of Boolean constraint propagation (BCP) and a novel low overhead decision strategy...

ABAQUS/Standard
 Referenced in 154 articles
[sw07161]
 state rolling of a tire, or crack propagation in a composite airplane fuselage. Within ... model both in the time and frequency domain. For example, one may start by performing...

XFEM
 Referenced in 293 articles
[sw01026]
 independent neartip, and discontinuous quadrature rules); domain integral methods for homogeneous and bimaterial ... with local neartip refinement, and crack propagation in two dimensions as well as complex...

CLPSB
 Referenced in 6 articles
[sw00132]
 terms of constraint domains, consistency verification and constraint propagation. It is more powerful than most ... constraint systems, because it allows the domain of variable to contain other variables, which increase ... level of abstraction. The constrained state propagates the nondeterminism of the B specifications...

clpfd
 Referenced in 7 articles
[sw06308]
 present a new constraint solver over finite domains, freely available as library(clpfd ... arbitrarily large integers, always terminating propagation, and a domainspecific language that concisely expresses...

cumulativemm
 Referenced in 2 articles
[sw15628]
 mode activities, respectively. Moreover, they integrate domain propagation and explanation generation techniques for the above...

gprecedencemm
 Referenced in 2 articles
[sw15629]
 mode activities, respectively. Moreover, they integrate domain propagation and explanation generation techniques for the above...

openPSTD
 Referenced in 2 articles
[sw22130]
 open source pseudospectral timedomain method for acoustic propagation. An open source implementation ... Fourier pseudospectral timedomain (PSTD) method for computing the propagation of sound is presented, which ... strategy of using subdomains divides the problem domain into local subsets, which enables the simulation...

CaSPER
 Referenced in 6 articles
[sw08629]
 solving process such as propagator scheduling, search strategies, lowlevel domain implementation selection, and more...

FIVER
 Referenced in 12 articles
[sw18341]
 large density jumps is presented. The global domain of interest can include a moving ... topological changes due to, for example, crack propagation. The key components of the proposed method...

VOLNA
 Referenced in 7 articles
[sw06829]
 complete life cycle of a tsunami (generation, propagation and runup along the coast ... thus can be run in arbitrary complex domains. This paper contains a detailed description...

WPP
 Referenced in 3 articles
[sw21775]
 Wave Propagation Program) is the predecessor of SW4. It discretizes the seismic wave equations using ... extends to the bottom of the computational domain, is also generated automatically...

BEE
 Referenced in 6 articles
[sw16989]
 compiler which enables to encode finite domain constraint problems to CNF. Using BEE both eases ... These optimizations are based primarily on equipropagation and on partial evaluation, and also ... often highly beneficial when solving hard finite domain constraint problems. ABEE implementation is available with...

AllDifferent
 Referenced in 4 articles
[sw08967]
 constraint. We show how to implement this propagator using a decomposition that extends the bounds ... AllDifferent constraint. Finally, we prove that enforcing domain consistency on this global constraint...

SELP
 Referenced in 1 article
[sw22586]
 Evidential Label Propagation strategy (SELP) is proposed to incorporate limited domain knowledge into the community ... mass functions. Then the evidential label propagation rule is designed to propagate the labels from...

TURBINS
 Referenced in 4 articles
[sw20241]
 simulating densitydriven gravity and turbidity currents propagating over complex topographies. The code is second ... time, uses MPI, and employs a domain decomposition approach. It makes use of multigrid preconditioners...

CEFIT
 Referenced in 2 articles
[sw19989]
 elastodynamic finite integration technique for axisymmetric wave propagation in homogeneous and heterogeneous linear elastic media ... special variant of a finite difference time domain scheme offers a suitable method to calculate ... available are presented. These solutions involve wave propagation in an elastic plate and plane wave...

AKMCS
 Referenced in 12 articles
[sw18303]
 just started to appear in uncertainty propagation [3] and reliability and studies. It presents interesting ... differentiability, nonconvex and nonconnex domains of failure and high dimensionality...

PERMIX
 Referenced in 4 articles
[sw09519]
 continuum domains or atomistic domains to continuum domains, respectively. The efficiency of our opensource ... XFEM coupling for dynamic crack propagation...

inpaintBCT
 Referenced in 3 articles
[sw15076]
 order functional advection PDE on a compact domain with all inflow boundaries is studied. That ... image. The image information is propagated along integral curves of a coherence vector field from...