scholarly journals Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement

2011 ◽  
Vol 412 (21) ◽  
pp. 2162-2187 ◽  
Author(s):  
Sumit Kumar Jha ◽  
Christopher James Langmead
Keyword(s):  
Model Checking ◽  
Statistical Model ◽  
Stochastic Models ◽  
Statistical Model Checking ◽  
Abstraction Refinement ◽  
Biochemical Systems ◽  
Infeasibility Analysis

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

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
Sign in / Sign up

Export Citation Format

Share Document