Login / Signup
An SMT-Based Framework for Reasoning About Discrete Biological Models.
Boyan Yordanov
Sara-Jane Dunn
Colin Gravill
Hillel Kugler
Christoph M. Wintersteiger
Published in:
ISBRA (2022)
Keyphrases
</>
probabilistic model
modeling framework
main contribution
biological systems
mathematical framework
neural network
markov random field
parameter estimation
experimental data
statistical methods
bayesian framework
generic model