New technologies like voice assistants such as Siri, Alexa, and the Google Assistant give impression that lines between humans machines are blurring gradually take up social roles once occupied by humans. To counter anxiety, this essay argues these becoming more characters, adapting to templates we initially constructed for fictional beings whose space occupy instead. It provides a textual read...

Despite the resources dedicated since 2001 to training health providers in emergency and bioterrorism preparedness and response, the literature on the participation of physician assistants (PAs) is very limited. The purpose of this pilot study was to explore the training level and experiences of PAs in the diagnosis and treatment of chemical, biological, radiological, nuclear, and explosive age...

Today, we can talk to objects in our homes that recognize our voices, understand our questions, model our behaviors, and even predict our needs while communicating across vast networks of machines, computers, and distant humans. This is made possible by global supply chains optimized to produce the supercomputers in our pockets, and by the most valuable companies on the planet advancing softwar...

Immediate feedback has a positive effect on the performance of a student practising a procedural skill in exercises. Giving feedback to a number of students is labour-intensive for a teacher. To alleviate this, many electronic exercise assistants have been developed. However, many of the exercise assistants have some limitations in the feedback they offer. We have a feedback engine that gives s...

We explore several ways to formalize the algebraic laws of CSP-like languages in HOL. The intent of the paper is to show how HOL can be tailored to acting as a proof assistant. The emphasis is therefore on the consequences of various choices to be made during the formalization for writing tactics. We end up with a proof assistant that allows a user to make steps of the granularity of an algebra...

The previous chapter (Chapter 11) explained how user requirements directed our development of meeting support technology, more specifically meeting browsers and assistants. Chapters 3 to 9 discussed the enabling components, i.e. the multimodal signal processing necessary to build meeting support technology. In the following, we will present an overview of the meeting browsers and assistants dev...