• PEPA

  • Referenced in 112 articles [sw10692]
  • Process Algebra. PEPA tools: The PEPA process algebra is supported by the PEPA Eclipse Plug ... model checking properties in the Continuous Stochastic Logic (CSL). Download the PEPA Eclipse Plug...
  • Bio-PEPAd

  • Referenced in 5 articles [sw10690]
  • this paper, we enrich the stochastic process algebra Bio-PEPA, with the possibility of assigning ... actions, yielding a new non-Markovian stochastic process algebra: Bio-PEPAd. This is a conservative ... stochastic simulation of biological systems with delays. This semantics of the algebra is given ... generalized semi-Markov processes (GSMPs), as input for a delay stochastic simulation algorithm (DSSA...
  • CASPA

  • Referenced in 4 articles [sw02863]
  • efficient symbolic elimination algorithm for the stochastic process algebra tool CASPA. CASPA is a stochastic...
  • PALOMA

  • Referenced in 5 articles [sw20778]
  • Markovian agents. We present a novel stochastic process algebra that allows the expression of models...
  • CARMA

  • Referenced in 4 articles [sw20777]
  • collective adaptive systems. CARMA is a stochastic process algebra equipped with linguistic constructs specifically developed...
  • MoDeST

  • Referenced in 30 articles [sw01544]
  • well as soft real-time (i.e., stochastic) aspects. The language is influenced by popular ... with compositionality in a light-weight process-algebra style. Thus, MoDeST (i) covers a very...
  • DET2STO

  • Referenced in 5 articles [sw05102]
  • DET2STO is a tool that transforms a stochastic version of a model written in AMPL ... then processed by the algebraic modeling language AMPL and optimized by a solver. Stochastic Programming ... stochastic component has finitely many realizations and is described by an event tree. The stochastic ... process is assumed to be independent of the decisions. In that framework, the time-dependent...
  • Pyomo

  • Referenced in 33 articles [sw04910]
  • researchers, and practitioners. Modeling is a fundamental process in many aspects of scientific research, engineering ... modeling approach supported by modern AML (algebraic modeling language) tools. Pyomo is a flexible, extensible ... variables, which can be used to formulate algebraic expressions that define objectives and constraints. Moreover ... cover advanced topics such as nonlinear models, stochastic models, and scripting examples...
  • fdapace

  • Referenced in 1 article [sw15968]
  • Longitudinal Data Analysis, the analysis of stochastic processes from samples of realized trajectories ... Eigen’ C++ library for numerical linear algebra and ’RcppEigen’ ”glue...
  • ProbRel

  • Referenced in 2 articles [sw10154]
  • mathematical calculations must be processed during a practical use of exact and approximate methods, which ... schemes expect an application of a computer algebra system (CAS) Mathematica v. 4.1, which ... problem concerning the seach of polynomial stochastic potentials is considered. Necessary conditions and relations...
  • DistributedExpansion

  • Referenced in 1 article [sw24526]
  • equation can be locally approximated by a (stochastic) expansion. If the vector field ... number of terms, due to their specific algebra, rendering their practical use limited. We present ... small as possible parts that can be processed and manipulated independently, thus alleviating large memory...
  • QuBiLs-MIDAS

  • Referenced in 1 article [sw13982]
  • four-linear (multi-linear or N-linear) algebraic forms. Thus, is the unique software that ... multi-metrics, matrix transformations (simple-stochastic, double-stochastic and mutual probability), cut-offs, local calculations ... data cleaning tasks and for batch processing of the molecular descriptors. In addition...
  • ADOL-C

  • Referenced in 212 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • AMD

  • Referenced in 50 articles [sw00039]
  • Algorithm 837: AMD is a set of routines...
  • ANSYS

  • Referenced in 592 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • ARMS

  • Referenced in 63 articles [sw00048]
  • ARMS: an algebraic recursive multilevel solver for general...
  • BARON

  • Referenced in 288 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • BoomerAMG

  • Referenced in 136 articles [sw00086]
  • BoomerAMG: A parallel algebraic multigrid solver and preconditioner...
  • cdd

  • Referenced in 103 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • CGAL

  • Referenced in 319 articles [sw00118]
  • The goal of the CGAL Open Source Project...