Some attention has been paid to defining all the terms used, even some commonplace terms which either have or need to be assigned a technical meaning, to eliminate ambiguity. The definition of a term may usually be found in proximity to its first use, after that use (that is, the presentation style is “lazy” rather than “greedy”). Commonplace words used with commonplace meanings are left undefi...

To meet state and OSHA requirements for dealing with and reporting workplace violence, a growing number of hospitals, the author reports, are turning to baseline workplace violence assessments which survey employees in different roles, combined with a threat analysis and an analysis of existing controls and historical incidents that can be reviewed and tracked over time to show improvement or d...

1. ABSTRACT This paper will focus on changes to the implementation of road safety inspections in Ireland following the requirement, under EU Directive 2008/96/EC on Road Infrastructure Safety Management (2008), for the establishment of periodic road safety inspections (RSI) of existing roads, along with safety impact assessments, high accident concentration ranking and road safety audits (RSA)....

indications for linezolid use are nosocomial or community-acquired pneumonia and skin infections or soft tissue infection caused by gram-positive microorganisms, but new recommendations may emerge. it is important to balance benefits with risks because severe adverse events have been described in patients taking linezolid treatment. accordingly, we evaluated the suitability of linezolid prescri...

Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves that either the program satisfies the safety property or the program has an execution trace that exhibits a violation of the property. Blast constructs, explores, and refines abstractions of the program state space based on lazy...

Pedestrian road casualties are a major concern in many countries. Vehicle safety systems attempt to reduce casualties and the accurate assessment of such systems is therefore essential. Passive safety assessment is well established, and additional active safety assessment has recently emerged. However, assessment methods accounting for the interaction between active and passive safety do not ex...