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.
Analysis of biological networks / / edited by Björn H. Junker and Falk Schreiber
| Analysis of biological networks / / edited by Björn H. Junker and Falk Schreiber |
| Pubbl/distr/stampa | Hoboken, New Jersey : , : Wiley-Interscience, , c2008 |
| Descrizione fisica | 1 online resource (369 p.) |
| Disciplina |
570.11
570.285 |
| Altri autori (Persone) |
JunkerBjörn H
SchreiberFalk |
| Collana | Wiley series in bioinformatics |
| Soggetto topico |
Biological models
Computational biology |
| ISBN |
1-118-20991-5
1-281-28468-8 9786611284688 0-470-25348-7 0-470-25346-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Networks in biology / Björn H. Junker -- Graph theory / Falk Schreiber -- Global network properties / Ralf Steuer and Gorka Zamora López -- Network centralities / Dirk Koschützki -- Network motifs / Henning Schwöbbermeyer -- Network clustering / Balabhaskar Balasundaram and Sergiy Butenko -- Petri nets / Ina Koch and Monika Heiner -- Signal transduction and gene regulation networks / Anatolij P. Potapov -- Protein interaction networks / Frederik Börnke -- Metabolic networks / Márcio Rosa da Silva ... [et al.] -- Phylogenetic networks / Birgit Gemeinholzer -- Ecological networks / Ursula Gaedke -- Correlation networks / Dirk Steinhauser ... [et al.]. |
| Record Nr. | UNINA-9910145273203321 |
| Hoboken, New Jersey : , : Wiley-Interscience, , c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Analysis of biological networks / / edited by Björn H. Junker and Falk Schreiber
| Analysis of biological networks / / edited by Björn H. Junker and Falk Schreiber |
| Pubbl/distr/stampa | Hoboken, New Jersey : , : Wiley-Interscience, , c2008 |
| Descrizione fisica | 1 online resource (369 p.) |
| Disciplina |
570.11
570.285 |
| Altri autori (Persone) |
JunkerBjörn H
SchreiberFalk |
| Collana | Wiley series in bioinformatics |
| Soggetto topico |
Biological models
Computational biology |
| ISBN |
1-118-20991-5
1-281-28468-8 9786611284688 0-470-25348-7 0-470-25346-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Networks in biology / Björn H. Junker -- Graph theory / Falk Schreiber -- Global network properties / Ralf Steuer and Gorka Zamora López -- Network centralities / Dirk Koschützki -- Network motifs / Henning Schwöbbermeyer -- Network clustering / Balabhaskar Balasundaram and Sergiy Butenko -- Petri nets / Ina Koch and Monika Heiner -- Signal transduction and gene regulation networks / Anatolij P. Potapov -- Protein interaction networks / Frederik Börnke -- Metabolic networks / Márcio Rosa da Silva ... [et al.] -- Phylogenetic networks / Birgit Gemeinholzer -- Ecological networks / Ursula Gaedke -- Correlation networks / Dirk Steinhauser ... [et al.]. |
| Record Nr. | UNINA-9910817826203321 |
| Hoboken, New Jersey : , : Wiley-Interscience, , c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
IEEE Std 11073-10201-2018 (Revision of IEEE Std 11073-10201-2004) : IEEE Standard for Health Informatics - Point-of-care medical device communication - Part 10201: Domain Information Model / / Institute of Electrical and Electronics Engineers
| IEEE Std 11073-10201-2018 (Revision of IEEE Std 11073-10201-2004) : IEEE Standard for Health Informatics - Point-of-care medical device communication - Part 10201: Domain Information Model / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | [Place of publication not identified] : , : IEEE, , 2019 |
| Descrizione fisica | 1 online resource (23 pages) |
| Disciplina | 570.11 |
| Soggetto topico | Biological systems |
| ISBN | 1-5044-5433-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
11073-10201-2018 - IEEE Standard for Health Informatics - Point-of-care medical device communication - Part 10201
IEEE Std 11073-10201-2018 |
| Record Nr. | UNINA-9910326660103321 |
| [Place of publication not identified] : , : IEEE, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
IEEE Std 11073-10201-2018 (Revision of IEEE Std 11073-10201-2004) : IEEE Standard for Health Informatics - Point-of-care medical device communication - Part 10201: Domain Information Model / / Institute of Electrical and Electronics Engineers
| IEEE Std 11073-10201-2018 (Revision of IEEE Std 11073-10201-2004) : IEEE Standard for Health Informatics - Point-of-care medical device communication - Part 10201: Domain Information Model / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | [Place of publication not identified] : , : IEEE, , 2019 |
| Descrizione fisica | 1 online resource (23 pages) |
| Disciplina | 570.11 |
| Soggetto topico | Biological systems |
| ISBN | 1-5044-5433-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
11073-10201-2018 - IEEE Standard for Health Informatics - Point-of-care medical device communication - Part 10201
IEEE Std 11073-10201-2018 |
| Record Nr. | UNISA-996577943203316 |
| [Place of publication not identified] : , : IEEE, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Introduction to complexity and complex systems / / by Robert B. Northrop
| Introduction to complexity and complex systems / / by Robert B. Northrop |
| Autore | Northrop Robert B. |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Boca Raton, FL : , : CRC Press, an imprint of Taylor and Francis, , 2010 |
| Descrizione fisica | 1 online resource (542 p.) |
| Disciplina | 570.11 |
| Soggetto topico |
Complexity (Philosophy)
Chaotic behavior in systems Biocomplexity |
| Soggetto genere / forma | Electronic books. |
| ISBN |
0-429-11309-9
1-4398-9498-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front Cover; Contents; Preface; Author; 1. Introduction to Complexity and Complex Systems; 2. Introduction to Large Linear Systems; 3. Introduction to Biochemical Oscillators and Complex, Nonlinear Biochemical Systems; 4. Modularity, Redundancy, Degeneracy, Pleiotropy, and Robustness in Complex Biological Systems; 5. Evolution of Biological Complexity: Invertebrate Immune Systems; 6. Complex Adaptive and Innate Human Immune Systems; 7. Complexity in Quasispecies and MicroRNAs; 8. Introduction to Physiological Complexity: Examples of Models of Some Complex Physiological Systems
9. Quest for Quantitative Measures of Complexity10. "Irreducible" and "Specified Complexity "in Living Systems; 11. Introduction to Complexity in Economic Systems; 12. Dealing with Complexity; Appendix A: SimnonTM Programs Used in Chapters 3 and 8; Appendix B: How to Use Root Locus to Determine the Stability of SISO Linear Control Systems; Appendix C: Bode Plots; Appendix D: Nyquist Plots; Glossary; Bibliography and Related Readings; Back Cover |
| Record Nr. | UNINA-9910460568503321 |
Northrop Robert B.
|
||
| Boca Raton, FL : , : CRC Press, an imprint of Taylor and Francis, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduction to complexity and complex systems / / by Robert B. Northrop
| Introduction to complexity and complex systems / / by Robert B. Northrop |
| Autore | Northrop Robert B. |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Boca Raton, FL : , : CRC Press, an imprint of Taylor and Francis, , 2010 |
| Descrizione fisica | 1 online resource (542 p.) |
| Disciplina | 570.11 |
| Soggetto topico |
Complexity (Philosophy)
Chaotic behavior in systems Biocomplexity |
| ISBN |
0-429-11309-9
1-4398-9498-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front Cover; Contents; Preface; Author; 1. Introduction to Complexity and Complex Systems; 2. Introduction to Large Linear Systems; 3. Introduction to Biochemical Oscillators and Complex, Nonlinear Biochemical Systems; 4. Modularity, Redundancy, Degeneracy, Pleiotropy, and Robustness in Complex Biological Systems; 5. Evolution of Biological Complexity: Invertebrate Immune Systems; 6. Complex Adaptive and Innate Human Immune Systems; 7. Complexity in Quasispecies and MicroRNAs; 8. Introduction to Physiological Complexity: Examples of Models of Some Complex Physiological Systems
9. Quest for Quantitative Measures of Complexity10. "Irreducible" and "Specified Complexity "in Living Systems; 11. Introduction to Complexity in Economic Systems; 12. Dealing with Complexity; Appendix A: SimnonTM Programs Used in Chapters 3 and 8; Appendix B: How to Use Root Locus to Determine the Stability of SISO Linear Control Systems; Appendix C: Bode Plots; Appendix D: Nyquist Plots; Glossary; Bibliography and Related Readings; Back Cover |
| Record Nr. | UNINA-9910797037303321 |
|
Northrop Robert B.
|
||
| Boca Raton, FL : , : CRC Press, an imprint of Taylor and Francis, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduction to complexity and complex systems / / by Robert B. Northrop
| Introduction to complexity and complex systems / / by Robert B. Northrop |
| Autore | Northrop Robert B. |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Boca Raton, FL : , : CRC Press, an imprint of Taylor and Francis, , 2010 |
| Descrizione fisica | 1 online resource (542 p.) |
| Disciplina | 570.11 |
| Soggetto topico |
Complexity (Philosophy)
Chaotic behavior in systems Biocomplexity |
| ISBN |
0-429-11309-9
1-4398-9498-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front Cover; Contents; Preface; Author; 1. Introduction to Complexity and Complex Systems; 2. Introduction to Large Linear Systems; 3. Introduction to Biochemical Oscillators and Complex, Nonlinear Biochemical Systems; 4. Modularity, Redundancy, Degeneracy, Pleiotropy, and Robustness in Complex Biological Systems; 5. Evolution of Biological Complexity: Invertebrate Immune Systems; 6. Complex Adaptive and Innate Human Immune Systems; 7. Complexity in Quasispecies and MicroRNAs; 8. Introduction to Physiological Complexity: Examples of Models of Some Complex Physiological Systems
9. Quest for Quantitative Measures of Complexity10. "Irreducible" and "Specified Complexity "in Living Systems; 11. Introduction to Complexity in Economic Systems; 12. Dealing with Complexity; Appendix A: SimnonTM Programs Used in Chapters 3 and 8; Appendix B: How to Use Root Locus to Determine the Stability of SISO Linear Control Systems; Appendix C: Bode Plots; Appendix D: Nyquist Plots; Glossary; Bibliography and Related Readings; Back Cover |
| Record Nr. | UNINA-9910811867803321 |
|
Northrop Robert B.
|
||
| Boca Raton, FL : , : CRC Press, an imprint of Taylor and Francis, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Robert Rosen and Relational System Theory
| Robert Rosen and Relational System Theory |
| Autore | Lennox James Bryan |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Cham : , : Springer, , 2024 |
| Descrizione fisica | 1 online resource (150 pages) |
| Disciplina | 570.11 |
| Collana | Anticipation Science Series |
| ISBN | 3-031-51116-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Intro -- Preface -- Contents -- Chapter 1: Introduction -- Chapter 2: Category Theory -- 2.1 An Historical Note -- 2.2 Category Theory: A General Theory of Models -- Chapter 3: The Modeling Relation in Science -- 3.1 Natural Law -- 3.2 Formal Systems -- 3.3 Natural Systems -- 3.4 Natural Law and the Modeling Relation -- 3.5 Analogies, Alternative Models, and Metaphors -- Chapter 4: Relational Models -- 4.1 Nicolas Rashevsky: Topology and Life -- 4.2 Function and Organization as Global Properties -- 4.3 Organization: A Thing in Itself -- 4.4 Aristotle's Four Categories of Causation -- 4.5 Entailments in Relational Models -- 4.6 Entailments in Relational Models Continued: Functional Entailment and Final Cause -- Chapter 5: Simple Systems and Complex Systems -- 5.1 Impredicativity and Self-Reference -- 5.2 Simulations -- 5.3 Relational Models for Simple Systems and Machines -- 5.4 Impredicativity and Self-Reference Continued -- 5.5 Relational Models for Complex Systems -- 5.6 Addendum: The Lawvere-Cantor Theorem: "Solution" to the Paradoxes -- Chapter 6: Anticipatory Systems -- 6.1 An Historical Note -- 6.2 Planning, Management, Policies, and Strategies: Four Fuzzy Concepts -- 6.3 Anticipatory Systems are Complex Systems -- Chapter 7: (M, R) - Systems -- 7.1 (M, R) - Networks -- 7.2 (M, R) - Systems -- 7.3 Closure: Entailment Relations in (M, R) - Systems -- Chapter 8: The Realization Problem -- 8.1 The Problem -- 8.2 Complex Systems, Again -- 8.3 A Word on Entailment in Evolution -- 8.4 Realization, Fabrication, and The Origin of Life -- Appendix: J. S. Hofmeyr's (F, A) - Systems -- Bibliography -- Index. |
| Record Nr. | UNINA-9910864186503321 |
|
Lennox James Bryan
|
||
| Cham : , : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Self-organization in biological systems / Scott Camazine ... [et al.] ; original line drawings by William Ristine and Mary Ellen Didion ; StarLogo programming by William Thies
| Self-organization in biological systems / Scott Camazine ... [et al.] ; original line drawings by William Ristine and Mary Ellen Didion ; StarLogo programming by William Thies |
| Pubbl/distr/stampa | Princeton, N. J. : Princeton University Press, 2001 |
| Descrizione fisica | viii, 538 p., 8 p. of plates : ill. (some col.) ; 24 cm |
| Disciplina | 570.11 |
| Altri autori (Persone) | Camazine, Scottauthor |
| Collana | Princeton studies in complexity |
| Soggetto topico |
Biological systems
Self-organizing systems |
| ISBN | 0691012113 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002224569707536 |
| Princeton, N. J. : Princeton University Press, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Symbolic Approaches to Modeling and Analysis of Biological Systems / / edited by Cedric Lhoussaine and Elisabeth Remy
| Symbolic Approaches to Modeling and Analysis of Biological Systems / / edited by Cedric Lhoussaine and Elisabeth Remy |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | London, England : , : ISTE Ltd and John Wiley & Sons, Inc., , [2023] |
| Descrizione fisica | 1 online resource (397 pages) |
| Disciplina | 570.11 |
| Soggetto topico | Biological systems |
| Soggetto non controllato |
Biology
Computer Science Science Computers |
| ISBN |
1-394-22908-9
1-394-22906-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover -- Title Page -- Copyright Page -- Contents -- Preface -- Part 1. Models and Data -- Chapter 1. Inference of Gene Regulatory Networks from Multi-scale Dynamic Data -- 1.1. GRN and differentiation -- 1.1.1. The coordination of gene expression by GRNs -- 1.1.2. The process of differentiation -- 1.2. Inference of GRN from population data -- 1.2.1. Population expression data -- 1.2.2. Bayesian approaches -- 1.2.3. Information theory approaches -- 1.2.4. Boolean approaches -- 1.2.5. ODE approaches -- 1.3. Inferring GRNs from single-cell data -- 1.3.1. Single cell expression data -- 1.3.2. Adaptation of GRN inference algorithms for single-cell data analysis -- 1.3.3. Using single-cell stochastic models for GRN inference -- 1.4. Alternative strategies for GRN inference -- 1.5. Performance and limitations of GRN inference -- 1.6. Inference based on the wave of expression concept -- 1.6.1. The differentiation process seen as a dynamic process of signal processing by GRNs -- 1.6.2. Experimental demonstration of waves of expression -- 1.6.3. Using waves of expression for GRN inference -- 1.6.4. Scaling up the distributed computing approach -- 1.7. Conclusion -- 1.8. References -- Chapter 2. Combinatorial Optimization Problems for Studying Metabolism -- 2.1. Dynamics and functionality of a metabolic network -- 2.1.1. Metabolic networks -- 2.1.2. Reconstruction of metabolic networks -- 2.1.3. From the dynamics of a metabolic network to its function -- 2.2. Understanding the metabolism of non-model organisms: metabolic gap-filling algorithms -- 2.2.1. Metabolism of non-model organisms -- 2.2.2. Reconstruction of the metabolism of non-model species and gap-filling problems -- 2.2.3. Added-value and limitations of metabolic gap-filling problems: example of biotic interactions -- 2.3. Microbiota metabolism: new optimization problems.
2.3.1. Genomics of microbiota -- 2.3.2. From merged models to compartmentalized models -- 2.3.3. Completion problem for community selection in non-compartmentalized microbiota -- 2.3.4. Completion problem for selecting compartmentalized communities with minimal exchanges -- 2.4. Discrete semantics: a Boolean approximation of metabolic producibility -- 2.4.1. Topological accessibility of compounds and reactions in a metabolic network -- 2.4.2. Activation and cycles -- 2.4.3. Applications -- 2.5. Flux semantics -- 2.5.1. Modeling the response of a metabolic network with fluxes -- 2.5.2. Steady-state cycles -- 2.5.3. Application to the completion of metabolic networks -- 2.6. Comparing semantics: toward a hybrid approach -- 2.6.1. Complementarity of Boolean and stoichiometric abstractions -- 2.6.2. Hybrid completion of metabolic networks -- 2.7. Solving gap-filling problems with answer set programming -- 2.7.1. Model the Boolean activation of a reaction in ASP -- 2.7.2. Non-compartmentalized selection of communities -- 2.7.3. Compartmentalized selection of communities -- 2.8. Conclusion -- 2.9. References -- Chapter 3. The Challenges of Inferring Dynamic Models from Time Series -- 3.1. Challenges of learning about time series -- 3.2. Reconstruction of a regulation network (Boolean network) and its logical rules -- 3.2.1. Multi-valued logic -- 3.2.2. Learning operations -- 3.2.3. Dynamical semantics -- 3.2.4. GULA -- 3.2.5. PRIDE -- 3.3. Modeling Thomas networks with delays in ASP -- 3.3.1. Formalisms used -- 3.3.2. Networks -- 3.3.3. ASP technology -- 3.3.4. Description of the problem -- 3.3.5. Implementation -- 3.3.6. Results -- 3.3.7. Synthesis -- 3.4. Promise of machine learning for biology -- 3.4.1. Learning about biological regulatory networks modeling complex behaviors -- 3.4.2. Review of models -- 3.5. References. Chapter 4. Connecting Logical Models to Omics Data -- 4.1. Introduction -- 4.2. Logical models: objectives, nature and tools -- 4.2.1. Objectives and biological questions addressed -- 4.2.2. Logical modeling -- 4.2.3. Tools and resources for logical modeling -- 4.3. Building an influence graph using biological data -- 4.3.1. Defining the outline of the model -- 4.3.2. Construction of the regulation network -- 4.4. Defining logical rules and refining model parameters using biological data -- 4.4.1. Determining logical rules locally -- 4.4.2. Define or modify the logical model as a whole -- 4.5. Data to validate models and predict behaviors -- 4.6. Conclusion -- 4.7. References -- Part 2. Formal and Semantic Methods -- Chapter 5. Boolean Networks: Formalism, Semantics and Complexity -- 5.1. Introduction -- 5.2. Classical semantics of Boolean networks -- 5.2.1. Definitions -- 5.2.2. Examples -- 5.2.3. Properties -- 5.3. Related formalisms -- 5.3.1. Cellular automata -- 5.3.2. Petri nets -- 5.4. Guarantees against quantitative models -- 5.4.1. Boolean network refinements -- 5.4.2. Counterexample for classical semantics -- 5.4.3. MP Boolean networks -- 5.5. Dynamic properties and complexities -- 5.5.1. Fixed points -- 5.5.2. Reachability between configurations -- 5.5.3. Attractors -- 5.6. Conclusion -- 5.7. Acknowledgments -- 5.8. References -- Chapter 6. Computational Logic for Biomedicine and Neurosciences -- 6.1. Introduction -- 6.2. Biomedicine in linear logic -- 6.2.1. Introduction -- 6.2.2. Logical frameworks, linear logic -- 6.2.3. Modeling in LL -- 6.2.4. Modeling breast cancer progression -- 6.2.5. Verifying properties of the model -- 6.2.6. Conclusion and future perspectives on the biomedicine section -- 6.3. On the use of Coq to model and verify neuronal archetypes -- 6.3.1. Introduction -- 6.3.2. Discrete leaky integrate and fire model. 6.3.3. The basic archetypes -- 6.3.4. Modeling in Coq -- 6.3.5. Encoding neurons and archetypes in Coq -- 6.3.6. Properties of neurons and archetypes in Coq -- 6.3.7. Conclusions and future work on the archetypes section -- 6.4. Conclusion and perspective -- 6.5. References -- Chapter 7. The Cell: A Chemical Analog Calculator -- 7.1. Introduction -- 7.2. Chemical reaction networks -- 7.3. Discrete dynamics and digital calculation -- 7.4. Continuous dynamics and analog computation -- 7.5. Turing-completeness of continuous CRNs -- 7.6. Chemical compiler of calculable functions -- 7.7. Chemical programming of non-living vesicles -- 7.8. 1014 networked analog computers -- 7.9. References -- Chapter 8. Formal Verification Methods for Modeling in Biology: Biological Regulation Networks -- 8.1. Introduction -- 8.1.1. Illustrative example: the simplified circadian cycle of mammals -- 8.2. Formalization of René Thomas's modeling -- 8.2.1. Static description or influence graph -- 8.2.2. Dynamics of a biological regulation graph -- 8.3. Genetically modified Hoare logic -- 8.3.1. Using experimental observations: an example -- 8.3.2. A language of assertions -- 8.3.3. A language of paths -- 8.3.4. The power of assertions -- 8.3.5. A logic to calculate the weakest precondition -- 8.4. Temporal logic and CTL -- 8.4.1. CTL and model-checking -- 8.4.2. CTL fair path -- 8.5. TotemBioNet -- 8.5.1. Tools -- 8.5.2. Example 1: growth and apoptosis of a tadpole tail -- 8.5.3. Example 2: simplified mammalian cell cycle -- 8.6. Hybrid formalism -- 8.6.1. Hybrid regulation networks -- 8.6.2. Definition of hybrid trajectories -- 8.7. Hybrid Hoare logic -- 8.7.1. Property, path, and assertion languages -- 8.7.2. Hoare triples -- 8.7.3. Weakest precondition calculus -- 8.7.4. Inference rules -- 8.7.5. Holmes BioNet: an implementation of the processing chain. 8.8. General methodology -- 8.9. Acknowledgments -- 8.10. References -- Chapter 9. Accessible Pattern Analyses in Kappa Models -- 9.1. Introduction -- 9.1.1. Context and motivations -- 9.1.2. Modeling languages for molecular interaction systems -- 9.1.3. The Kappa language -- 9.1.4. Abstract interpretation -- 9.1.5. The Kappa ecosystem -- 9.1.6. Content of the chapter -- 9.2. Site graphs -- 9.2.1. Signature -- 9.2.2. Biochemical complexes -- 9.2.3. Patterns -- 9.2.4. Embedding between patterns -- 9.3. Rewriting site graphs -- 9.3.1. Interaction rules -- 9.3.2. Reactions induced by an interaction rule -- 9.3.3. Underlying reaction networks -- 9.4. Analysis of reachable patterns -- 9.4.1. Reachability in a reaction network -- 9.4.2. Abstraction of a set of states -- 9.4.3. Fixed point transfers -- 9.5. Analysis using sets of orthogonal patterns -- 9.5.1. Orthogonal pattern sets -- 9.5.2. Post-processing and visualization of results -- 9.5.3. Study of performance and practical use -- 9.6. Conclusion -- 9.7. References -- List of Authors -- Index -- EULA. |
| Record Nr. | UNINA-9910830486903321 |
| London, England : , : ISTE Ltd and John Wiley & Sons, Inc., , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
