Automated Reasoning for Systems Biology and Medicine
This book presents outstanding contributions in an exciting, new and multidisciplinary research area: the application of formal, automated reasoning techniques to analyse complex models in systems biology and systems medicine. Automated reasoning is a fie
- PDF / 17,071,281 Bytes
- 471 Pages / 453.544 x 683.151 pts Page_size
- 40 Downloads / 202 Views
Pietro Liò Paolo Zuliani Editors
Automated Reasoning for Systems Biology and Medicine
Computational Biology Volume 30
Editors-in-Chief Andreas Dress CAS-MPG Partner Institute for Computational Biology, Shanghai, China Michal Linial Hebrew University of Jerusalem, Jerusalem, Israel Olga Troyanskaya Princeton University, Princeton, NJ, USA Martin Vingron Max Planck Institute for Molecular Genetics, Berlin, Germany Editorial Board Members Robert Giegerich, University of Bielefeld, Bielefeld, Germany Janet Kelso, Max Planck Institute for Evolutionary Anthropology, Leipzig, Germany Gene Myers, Max Planck Institute of Molecular Cell Biology and Genetics, Dresden, Germany Pavel Pevzner, University of California, San Diego, CA, USA Advisory Editors Gordon Crippen, University of Michigan, Ann Arbor, MI, USA Joseph Felsenstein, University of Washington, Seattle, WA, USA Dan Gusfield, University of California, Davis, CA, USA Sorin Istrail, Brown University, Providence, RI, USA Thomas Lengauer, Max Planck Institute for Computer Science, Saarbrücken, Germany Marcella McClure, Montana State University, Bozeman, MT, USA Martin Nowak, Harvard University, Cambridge, MA, USA David Sankoff, University of Ottawa, Ottawa, ON, Canada Ron Shamir, Tel Aviv University, Tel Aviv, Israel Mike Steel, University of Canterbury, Christchurch, New Zealand Gary Stormo, Washington University in St. Louis, St. Louis, MO, USA Simon Tavaré, University of Cambridge, Cambridge, UK Tandy Warnow, University of Illinois at Urbana-Champaign, Urbana, IL, USA Lonnie Welch, Ohio University, Athens, OH, USA
Endorsed by the International Society for Computational Biology, the Computational Biology series publishes the very latest, high-quality research devoted to specific issues in computer-assisted analysis of biological data. The main emphasis is on current scientific developments and innovative techniques in computational biology (bioinformatics), bringing to light methods from mathematics, statistics and computer science that directly address biological problems currently under investigation. The series offers publications that present the state-of-the-art regarding the problems in question; show computational biology/bioinformatics methods at work; and finally discuss anticipated demands regarding developments in future methodology. Titles can range from focused monographs, to undergraduate and graduate textbooks, and professional text/reference works.
More information about this series at http://www.springer.com/series/5769
Pietro Liò Paolo Zuliani •
Editors
Automated Reasoning for Systems Biology and Medicine
123
Editors Pietro Liò Department of Computer Science and Technology University of Cambridge Cambridge, UK
Paolo Zuliani School of Computing Newcastle University Newcastle, UK
ISSN 1568-2684 ISSN 2662-2432 (electronic) Computational Biology ISBN 978-3-030-17296-1 ISBN 978-3-030-17297-8 (eBook) https://doi.org/10.1007/978-3-030-17297-8 © Springer Nature Switzerland AG 2019 This work is subject to copyright. All rights are reserved by the
Data Loading...
