• tRNAscan-SE

  • Referenced in 16 articles [sw08005]
  • secondary structure profiles based on stochastic context-free grammars. tRNAscan-SE searches...
  • Pfold

  • Referenced in 12 articles [sw23813]
  • secondary structure prediction using stochastic context-free grammars. RNA secondary structures are important in many...
  • CONTRAfold

  • Referenced in 8 articles [sw17117]
  • secondary structure prediction. More recently, stochastic context-free grammars (SCFGs) have emerged as an alternative...
  • TPstructure

  • Referenced in 4 articles [sw23814]
  • this paper we introduce a novel, context-free grammar, RNAFeatures*, capable of generating ... made cross-free. RNAFeatures* is an extension of the grammar for secondary structures and employs ... RNAFeatures* to obtain a stochastic context-free grammar for pk-structures, using data...
  • XRate

  • Referenced in 2 articles [sw35404]
  • prototyping, training and annotation tool for phylo-grammars. Results: We have developed an open source ... parametric substitution models combined with stochastic context-free grammars. xrate efficiently estimates maximum-likelihood parameters...
  • Coq

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

  • Referenced in 144 articles [sw00344]
  • The gfun package provides tools for determining and...
  • Maple

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

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

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

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

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

  • Referenced in 2033 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • PRISM

  • Referenced in 454 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • PROGRES

  • Referenced in 70 articles [sw02905]
  • Integrity constraints in the multi-paradigm language PROGRES...
  • COMET

  • Referenced in 80 articles [sw03051]
  • Constraint-Based Local Search. The ubiquity of combinatorial...
  • SLAM

  • Referenced in 153 articles [sw03136]
  • SLAM is a project for checking that software...
  • Haskell

  • Referenced in 885 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • UCI-ml

  • Referenced in 3444 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...