• BacSim

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

  • Referenced in 1 article [sw29704]
  • propagation of the bit-based division property. Firstly, we propose two 2-round integral characteristics ... github.com/mhgharieb/Bel-T-256}) 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 out-of-bound 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 gene-regulated cell behaviors (division, adhesion, polarization, apoptosis, contraction, extracellular matrix secretion ... same time the very different bio-mechanical 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]
  • cell-based 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 sequence-based 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...