• STAN

  • Referenced in 38 articles [sw03348]
  • based on Graphplan, competed in the first international planning competition at AIPS’98 and demonstrated ... core plan-graph and using a wave-front mechanism to reduce search and graph construction...
  • SAP2000

  • Referenced in 22 articles [sw17041]
  • design code features can automatically generate wind, wave, bridge, and seismic loads with comprehensive automatic ... design code checks per US, Canadian and international design standards...
  • qbsolv

  • Referenced in 1 article [sw34641]
  • default uses its internal classical solver. Access to a D-Wave system must be arranged...
  • AROME

  • Referenced in 1 article [sw19932]
  • during heat waves. AROME was developed in close collaboration with national and international institutes...
  • NAMI DANCE

  • Referenced in 2 articles [sw12053]
  • NAMI-DANCE for the calculation of tsunami waves, developed in collaboration with Professor Yalciner (Turkey ... courses on modeling tsunami organized by the International Centre for Tsunami and UNESCO in Malaysia...
  • AMAZON-SC

  • Referenced in 3 articles [sw06134]
  • applications including wave overtopping at sea walls, wave energy devices and floating bodies. AMAZON ... mesh. The cut cell technique accommodates moving internal solid boundaries very simply without the necessity...
  • Specfem2d

  • Referenced in 1 article [sw34582]
  • SPECFEM2D simulates forward and adjoint seismic wave propagation in two-dimensional acoustic, (an)elastic, poroelastic ... upon Gmsh, Cubit, GiD or a simple internal mesher provided with the package ... used to efficiently absorb the outgoing wave field on the outer edges of the grid...
  • telewavesim

  • Referenced in 1 article [sw31066]
  • upper mantle gives useful information on the internal composition and dynamics of our planet. Some ... examining the effect of teleseismic body wave (i.e., P and S waves that originate from...
  • msprop

  • Referenced in 1 article [sw10228]
  • magnetic component at the same time. The internal dynamics of the few-level system ... envelope approximation resulting in a first order wave equation for each laser field envelope function...
  • BEMLIB

  • Referenced in 100 articles [sw00005]
  • BEMLIB is a boundary-element software library of...
  • ANSYS

  • Referenced in 654 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • BoomerAMG

  • Referenced in 156 articles [sw00086]
  • BoomerAMG: A parallel algebraic multigrid solver and preconditioner...
  • CLIFFORD

  • Referenced in 78 articles [sw00131]
  • CLIFFORD performs various computations in Grass mann and...
  • Coq

  • Referenced in 1776 articles [sw00161]
  • Coq is a formal proof management system. It...
  • DCUTRI

  • Referenced in 12 articles [sw00191]
  • Algorithm 706: DCUTRI: an algorithm for adaptive cubature...
  • FEMLAB

  • Referenced in 56 articles [sw00274]
  • COMSOL Multiphysics, vormals FEMLAB, ist eine Software zur...
  • GeM

  • Referenced in 85 articles [sw00332]
  • We present a recently developed Maple-based “GeM...
  • Gmsh

  • Referenced in 564 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • HSL

  • Referenced in 268 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...