• 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 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • gfun

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

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

  • Referenced in 442 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 880 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • UCI-ml

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

  • Referenced in 1099 articles [sw04707]
  • Genocop, by Zbigniew Michalewicz, is a genetic algorithm...
  • QSopt_ex

  • Referenced in 27 articles [sw04722]
  • QSopt-Exact. The objective of this software is...
  • KEEL

  • Referenced in 153 articles [sw06791]
  • KEEL: a software tool to assess evolutionary algorithms...
  • Chaff

  • Referenced in 586 articles [sw06916]
  • Chaff:engineering an efficient SAT solver. Boolean Satisfiability...
  • OEIS

  • Referenced in 4221 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...