Login / Signup

BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models.

Curtis MadsenFedor ShmarovPaolo Zuliani
Published in: CMSB (2015)
Keyphrases
  • parameter set
  • biological systems
  • statistical models
  • real time
  • evolutionary algorithm
  • data mining tools