A Bayesian Approach to Model Checking Biological Systems (English)
- New search for: Jha, S.K.
- New search for: Clarke, E.M.
- New search for: Langmead, C.J.
- New search for: Legay, A.
- New search for: Platzer, A.
- New search for: Zuliani, P.
- New search for: Jha, S.K.
- New search for: Clarke, E.M.
- New search for: Langmead, C.J.
- New search for: Legay, A.
- New search for: Platzer, A.
- New search for: Zuliani, P.
- New search for: Degano, Pierpaolo
- New search for: Gorrieri, Roberto
In:
Computational Methods in Systems Biology
;
218-234
;
2009
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:A Bayesian Approach to Model Checking Biological Systems
-
Contributors:Jha, S.K. ( author ) / Clarke, E.M. ( author ) / Langmead, C.J. ( author ) / Legay, A. ( author ) / Platzer, A. ( author ) / Zuliani, P. ( author ) / Degano, Pierpaolo / Gorrieri, Roberto
-
Conference:Conference; 7th, Computational Methods in Systems Biology ; 2009 ; Bologna, Italy
-
Published in:Computational Methods in Systems Biology ; 218-234LECTURE NOTES IN COMPUTER SCIENCE ; 218-234
-
Publisher:
- New search for: Springer
-
Place of publication:Berlin
-
Publication date:2009-01-01
-
Size:17 pages
-
Remarks:Includes bibliographical references and author index. Also issued online.
-
ISBN:
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Prediction of Protein-Protein Interacting Sites: How to Bridge Molecular Events to Large Scale Protein Interaction Networks (Invited Talk)Bartoli, L. / Martelli, P.L. / Rossi, I. / Fariselli, P. / Casadio, R. et al. | 2009
- 18
-
The Equivalence between Biology and Computation (Invited Talk)Heath, J.K. et al. | 2009
- 26
-
BlenX4Bio - BlenX for Biologists (Invited Talk)Priami, C. / Ballarini, P. / Quaglia, P. et al. | 2009
- 52
-
Modelling Biological Clocks with Bio-PEPA: Stochasticity and Robustness for the Neurospora Crassa Circadian NetworkAkman, O.E. / Ciocchetta, F. / Degasperi, A. / Guerriero, M.L. et al. | 2009
- 68
-
Quantitative Pathway Logic for Computational BiologyBaggi, M. / Ballis, D. / Falaschi, M. et al. | 2009
- 83
-
A Prize-Collecting Steiner Tree Approach for Transduction Network InferenceBailly-Bechet, M. / Braunstein, A. / Zecchina, R. et al. | 2009
- 96
-
Formal Analysis of the Genetic ToggleBella, G. / Lio, P. et al. | 2009
- 111
-
Control Strategies for the Regulation of the Eukaryotic Heat Shock ResponseCzeizler, E. / Back, R.-J. / Petre, I. et al. | 2009
- 126
-
Computing Reachable States for Nonlinear Biological ModelsDang, T. / Le Guernic, C. / Maler, O. et al. | 2009
- 142
-
On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell CycleDe Maria, E. / Fages, F. / Soliman, S. et al. | 2009
- 158
-
The kappa -Lattice: Decidability Boundaries for Qualitative Analysis in Biological LanguagesDelzanno, G. / Di Giusto, C. / Gabbrielli, M. / Laneve, C. / Zavattaro, G. et al. | 2009
- 173
-
Approximation of Event Probabilities in Noisy Cellular ProcessesDidier, F. / Henzinger, T.A. / Mateescu, M. / Wolf, V. et al. | 2009
- 189
-
Equivalence and Discretisation in Bio-PEPAGalpin, V. / Hillston, J. et al. | 2009
- 205
-
Improved Parameter Estimation for Completely Observed Ordinary Differential Equations with Application to Biological SystemsGennemark, P. / Wedelin, D. et al. | 2009
- 218
-
A Bayesian Approach to Model Checking Biological SystemsJha, S.K. / Clarke, E.M. / Langmead, C.J. / Legay, A. / Platzer, A. / Zuliani, P. et al. | 2009
- 235
-
Dynamic Compartments in the Imperative π-CalculusJohn, M. / Lhoussaine, C. / Niehren, J. et al. | 2009
- 251
-
Probabilistic Approximations of Signaling Pathway DynamicsLiu, B. / Thiagarajan, P.S. / Hsu, D. et al. | 2009
- 266
-
A Reduction of Logical Regulatory Graphs Preserving Essential Dynamical PropertiesNaldi, A. / Remy, E. / Thieffry, D. / Chaouiya, C. et al. | 2009
- 281
-
On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis ProcessNapione, L. / Manini, D. / Cordero, F. / Horvath, A. / Picco, A. / De Pierro, M. / Pavan, S. / Sereno, M. / Veglio, A. / Bussolino, F. et al. | 2009
- 296
-
CSL Model Checking of Biochemical Networks with Interval Decision DiagramsSchwarick, M. / Heiner, M. et al. | 2009
- 313
-
Qualitative Transition Systems for the Abstraction and Comparison of Transient Behavior in Parametrized Dynamic ModelsSoueidan, H. / Sutre, G. / Nikolski, M. et al. | 2009