Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Computational methods in systems biology : 18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020, Proceedings / / Alessandro Abate, Tatjana Petrov, Verena Wolf, editors
| Computational methods in systems biology : 18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020, Proceedings / / Alessandro Abate, Tatjana Petrov, Verena Wolf, editors |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2020] |
| Descrizione fisica | 1 online resource (XIX, 387 p. 208 illus., 57 illus. in color.) |
| Disciplina | 572.80285 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Bioinformatics |
| ISBN | 3-030-60327-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNISA-996418316803316 |
| Cham, Switzerland : , : Springer, , [2020] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational methods in systems biology : 18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020, Proceedings / / Alessandro Abate, Tatjana Petrov, Verena Wolf, editors
| Computational methods in systems biology : 18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020, Proceedings / / Alessandro Abate, Tatjana Petrov, Verena Wolf, editors |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2020] |
| Descrizione fisica | 1 online resource (XIX, 387 p. 208 illus., 57 illus. in color.) |
| Disciplina | 572.80285 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Bioinformatics |
| ISBN | 3-030-60327-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNINA-9910427693603321 |
| Cham, Switzerland : , : Springer, , [2020] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Quantitative Evaluation of Systems [[electronic resource] ] : 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings / / edited by David Parker, Verena Wolf
| Quantitative Evaluation of Systems [[electronic resource] ] : 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings / / edited by David Parker, Verena Wolf |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XI, 361 p. 595 illus., 55 illus. in color.) |
| Disciplina | 004.24 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Artificial intelligence Computer science—Mathematics Mathematical statistics Machine theory Algorithms Computer Science Logic and Foundations of Programming Software Engineering Artificial Intelligence Probability and Statistics in Computer Science Formal Languages and Automata Theory |
| ISBN | 3-030-30281-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Probabilistic Verification -- Learning and Verification -- Hybrid Systems -- Security -- Probabilistic Modelling and Abstraction -- Applications and Tools. |
| Record Nr. | UNISA-996466285503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Quantitative Evaluation of Systems : 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings / / edited by David Parker, Verena Wolf
| Quantitative Evaluation of Systems : 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings / / edited by David Parker, Verena Wolf |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XI, 361 p. 595 illus., 55 illus. in color.) |
| Disciplina |
004.24
004.25 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Artificial intelligence Computer science—Mathematics Mathematical statistics Machine theory Algorithms Computer Science Logic and Foundations of Programming Software Engineering Artificial Intelligence Probability and Statistics in Computer Science Formal Languages and Automata Theory |
| ISBN | 3-030-30281-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Probabilistic Verification -- Learning and Verification -- Hybrid Systems -- Security -- Probabilistic Modelling and Abstraction -- Applications and Tools. |
| Record Nr. | UNINA-9910349299203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||