
BacSim
 Referenced in 22 articles
[sw17261]
 model describes bacterial properties including substrate uptake, metabolism, maintenance, cell division and death...

BelT
 Referenced in 1 article
[sw29704]
 propagation of the bitbased division property. Firstly, we propose two 2round integral characteristics ... github.com/mhgharieb/BelT256}) approach to propagate the division property through the round function. Then, we utilize...

ALM
 Referenced in 8 articles
[sw29436]
 module hierarchy, and library, and by the division of a system description of ALM into ... contains declarations of sorts, attributes, and properties of the domain together with axioms describing them...

DibaP
 Referenced in 15 articles
[sw08343]
 computing graph partitions. Graph partitioning requires the division of a graph’s vertex set into ... considerable acceleration, while retaining the positive properties of the slower algorithm. Experiments with popular benchmark...

CIVL
 Referenced in 2 articles
[sw34345]
 symbolic execution to check a number of properties, including the absence of deadlocks, race conditions ... illegal pointer dereferences and arithmetic, memory leaks, divisions by zero, and outofbound array...

L1PMA
 Referenced in 2 articles
[sw21492]
 Further, there is a commentary on the division of the code into subroutines. Driver programs ... method. Besides that piecewise monotonicity is a property of a wide range of functions...

EmbryoMaker
 Referenced in 2 articles
[sw38801]
 cell signaling and generegulated cell behaviors (division, adhesion, polarization, apoptosis, contraction, extracellular matrix secretion ... same time the very different biomechanical properties of epithelia, mesenchyme, extracellular matrix and their...

OOgenesis_Pred
 Referenced in 5 articles
[sw25083]
 unfertilized eggs from the oogonia by mitotic division and subsequent differentiation, the identification of oogenesis ... proteins. By means of informative protein physicochemical properties and in addition parameter optimization scheme...

LBIBCell
 Referenced in 3 articles
[sw21532]
 cellbased events, such as cell division, cell–cell interactions and spatially restricted signalling events ... highly resolved, massless elastic polygons; the viscous properties of the tissue are modelled...

UPFPSR
 Referenced in 1 article
[sw41918]
 diverse cellular functions, such as apoptosis, cell division, DNA repair and replication, intracellular transport ... plant. UPFPSR is developed using multiple physicochemical properties of amino acids and sequencebased statistical...

CoCoA
 Referenced in 654 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Epsilon
 Referenced in 44 articles
[sw00244]
 Epsilon is a library of functions implemented in...

GAP
 Referenced in 3164 articles
[sw00320]
 GAP is a system for computational discrete algebra...

gmp
 Referenced in 282 articles
[sw00363]
 GMP is a free library for arbitrary precision...

LAPACK
 Referenced in 1701 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Macaulay2
 Referenced in 1921 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Magma
 Referenced in 3296 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 5369 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 6343 articles
[sw00554]
 Almost any workflow involves computing results, and that...