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 [[electronic resource] ] : 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings / / edited by Milan Češka, David Šafránek
| Computational Methods in Systems Biology [[electronic resource] ] : 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings / / edited by Milan Češka, David Šafránek |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXIII, 326 p. 88 illus.) |
| Disciplina | 570.285 |
| Collana | Lecture Notes in Bioinformatics |
| Soggetto topico |
Bioinformatics
Artificial intelligence Software engineering Mathematical logic Computer logic Computational Biology/Bioinformatics Artificial Intelligence Software Engineering Mathematical Logic and Formal Languages Logics and Meanings of Programs |
| ISBN | 3-319-99429-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modeling and Engineering Promoters with Pre-defined RNA Production Dynamics in Escherichia coli -- Deep Abstractions of Chemical Reaction Networks -- Derivation of A Biomass Proxy for Dynamic Analysis of Whole Genome Metabolic Models -- Computing Diverse Boolean Networks from Phosphoproteomic Time Series Data -- Characterization of the Experimentally Observed Clustering of VEGF Receptors -- Synthesis for Vesicle Traffic Systems -- Formal Analysis of Network Motifs -- Buffering Gene Expression Noise by microRNA Based Feed Forward Regulation -- Stochastic Rate Parameter Inference Using the Cross-Entropy Method -- Experimental Biological Protocols with Formal Semantics -- Robust Data-Driven Control of Artificial Pancreas Systems Using Neural Networks -- Programming Substrate-Independent Kinetic Barriers with Thermodynamic Binding Networks -- A Trace Query Language for Rule-based Models -- Inferring Mechanism of Action of an Unknown Compound from Time Series Omics Data -- Composable Rate-Independent Computation in Continuous Chemical Reaction Networks -- ASSA-PBN 3.0: Analysing Context-sensitive Probabilistic Boolean Networks -- KaSa: A Static Analyzer for Kappa -- On Robustness Computation and Optimization in BIOCHAM-4 -- LNA++: Linear Noise Approximation with First and Second Order Sensitivities -- Reparametrizing the Sigmoid Model of Gene Regulation for Bayesian Inference -- On the Full Control of Boolean Networks -- Systems Metagenomics: Applying Systems Biology Thinking to Human Microbiome Analysis. |
| Record Nr. | UNISA-996466340703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Methods in Systems Biology : 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings / / edited by Milan Češka, David Šafránek
| Computational Methods in Systems Biology : 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings / / edited by Milan Češka, David Šafránek |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXIII, 326 p. 88 illus.) |
| Disciplina | 570.285 |
| Collana | Lecture Notes in Bioinformatics |
| Soggetto topico |
Bioinformatics
Artificial intelligence Software engineering Mathematical logic Computer logic Computational Biology/Bioinformatics Artificial Intelligence Software Engineering Mathematical Logic and Formal Languages Logics and Meanings of Programs |
| ISBN | 3-319-99429-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modeling and Engineering Promoters with Pre-defined RNA Production Dynamics in Escherichia coli -- Deep Abstractions of Chemical Reaction Networks -- Derivation of A Biomass Proxy for Dynamic Analysis of Whole Genome Metabolic Models -- Computing Diverse Boolean Networks from Phosphoproteomic Time Series Data -- Characterization of the Experimentally Observed Clustering of VEGF Receptors -- Synthesis for Vesicle Traffic Systems -- Formal Analysis of Network Motifs -- Buffering Gene Expression Noise by microRNA Based Feed Forward Regulation -- Stochastic Rate Parameter Inference Using the Cross-Entropy Method -- Experimental Biological Protocols with Formal Semantics -- Robust Data-Driven Control of Artificial Pancreas Systems Using Neural Networks -- Programming Substrate-Independent Kinetic Barriers with Thermodynamic Binding Networks -- A Trace Query Language for Rule-based Models -- Inferring Mechanism of Action of an Unknown Compound from Time Series Omics Data -- Composable Rate-Independent Computation in Continuous Chemical Reaction Networks -- ASSA-PBN 3.0: Analysing Context-sensitive Probabilistic Boolean Networks -- KaSa: A Static Analyzer for Kappa -- On Robustness Computation and Optimization in BIOCHAM-4 -- LNA++: Linear Noise Approximation with First and Second Order Sensitivities -- Reparametrizing the Sigmoid Model of Gene Regulation for Bayesian Inference -- On the Full Control of Boolean Networks -- Systems Metagenomics: Applying Systems Biology Thinking to Human Microbiome Analysis. |
| Record Nr. | UNINA-9910349412803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Hybrid Systems Biology [[electronic resource] ] : 6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019, Revised Selected Papers / / edited by Milan Češka, Nicola Paoletti
| Hybrid Systems Biology [[electronic resource] ] : 6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019, Revised Selected Papers / / edited by Milan Češka, Nicola Paoletti |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XVI, 181 p. 67 illus., 39 illus. in color.) |
| Disciplina | 572.8 |
| Collana | Lecture Notes in Bioinformatics |
| Soggetto topico |
Bioinformatics
Numerical analysis Mathematical statistics Computer science—Mathematics Computational Biology/Bioinformatics Numeric Computing Probability and Statistics in Computer Science Math Applications in Computer Science |
| ISBN | 3-030-28042-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A multimodular system to study the impact of a focal lesion in neuronal cell cultures -- Reachability analysis and hybrid systems biology - In Memoriam Oded Maler -- Reaction networks, oscillatory motifs and parameter estimation in biochemical systems -- Fixed-point computation of equilibria in biochemical regulatory networks -- Rejection-based simulation of stochastic spreading processes on complex networks -- Controlling noisy expression through auto regulation of burst frequency and protein stability -- Extracting landscape features from single particle trajectories -- A hybrid HMM approach for the dynamics of DNA methylation -- Using a hybrid approach to model central carbon metabolism across the cell cycle -- Data-informed parameter synthesis for population Markov chains-. rPrism - A software for reactive weighted state transition models -- Hybrid modeling of metabolic-regulatory networks. |
| Record Nr. | UNISA-996466445203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Hybrid Systems Biology : 6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019, Revised Selected Papers / / edited by Milan Češka, Nicola Paoletti
| Hybrid Systems Biology : 6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019, Revised Selected Papers / / edited by Milan Češka, Nicola Paoletti |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XVI, 181 p. 67 illus., 39 illus. in color.) |
| Disciplina |
572.8
005.1015113 |
| Collana | Lecture Notes in Bioinformatics |
| Soggetto topico |
Bioinformatics
Numerical analysis Mathematical statistics Computer science—Mathematics Computational Biology/Bioinformatics Numeric Computing Probability and Statistics in Computer Science Math Applications in Computer Science |
| ISBN | 3-030-28042-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A multimodular system to study the impact of a focal lesion in neuronal cell cultures -- Reachability analysis and hybrid systems biology - In Memoriam Oded Maler -- Reaction networks, oscillatory motifs and parameter estimation in biochemical systems -- Fixed-point computation of equilibria in biochemical regulatory networks -- Rejection-based simulation of stochastic spreading processes on complex networks -- Controlling noisy expression through auto regulation of burst frequency and protein stability -- Extracting landscape features from single particle trajectories -- A hybrid HMM approach for the dynamics of DNA methylation -- Using a hybrid approach to model central carbon metabolism across the cell cycle -- Data-informed parameter synthesis for population Markov chains-. rPrism - A software for reactive weighted state transition models -- Hybrid modeling of metabolic-regulatory networks. |
| Record Nr. | UNINA-9910349307803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||