• RAST

  • Referenced in 8 articles [sw17158]
  • data types, the metagenomics RAST is stable, extensible, and freely available to all researchers. This...
  • Stan Math

  • Referenced in 6 articles [sw36869]
  • usable, extensive and extensible, efficient, scalable, stable, portable, and redistributable in order to facilitate ... cleanly abstracted functional interface. The extensive built-in library includes functions for matrix operations, linear ... equation solving, and most common probability functions. Extensibility derives from a straightforward object-oriented framework ... arithmetic precision in algebraic expressions and providing stable, compound functions where possible. For portability...
  • Algorithm 691

  • Referenced in 6 articles [sw23793]
  • local quadrature with recursive monotone stable (RMS) formulas. Extensive numerical tests, both for one-dimensional...
  • GFORCE

  • Referenced in 22 articles [sw06607]
  • stable schemes that have the same stability regions as the straightforward multi-dimensional extension...
  • micrOMEGAs

  • Referenced in 72 articles [sw01425]
  • compute the relic density of a stable massive particle, the code also computes the rates ... general approach include the MSSM and various extensions. Extensions to other models can be implemented...
  • admcycles

  • Referenced in 6 articles [sw36730]
  • moduli space of stable curves has been studied extensively in the last decades. We present...
  • MicrOMEGAs 2.0

  • Referenced in 48 articles [sw01426]
  • which calculates the relic density of a stable massive particle in an arbitrary model ... MSSM with complex phases and the NMSSM. Extension to other models, including non-supersymmetric models...
  • AX-GADGET

  • Referenced in 4 articles [sw41501]
  • schemes to ensure precise and stable derivatives. As an extension of the P-GADGET3 code...
  • XMPP

  • Referenced in 7 articles [sw07051]
  • Extensible Messaging and Presence Protocol (XMPP) is an open technology for real-time communication, which ... technology is stable, the XMPP community continues to define various XMPP extensions through an open...
  • Padua2D

  • Referenced in 21 articles [sw04414]
  • Points on Bivariate Domains We present a stable and efficient Fortran implementation of polynomial interpolation ... BLAS subroutine for the matrix-matrix product. Extension to interpolation on rectangles, triangles and ellipses...
  • CoNtRol

  • Referenced in 13 articles [sw14067]
  • CRNs). It is designed to be both extensible and simple to use, complementing existing ... and/or sufficient structural tests for multiple equilibria, stable periodic orbits, convergence to equilibria and persistence...
  • Carneades

  • Referenced in 9 articles [sw22087]
  • reasoning tasks (computing one or all extensions and deciding whether an argument is credulously ... inferred) and Dung semantics (grounded, complete, preferred, stable) covered by the competition have been implemented...
  • ODRPACK

  • Referenced in 21 articles [sw00649]
  • algorithm implemented is an efficient and stable trust region Levenberg-Marquardt procedure that exploits ... provides for finite difference derivatives, and contains extensive error checking and report generating facilities...
  • strongSwan

  • Referenced in 2 articles [sw14676]
  • order to have a stable IPsec platform to base the extensions of the X.509 capability...
  • DeReS

  • Referenced in 4 articles [sw32312]
  • extensions. If an input theory is a logic program, DeReS computes stable models of this...
  • qhasm

  • Referenced in 2 articles [sw09338]
  • rewrite planned. The .q language is not stable; if you write .q files then ... them extensively for future qhasm releases. The machine-description language has a stable structure...
  • ggforce

  • Referenced in 2 articles [sw17750]
  • through the official extension system so using ’ggforce’ should be a stable experience...
  • JKTEBOP

  • Referenced in 2 articles [sw27088]
  • very stable and has a lot of additional goodies, including extensive Monte Carlo or bootstrapping...
  • PenPC

  • Referenced in 7 articles [sw25384]
  • large number of neighbors. As illustrated by extensive simulations and applications on gene expression data ... state-of-the-art method, the PC-stable algorithm...
  • libeemd

  • Referenced in 1 article [sw16207]
  • user-friendly, fast, stable, well-documented and easily extensible EEMD library for anyone interested...