• Bio-PEPAd

  • Referenced in 5 articles [sw10690]
  • actions, yielding a new non-Markovian stochastic process algebra: Bio-PEPAd. This is a conservative ... PEPAd systems in generalized semi-Markov processes (GSMPs), as input for a delay stochastic simulation...
  • hesim

  • Referenced in 2 articles [sw35582]
  • time-homogeneous and time-inhomogeneous) and semi-Markov processes. Decision uncertainty from a cost-effectiveness...
  • SMM

  • Referenced in 1 article [sw22604]
  • simulation for multi-state discrete-time semi-Markov processes. For the parametric estimation, several discrete...
  • SMP-tool

  • Referenced in 0 articles [sw39145]
  • based application for modeling systems as Semi-Markov Processes (SMPs) and hierarchical SMPs and analysing ... Nyberg, M., Branching Transitions for Semi-Markov Processes with Application to Safety-Critical Systems...
  • Conrad

  • Referenced in 1 article [sw23028]
  • first comparative gene predictor based on semi-Markov conditional random fields (SMCRFs). Unlike the best ... predictors, which are based on generalized hidden Markov models (GHMMs) and trained by maximum likelihood ... their highly modular nature, simplifying the process of designing and testing potential indicators of gene...
  • ASTA

  • Referenced in 16 articles [sw00051]
  • ASTA is a tool for research in predictions...
  • C-XSC 2.0

  • Referenced in 127 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • Maple

  • Referenced in 5375 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6360 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13559 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 566 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • NAG

  • Referenced in 423 articles [sw00610]
  • Produced by experts for use in a variety...
  • R

  • Referenced in 10082 articles [sw00771]
  • R is a language and environment for statistical...
  • TimeNET

  • Referenced in 30 articles [sw00965]
  • This paper describes TimeNET (Timed Net Evaluation Tool...
  • Kronos

  • Referenced in 273 articles [sw01270]
  • KRONOS is a tool developed with the aim...
  • SHARPE

  • Referenced in 43 articles [sw03100]
  • SHARPE, (Symbolic Hierarchical Automated Reliability and Performance Evaluator...
  • ARPACK

  • Referenced in 848 articles [sw04218]
  • ARPACK is a collection of Fortran77 subroutines designed...
  • mstate

  • Referenced in 32 articles [sw04376]
  • R package mstate: Data preparation, estimation and prediction...
  • p3state.msm

  • Referenced in 12 articles [sw04377]
  • R package p3state.msm: Analyzing survival data , Analyzing survival...
  • alr3

  • Referenced in 295 articles [sw04474]
  • alr3: Data to accompany Applied Linear Regression 3rd...