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

2012 IEEE 2nd International Conference on Computational Advances in Bio and Medical Sciences, ICCABS 2012

Volumn , Issue , 2012, Pages

  Hussain, Faraz ^a   Dutta, Raj Gautam ^a   Jha, Sumit Kumar ^a   Langmead, Christopher James ^b   Jha, Susmit ^c  

^a UNIVERSITY OF CENTRAL FLORIDA   (United States)

^b Carnegie Mellon University ^*  (United States)

^c UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIORAL SPECIFICATION; BIOCHEMICAL SYSTEMS; BIOLOGICAL MODELS; BIOMEDICAL DEVICES; COMPUTATIONAL SYSTEMS BIOLOGY; DETAILED MODELS; DISCOVERY ALGORITHM; FIRST-PRINCIPLES; LINEAR TEMPORAL LOGIC; NEW PARAMETERS; NUMBER OF SAMPLES; PARAMETER VALUES; QUANTITATIVE FEATURES; SEQUENTIAL HYPOTHESIS TESTING; SEQUENTIAL PROBABILITY RATIO TEST; THEORETICAL RESULT;

ALGORITHMS; BIOCHEMISTRY; GLUCOSE; PARAMETER ESTIMATION; SIMULATED ANNEALING; SPECIFICATIONS; TEMPORAL LOGIC;

STOCHASTIC MODELS;

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

References (9)

1. P. S. Maybeck, T. In, A. Form, O. B. Means, O. Mechanical, I. Photocopy, and M. P. S, "Stochastics models, estimation, and control: Introduction," 1979.
2. A. Kalyanaraman, W. R. Cannon, B. Latt, and D. J. Baxter, "MapReduce implementation of a hybrid spectral Library-Database search method for large-scale peptide identification,"Bioinformatics, Sep. 2011.
3. S. K. Jha, "d-ira: A distributed reachability algorithm for analysis of linear hybrid automata," in HSCC, 2008, pp. 618-621.
4. S. K. Jha, R. G. Dutta, C. J. Langmead, S. Jha, and E. Sassano, "Synthesis of insulin pump controllers from safety specifications using bayesian model validation," in Proceedings of the Tenth AsiaPacific Bioinformatics Conference, 2012.
5. O. Nikolova, J. Zola, and S. Aluru, "A parallel algorithm for learning bayesian networks," Computer Engineering, pp. 2-6, 2007.
6. S. K. Jha, C. J. Langmead, S. Mohalik, and S. Ramesh, "When to stop verification?: Statistical trade-off between expected loss and simulation cost," in DATE. IEEE, 2011, pp. 1309-1314.
7. S. K. Jha and C. J. Langmead, "Exploring behaviors of sde models of biological systems using change of measures," in ICCABS, I. I. Mandoiu, S. Miyano, T. M. Przytycka, and S. Rajasekaran, Eds. IEEE Computer Society, 2011, pp. 111-116.
8. A. Pnueli, "The temporal logic of programs," in Proceedings of the 18th IEEE Symposium on Foundations of Computer Science, 1977, pp. 46-67.
9. F. Hussain, R. G. Dutta, S. K. Jha, C. J. Langmead, and S. Jha, "Parameter discovery for stochastic biological models against temporal behavioral specifications using an sprt based metric for simulated annealing," University of Central Florida, Tech. Rep., 2012.