Login / Signup
BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models.
Curtis Madsen
Fedor Shmarov
Paolo Zuliani
Published in:
CMSB (2015)
Keyphrases
</>
parameter set
biological systems
statistical models
real time
evolutionary algorithm
data mining tools