A Verification Tool for Splice Junction Sites on Whole Genome with Massive Reads.

Sora Kim Taewon Park Kiejung Park Hwan-Gue Cho

Published in: FGIT-DTA/BSBT (2011)

Keyphrases

model checking
software tools
website
data sets
data mining
machine learning
information retrieval
decision making
database systems
user friendly
formal verification