Computational Methods in Systems Biology [[electronic resource] ] : 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings / / edited by Luca Bortolussi, Guido Sanguinetti |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XI, 388 p. 487 illus., 87 illus. in color.) |
Disciplina | 572.8 |
Collana | Lecture Notes in Bioinformatics |
Soggetto topico |
Bioinformatics
Artificial intelligence Algorithms Mathematical logic Computer science—Mathematics Software engineering Computational Biology/Bioinformatics Artificial Intelligence Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages Mathematics of Computing Software Engineering/Programming and Operating Systems |
ISBN | 3-030-31304-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNISA-996466313003316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computational Methods in Systems Biology : 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings / / edited by Luca Bortolussi, Guido Sanguinetti |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XI, 388 p. 487 illus., 87 illus. in color.) |
Disciplina |
572.8
570.285 |
Collana | Lecture Notes in Bioinformatics |
Soggetto topico |
Bioinformatics
Artificial intelligence Algorithms Mathematical logic Computer science—Mathematics Software engineering Computational Biology/Bioinformatics Artificial Intelligence Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages Mathematics of Computing Software Engineering/Programming and Operating Systems |
ISBN | 3-030-31304-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNINA-9910349282103321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Quantitative Evaluation of Systems [[electronic resource] ] : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings / / edited by Nathalie Bertrand, Luca Bortolussi |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XIII, 370 p. 94 illus.) |
Disciplina | 004.24 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Electronic digital computers—Evaluation Computer science—Mathematics Mathematical statistics Computer simulation Computer Science Logic and Foundations of Programming System Performance and Evaluation Probability and Statistics in Computer Science Theory of Computation Computer Modelling |
ISBN | 3-319-66335-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Probabilistic modeling -- Smart energy systems over the cloud -- Petri nets and performance modeling -- Parametric verification -- Machine learning and formal methods -- Tools. . |
Record Nr. | UNISA-996465877003316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Quantitative Evaluation of Systems : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings / / edited by Nathalie Bertrand, Luca Bortolussi |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XIII, 370 p. 94 illus.) |
Disciplina | 004.24 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Electronic digital computers—Evaluation Computer science—Mathematics Mathematical statistics Computer simulation Computer Science Logic and Foundations of Programming System Performance and Evaluation Probability and Statistics in Computer Science Theory of Computation Computer Modelling |
ISBN | 3-319-66335-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Probabilistic modeling -- Smart energy systems over the cloud -- Petri nets and performance modeling -- Parametric verification -- Machine learning and formal methods -- Tools. . |
Record Nr. | UNINA-9910484791703321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|