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

2011 IEEE 1st International Conference on Computational Advances in Bio and Medical Sciences, ICCABS 2011

Volumn , Issue , 2011, Pages 111-116

  Jha, Sumit Kumar ^a   Langmead, Christopher James ^b  

^a University of Central Florida   (United States)

^b Carnegie Mellon University ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BAYESIAN STATISTICAL HYPOTHESIS; BEHAVIORAL SPECIFICATION; CHANGE OF MEASURE; FOLLOWING PROBLEM; RARE EVENT; SAMPLING ALGORITHM; STATE OF THE ART; STATISTICAL VERIFICATION; STOCHASTIC DIFFERENTIAL EQUATION MODELS;

DIFFERENTIAL EQUATIONS; MEDICAL COMPUTING; SAMPLING; STATISTICAL TESTS; STOCHASTIC MODELS; STOCHASTIC SYSTEMS;

BIOLOGICAL SYSTEMS;

EID: 79953806456     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICCABS.2011.5729862     Document Type: Conference Paper

References (13)

1. Q. Mi, B. Rivière, G. Clermont, D. Steed, and Y. Vodovotz, "Agent-based model of inflammation and wound healing: insights into diabetic foot ulcer pathology and the role of transforming growth factor-β1," Wound Repair Regen., vol. 15, no. 5, pp. 671-82, 2007. (Pubitemid 47493883)
2. J. R. Faeder, M. L. Blinov, B. Goldstein, and W. S. Hlavacek, "Rule-based modeling of biochemical networks," Complexity, vol. 10, no. 4, pp. 22-41, 2005. (Pubitemid 40772240)
3. C. Langmead, "Generalized Queries and Bayesian Statistical Model Checking in Dynamic Bayesian Networks: Application to Personalized Medicine," in Proc. of the 8th International Conference on Computational Systems Bioinformatics (CSB), 2009, pp. 201-212.
4. S. K. Jha, C. Langmead, S. Ramesh, and S. Mohalik, "When to stop verification? statistical trade-off between costs and expected losses," in Proceedings of Design Automation and test In Europe (DATE), 2011, p. In Press.
5. K. Gondi, Y. Patel, and A. P. Sistla, "Monitoring the full range of omega-regular properties of stochastic systems," in Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, ser. LNCS, vol. 5403. Springer, 2009, pp. 105-119.
6. A. Wald, Sequential Analysis. New York: John Wiley and Son, 1947.
7. T. Hérault, R. Lassaigne, F. Magniette, and S. Peyronnet, "Approximate probabilistic model checking," in VMCAI, 2004, pp. 73-84. (Pubitemid 38131369)
8. H. L. S. Younes and R. G. Simmons, "Statistical probabilistic model checking with a focus on time-bounded properties," Information and Computation, vol. 204, no. 9, pp. 1368-1409, 2006. (Pubitemid 44279948)
9. J. Berger, Statistical Decision Theory and Bayesian Analysis. Springer-Verlag, 1985.
10. H. Jeffreys, Theory of probability/by Harold Jeffreys, 3rd ed. Clarendon Press, Oxford :, 1961.
11. I. V. Girsanov, "On transforming a certain class of stochastic processes by absolutely continuous substitution of measures," Theory of Probability and its Applications, vol. 5, no. 3, pp. 285-301, 1960.
12. S. K. Jha, "Model validation and discovery for complex stochastic systems," Ph.D. dissertation, Carnegie Mellon University, 2010.
13. R. Lefever and S. R.Garay, Biomathematics and Cell Kinetics. Elsevier, North-Hollan biomedical Press, 1978, ch. Local description of immune tumor rejection, p. 333.