• Valmet

  • Referenced in 9 articles [sw01281]
  • intersect S)/(R union S), b) probabilistic overlap measure for non-binary segmentations, c) mean/median...
  • GIST

  • Referenced in 11 articles [sw09876]
  • turn-based probabilistic games with ω-regular objectives; and (b) synthesizes reasonable environment assumptions ... reduction-based techniques to solve turn-based probabilistic games, and uses the analysis of turn...
  • Pfold

  • Referenced in 12 articles [sw23813]
  • Knudsen, B.; Hein, J. J.: Pfold: RNA secondary structure prediction using stochastic context-free grammars ... explicit evolutionary model and a probabilistic model of structures. Predictions can be done...
  • TSMining

  • Referenced in 1 article [sw29030]
  • found in B. Chiu, E. Keogh, S. Lonardi, Probabilistic discovery of time series motifs...
  • jpHMM

  • Referenced in 4 articles [sw10925]
  • jumping profile Hidden Markov Model) is a probabilistic approach to compare a sequence ... recombinations in HIV-1 and hepatitis B virus (HBV) genomes. For a query sequence phylogenetic...
  • SoDA2

  • Referenced in 3 articles [sw23149]
  • repertoires produced in response to infection, in B-cell neoplasms and in autoimmune disease. Often ... this article is to develop a probabilistic model of the rearrangement process and a Bayesian...
  • pGOLOG

  • Referenced in 3 articles [sw01479]
  • effects of a candidate plan and b) to update their beliefs during on-line execution ... programming language GOLOG, allows the specification of probabilistic beliefs about the state of the world...
  • GNBSL

  • Referenced in 2 articles [sw26874]
  • composition, dipeptide composition, and segment composition. Four probabilistic neural network (PNN) classifiers are used ... GNBSL is higher than those of PSORT-B, CELLO, and PSLpred. A web server GNBSL...
  • FactInt

  • Referenced in 0 articles [sw21199]
  • form bk+/-1 for `small’ b. The code for accessing these tables has been contributed ... factoring methods implemented in this package are probabilistic. In particular the time needed...
  • ANSYS

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

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

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

  • Referenced in 402 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CLPS-B

  • Referenced in 7 articles [sw00132]
  • This paper proposes an approach to the evaluation...
  • Coq

  • Referenced in 1906 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Expokit

  • Referenced in 200 articles [sw00258]
  • Expokit provides a set of routines aimed at...
  • GAP

  • Referenced in 3221 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • HSL

  • Referenced in 284 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...
  • Isabelle

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

  • Referenced in 119 articles [sw00495]
  • Kronecker is a package for Magma computer algebra...