Systems Biology Modelling and Analysis: Formal Bioinformatics Methods and Tools

Description: FREE SHIPPING UK WIDE Systems Biology Modelling and Analysis by Elisabetta De Maria Systems Biology Modelling and Analysis Describes important modelling and computational methods for systems biology research to enable practitioners to select and use the most suitable technique Systems Biology Modelling and Analysis provides an overview of state-of-the-art techniques and introduces related tools and practices to formalize models and automate reasoning for systems biology. The authors present and compare the main formal methods used in systems biology for modelling biological networks, including discussion of their advantages, drawbacks, and main applications. Each chapter includes an intuitive presentation of the specific formalism, a brief history of the formalism and of its applications in systems biology, a formal description of the formalism and its variants, at least one realistic case study, some applications of formal techniques to validate and make deep analysis of models encoded with the formalism, and a discussion on the kind of biological systems for which the formalism is suited, along with concrete ideas on its possible evolution. Edited by a highly qualified expert with significant experience in the field, some of the methods and techniques covered in Systems Biology Modelling and Analysis include: Petri nets, an important tool for studying different aspects of biological systems, ranging from simple signaling pathways to metabolic networks and beyond Pathway Logic, a formal, rule-based system and interactive viewer for developing executable models of cellular processes Boolean networks, a mathematical model which has been widely used for decades in the context of biological regulation networks Answer Set Programming (ASP), which has proven to be a strong logic programming paradigm to deal with the inherent complexity of biological models For systems biologists, biochemists, bioinformaticians, molecular biologists, pharmacologists, and computer scientists, Systems Biology Modelling and Analysis is a comprehensive all-in-one resource to understand and harness the fields current models and techniques while also preparing for their potential developments in coming years with the help of the authors expert insight. FORMAT Hardcover LANGUAGE English CONDITION Brand New Flap Describes important modelling and computational methods for systems biology research to enable practitioners to select and use the most suitable technique Systems Biology Modelling and Analysis provides an overview of state-of-the-art techniques and introduces related tools and practices to formalize models and automate reasoning for systems biology. The authors present and compare the main formal methods used in systems biology for modelling biological networks, including discussion of their advantages, drawbacks, and main applications. Each chapter includes an intuitive presentation of the specific formalism, a brief history of the formalism and of its applications in systems biology, a formal description of the formalism and its variants, at least one realistic case study, some applications of formal techniques to validate and make deep analysis of models encoded with the formalism, and a discussion on the kind of biological systems for which the formalism is suited, along with concrete ideas on its possible evolution. Edited by a highly qualified expert with significant experience in the field, some of the methods and techniques covered in Systems Biology Modelling and Analysis include: Petri nets, an important tool for studying different aspects of biological systems, ranging from simple signaling pathways to metabolic networks and beyond Pathway Logic, a formal, rule-based system and interactive viewer for developing executable models of cellular processes Boolean networks, a mathematical model which has been widely used for decades in the context of biological regulation networks Answer Set Programming (ASP), which has proven to be a strong logic programming paradigm to deal with the inherent complexity of biological models For systems biologists, biochemists, bioinformaticians, molecular biologists, pharmacologists, and computer scientists, Systems Biology Modelling and Analysis is a comprehensive all-in-one resource to understand and harness the fields current models and techniques while also preparing for their potential developments in coming years with the help of the authors expert insight. Author Biography Elisabetta De Maria, PhD, is an Associate Professor at the Université Côte dAzur. From 2011–13, she was Coordinator of the International Research Master Program "Computational Biology and Biomedicine" at the University of Nice-Sophia Antipolis. Dr. De Maria has expertise in bioinformatics and computational systems biology and served as program chair of the conferences BIOINFORMATICS 2019, CSBio 2019 (International Conference on Computational Systems-Biology and Bioinformatics), and BIOINFORMATICS 2020. Table of Contents List of Contributors xv Preface xix Acknowledgments xxv 1 Introduction 1Elisabetta De Maria 1.1 Why Writing Models 2 1.2 Modelling and Validating Biological Systems: Three Steps 4 1.2.1 Modelling Biological Systems 4 1.2.2 Specifying Biological Systems 7 1.2.3 Validating Biological Systems 8 References 9 2 Petri Nets for Systems Biology Modelling and Analysis 15Fei Liu, Hiroshi Matsuno, and Monika Heiner 2.1 Introduction 15 2.2 A Running Example 16 2.3 Petri Nets 16 2.3.1 Modelling 17 2.3.2 Analysis 18 2.3.3 Applications 20 2.4 Extended Petri Nets 20 2.5 Stochastic Petri Nets 20 2.5.1 Modelling 21 2.5.2 Stochastic Simulation 21 2.5.3 CSL Model Checking 22 2.5.4 Applications 23 2.6 Continuous Petri Nets 24 2.6.1 Modelling 24 2.6.2 Deterministic Simulation 24 2.6.3 Simulative Model Checking 25 2.6.4 Applications 27 2.7 Fuzzy Stochastic Petri Nets 27 2.7.1 Modelling 27 2.7.2 Fuzzy Stochastic Simulation 27 2.7.3 Applications 29 2.8 Fuzzy Continuous Petri Nets 29 2.8.1 Modelling 29 2.8.2 Fuzzy Deterministic Simulation 29 2.8.3 Applications 30 2.9 Conclusions 30 Acknowledgment 31 References 31 3 Process Algebras in Systems Biology 35Paolo Milazzo 3.1 Introduction 35 3.2 Process Algebras in Concurrency Theory 36 3.2.1 π-Calculus 38 3.3 Analogies between Biology and Concurrent Systems 42 3.3.1 Elements of Cell Biology 43 3.3.2 Cell Pathways 44 3.3.3 "Molecules as Processes" Abstraction 48 3.4 Process Algebras for Qualitative Modelling 51 3.4.1 Formal Analysis Techniques 51 3.5 Process Algebras for Quantitative Modelling 53 3.5.1 Chemical Kinetics 54 3.5.2 Stochastic Process Algebras 59 3.6 Conclusions 61 Acknowledgments 61 References 62 4 The Rule-Based Model Approach: A Kappa Model for Hepatic Stellate Cells Activation by TGFB1 69Matthieu Bouguéon, Pierre Boutillier, Jérôme Feret, Octave Hazard, and Nathalie Théret 4.1 Introduction 69 4.1.1 Modelling Systems of Biochemical Interactions 69 4.1.2 Modelling Languages 70 4.1.3 Kappa 71 4.1.3.1 Overview 71 4.1.3.2 Semantics of Kappa 72 4.1.3.3 Kappa Ecosystem 73 4.1.3.4 Main Limitations 75 4.1.4 Modelling a Population of Hepatic Stellate Cells 76 4.1.5 Outline 78 4.2 Kappa 78 4.2.1 Site Graphs 78 4.2.1.1 Signature 79 4.2.1.2 Complexes 81 4.2.1.3 Patterns 82 4.2.1.4 Embeddings Between Patterns 84 4.2.2 Site Graph Rewriting 86 4.2.2.1 Interaction Rules 86 4.2.2.2 Reactions Induced by an Interaction Rule 87 4.2.2.3 Underlying Reaction Network 88 4.3 Model of Activation of Stellate Cells 91 4.3.1 Overview of Model 91 4.3.2 Some Elements of Biochemistry 91 4.3.2.1 Reaction Half-Time 92 4.3.2.2 Conversion 93 4.3.2.3 Production Equilibrium 93 4.3.2.4 Erlang Distributions 94 4.3.3 Interaction Rules 94 4.3.3.1 Behavior of TGFB1 Proteins 95 4.3.3.2 Renewal of Quiescent HSCs 96 4.3.3.3 Activation and Differentiation 97 4.3.3.4 Proliferation of Activated Hepatic Stellate Cells 99 4.3.3.5 Proliferation of Myofibroblasts 100 4.3.3.6 Apoptosis and Senescence of Myofibroblasts 101 4.3.3.7 Inactivation of Myofibroblasts 102 4.3.3.8 Behavior of Inactivated Hepatic Stellate Cells 102 4.3.3.9 Proliferation of Reactivated Cells 105 4.3.3.10 Degradation of Reactivated MFB 106 4.3.3.11 Behavior of Receptors 106 4.3.4 Parameters 108 4.4 Results 109 4.4.1 Static Analysis 109 4.4.2 Underlying Reaction Network 111 4.4.3 Simulations 111 4.5 Conclusion 113 References 116 5 Pathway Logic: Curation and Analysis of Experiment-Based Signaling Response Networks 127Merrill Knapp, Keith Laderoute, and Carolyn Talcott 5.1 Introduction 127 5.2 Pathway Logic Overview 130 5.3 PL Representation System 133 5.3.1 Rewriting Logic and Maude 133 5.3.2 Pathway Logic Language 134 5.3.3 Petri Net Representation 140 5.3.4 Computing with Petri Nets 142 5.4 Pathway Logic Assistant 144 5.5 Datum Curation and Model Development 150 5.5.1 Datum Curation 150 5.5.2 Model Development – Inferring Rules 153 5.6 STM8 155 5.6.1 LPS Response Network 156 5.6.2 Combining Network Analyses 158 5.6.3 Death Map: A Review Model 159 5.6.3.1 Review Map as a Summary of the State of the Art 163 5.7 Conclusion 163 Acknowledgments 164 Appendix 5.A: Summary of STM8 Networks 164 References 168 6 Boolean Networks and Their Dynamics: The Impact of Updates 173Loïc Paulevé and Sylvain Sené 6.1 Introduction 173 6.1.1 General Notations and Definitions 178 6.2 Boolean Network Framework 179 6.2.1 On the Simplicity of Boolean Networks 179 6.2.2 Boolean Network Specification 181 6.2.3 Boolean Network Dynamics 183 6.2.3.1 Updates 183 6.2.3.2 Transitions and Trajectories 185 6.2.3.3 Updating Mode and Transition Graph 186 6.2.3.4 Deterministic Updating Modes 187 6.2.3.5 Non-deterministic Updating Modes 199 6.3 Biological Case Studies 208 6.3.1 Floral Morphogenesis of A. thaliana 209 6.3.2 Cell Cycle 211 6.3.3 Vegetal and Animal Zeitgebers 212 6.3.4 Abstraction of Quantitative Models 214 6.4 Fundamental Knowledge 216 6.4.1 Structural Properties and Attractors 216 6.4.1.1 Fixed Points Stability 216 6.4.1.2 Feedback Cycles as Engines of Dynamical Complexity 217 6.4.1.3 About Signed Feedback Cycles 219 6.4.2 Computational Complexity 224 6.4.2.1 Existence of a Fixed Point 225 6.4.2.2 Reachability Between Configurations 227 6.4.2.3 Limit Configurations 229 6.5 Conclusion 232 6.5.1 Updating Modes and Time 232 6.5.1.1 Modelling Durations 233 6.5.1.2 Modelling Precedence 234 6.5.1.3 Modelling Causality 234 6.5.2 Toward an Updating Mode Hierarchy 235 6.5.2.1 Software Tools 235 6.5.3 Opening on Intrinsic Simulations 236 Acknowledgments 238 References 238 7 Analyzing Long-Term Dynamics of Biological Networks With Answer Set Programming 251Emna Ben Abdallah, Maxime Folschette, and Morgan Magnin 7.1 Introduction 251 7.2 State of the Art 253 7.2.1 Qualitative Modelling of Biological Systems 253 7.2.2 Identifying Attractors: A Major Challenge 255 7.2.3 Answer Set Programming for Systems Biology 257 7.2.4 Enumerating Attractors of a Biological Model Using Answer Set Programming 258 7.3 Basic Notions of Answer Set Programming 259 7.3.1 Syntax and Rules 259 7.3.2 Predicates 261 7.3.3 Scripting 263 7.4 Dynamic Modelling Using Asynchronous Automata Networks 264 7.4.1 Motivation: Using ASP to Analyze the Dynamics 264 7.4.2 Definition of Asynchronous Automata Networks 264 7.4.3 Semantics and Dynamics of Asynchronous Automata Networks 267 7.4.4 Stable States and Attractors in Asynchronous Automata Networks 271 7.5 Encoding into Answer Set Programming 275 7.5.1 Translating Asynchronous Automata Networks into Answer Set Programs 276 7.5.2 Stable-State Enumeration 278 7.5.3 Attractors 280 7.5.3.1 Cycle Enumeration 281 7.5.3.2 Attractor Enumeration 285 7.5.3.3 Python Scripting 288 7.6 Case Studies 290 7.6.1 Toy Example 290 7.6.2 Bacteriophage Lambda 292 7.6.3 Benchmarks on Models Coming from the Literature 293 7.7 Conclusion 297 Acknowledgments 299 References 299 8 Hybrid Automata in Systems Biology 305Alberto Casagrande, Raffaella Gentilini, Carla Piazza, and Alberto Policriti 8.1 Introduction 305 8.2 Basics 307 8.2.1 Languages and Theories 308 8.3 Events 313 8.3.1 Temporal Logics 316 8.3.2 Model Checking 318 8.4 Events and Time 318 8.4.1 Hybrid Automata and Gene Regulatory Networks 319 8.4.2 Expressibility and Decidability Issues 323 8.5 Events, Time, and Uncertainty 327 8.6 Conclusions 331 Acknowledgement 332 References 332 9 Kalle Parvinen: Ordinary Differential Equations 339Kalle Parvinen 9.1 Introduction 339 9.2 Analyzing and Solving Ordinary Differential Equations 340 9.2.1 Solving Ordinary Differential Equations Analytically 340 9.2.2 Equilibria and Their Stability 341 9.2.3 Solving Differential Equations Numerically 344 9.3 Mechanistic Derivation of Ordinary Differential Equations 345 9.3.1 Elementary Unimolecular Reaction (EUR) 346 9.3.2 Elementary Bimolecular Reaction (EBR) 347 9.3.3 Elementary Bimolecular Reaction of Two Identical Molecules 348 9.3.4 Reaction Networks 348 9.4 Classical Lotka–Volterra Differential Equation 350 9.4.1 Model Formation and History 350 9.4.2 Phase-Plane Analysis and Equilibria 351 9.4.3 Constant of Motion 352 9.4.4 Average Population Densities 353 9.4.5 Effect of Fishing on the Population Densities 353 9.5 Model of Killer T-Cell and Cancer Cell Dynamics 354 9.5.1 Model Definition 354 9.5.1.1 Resource Dynamics 354 9.5.1.2 Cancer Cell Dynamics 355 9.5.1.3 Killer T-Cell Dynamics 356 9.5.2 Model DynamicsWithout Treatment 357 9.5.3 Treatment Effects 358 9.6 Conclusion 359 Acknowledgments 359 References 360 10 Network Modelling Methods for Precision Medicine 363Elio Nushi, Victor-Bogdan Popescu, Jose-Angel Sanchez Martin, Sergiu Ivanov, Eugen Czeizler, and Ion Petre 10.1 Introduction 363 10.2 Network Modelling Methods 364 10.2.1 Network Centrality Methods 364 10.2.1.1 Running Example 366 10.2.1.2 Degree Centralities 366 10.2.1.3 Proximity Centralities 368 10.2.1.4 Path Centrality: Betweenness 373 10.2.1.5 Spectral Centralities 377 10.2.2 System Controllability Methods 383 10.2.2.1 Network Controllability 384 10.2.2.2 Minimum Dominating Sets 387 10.2.3 Software 388 10.2.3.1 NetworkX 389 10.2.3.2 Cytoscape 390 10.2.3.3 NetControl4BioMed 390 10.3 Applications of Network Modelling in Personalized Medicine 392 10.3.1 Constructing Personalized Disease Networks 392 10.3.2 Analysis Methods 393 10.3.3 Results 398 10.3.3.1 Structural Controllability Analysis 398 10.3.3.2 Minimum Dominating Set Analysis 406 10.4 Conclusion 412 References 413 11 Conclusion 425Elisabetta De Maria Index 427 Details ISBN1119716535 Short Title Biological Systems Modelling and Analysis Language English ISBN-10 1119716535 ISBN-13 9781119716532 Format Hardcover Country of Publication United States Pages 464 Year 2022 Publication Date 2022-11-08 UK Release Date 2022-11-08 Imprint John Wiley & Sons Inc Place of Publication New York NZ Release Date 2022-11-28 Publisher John Wiley & Sons Inc Author Elisabetta De Maria Subtitle Formal Bioinformatics Methods and Tools Edited by Elisabetta De Maria DEWEY 570.285 Audience Professional & Vocational US Release Date 2022-11-08 AU Release Date 2023-02-04 We've got this At The Nile, if you're looking for it, we've got it. With fast shipping, low prices, friendly service and well over a million items - you're bound to find what you want, at a price you'll love! 30 DAY RETURN POLICY No questions asked, 30 day returns! FREE DELIVERY No matter where you are in the UK, delivery is free. SECURE PAYMENT Peace of mind by paying through PayPal and eBay Buyer Protection TheNile_Item_ID:140104810;

Price: 114.94 GBP

Location: Melbourne

End Time: 2024-11-30T15:31:01.000Z

Shipping Cost: 3.14 GBP