A Practical Approach to Tiling Zuker's RNA Folding Using the Transitive Closure of Loop Dependence Graphs.
Marek PalkowskiWlodzimierz BieleckiPublished in: ISAT (2) (2017)
Keyphrases
- transitive closure
- rna secondary structure prediction
- expressive power
- query evaluation
- constraint databases
- directed acyclic graph
- first order logic
- recursive queries
- query language
- spatial databases
- relational algebra
- graph theoretic
- directed graph
- secondary structure
- normal form
- machine learning
- labeling scheme
- protein folding
- rna sequences