background: hospitals in iran are not prepared for disasters the aim of this study was to determine the effect of training functional and nonstructural hospital safety to nurses and their intervention on hospital preparedness in psychiatric razi hospital and day hospital in tehran based on hospital safety index (hsi). materials  and  methods:  this  semi-experimental  study  included  nurse  ma...

Although the problem of deadlock detection and resolution in distributed systems has been studied in detail during the last years, it is still an open and difficult problem for all but the simplest models. One of the main difficulties in finding adequate solutions in the Multiple-Request model resides in the need to avoid false deadlock resolutions. In this paper we show a distributed solution ...

OBJECTIVE To estimate the prevalence of child safety restraint use and factors associated. METHODS Observational cross-sectional study using a stratified sampling conducted in the city of Maringá, Southern Brazil, between March and May 2007. Each day care center was visited at one day only. The outcome was use of child safety restraints by children under four. Vehicles (N=301) driving childre...

Planning with Incomplete Information for Robot Problems Stanford, CA, March 1996, pp. 71-73 Planning for Murphy's Law: Uncertainty in CIRCA David J. Musliner & Kurt D. Krebsbach Automated Reasoning Group Honeywell Technology Center 3660 Technology Drive Minneapolis, MN 55418 fmusliner,[email protected] Abstract Anything bad that can happen will happen. Plan accordingly. Introduction M...

We introduce a generic framework for proof carrying code, developed and mechanically verified in Isabelle/HOL. The framework defines and proves sound a verification condition generator with minimal assumptions on the underlying programming language, safety policy, and safety logic. We demonstrate its usability for prototyping proof carrying code systems by instantiating it to a simple assembly ...

Socially anxious (N = 41) and non-anxious (N = 41) individuals participated in a getting acquainted situation that was based on the reciprocity self-disclosure paradigm. Subjects' appraisals of the situation were manipulated to be either positive or negative by highlighting the likelihood of positive or negative social outcomes. Subjects' social goals and use of safety behaviors were assessed, ...

introduction: students in elementary schools due to the physical and behavioral characteristics more than adults have exposed to environmental hazards. this study was conducted to examine the environmental health and safety indices in girls' elementary schools in ilam city. materials and methods: this cross-sectional study was carried out via census sampling method in girls' elementar...

.......................................................................................................................................... 3

nano tin dioxide was employed as a catalyst for efficient and facile preparation of pyran derivatives via the one-pot three component condensation reaction of various aldehydes with malononitrile and dimedone. chromene derivatives via the one-pot three component condensation reaction of various aldehyde with malononitrile and 4-hydroxycoumarin were also synthesized by this novel catalyst. the d...

In this article, an exact analysis of compressors spool in a turbojet engine has been investigated. The spool is modeled as a rotating thick-walled hollow circular cylinder with free-clamp ends. It is subjected to centrifugal load due to its constant rotational speed, uniform internal and external radial loads and arbitrary thermal gradients. The analysis is initially investigated for the homog...