Simulation Algorithms for Computational Systems Biology by Luca Marchetti
This book explains the state-of-the-art algorithms used to simulate biological dynamics. Each technique is theoretically introduced and applied to a set of modeling cases. Starting from basic simulation algorithms, the book also introduces more advanced techniques that support delays, diffusion in space, or that are based on hybrid simulation strategies.
This is a valuable self-contained resource for graduate students and practitioners in computer science, biology and bioinformatics. An appendix covers the mathematical background, and the authors include further reading sections in each chapter.
-
Information and Randomness
-
Universal Artificial Intelligence
-
Interactive Theorem Proving and Program Development
-
Graphs and Algorithms in Communication Networks
-
Computable Analysis
-
Models of Massive Parallelism
-
Structural Complexity I
-
The Resolution Calculus
-
Models of Computation
-
Dissemination of Information in Optical Networks:
-
A Practical Theory of Reactive Systems
-
Petri Net Synthesis
-
Grammatical Picture Generation
-
Temporal Logic and State Systems
-
Algorithmics for Hard Problems
-
Public-Key Cryptography
-
Communication Complexity and Parallel Computing
-
Boolean Functions and Computation Models
-
Verification of Reactive Systems
-
Theoretical Computer Science
-
Introduction to Circuit Complexity
-
Elements of Finite Model Theory
-
The Parametric Lambda Calculus
-
The Complexity Theory Companion
-
Introduction to Process Algebra
-
DNA Computing
-
Abstract Computing Machines
-
Design and Analysis of Randomized Algorithms
-
Dissemination of Information in Communication Networks
-
Formal Methods for Software Engineering
-
Complexity Theory and Cryptology
-
Parsing Schemata
Luca Marchetti is the head of the computational biology team at COSBI, the Centre for Computational and Systems Biology, a bioinformatics company jointly owned by Microsoft Research and the University of Trento. He is also Contract Professor at the University of Verona, and an Associate Editor of the journal Optimization, Frontiers in Applied Mathematics and Statistics. He is in charge of several research projects in collaboration with important universities and pharmaceutical companies, and he is the author of scientific papers in international journals, books and conference proceedings.
Corrado Priami has been a professor of computer science at the University of Trento since 2001. The results of his PhD thesis on stochastic pi-calculus were the basis for the foundation of COSBI. He has published over 190 scientific papers, given more than 90 invited talks and lectures, and regularly serves in related advisory, scientific, and reviewing boards. He is a visiting professor atStanford University.
Vo Hong Thanh is a researcher at COSBI. His research interests include computational biology, chemical physics, and computational physics.
| SKU | Unavailable |
| ISBN 13 | 9783319874760 |
| ISBN 10 | 3319874764 |
| Title | Simulation Algorithms for Computational Systems Biology |
| Author | Luca Marchetti |
| Series | Texts In Theoretical Computer Science An Eatcs Series |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer International Publishing AG |
| Year published | 2018-08-18 |
| Number of pages | 238 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |