SMT-Based Analysis of Biological Computation.

Boyan Yordanov Christoph M. Wintersteiger Youssef Hamadi Hillel Kugler

Published in: NASA Formal Methods (2013)

Keyphrases

statistical analysis
neural network
data analysis
image analysis
database
computer vision
evolutionary algorithm
biological data
molecular biology