Cargando…

Computational Methods in Systems Biology 7th International Conference, CMSB 2009 /

This book constitutes the refereed proceedings of the 7th International Conference on Computational Methods in Systems Biology, CMSB 2009, held in Bologna, Italy, August 31 - September 1, 2009. The 18 revised full papers presented together with the summaries of 3 invited papers were carefully review...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Degano, Pierpaolo (Editor ), Gorrieri, Roberto (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edición:1st ed. 2009.
Colección:Lecture Notes in Bioinformatics, 5688
Temas:
Acceso en línea:Texto Completo

MARC

LEADER 00000nam a22000005i 4500
001 978-3-642-03845-7
003 DE-He213
005 20220222183207.0
007 cr nn 008mamaa
008 100301s2009 gw | s |||| 0|eng d
020 |a 9783642038457  |9 978-3-642-03845-7 
024 7 |a 10.1007/978-3-642-03845-7  |2 doi 
050 4 |a QH301-705 
072 7 |a PSA  |2 bicssc 
072 7 |a SCI086000  |2 bisacsh 
072 7 |a PSA  |2 thema 
082 0 4 |a 570  |2 23 
245 1 0 |a Computational Methods in Systems Biology  |h [electronic resource] :  |b 7th International Conference, CMSB 2009 /  |c edited by Pierpaolo Degano, Roberto Gorrieri. 
250 |a 1st ed. 2009. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 2009. 
300 |a X, 329 p.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Lecture Notes in Bioinformatics,  |x 2366-6331 ;  |v 5688 
505 0 |a Prediction of Protein-Protein Interacting Sites: How to Bridge Molecular Events to Large Scale Protein Interaction Networks -- The Equivalence between Biology and Computation -- BlenX4Bio - BlenX for Biologists -- Modelling Biological Clocks with Bio-PEPA: Stochasticity and Robustness for the Neurospora crassa Circadian Network -- Quantitative Pathway Logic for Computational Biology -- A Prize-Collecting Steiner Tree Approach for Transduction Network Inference -- Formal Analysis of the Genetic Toggle -- Control Strategies for the Regulation of the Eukaryotic Heat Shock Response -- Computing Reachable States for Nonlinear Biological Models -- On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle -- The ?-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages -- Approximation of Event Probabilities in Noisy Cellular Processes -- Equivalence and Discretisation in Bio-PEPA -- Improved Parameter Estimation for Completely Observed Ordinary Differential Equations with Application to Biological Systems -- A Bayesian Approach to Model Checking Biological Systems -- Dynamic Compartments in the Imperative ?-Calculus -- Probabilistic Approximations of Signaling Pathway Dynamics -- A Reduction of Logical Regulatory Graphs Preserving Essential Dynamical Properties -- On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process -- CSL Model Checking of Biochemical Networks with Interval Decision Diagrams -- Qualitative Transition Systems for the Abstraction and Comparison of Transient Behavior in Parametrized Dynamic Models. 
520 |a This book constitutes the refereed proceedings of the 7th International Conference on Computational Methods in Systems Biology, CMSB 2009, held in Bologna, Italy, August 31 - September 1, 2009. The 18 revised full papers presented together with the summaries of 3 invited papers were carefully reviewed and selected from more than 45 submissions. The papers cover theoretical or applied contributions that are motivated by a biological question focusing on modeling approaches, including process algebra, simulation approaches, analysis methods, in particular model checking and flux analysis, and case studies. 
650 0 |a Life sciences. 
650 0 |a Computer science. 
650 0 |a Bioinformatics. 
650 0 |a Computer simulation. 
650 0 |a Numerical analysis. 
650 1 4 |a Life Sciences. 
650 2 4 |a Theory of Computation. 
650 2 4 |a Computational and Systems Biology. 
650 2 4 |a Computer Modelling. 
650 2 4 |a Numerical Analysis. 
700 1 |a Degano, Pierpaolo.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Gorrieri, Roberto.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9783642038464 
776 0 8 |i Printed edition:  |z 9783642038440 
830 0 |a Lecture Notes in Bioinformatics,  |x 2366-6331 ;  |v 5688 
856 4 0 |u https://doi.uam.elogim.com/10.1007/978-3-642-03845-7  |z Texto Completo 
912 |a ZDB-2-SCS 
912 |a ZDB-2-SXCS 
912 |a ZDB-2-LNC 
950 |a Computer Science (SpringerNature-11645) 
950 |a Computer Science (R0) (SpringerNature-43710)