Harold Thimbleby – författare

New technologies like AI, medical apps and implants seem very exciting but they too often have bugs and are susceptible to cyberattacks. Even well-established technologies like infusion pumps, pacemakers and radiotherapy aren't immune.Until digital healthcare improves, digital risk means that patients may be harmed unnecessarily, and healthcare staff will continue to be blamed for problems when it's not their fault.This book tells stories of widespread problems with digital healthcare. The stories inspire and challenge anyone who wants to make hospitals and healthcare better. The stories and their resolutions will empower patients, clinical staff and digital developers to help transform digital healthcare to make it safer and more effective. This book is not just about the bugs and cybersecurity threats that affect digital healthcare. More importantly, it's about the solutions that can make digital healthcare much safer.

First published in 1990, this book discusses the application of formal methods to the human-computer interface. Formal methods - the attempt to provide methods that rigourously and unambiguously describe the behaviour of a computer program or system - is receiving a great deal of attention in human-computer interaction (HCI). Topics such as the specification of a system, the construction of a system from its specification and the abstraction of a specification from an existing system, are clearly of great theoretical and practical interest. The contributors to the work are well-known in the field of HCI and their articles cover much of the work in the area. The book is a series of papers specially commissioned by the editors for the book; it is thus a coherent and important contribution to the area.

Today, electronic documents are enabling paperless reading supported by eReading technologies such as Kindles and Nooks, yet a high proportion of users still opt to print on paper before reading.