This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design advances a verification methodology based on a unified theory of register-transfer logic and floating-point arithmetic that has...
This book is about the recently revived technique of Kock pouch in inflammatory bowel disease. It discusses the Kock pouch as an alternative to patients not suitable for a pelvic pouch or where the pelvic pouch has failed. It provides clinicians with all the necessary information on patient guidance and surgical revisions after a...
This book combines the analytic principles of digital business and data science with business practice and big data. The interdisciplinary, contributed volume provides an interface between the main disciplines of engineering and technology and business administration. Written for managers, engineers and researchers who want to...
This comprehensive book thoroughly addresses common clinical challenges in newborns, providing an evidence-based, step-by-step approach for their diagnosis and management. Common Problems in the Newborn Nursery is designed to be an easy-to-use, practical guide, covering a full range of clinical dilemmas: bacterial and...
In twentieth-century Germany, Karl-Friedrich Bonhoeffer rose to prominence as a brilliant physical chemist, even as several of his relatives?Dietrich Bonhoeffer among them?became involved in the resistance to Hitler, leading to their executions. This book traces the entanglement of science, religion, and politics in the Third Reich and in...
This book investigates the wide-ranging connections between sculpture, sexuality, and history in Western culture from the eighteenth century to the present. Sculpture has offered a privileged site for the articulation of sexual experience and the formation of sexual knowledge. As historical objects, sculptures also draw attention to the...
This open access book summarizes research being pursued within the Manutelligence project, the goal of which is to help enterprises develop smart, social and flexible products with high value added services. Manutelligence has improved Product and Service Design by developing suitable models and methods, and connecting them through a...
Understanding and managing risk and uncertainty is a central task in contemporary societies characterised by rapid social, technological and environmental change.
This book presents research approaches used by scholars who all share a passion to gain new insights in how individuals, organisations and societies...
An introductory text that transitions into a moderately advanced, case-based analysis of neurologic disorders and diseases, this book emphasizes how to simplify the process of making a neurologic diagnosis. Medical students and residents are often intimidated by a deluge of data, perception of anatomic complexity, extensive...
This book brings together cutting-edge research on consulting in a single volume, thus helping to make the state-of-the-art in the field of consulting research more accessible, to promote better practices in business, and to spark further research. The respective articles approach consulting from very different angles, taking into account...
Provides important information from anatomy to pathophysiology and covers most neurological disorders that involve venous circulation. Venous circulation has not been extensively studied and we know relatively little about cerebral venous circulation. Venous circulation contributes to half of the brain circulation and about 70% of...
This book presents the proceedings of the 20th Congress of the International Ergonomics Association (IEA 2018), held on August 26-30, 2018, in Florence, Italy. By highlighting the latest theories and models, as well as cutting-edge technologies and applications, and by combining findings from a range of disciplines including...
