NDLI: Parameter discovery for stochastic computational models in systems biology using Bayesian model checking

Content Provider	IEEE Xplore Digital Library
Author	Hussain, F. Langmead, C.J. Qi Mi Dutta-Moscato, J. Vodovotz, Y. Jha, S.K.
Copyright Year	2014
Description	Author affiliation: Dept. of Electr. Eng. & Comput. Sci., Univ. of Central Florida, Orlando, FL, USA (Hussain, F.; Jha, S.K.) \|\| Dept. of Biomed. Inf., Univ. of Pittsburgh, Pittsburgh, PA, USA (Dutta-Moscato, J.) \|\| Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA (Langmead, C.J.) \|\| Dept. of Surg., Univ. of Pittsburgh, Pittsburgh, PA, USA (Vodovotz, Y.) \|\| Dept. of Sports Med. & Nutrition, Univ. of Pittsburgh, Pittsburgh, PA, USA (Qi Mi)
Abstract	Parameterized probabilistic complex computational $(P^{2}C^{2})$ models are being increasingly used in computational systems biology for analyzing biological systems. A key challenge is to build mechanistic $P^{2}C^{2}$ models by combining prior knowledge and empirical data, given that certain system properties are unknown. These unknown components are incorporated into a model as parameters and determining their values has traditionally been a process of trial and error. We present a new algorithmic procedure for discovering parameters in agent-based models of biological systems against behavioral specifications mined from large data-sets. Our approach uses Bayesian model checking, sequential hypothesis testing, and stochastic optimization to synthesize parameters of $P^{2}C^{2}$ models. We demonstrate our algorithm by discovering the amount and schedule of doses of bacterial lipopolysaccharide in a clinical agent-based model of the dynamics of acute inflammation that guarantee a set of desired clinical outcomes with high probability.
Starting Page	1
Ending Page	2
File Size	440629
Page Count	2
File Format	PDF
ISBN	9781479957866
e-ISBN	9781479957880
DOI	10.1109/ICCABS.2014.6863925
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2014-06-02
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Computational modeling Biological system modeling Atmospheric modeling Stochastic processes Educational institutions Electronic mail Mathematical model
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Libarray of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Parameter discovery for stochastic biological models against temporal behavioral specifications using an SPRT based Metric for simulated annealing

Parameter estimation for nonlinear stochastic model using generalized entropy optimization principle

Exploring behaviors of SDE models of biological systems using change of measures

Parameter Scanning by Parallel Model Checking with Applications in Systems Biology

Parameter Discovery for Stochastic Computational Models in Systems Biology Using Bayesian Model Checking

Model-Checking Based Approaches to Parameter Estimation of Gene Regulatory Networks

Investigating the speedup of systems biology simulation using the SZTAKI Desktop Grid

ENISI SDE: A novel web-based stochastic modeling tool for computational biology

Decision procedure based discovery of rare behaviors in Stochastic Differential Equation models of biological systems

Parameter discovery for stochastic computational models in systems biology using Bayesian model checking

Similar Documents

Parameter discovery for stochastic biological models against temporal behavioral specifications using an SPRT based Metric for simulated annealing

Parameter estimation for nonlinear stochastic model using generalized entropy optimization principle

Exploring behaviors of SDE models of biological systems using change of measures

Parameter Scanning by Parallel Model Checking with Applications in Systems Biology

Parameter Discovery for Stochastic Computational Models in Systems Biology Using Bayesian Model Checking

Model-Checking Based Approaches to Parameter Estimation of Gene Regulatory Networks

Investigating the speedup of systems biology simulation using the SZTAKI Desktop Grid

ENISI SDE: A novel web-based stochastic modeling tool for computational biology

Decision procedure based discovery of rare behaviors in Stochastic Differential Equation models of biological systems

Parameter discovery for stochastic computational models in systems biology using Bayesian model checking