CognItIvE aSSIStantS Various companies have introduced cognitive assistants in recent years, including Aldebaran/Softbank, Amazon, Apple, Google, IBM, and Microsoft (see Table 1). Each cognitive assistant helps its user with various tasks. Personal assistants help their humans with everything from communications to entertainment, while professional assistants can greet customers or help improve...

This paper presents a paradigm for using proof assistants in the programming process. We demonstrate how the programming language EventML provides a useful interface to proof assistants throughout code development. Enhancing the use of proof assistants in programming will make them more valuable and accessible to a large community. We designed EventML specifically to cooperate with proof assist...

In this paper we will discuss the fundamental ideas behind proof assistants: What are they and what is a proof anyway? We give a short history of the main ideas, emphasizing the way they ensure the correctness of the mathematics formalized. We will also briefly discuss the places where proof assistants are used and how we envision their extended use in the future. While being an introduction in...

This prospective diary survey provides documentation concerning the occurrence of percutaneous injury among orthodontic chairside assistants in the United States and Canada. A 20-day period was used to collect data regarding exposure to injuries; 693 valid responses were received from orthodontic assistants. Most chairside assistants in this sample work in a solo practice and average 33 hours p...

BACKGROUND The role of the acute hospital nurse has moved away from the direct delivery of patient care and more towards the management of the delivery of bedside care by healthcare assistants. How newly qualified nurses delegate to and supervise healthcare assistants is important as failures can lead to care being missed, duplicated and/or incorrectly performed. OBJECTIVES The data described...

Patients receiving home care are becoming increasingly dependent upon competent caregivers' 24-h availability due to their substantial care needs, often with advanced care and home care technology included. In Sweden, care is often carried out by municipality-employed paraprofessionals such as health care assistants (HC assistants) with limited or no health care training, performing advanced ca...