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.
Transactions on Computational Systems Biology XI [[electronic resource] ] : Computational Models for Cell Processes / / edited by Corrado Priami
| Transactions on Computational Systems Biology XI [[electronic resource] ] : Computational Models for Cell Processes / / edited by Corrado Priami |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (VIII, 335 p.) |
| Disciplina | 572/.6 |
| Collana | Transactions on Computational Systems Biology |
| Soggetto topico |
Bioinformatics
Computer simulation Computers Artificial intelligence Algorithms Mathematical statistics Computational Biology/Bioinformatics Simulation and Modeling Computation by Abstract Devices Artificial Intelligence Algorithm Analysis and Problem Complexity Probability and Statistics in Computer Science |
| ISBN | 3-642-04186-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Computational Models for Cell Processes -- Process Algebra Modelling Styles for Biomolecular Processes -- Simple, Enhanced and Mutual Mobile Membranes -- Bio-PEPA with Events -- In Silico Modelling and Analysis of Ribosome Kinetics and aa-tRNA Competition -- Qualitative and Quantitative Analysis of a Bio-PEPA Model of the Gp130/JAK/STAT Signalling Pathway -- Rule-Based Modelling and Model Perturbation -- Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments -- A Projective Brane Calculus with Activate, Bud and Mate as Primitive Actions -- Accepting Networks of Non-inserting Evolutionary Processors -- Discrete Modeling of Biochemical Signaling with Memory Enhancement -- Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back -- Computing Equilibrium Points of Genetic Regulatory Networks -- Code, Context, and Epigenetic Catalysis in Gene Expression. |
| Record Nr. | UNISA-996465857603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactions on Computational Systems Biology XI [[electronic resource] ] : Computational Models for Cell Processes / / edited by Corrado Priami
| Transactions on Computational Systems Biology XI [[electronic resource] ] : Computational Models for Cell Processes / / edited by Corrado Priami |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (VIII, 335 p.) |
| Disciplina | 572/.6 |
| Collana | Transactions on Computational Systems Biology |
| Soggetto topico |
Bioinformatics
Computer simulation Computers Artificial intelligence Algorithms Mathematical statistics Computational Biology/Bioinformatics Simulation and Modeling Computation by Abstract Devices Artificial Intelligence Algorithm Analysis and Problem Complexity Probability and Statistics in Computer Science |
| ISBN | 3-642-04186-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Computational Models for Cell Processes -- Process Algebra Modelling Styles for Biomolecular Processes -- Simple, Enhanced and Mutual Mobile Membranes -- Bio-PEPA with Events -- In Silico Modelling and Analysis of Ribosome Kinetics and aa-tRNA Competition -- Qualitative and Quantitative Analysis of a Bio-PEPA Model of the Gp130/JAK/STAT Signalling Pathway -- Rule-Based Modelling and Model Perturbation -- Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments -- A Projective Brane Calculus with Activate, Bud and Mate as Primitive Actions -- Accepting Networks of Non-inserting Evolutionary Processors -- Discrete Modeling of Biochemical Signaling with Memory Enhancement -- Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back -- Computing Equilibrium Points of Genetic Regulatory Networks -- Code, Context, and Epigenetic Catalysis in Gene Expression. |
| Record Nr. | UNINA-9910484573603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Transactions on Computational Systems Biology XII [[electronic resource] ] : Special Issue on Modeling Methodologies
| Transactions on Computational Systems Biology XII [[electronic resource] ] : Special Issue on Modeling Methodologies |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (IX, 263 p. 73 illus.) |
| Disciplina | 570.285 |
| Altri autori (Persone) | PriamiCorrado |
| Collana | Transactions on Computational Systems Biology |
| Soggetto topico |
Bioinformatics
Computer simulation Computers Artificial intelligence Algorithms Mathematical statistics Computational Biology/Bioinformatics Simulation and Modeling Computation by Abstract Devices Artificial Intelligence Algorithm Analysis and Problem Complexity Probability and Statistics in Computer Science |
| ISBN |
1-280-38562-6
9786613563545 3-642-11712-0 |
| Classificazione | SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Biomodel Engineering – From Structure to Behavior -- The Attributed Pi-Calculus with Priorities -- A Language for Biochemical Systems: Design and Formal Specification -- Mechanistic Insights into Metabolic Disturbance during Type-2 Diabetes and Obesity Using Qualitative Networks -- Modelling Self-assembly in BlenX -- Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan Operon -- Modelling and Analysis of the NF-?B Pathway in Bio-PEPA. |
| Record Nr. | UNINA-9910485152803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Transactions on Computational Systems Biology XII [[electronic resource] ] : Special Issue on Modeling Methodologies
| Transactions on Computational Systems Biology XII [[electronic resource] ] : Special Issue on Modeling Methodologies |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (IX, 263 p. 73 illus.) |
| Disciplina | 570.285 |
| Altri autori (Persone) | PriamiCorrado |
| Collana | Transactions on Computational Systems Biology |
| Soggetto topico |
Bioinformatics
Computer simulation Computers Artificial intelligence Algorithms Mathematical statistics Computational Biology/Bioinformatics Simulation and Modeling Computation by Abstract Devices Artificial Intelligence Algorithm Analysis and Problem Complexity Probability and Statistics in Computer Science |
| ISBN |
1-280-38562-6
9786613563545 3-642-11712-0 |
| Classificazione | SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Biomodel Engineering – From Structure to Behavior -- The Attributed Pi-Calculus with Priorities -- A Language for Biochemical Systems: Design and Formal Specification -- Mechanistic Insights into Metabolic Disturbance during Type-2 Diabetes and Obesity Using Qualitative Networks -- Modelling Self-assembly in BlenX -- Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan Operon -- Modelling and Analysis of the NF-?B Pathway in Bio-PEPA. |
| Record Nr. | UNISA-996465305103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactions on Computational Systems Biology XIII [[electronic resource] /] / edited by Ralph-Johan Back, Ion Petre, Erik de Vink
| Transactions on Computational Systems Biology XIII [[electronic resource] /] / edited by Ralph-Johan Back, Ion Petre, Erik de Vink |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (VII, 193 p.) |
| Disciplina | 570.285 |
| Collana | Transactions on Computational Systems Biology |
| Soggetto topico |
Bioinformatics
Computer simulation Computers Artificial intelligence Algorithms Mathematical statistics Computational Biology/Bioinformatics Simulation and Modeling Computation by Abstract Devices Artificial Intelligence Algorithm Analysis and Problem Complexity Probability and Statistics in Computer Science |
| ISBN | 3-642-19748-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Evolutionary Dynamics of a Population of Cells with a Toxin Suppressor Gene -- Translation from the Quantified Implicit Process Flow Abstraction in SBGN-PD Diagrams to Bio-PEPA Illustrated on the Cholesterol Pathway -- Impulse-Based Dynamic Simulation of Deformable Biological Structures -- Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach -- Modelling Ammonium Transporters in Arbuscular Mycorrhiza Symbiosis -- Genetically Regulated Metabolic Networks: Gale-Nikaido Modules and Differential Inequalities -- Cultural Epigenetics: On the Heritability of Complex Diseases -- Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework. |
| Record Nr. | UNISA-996465388403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactions on Computational Systems Biology XIV [[electronic resource] ] : Special Issue on Computational Models for Cell Processes / / edited by Ion Petre, Erik de Vink
| Transactions on Computational Systems Biology XIV [[electronic resource] ] : Special Issue on Computational Models for Cell Processes / / edited by Ion Petre, Erik de Vink |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (X, 233 p. 67 illus.) |
| Disciplina | 570.285 |
| Collana | Transactions on Computational Systems Biology |
| Soggetto topico |
Bioinformatics
Computer simulation Computers Artificial intelligence Algorithms Mathematical statistics Computational Biology/Bioinformatics Simulation and Modeling Computation by Abstract Devices Artificial Intelligence Algorithm Analysis and Problem Complexity Probability and Statistics in Computer Science |
| ISBN | 3-642-35524-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Trend-Based Analysis of a Population Model of the AKAP Scaffold Protein -- Quasi Product Form Approximation for Markov Models of Reaction Networks -- Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study -- On Approximative Reachability Analysis of Biochemical Dynamical Systems -- Minimal Reaction Systems -- Complex Functional Rates in Rule-Based Languages for Biochemistry -- Probabilistic Model Checking of the PDGF Signaling Pathway -- Self-assembly Models of Variable Resolution -- Metabolic Constraints on the Evolution of Genetic Codes: Did Multiple ‘Preaerobic’ Ecosystem Transitions Entrain Richer Dialects via Serial Endosymbiosis?. |
| Record Nr. | UNISA-996465938703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transfer Operators, Endomorphisms, and Measurable Partitions [[electronic resource] /] / by Sergey Bezuglyi, Palle E. T. Jorgensen
| Transfer Operators, Endomorphisms, and Measurable Partitions [[electronic resource] /] / by Sergey Bezuglyi, Palle E. T. Jorgensen |
| Autore | Bezuglyi Sergey |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (X, 162 p. 7 illus.) |
| Disciplina | 519.5 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico |
Measure theory
Functional analysis Mathematical statistics Probabilities Thermodynamics Operator theory Measure and Integration Functional Analysis Probability and Statistics in Computer Science Probability Theory and Stochastic Processes Operator Theory |
| ISBN | 3-319-92417-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introduction and Examples -- 2. Endomorphisms and Measurable Partitions -- 3. Positive, and Transfer, Operators on Measurable Spaces: general properties -- 4.Transfer Operators on Measure Spaces -- 5. Transfer operators on L1 and L2 -- 6. Actions of Transfer Operators on the set of Borel Probability Measures -- 7. Wold’s Theorem and Automorphic Factors of Endomorphisms -- 8. Operators on the Universal Hilbert Space Generated by Transfer Operators -- 9. Transfer Operators with a Riesz Property -- 10. Transfer Operators on the Space of Densities -- 11. Piecewise Monotone Maps and the Gauss Endomorphism -- 12. Iterated Function Systems and Transfer Operators -- 13. Examples. |
| Record Nr. | UNINA-9910300125203321 |
Bezuglyi Sergey
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Transfer Operators, Endomorphisms, and Measurable Partitions [[electronic resource] /] / by Sergey Bezuglyi, Palle E. T. Jorgensen
| Transfer Operators, Endomorphisms, and Measurable Partitions [[electronic resource] /] / by Sergey Bezuglyi, Palle E. T. Jorgensen |
| Autore | Bezuglyi Sergey |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (X, 162 p. 7 illus.) |
| Disciplina | 519.5 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico |
Measure theory
Functional analysis Mathematical statistics Probabilities Thermodynamics Operator theory Measure and Integration Functional Analysis Probability and Statistics in Computer Science Probability Theory and Stochastic Processes Operator Theory |
| ISBN | 3-319-92417-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introduction and Examples -- 2. Endomorphisms and Measurable Partitions -- 3. Positive, and Transfer, Operators on Measurable Spaces: general properties -- 4.Transfer Operators on Measure Spaces -- 5. Transfer operators on L1 and L2 -- 6. Actions of Transfer Operators on the set of Borel Probability Measures -- 7. Wold’s Theorem and Automorphic Factors of Endomorphisms -- 8. Operators on the Universal Hilbert Space Generated by Transfer Operators -- 9. Transfer Operators with a Riesz Property -- 10. Transfer Operators on the Space of Densities -- 11. Piecewise Monotone Maps and the Gauss Endomorphism -- 12. Iterated Function Systems and Transfer Operators -- 13. Examples. |
| Record Nr. | UNISA-996466758303316 |
|
Bezuglyi Sergey
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Ubiquitous Networking [[electronic resource] ] : 5th International Symposium, UNet 2019, Limoges, France, November 20–22, 2019, Revised Selected Papers / / edited by Oussama Habachi, Vahid Meghdadi, Essaid Sabir, Jean-Pierre Cances
| Ubiquitous Networking [[electronic resource] ] : 5th International Symposium, UNet 2019, Limoges, France, November 20–22, 2019, Revised Selected Papers / / edited by Oussama Habachi, Vahid Meghdadi, Essaid Sabir, Jean-Pierre Cances |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XXIX, 257 p. 27 illus., 4 illus. in color.) |
| Disciplina | 004 |
| Collana | Computer Communication Networks and Telecommunications |
| Soggetto topico |
Computer communication systems
Application software Coding theory Information theory Architecture, Computer Mathematical statistics Computer Communication Networks Information Systems Applications (incl. Internet) Coding and Information Theory Computer System Implementation Probability and Statistics in Computer Science |
| ISBN | 3-030-58008-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Ubiquitous Communication Technologies and Networking -- Ubiquitous Internet of Things -- Pervasive Services and Applications. |
| Record Nr. | UNINA-9910416081803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Ubiquitous Networking [[electronic resource] ] : 5th International Symposium, UNet 2019, Limoges, France, November 20–22, 2019, Revised Selected Papers / / edited by Oussama Habachi, Vahid Meghdadi, Essaid Sabir, Jean-Pierre Cances
| Ubiquitous Networking [[electronic resource] ] : 5th International Symposium, UNet 2019, Limoges, France, November 20–22, 2019, Revised Selected Papers / / edited by Oussama Habachi, Vahid Meghdadi, Essaid Sabir, Jean-Pierre Cances |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XXIX, 257 p. 27 illus., 4 illus. in color.) |
| Disciplina | 004 |
| Collana | Computer Communication Networks and Telecommunications |
| Soggetto topico |
Computer communication systems
Application software Coding theory Information theory Architecture, Computer Mathematical statistics Computer Communication Networks Information Systems Applications (incl. Internet) Coding and Information Theory Computer System Implementation Probability and Statistics in Computer Science |
| ISBN | 3-030-58008-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Ubiquitous Communication Technologies and Networking -- Ubiquitous Internet of Things -- Pervasive Services and Applications. |
| Record Nr. | UNISA-996418308403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
