
NTUplace3
 Referenced in 2 articles
[sw13201]
 NTUplace3: an analytical placer for largescale mixedsize 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 ... ploidybased tree building method based on mixed integer linear programming (MILP). The ploidybased...

Fastplace
 Referenced in 1 article
[sw13203]
 multilevel quadratic placement algorithm for largescale mixedsize designs. The main contributions ... congestion constraints. (3) A congestion aware standardcell 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 mixedstate 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, mixedlanguage 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...