Systems Biology Modelling and Analysis Formal Bioinformatics Methods and Tools

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 field’s current models and techniques while also preparing for their potential developments in coming years with the help of the author’s expert insight.

Elisabetta De Maria, PhD, is an Associate Professor at the Université Côte d’Azur. 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.

Chapter 1            Introduction

Chapter 2            Petri Nets for Systems Biology Modelling and Analysis

Chapter 3            Process Algebras in Systems Biology

Chapter 4            The Rule-based Model Approach. A Kappa Model for Hepatic Stellate Cells Activation by TGFB1

Chapter 5            Pathway Logic: Curation and Analysis of Experiment-based Signaling Response Networks

Chapter 6            Boolean Networks and their Dynamics: the Impact of Updates

Chapter 7            Analyzing Long-Term Dynamics of Biological Networks with Answer Set Programming

Chapter 8            Hybrid Automata in Systems Biology

Chapter 9            Ordinary Diffential Equations

Chapter 10          Network Modeling Methods for Precision Medicine

Chapter 11          Conclusion

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.