• Chaff

  • Referenced in 533 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 151 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 287 articles [sw01026]
  • independent near-tip, and discontinuous quadrature rules); domain integral methods for homogeneous and bi-material ... with local near-tip refinement, and crack propagation in two dimensions as well as complex...
  • CLPS-B

  • 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 non-determinism 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 domain-specific 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 time-domain method for acoustic propagation. An open source implementation ... Fourier pseudospectral time-domain (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, low-level domain implementation selection, and more...
  • FIVER

  • Referenced in 11 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 run-up 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 equi-propagation 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 3 articles [sw20241]
  • simulating density-driven 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...
  • PERMIX

  • Referenced in 4 articles [sw09519]
  • continuum domains or atomistic domains to continuum domains, respectively. The efficiency of our open-source ... XFEM coupling for dynamic crack propagation...
  • AK-MCS

  • Referenced in 11 articles [sw18303]
  • just started to appear in uncertainty propagation [3] and reliability and studies. It presents interesting ... differentiability, non-convex and non-connex domains of failure and high dimensionality...
  • 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...