The Equivalence between Biology and Computation (Invited Talk) (Englisch)
- Neue Suche nach: Heath, J.K.
- Neue Suche nach: Heath, J.K.
- Neue Suche nach: Degano, Pierpaolo
- Neue Suche nach: Gorrieri, Roberto
In:
Computational Methods in Systems Biology
;
18-25
;
2009
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Print
-
Titel:The Equivalence between Biology and Computation (Invited Talk)
-
Beteiligte:
-
Kongress:Conference; 7th, Computational Methods in Systems Biology ; 2009 ; Bologna, Italy
-
Erschienen in:
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Berlin
-
Erscheinungsdatum:01.01.2009
-
Format / Umfang:8 pages
-
Anmerkungen:Includes bibliographical references and author index. Also issued online.
-
ISBN:
-
ISSN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 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