
Автор: Pietro Lio, Paolo Zuliani
Издательство: Springer
Год: 2019
Страниц: 471
Язык: английский
Формат: pdf (true)
Размер: 16.3 MB
The first dedicated volume on formal reasoning techniques applied to medical systems, including personalized medicine. Includes novel contributions on automated reasoning, formal methods, and verification by internationally leading researchers. Features state-of-the-art research, including chapters on Machine Learning (ML) and Artificial Intelligence (AI) applications. 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 field of computer science devoted to the development of algorithms that yield trustworthy answers, providing a basis of sound logical reasoning.