scholarly journals Parameter discovery in stochastic biological models using simulated annealing and statistical model checking

2014 ◽  
Vol 10 (4/5) ◽  
pp. 519 ◽  
Author(s):  
Faraz Hussain ◽  
Sumit K. Jha ◽  
Susmit Jha ◽  
Christopher J. Langmead
Keyword(s):  
Simulated Annealing ◽  
Model Checking ◽  
Statistical Model ◽  
Biological Models ◽  
Statistical Model Checking

scholarly journals Automated parameter estimation for biological models using Bayesian statistical model checking

2015 ◽  
Vol 16 (S17) ◽  
Author(s):  
Faraz Hussain ◽  
Christopher J Langmead ◽  
Qi Mi ◽  
Joyeeta Dutta-Moscato ◽  
Yoram Vodovotz ◽  
...  
Keyword(s):  
Parameter Estimation ◽  
Model Checking ◽  
Statistical Model ◽  
Biological Models ◽  
Statistical Model Checking

Statistical Model Checking in Drug Repurposing for Alzheimer’s Disease

2020 ◽  
pp. 64-80
Author(s):  
Herbert Rausch Fernandes ◽  
Giovanni Freitas Gomes ◽  
Antonio Carlos Pinheiro de Oliveira ◽  
Sérgio Vale Aguiar Campos
Keyword(s):  
Alzheimer’S Disease ◽  
Alzheimer's Disease ◽  
Model Checking ◽  
Statistical Model ◽  
Drug Repurposing ◽  
Statistical Model Checking
Sign in / Sign up

Export Citation Format

Share Document