Elisabetta De Maria – författare

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 beyondPathway Logic, a formal, rule-based system and interactive viewer for developing executable models of cellular processesBoolean networks, a mathematical model which has been widely used for decades in the context of biological regulation networksAnswer Set Programming (ASP), which has proven to be a strong logic programming paradigm to deal with the inherent complexity of biological modelsFor 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.

This book constitutes extended and revised versions of a set of selected papers from the 12th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2019, held in Prague, Czech Republic, in February 2019.The 22 revised and extended full papers presented were carefully reviewed and selected from a total of 271 submissions. The papers are organized in topical sections on biomedical electronics and devices; bioimaging; bioinformatics models, methods and algorithms; bio-inspired systems and signal processing; health informatics.