東華大學圖書館 |

Computational methods in systems biology = 17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Computational methods in systems biology/ edited by Luca Bortolussi, Guido Sanguinetti.
其他題名:	17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019 : proceedings /
其他題名:	CMSB 2019
其他作者:	Bortolussi, Luca.
團體作者:	CMSB (Conference)
出版者:	Cham :Springer International Publishing : : 2019.,
面頁冊數:	xi, 388 p. :ill. (some col.), digital ;24 cm.
內容註:	Regular Papers -- Sequential Reprogramming of Boolean Networks Made Practical -- Sequential Reprogramming of Biological Network Fate -- Control Variates for Stochastic Simulation of Chemical Reaction Networks -- Effective computational methods for hybrid stochastic gene networks -- On Chemical Reaction Network Design by a Nested Evolution Algorithm -- Designing Distributed Cell Classifier Circuits using a Genetic Algorithm -- Investigating a Hodgkin-Huxley type model for Drosophila larval neuromuscular junctions via particle swarm fitting -- Cell volume distributions in exponentially growing populations -- Transient Memory in Gene Regulation -- A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors -- Reachability design through Approximate Bayesian Computation -- Fast enumeration of non-isomorphic chemical reaction networks -- A large-scale assessment of exact model reduction in the BioModels repository -- Computing Difference Abstractions of Metabolic Networks Under Kinetic Constraints -- Tool Papers -- BRE:IN - A Backend for Reasoning about Interaction Networks with Temporal Logic -- The Kappa simulator made interactive -- Biochemical reaction networks with fuzzy kinetic parameters in Snoopy -- Compartmental Modeling Software: a fast, discrete stochastic framework for biochemical and epidemiological simulation -- Spike - reproducible simulation experiments with configuration file branching -- KAMIStudio: an environment for biocuration of cellular signalling knowledge -- A new version of DAISY to test structural identifiability of biological models -- Extended Abstracts (Posters and Highlight Talks) -- Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks -- Bayesian parameter estimation for stochastic reaction networks from steady-state observations -- Wasserstein Distances for Estimating Parameters in Stochastic Reaction Networks -- On Inferring Reactions from Data Time Series by a Statistical Learning Greedy Heuristics -- Barbaric Robustness Monitoring Revisited for STL* in Parasim -- Symmetry breaking for GATA-1/PU.1 model -- Scalable Control of Asynchronous Boolean Networks -- Transcriptional response of SK-N-AS cells to methamidophos (Extended Abstract) -- Separators for polynomial dynamic systems with linear complexity -- Bounding First Passage Times in Chemical Reaction Networks -- Data-informed parameter synthesis for population Markov chains.
Contained By:	Springer eBooks
標題:	Computational biology - Congresses. -
電子資源:	https://doi.org/10.1007/978-3-030-31304-3
ISBN:	9783030313043

Computational methods in systems biology = 17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019 : proceedings /
Computational methods in systems biology17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019 : proceedings /[electronic resource] :CMSB 2019edited by Luca Bortolussi, Guido Sanguinetti. - Cham :Springer International Publishing :2019. - xi, 388 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,117730302-9743 ;. - Lecture notes in computer science ;11773..

Regular Papers -- Sequential Reprogramming of Boolean Networks Made Practical -- Sequential Reprogramming of Biological Network Fate -- Control Variates for Stochastic Simulation of Chemical Reaction Networks -- Effective computational methods for hybrid stochastic gene networks -- On Chemical Reaction Network Design by a Nested Evolution Algorithm -- Designing Distributed Cell Classifier Circuits using a Genetic Algorithm -- Investigating a Hodgkin-Huxley type model for Drosophila larval neuromuscular junctions via particle swarm fitting -- Cell volume distributions in exponentially growing populations -- Transient Memory in Gene Regulation -- A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors -- Reachability design through Approximate Bayesian Computation -- Fast enumeration of non-isomorphic chemical reaction networks -- A large-scale assessment of exact model reduction in the BioModels repository -- Computing Difference Abstractions of Metabolic Networks Under Kinetic Constraints -- Tool Papers -- BRE:IN - A Backend for Reasoning about Interaction Networks with Temporal Logic -- The Kappa simulator made interactive -- Biochemical reaction networks with fuzzy kinetic parameters in Snoopy -- Compartmental Modeling Software: a fast, discrete stochastic framework for biochemical and epidemiological simulation -- Spike - reproducible simulation experiments with configuration file branching -- KAMIStudio: an environment for biocuration of cellular signalling knowledge -- A new version of DAISY to test structural identifiability of biological models -- Extended Abstracts (Posters and Highlight Talks) -- Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks -- Bayesian parameter estimation for stochastic reaction networks from steady-state observations -- Wasserstein Distances for Estimating Parameters in Stochastic Reaction Networks -- On Inferring Reactions from Data Time Series by a Statistical Learning Greedy Heuristics -- Barbaric Robustness Monitoring Revisited for STL* in Parasim -- Symmetry breaking for GATA-1/PU.1 model -- Scalable Control of Asynchronous Boolean Networks -- Transcriptional response of SK-N-AS cells to methamidophos (Extended Abstract) -- Separators for polynomial dynamic systems with linear complexity -- Bounding First Passage Times in Chemical Reaction Networks -- Data-informed parameter synthesis for population Markov chains.

This book constitutes the refereed proceedings of the 17th International Conference on Computational Methods in Systems Biology, CMSB 2019, held in Trieste, Italy, in September 2019. The 14 full papers, 7 tool papers and 11 posters were carefully reviewed and selected from 53 submissions. 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.

ISBN: 9783030313043

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

893170
Computational biology
--Congresses.

LC Class. No.: QH324.2 / .C57 2019

Dewey Class. No.: 570.285

Computational methods in systems biology = 17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019 : proceedings /
LDR:04487nmm a2200373 a 4500 001 2193165
003 DE-He213
005 20190916211203.0
006 m d
007 cr nn 008maaau
008 200514s2019 gw s 0 eng d
020 $a 9783030313043 $q (electronic bk.)
020 $a 9783030313036 $q (paper)
024 7 $a 10.1007/978-3-030-31304-3 $2 doi
035 $a 978-3-030-31304-3
040 $a GP $c GP
041 0 $a eng
050 4 $a QH324.2 $b .C57 2019
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 2019
111 2 $a CMSB (Conference) $n (17th : $d 2019 : $c Trieste, Italy) $3 3414104
245 1 0 $a Computational methods in systems biology $h [electronic resource] : $b 17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019 : proceedings / $c edited by Luca Bortolussi, Guido Sanguinetti.
246 3 $a CMSB 2019
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2019.
300 $a xi, 388 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 11773
490 1 $a Lecture notes in bioinformatics
505 0 $a Regular Papers -- Sequential Reprogramming of Boolean Networks Made Practical -- Sequential Reprogramming of Biological Network Fate -- Control Variates for Stochastic Simulation of Chemical Reaction Networks -- Effective computational methods for hybrid stochastic gene networks -- On Chemical Reaction Network Design by a Nested Evolution Algorithm -- Designing Distributed Cell Classifier Circuits using a Genetic Algorithm -- Investigating a Hodgkin-Huxley type model for Drosophila larval neuromuscular junctions via particle swarm fitting -- Cell volume distributions in exponentially growing populations -- Transient Memory in Gene Regulation -- A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors -- Reachability design through Approximate Bayesian Computation -- Fast enumeration of non-isomorphic chemical reaction networks -- A large-scale assessment of exact model reduction in the BioModels repository -- Computing Difference Abstractions of Metabolic Networks Under Kinetic Constraints -- Tool Papers -- BRE:IN - A Backend for Reasoning about Interaction Networks with Temporal Logic -- The Kappa simulator made interactive -- Biochemical reaction networks with fuzzy kinetic parameters in Snoopy -- Compartmental Modeling Software: a fast, discrete stochastic framework for biochemical and epidemiological simulation -- Spike - reproducible simulation experiments with configuration file branching -- KAMIStudio: an environment for biocuration of cellular signalling knowledge -- A new version of DAISY to test structural identifiability of biological models -- Extended Abstracts (Posters and Highlight Talks) -- Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks -- Bayesian parameter estimation for stochastic reaction networks from steady-state observations -- Wasserstein Distances for Estimating Parameters in Stochastic Reaction Networks -- On Inferring Reactions from Data Time Series by a Statistical Learning Greedy Heuristics -- Barbaric Robustness Monitoring Revisited for STL* in Parasim -- Symmetry breaking for GATA-1/PU.1 model -- Scalable Control of Asynchronous Boolean Networks -- Transcriptional response of SK-N-AS cells to methamidophos (Extended Abstract) -- Separators for polynomial dynamic systems with linear complexity -- Bounding First Passage Times in Chemical Reaction Networks -- Data-informed parameter synthesis for population Markov chains.
520 $a This book constitutes the refereed proceedings of the 17th International Conference on Computational Methods in Systems Biology, CMSB 2019, held in Trieste, Italy, in September 2019. The 14 full papers, 7 tool papers and 11 posters were carefully reviewed and selected from 53 submissions. 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.
650 0 $a Computational biology $v Congresses. $3 893170
650 0 $a Systems biology $v Congresses. $3 923663
650 1 4 $a Computational Biology/Bioinformatics. $3 898313
650 2 4 $a Artificial Intelligence. $3 769149
650 2 4 $a Algorithm Analysis and Problem Complexity. $3 891007
650 2 4 $a Mathematical Logic and Formal Languages. $3 892517
650 2 4 $a Mathematics of Computing. $3 891213
650 2 4 $a Software Engineering/Programming and Operating Systems. $3 891214
700 1 $a Bortolussi, Luca. $3 3251769
700 1 $a Sanguinetti, Guido. $3 3414105
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 11773. $3 3414106
830 0 $a Lecture notes in bioinformatics. $3 3382603
856 4 0 $u https://doi.org/10.1007/978-3-030-31304-3
950 $a Computer Science (Springer-11645)