
PEPA
 Referenced in 116 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...

BioPEPAd
 Referenced in 5 articles
[sw10690]
 this paper, we enrich the stochastic process algebra BioPEPA, with the possibility of assigning ... actions, yielding a new nonMarkovian stochastic process algebra: BioPEPAd. This is a conservative ... stochastic simulation of biological systems with delays. This semantics of the algebra is given ... generalized semiMarkov processes (GSMPs), as input for a delay stochastic simulation algorithm (DSSA...

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

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

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

MoDeST
 Referenced in 32 articles
[sw01544]
 well as soft realtime (i.e., stochastic) aspects. The language is influenced by popular ... with compositionality in a lightweight processalgebra 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 timedependent...

Pyomo
 Referenced in 50 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 4 articles
[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...

QuBiLsMIDAS
 Referenced in 2 articles
[sw13982]
 fourlinear (multilinear or Nlinear) algebraic forms. Thus, is the unique software that ... multimetrics, matrix transformations (simplestochastic, doublestochastic and mutual probability), cutoffs, local calculations ... data cleaning tasks and for batch processing of the molecular descriptors. In addition...

ADOLC
 Referenced in 244 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

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

ANSYS
 Referenced in 668 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

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

BARON
 Referenced in 327 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

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

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

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