Automatically generating proofs of safety properties for software is important as software becomes safety-critical, e.g., in medical devices and automobiles. While current techniques can automatically prove safety properties for machine code, they either: (i) do not support user-mode programs in an operating system, (ii) do not support realistic program features such as system calls, or (iii) h...

ResearcherS used two behavioral prompts to compare increases in safety belt use: a Click It or Ticket prompt or a Flash-for-Life prompt. Participants were 1,822 unbuckled drivers exiting two student parking lots of a large university. Research assistants identified unbuckled drivers, flashed one of the two prompts, and recorded whether drivers buckled after the prompt and the drivers' facial ex...

introduction: since hospitals give their services to a huge number of people most of whom are sick and disabled and also because they have many expensive and modern equipment and facilities, any negligence regarding the standards of safety management leads to severe damages including financial ones. this may even result in irrecoverable consequences such as their clients’ death. so, this invest...

introduction: safety culture is a set of beliefs, norms, incentives, social and technical roles and functions that make the core of the safety management system. the aim of this study was to examine factors affecting safety culture and its relationship to accident in the oil depots. methods: case-control study was conducted in 2016. 300 employees of 3 oil depot in tehran were selected that 150 ...

background: improving patient safety is a priority of the international common. patient safety is a critical component to the quality of health care. the aim of this study was to assess patient safety culture among employees of health care providers, hospitals in tehran. methods: the survey was a cross-sectional study was done in 2010. data were collected from all the staff groups in hospitals ...

BACKGROUND A constructive safety culture is essential for the successful implementation of patient safety improvements. AIM To assess the effect of two patient safety culture interventions on incident reporting as a proxy of safety culture. DESIGN AND SETTING A three-arm cluster randomised trial was conducted in a mixed method study, studying the effect of administering a patient safety cul...

BACKGROUND Many candidate vaccine strategies against human immunodeficiency virus (HIV) infection are under study, but their clinical development is lengthy and iterative. To accelerate HIV vaccine development optimised trial designs are needed. We propose a randomised multi-arm phase I/II design for early stage development of several vaccine strategies, aiming at rapidly discarding those that ...

5