This book constitutes the refereed post-conference proceedings of the First International Workshop on Artificial Intelligence in Health, AIH 2018, in Stockholm, Sweden, in July 2018. This workshop consolidated the workshops CARE, KRH4C and AI4HC into a single event.
The 18 revised full papers included in this volume were carefully selected from the 26 papers accepted for presentation out of 42 initial submissions. The papers present AI technologies with medical applications and are organized in three tracks: agents in healthcare; data science and decision systems in medicine; and knowledge management in healthcare.
Proof Complexity (Encyclopedia of Mathematics and its Applications)
Proof complexity is a rich subject drawing on methods from logic, combinatorics, algebra and computer science. This self-contained book presents the basic concepts, classical results, current state of the art and possible future directions in the field. It stresses a view of proof complexity as a whole entity rather than a collection of various... Using R for Data Analysis in Social Sciences
Statistical analysis is common in the social sciences, and among the more popular programs is R. This book provides a foundation for undergraduate and graduate students in the social sciences on how to use R to manage, visualize, and analyze data. The focus is on how to address substantive questions with data analysis and replicate...
Core Principles of Special and General Relativity
This book provides an accessible, yet thorough, introduction to special and general relativity, crafted and class-tested over many years of teaching. Suitable for advanced undergraduate and graduate students, this book provides clear descriptions of how to approach the mathematics and physics involved. It is also contains the latest...