Results 1 to 20 of 32
Sort by:

  • 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...