Computational Methods in Systems Biology [[electronic resource] ] : 7th International Conference, CMSB 2009 / / edited by Pierpaolo Degano, Roberto Gorrieri |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (X, 329 p.) |
Disciplina | 570 |
Collana | Lecture Notes in Bioinformatics |
Soggetto topico |
Life sciences
Computers Bioinformatics Computer simulation Numerical analysis Life Sciences, general Theory of Computation Computational Biology/Bioinformatics Simulation and Modeling Computation by Abstract Devices Numeric Computing |
Soggetto genere / forma |
Bologna (2009)
Kongress. |
ISBN | 3-642-03845-X |
Classificazione |
BIO 110f
SS 4800 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNISA-996465732503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computational Methods in Systems Biology [[electronic resource] ] : 7th International Conference, CMSB 2009 / / edited by Pierpaolo Degano, Roberto Gorrieri |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (X, 329 p.) |
Disciplina | 570 |
Collana | Lecture Notes in Bioinformatics |
Soggetto topico |
Life sciences
Computers Bioinformatics Computer simulation Numerical analysis Life Sciences, general Theory of Computation Computational Biology/Bioinformatics Simulation and Modeling Computation by Abstract Devices Numeric Computing |
Soggetto genere / forma |
Bologna (2009)
Kongress. |
ISBN | 3-642-03845-X |
Classificazione |
BIO 110f
SS 4800 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNINA-9910483490403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|