• Uppaal2k

  • Referenced in 43 articles [sw01595]
  • verification of real-time systems, developed jointly by Basic Research in Computer Science at Aalborg ... through channels or shared variables [WPD94, LPW97b]. Typical application areas include real-time controllers ... dynamic behaviors of a system description, i.e. sequences of symbolic states of the system...
  • ZCURVE

  • Referenced in 1 article [sw23025]
  • characterize the coding sequences, it gives better consideration to both typical and atypical cases, whereas ... transferred genes. It is shown that the joint applications of both systems greatly improve gene...
  • CoCoA

  • Referenced in 621 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Macaulay2

  • Referenced in 1658 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • UCI-ml

  • Referenced in 3041 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • COIN-OR

  • Referenced in 98 articles [sw04615]
  • The Computational Infrastructure for Operations Research (COIN-OR...
  • Uppaal

  • Referenced in 625 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...
  • OEIS

  • Referenced in 3387 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...
  • ABC

  • Referenced in 263 articles [sw10950]
  • A powerful and efficient algorithm for numerical function...
  • Adam

  • Referenced in 273 articles [sw22205]
  • Adam: A Method for Stochastic Optimization. We introduce...
  • plfit

  • Referenced in 222 articles [sw23186]
  • plfit: Fitting power-law distributions to empirical data...
  • TyPiCal

  • Referenced in 8 articles [sw23207]
  • TyPiCal: type-based static analyzer for the Pi...