• ceg

  • Referenced in 1 article [sw32871]
  • package ceg: Chain Event Graph. Create and learn Chain Event Graph (CEG) models using ... vertex, edge and graph attributes. A Chain Event Graph is a tree-based graphical model ... Collazo R, Gorgen C, Smith J. Chain Event Graph. CRC Press, ISBN 9781498729604, 2018 (forthcoming ... Thwaites PA, Nicholson AE. The Dynamic Chain Event Graph. Electronic Journal of Statistics...
  • BITE

  • Referenced in 7 articles [sw13222]
  • software package designed for the analysis of event history data using flexible hierarchical models ... data are stored into text files. Markov chain Monte Carlo methods are used for numerical ... expectations of functionals of parameters, or (iii) graphs (created with Splus or R software packages...
  • CoChecker

  • Referenced in 1 article [sw13316]
  • tool, CoChecker, to identify the leak paths (chains of components) that would lead to privilege ... analysis. We propose to build a call graph to model the execution of multiple entry ... false negatives due to the Android`s event-driven programming paradigm. We further carry...
  • ACL2

  • Referenced in 283 articles [sw00060]
  • ACL2 is both a programming language in which...
  • BARON

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

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

  • Referenced in 57 articles [sw00384]
  • GreatSPN2.0 is a software package for the modeling...
  • Isabelle

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Maple

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • MARCA

  • Referenced in 32 articles [sw00547]
  • MARCA: Markov chain analyzer, a software package for...
  • MATCONT

  • Referenced in 443 articles [sw00551]
  • MATCONT: Matlab software for bifurcation study of dynamical...
  • Mathematica

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

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

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

  • Referenced in 609 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • Normaliz

  • Referenced in 172 articles [sw00630]
  • Normaliz is a tool for computations in affine...
  • Octave

  • Referenced in 304 articles [sw00646]
  • GNU Octave is a high-level language, primarily...
  • PSPLIB

  • Referenced in 269 articles [sw00740]
  • PSPLIB -- a project scheduling problem library. We present...
  • R

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

  • Referenced in 289 articles [sw00891]
  • We are pleased to introduce SOSTOOLS, a free...