
SARSA
 Referenced in 4 articles
[sw13834]
 structural alignment of RNA using a structural alphabet. SARSA is a web tool that ... align two or more RNA tertiary structures. The basic idea behind SARSA is that ... vector quantization approach to derive a structural alphabet (SA) of 23 nucleotide conformations, via which...

iPARTS
 Referenced in 4 articles
[sw13839]
 structures based on a structural alphabet (SA)based approach. In particular, we first derive ... this SA to transform RNA 3D structures into 1D sequences of SA letters and continue...

fastSCOP
 Referenced in 1 article
[sw22474]
 structural database searches based on a structural alphabet database and a structural alphabet substitution matrix ... server is approximately 98% for 586 query structures and the average execution time is approximately...

IGTools
 Referenced in 2 articles
[sw34225]
 data structures optimized for the genomic alphabet {A,C,G,T,N}. Public available genomic ... 3bit. After the conversion, an indexing data structure, called NELSA, must be built. Please...

SWORD
 Referenced in 1 article
[sw19792]
 letter UIPAC alphabet in RNA sequences considering their secondary structure. The genetic algorithm with island...

SFA
 Referenced in 1 article
[sw00851]
 different alphabets, gives the possibility to perform formal computations by implementing the structure of $\Delta...

libVATA
 Referenced in 1 article
[sw33005]
 used for automata with large alphabets, which appear in several formal verification techniques using tree ... verification of programs with complex dynamic data structures, such as the abstract regular tree model...

GBDD
 Referenced in 1 article
[sw15451]
 represents states using words over a finite alphabet and sets of states using finite automata ... generalize these techniques to other kinds of structures such as graphs. For an introduction...

AhoCorasickTrie
 Referenced in 0 articles
[sw16097]
 trie (the generic name of the data structure) and runs the search in a single ... more efficient trie is possible if the alphabet size can be reduced. For example...

Grail
 Referenced in 19 articles
[sw00374]
 Grail is a symbolic computation environment for finite...

Magma
 Referenced in 2857 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Matlab
 Referenced in 12074 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

nauty
 Referenced in 558 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

R
 Referenced in 8359 articles
[sw00771]
 R is a language and environment for statistical...

TSPLIB
 Referenced in 661 articles
[sw00983]
 TSPLIB is a library of sample instances for...

Smalltalk
 Referenced in 189 articles
[sw01561]
 Smalltalk is an objectoriented, dynamically typed, reflective...

WordNet
 Referenced in 392 articles
[sw01777]
 WordNet® is a large lexical database of English...

SDPT3
 Referenced in 609 articles
[sw04009]
 This software is designed to solve conic programming...

Daikon
 Referenced in 43 articles
[sw04319]
 The Daikon system for dynamic detection of likely...

YALMIP
 Referenced in 913 articles
[sw04595]
 YALMIP Yet another LMI parser. YALMIP is a...