There are traffic situations (e.g. incorrect speeding tickets) in which a given vehicle’s driving behavior at some point in time has to be proved to a third party. Vehicle-mounted sensorial devices are not suitable for this matter since they can be maliciously manipulated. However, surrounding vehicles may give their vision on another one’s behavior. Furthermore, these data may be shared with t...

System FC is an explicitly typed language that serves as the target language for Haskell source programs. System FC is based on System F with the addition of erasable but explicit type equality proof witnesses. Equality proof witnesses are generated from type inference performed on source Haskell programs. Such witnesses may be very large objects, which causes performance degradation in later s...

Voting protocols ensure the consistency of replicated objects by requiring all read and write requests to collect an appropriate quorum of replicas. We propose to replace some of these replicas by volatile witnesses that have no data and require no stable storage, and to regenerate them instead of waiting for recovery. The small size of volatile witnesses allows them to be regenerated much easi...

abstract: the preoperative and surgical management of a giant left ventricular pseudoaneurysm(lvp) associated with aortic valve replacement in a 76 year old male jehovah’s witness patient is reported. the satisfactory recovery observed in this patient demonstrates the feasibility of this complex surgical procedure even in this particular patient population.

System FC is an explicitly typed language that serves as the target language for Haskell source programs. System FC is based on System F with the addition of erasable but explicit type equality proof witnesses. This paper improves FC in two directions: The first contribution is extending term-level functions with the ability to return equality proof witnesses, which allows the smooth integratio...

The widely used evidence-based police interviewing technique, the Cognitive Interview, is not effective for witnesses with autism spectrum disorder (ASD). The present study examined whether a modification of the Cognitive Interview that removes the social element, the Self-Administered Interview, is more useful in facilitating recall by ASD witnesses. One of the main components of the Cognitive...

Acute promyelocytic leukemia (APL) is a hyper-acute leukemia and presents with cytopenias and disseminated intravascular coagulation. Jehovah’s Witnesses with APL offer a unique challenge during induction by refusing transfusion and pose a difficult challenge in this curable disease. Our focus over the last 8 years has been decreasing early deaths in APL in both academic and community centers. ...

BACKGROUND Infants born at 23 weeks' gestation have a poor prognosis and require intensive care, including blood transfusions, to survive. Generally speaking, the decision to forgo life support is acceptable. Jehovah's Witnesses believe that life is sacred and want lifesaving interventions except for blood transfusions. Therefore, an ethical dilemma exists when a baby is born on the edge of via...

OBJECTIVES To establish the prevalence and distribution of witnesses, victims, and perpetrators of different types of violence in the general population and the proportion of victims consulting health services or reporting the incident to authorities. METHODS Cross sectional survey of a random sample of 3007 inhabitants between the ages of 15 and 60 in the city of Bogotá, Colombia, in 1997, b...