• 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 high-level language and interactive...
  • nauty

  • Referenced in 558 articles [sw00611]
  • graph-theoretic 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 object-oriented, 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...