東華大學圖書館 |

Computational methods in systems biology = 18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Computational methods in systems biology/ edited by Alessandro Abate, Tatjana Petrov, Verena Wolf.
Reminder of title:	18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020 : proceedings /
remainder title:	CMSB 2020
other author:	Abate, Alessandro.
corporate name:	CMSB (Conference)
Published:	Cham :Springer International Publishing : : 2020.,
Description:	xix, 387 p. :ill., digital ;24 cm.
[NT 15003449]:	Modelling and Analysis -- Rate Equations For Graphs -- Stationary Distributions and Metastable Behaviour for Self-Regulating Proteins with General Lifetime Distributions -- Accelerating Reactions at the DNA Can Slow Down Transient Gene Expression -- Graphical Conditions for Rate Independence in Chemical Reaction Networks -- Interval Constraint Satisfaction and Optimization for Biological Homeostasis and Multistationarity -- Growth Dependent Computation of Chokepoints in Metabolic Networks -- On the Complexity of Quadratization for Polynomial Differential Equations -- Comparing Probabilistic and Logic Programming Approaches to Predict the Effects of Enzymes in a Neurogenerative Disease Model -- Boolean Networks -- Control Strategy Identification via Trap Spaces in Boolean Networks -- Qualitative Analysis of Mammalian Circadian Oscillations: Cycle Dynamics and Robustness -- Synthesis and Simulation of Ensembles of Boolean Networks for Cell Fate Decision -- Classifier Construction in Boolean Networks Using Algebraic Methods -- Sequential Temporary and Permanent Control of Boolean Networks -- Inference and Identification -- ABC(SMC)^2: Simultaneous Inference and Model Checking of Chemical Reaction Networks -- Parameter Synthesis for Hybrid Systems from Hybrid CTL Specifications -- Core Models of Receptor Reactions Evaluate Basic Pathway Designs Enabling Heterogeneous Commitments to Apoptosis -- Drawing the Line: Basin Boundaries in Safe Petri Nets -- Tools -- ModRev - Model Revision Tool for Boolean Logical Models of Biological Regulatory Networks -- fnyzer: a Python Package for the Analysis of Flexible Nets -- eBCSgen: A Software Tool for Biochemical Space Language -- What is a Cell Cycle Checkpoint ? The TotemBioNet Answer -- Kaemika App, Integrating Protocols and Chemical Simulation -- Tutorials -- Tutorial: The CoLoMoTo Interactive Notebook, Accessible and Reproducible Computational Analyses for Qualitative Biological Networks -- Integrating Experimental Pharmacology and Systems Biology for GPCR Drug Discovery.
Contained By:	Springer Nature eBook
Subject:	Bioinformatics - Congresses. -
Online resource:	https://doi.org/10.1007/978-3-030-60327-4
ISBN:	9783030603274

Computational methods in systems biology = 18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020 : proceedings /
Computational methods in systems biology18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020 : proceedings /[electronic resource] :CMSB 2020edited by Alessandro Abate, Tatjana Petrov, Verena Wolf. - Cham :Springer International Publishing :2020. - xix, 387 p. :ill., digital ;24 cm. - Lecture notes in computer science,123140302-9743 ;. - Lecture notes in computer science ;12314..

Modelling and Analysis -- Rate Equations For Graphs -- Stationary Distributions and Metastable Behaviour for Self-Regulating Proteins with General Lifetime Distributions -- Accelerating Reactions at the DNA Can Slow Down Transient Gene Expression -- Graphical Conditions for Rate Independence in Chemical Reaction Networks -- Interval Constraint Satisfaction and Optimization for Biological Homeostasis and Multistationarity -- Growth Dependent Computation of Chokepoints in Metabolic Networks -- On the Complexity of Quadratization for Polynomial Differential Equations -- Comparing Probabilistic and Logic Programming Approaches to Predict the Effects of Enzymes in a Neurogenerative Disease Model -- Boolean Networks -- Control Strategy Identification via Trap Spaces in Boolean Networks -- Qualitative Analysis of Mammalian Circadian Oscillations: Cycle Dynamics and Robustness -- Synthesis and Simulation of Ensembles of Boolean Networks for Cell Fate Decision -- Classifier Construction in Boolean Networks Using Algebraic Methods -- Sequential Temporary and Permanent Control of Boolean Networks -- Inference and Identification -- ABC(SMC)^2: Simultaneous Inference and Model Checking of Chemical Reaction Networks -- Parameter Synthesis for Hybrid Systems from Hybrid CTL Specifications -- Core Models of Receptor Reactions Evaluate Basic Pathway Designs Enabling Heterogeneous Commitments to Apoptosis -- Drawing the Line: Basin Boundaries in Safe Petri Nets -- Tools -- ModRev - Model Revision Tool for Boolean Logical Models of Biological Regulatory Networks -- fnyzer: a Python Package for the Analysis of Flexible Nets -- eBCSgen: A Software Tool for Biochemical Space Language -- What is a Cell Cycle Checkpoint ? The TotemBioNet Answer -- Kaemika App, Integrating Protocols and Chemical Simulation -- Tutorials -- Tutorial: The CoLoMoTo Interactive Notebook, Accessible and Reproducible Computational Analyses for Qualitative Biological Networks -- Integrating Experimental Pharmacology and Systems Biology for GPCR Drug Discovery.

This book constitutes the refereed proceedings of the 18th International Conference on Computational Methods in Systems Biology, CMSB 2020, held in Konstanz, Germany, in September 2020.* The 17 full papers and 5 tool papers were carefully reviewed and selected from 30 submissions. In addition 3 abstracts of invited talks and 2 tutorials have been included in this volume. Topics of interest include formalisms for modeling biological processes; models and their biological applications; frameworks for model verification, validation, analysis, and simulation of biological systems; high-performance computational systems biology and parallel implementations; model inference from experimental data; model integration from biological databases; multi-scale modeling and analysis methods; computational approaches for synthetic biology; and case studies in systems and synthetic biology. * The conference was held virtually due to the COVID-19 pandemic.

ISBN: 9783030603274

Standard No.: 10.1007/978-3-030-60327-4doiSubjects--Topical Terms:

731254
Bioinformatics
--Congresses.

LC Class. No.: QH324.2

Dewey Class. No.: 570.285

Computational methods in systems biology = 18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020 : proceedings /
LDR:04257nmm a2200373 a 4500 001 2243627
003 DE-He213
005 20200930231832.0
006 m d
007 cr nn 008maaau
008 211207s2020 sz s 0 eng d
020 $a 9783030603274 $q (electronic bk.)
020 $a 9783030603267 $q (paper)
024 7 $a 10.1007/978-3-030-60327-4 $2 doi
035 $a 978-3-030-60327-4
040 $a GP $c GP
041 0 $a eng
050 4 $a QH324.2
072 7 $a PSA $2 bicssc
072 7 $a COM014000 $2 bisacsh
072 7 $a PSA $2 thema
072 7 $a UB $2 thema
082 0 4 $a 570.285 $2 23
090 $a QH324.2 $b .C649 2020
111 2 $a CMSB (Conference) $n (18th : $d 2020 : $c Online) $3 3503852
245 1 0 $a Computational methods in systems biology $h [electronic resource] : $b 18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020 : proceedings / $c edited by Alessandro Abate, Tatjana Petrov, Verena Wolf.
246 3 $a CMSB 2020
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a xix, 387 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 12314
490 1 $a Lecture notes in bioinformatics
505 0 $a Modelling and Analysis -- Rate Equations For Graphs -- Stationary Distributions and Metastable Behaviour for Self-Regulating Proteins with General Lifetime Distributions -- Accelerating Reactions at the DNA Can Slow Down Transient Gene Expression -- Graphical Conditions for Rate Independence in Chemical Reaction Networks -- Interval Constraint Satisfaction and Optimization for Biological Homeostasis and Multistationarity -- Growth Dependent Computation of Chokepoints in Metabolic Networks -- On the Complexity of Quadratization for Polynomial Differential Equations -- Comparing Probabilistic and Logic Programming Approaches to Predict the Effects of Enzymes in a Neurogenerative Disease Model -- Boolean Networks -- Control Strategy Identification via Trap Spaces in Boolean Networks -- Qualitative Analysis of Mammalian Circadian Oscillations: Cycle Dynamics and Robustness -- Synthesis and Simulation of Ensembles of Boolean Networks for Cell Fate Decision -- Classifier Construction in Boolean Networks Using Algebraic Methods -- Sequential Temporary and Permanent Control of Boolean Networks -- Inference and Identification -- ABC(SMC)^2: Simultaneous Inference and Model Checking of Chemical Reaction Networks -- Parameter Synthesis for Hybrid Systems from Hybrid CTL Specifications -- Core Models of Receptor Reactions Evaluate Basic Pathway Designs Enabling Heterogeneous Commitments to Apoptosis -- Drawing the Line: Basin Boundaries in Safe Petri Nets -- Tools -- ModRev - Model Revision Tool for Boolean Logical Models of Biological Regulatory Networks -- fnyzer: a Python Package for the Analysis of Flexible Nets -- eBCSgen: A Software Tool for Biochemical Space Language -- What is a Cell Cycle Checkpoint ? The TotemBioNet Answer -- Kaemika App, Integrating Protocols and Chemical Simulation -- Tutorials -- Tutorial: The CoLoMoTo Interactive Notebook, Accessible and Reproducible Computational Analyses for Qualitative Biological Networks -- Integrating Experimental Pharmacology and Systems Biology for GPCR Drug Discovery.
520 $a This book constitutes the refereed proceedings of the 18th International Conference on Computational Methods in Systems Biology, CMSB 2020, held in Konstanz, Germany, in September 2020.* The 17 full papers and 5 tool papers were carefully reviewed and selected from 30 submissions. In addition 3 abstracts of invited talks and 2 tutorials have been included in this volume. Topics of interest include formalisms for modeling biological processes; models and their biological applications; frameworks for model verification, validation, analysis, and simulation of biological systems; high-performance computational systems biology and parallel implementations; model inference from experimental data; model integration from biological databases; multi-scale modeling and analysis methods; computational approaches for synthetic biology; and case studies in systems and synthetic biology. * The conference was held virtually due to the COVID-19 pandemic.
650 0 $a Bioinformatics $x Congresses. $3 731254
650 1 4 $a Computational Biology/Bioinformatics. $3 898313
650 2 4 $a Mathematics of Computing. $3 891213
650 2 4 $a Information Systems and Communication Service. $3 891044
650 2 4 $a Theory of Computation. $3 892514
650 2 4 $a Artificial Intelligence. $3 769149
650 2 4 $a Software Engineering/Programming and Operating Systems. $3 891214
700 1 $a Abate, Alessandro. $3 2165758
700 1 $a Petrov, Tatjana. $3 3503853
700 1 $a Wolf, Verena. $3 3502614
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 12314. $3 3503854
830 0 $a Lecture notes in bioinformatics. $3 3382603
856 4 0 $u https://doi.org/10.1007/978-3-030-60327-4
950 $a Computer Science (SpringerNature-11645)