• NTUplace3

  • Referenced in 2 articles [sw13201]
  • NTUplace3: an analytical placer for large-scale mixed-size design with preplaced blocks and density ... line shifting during GP and cell sliding during detailed placement. We further use the conjugate...
  • FTI

  • Referenced in 2 articles [sw23300]
  • study of problems in turbulent mixing, in that it controls excess numerical species concentration diffusion ... conservative time integration for interior (grid cell average solution values). We define this first...
  • FISHtrees

  • Referenced in 1 article [sw29659]
  • phylogenies. Tumors often harbor aneuploid or polyploid cell populations. Using a FISH probe to estimate ... ploidy-based tree building method based on mixed integer linear programming (MILP). The ploidy-based...
  • Fastplace

  • Referenced in 1 article [sw13203]
  • multilevel quadratic placement algorithm for large-scale mixed-size designs. The main contributions ... congestion constraints. (3) A congestion aware standard-cell legalization technique in the presence of blockages...
  • multistatepdscontrol

  • Referenced in 1 article [sw31987]
  • networks or signaling networks, in order for cells to achieve a certain phenotype, what happens ... However, increasingly many published discrete models are mixed-state or multistate, that is, some...
  • GeneClust

  • Referenced in 1 article [sw08358]
  • single global reordering of the samples or cell lines for all genes, and although they ... Plus or R) and a considerably faster, mixed-language implementation with a graphical user interface...
  • ANSYS

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

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

  • Referenced in 107 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • CoCoA

  • Referenced in 601 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

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

  • Referenced in 111 articles [sw00203]
  • As modern programming methodologies migrate from computer science...
  • Expokit

  • Referenced in 170 articles [sw00258]
  • Expokit provides a set of routines aimed at...
  • FEMSTER

  • Referenced in 20 articles [sw00275]
  • FEMSTER is a modular finite element class library...
  • GAP

  • Referenced in 2702 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • GAUSS

  • Referenced in 114 articles [sw00322]
  • The GAUSS Mathematical and Statistical System is a...
  • Gerris

  • Referenced in 246 articles [sw00341]
  • Gerris is a Free Software program for the...
  • Gmsh

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

  • Referenced in 18 articles [sw00415]
  • A general $\text{2D-} hp\text{-adaptive}$ Finite...
  • HSL

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