Skip to main content

Table 1 Parameters of the acute inflammatory response model synthesized by our algorithm.

From: Automated parameter estimation for biological models using Bayesian statistical model checking

param. 1 (LPS-evap)

0.932575

param. 2 (mac-act-LPS)

0.661416

param. 3 (mac-act-pro)

0.326682

param. 4 (mac-regen)

12.655

param. 5 (mac-age)

60.5967

param. 6 (mac-act-dam)

0.3916

param. 7 (max-pro-dam)

18.5986

param. 8 (pro-dam-thresh)

0.51023

param. 9 (damage-evap)

0.276594

param. 10 (anti-heal-thresh)

7.92487

param. 11 (mac-anti)

0.442621

param. 12 (anti-evap)

0.623503

param. 13 (pro-evap)

0.142298

param. 14 (mac-prop)

8.39519

param. 15 (exp1-dose-time)

149.574

param. 16 (exp1-dose-duration)

4.80575

param. 17 (exp1-dose-amount)

3352.54

param. 18 (exp2-dose-time)

467.262

param. 19 (exp2-dose-duration)

458.451

param. 20 (exp2-dose-amount)

896067

param. 21 (exp3-1st-dose-time)

33.3838

param. 22 (exp3-2nd-dose-time)

407.352

param. 23 (exp3-doses-duration)

41.6759

param. 24 (exp3-doses-amount)

2628.97

param. 25 (exp4-1st-dose-time)

8.24293

param. 26 (exp4-2nd-dose-time)

411.959

param. 27 (exp4-doses-duration)

4.40842

param. 28 (exp4-doses-amount)

4494.65