The class QMA plays a fundamental role in quantum complexity theory and it has found surprising connections to condensed matter physics and in particular in the study of the minimum energy of quantum systems. In this paper, we further investigate the class QMA and its related class QCMA by asking what makes quantum witnesses potentially more powerful than classical ones. We provide a definition...

There are many patient groups who may refuse blood products; the most well known amongst them is the Jehovah's Witness faith. Treatment of anaemia and bleeding in such patients presents a challenge to medical, anaesthetic, and surgical teams. This review examines the perioperative issues and management of Jehovah's Witnesses. The history and beliefs of Jehovah's Witnesses are outlined together ...

Static type errors are a common stumbling block for newcomers to typed functional languages. We present a dynamic approach to explaining type errors by generating counterexample witness inputs that illustrate how an ill-typed program goes wrong. First, given an ill-typed function, we symbolically execute the body to synthesize witness values that make the program go wrong. We prove that our pro...

Investigations after critical events often depend on accurate and detailed recall accounts from operational witnesses (e.g., law enforcement officers, military personnel, and emergency responders). However, the challenging, and often stressful, nature of such events, together with the cognitive demands imposed on operational witnesses as a function of their active role, may impair subsequent re...

Jehovah's Witnesses' (JWs) refusal of blood transfusions has recently gained support in the medical community because of the growing popularity of "no-blood" treatment. Many physicians, particularly so-called "sympathetic doctors", are establishing a close relationship with this religious organization. On the other hand, it is little known that this blood doctrine is being strongly criticized b...