
tRNAscanSE
 Referenced in 16 articles
[sw08005]
 secondary structure profiles based on stochastic contextfree grammars. tRNAscanSE searches...

Pfold
 Referenced in 12 articles
[sw23813]
 secondary structure prediction using stochastic contextfree grammars. RNA secondary structures are important in many...

CONTRAfold
 Referenced in 8 articles
[sw17117]
 secondary structure prediction. More recently, stochastic contextfree grammars (SCFGs) have emerged as an alternative...

TPstructure
 Referenced in 4 articles
[sw23814]
 this paper we introduce a novel, contextfree grammar, RNAFeatures*, capable of generating ... made crossfree. RNAFeatures* is an extension of the grammar for secondary structures and employs ... RNAFeatures* to obtain a stochastic contextfree grammar for pkstructures, using data...

XRate
 Referenced in 2 articles
[sw35404]
 prototyping, training and annotation tool for phylogrammars. Results: We have developed an open source ... parametric substitution models combined with stochastic contextfree grammars. xrate efficiently estimates maximumlikelihood 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 highlevel language and interactive...

MiniSat
 Referenced in 584 articles
[sw00577]
 An extensible SATsolver. 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, opensource 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 multiparadigm language PROGRES...

COMET
 Referenced in 80 articles
[sw03051]
 ConstraintBased 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, generalpurpose purely functional...

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