• XFEM

  • Referenced in 382 articles [sw01026]
  • independent; enrichment detection schemes: topological, geometrical, narrow-band, etc.; multi-material problem with an arbitrary...
  • Proteus

  • Referenced in 106 articles [sw41563]
  • spherical particles is simulated in a narrow box under two different boundary conditions...
  • SIMPLIcity

  • Referenced in 87 articles [sw14893]
  • permitting semantically-adaptive searching methods and narrowing down the searching range in a database...
  • BABEL

  • Referenced in 71 articles [sw03018]
  • other side, the language uses narrowing as the basis of a lazy reduction semantics which...
  • TOY

  • Referenced in 56 articles [sw09812]
  • over real numbers; goal solving by needed narrowing combined with constraint solving. The implementation...
  • ZRAM

  • Referenced in 38 articles [sw01038]
  • defined class of problems and algorithms. This narrow focus permits developers to optimize algorithms, once...
  • MoMM

  • Referenced in 34 articles [sw04655]
  • MoMM (in the narrower sense) is a tool allowing fast interreduction of a high number...
  • SBR Toolbox

  • Referenced in 21 articles [sw10146]
  • reduction of banded matrices to narrower banded or tridiagonal form, with optional accumulation...
  • MobileNetV2

  • Referenced in 15 articles [sw41926]
  • important to remove non-linearities in the narrow layers in order to maintain representational power...
  • Multivac

  • Referenced in 14 articles [sw06314]
  • dimensions. It features efficient algorithms, including the narrow band level set method and the fast...
  • ThemeRiver

  • Referenced in 13 articles [sw11135]
  • documents. Colored “currents” flowing within the river narrow or widen to indicate decreases or increases...
  • MDC-ELLIPSOIDs

  • Referenced in 11 articles [sw22577]
  • coarse (with the traditional bounding spheres) and narrow (with the separate condition) contact detection. Note...
  • GLINTS

  • Referenced in 3 articles [sw40628]
  • GLINTS, a graphical tool for exploring variant narrowing computations in Maude. The most recent version ... Variant generation relies on a novel narrowing strategy called ’folding variant narrowing’ that opens ... every term in the theory. However, variant narrowing computations can be extremely involved ... finite variant property, (ii) thoroughly exploring variant narrowing computations, (iii) automatic checking of node ’embedding...
  • TRIOPT

  • Referenced in 6 articles [sw02486]
  • proposed here is that once a partition narrows down to a small size, its vertices...
  • BACOLR

  • Referenced in 6 articles [sw04397]
  • codes, especially for problems with solutions exhibiting narrow spikes or boundary layers...
  • Simreg

  • Referenced in 6 articles [sw09075]
  • their natural boundaries which results in narrower bands, as compared to the case where...
  • MCTS-Solver

  • Referenced in 5 articles [sw00565]
  • MCTS-Solver, has been designed to play narrow tactical lines better in sudden-death games...
  • IDRStab

  • Referenced in 5 articles [sw09450]
  • recursion formula for updating the residuals to narrow the residual gap. The formula requires extra...
  • Dist-Orc

  • Referenced in 5 articles [sw10063]
  • based on rewriting logic and Maude that narrows this gap considerably. The enabling feature...
  • Spybug

  • Referenced in 5 articles [sw16740]
  • specification to help developers to identify and narrow down bugs in their solvers. The importance...