A class of software is identified where a nondeterminism analysis is not inherently less safe than a deterministic analysis. Tools built for that class of software can be simple to build, fast to run, and scale to very large problems. An examples of one such tool is discussed here.

background: this study aimed to evaluate the workers safety behavior and to determine the importance of each unsafe behavior in an iranian steel manufacturing company. methods: this study was conducted in mobareke steel manufacturing company, which is located in the middle of iran, in 2007. the methodology was based on the safety behavior sampling (sbs) technique and entropy. after specifying t...

Ernest Sosa has argued that if someone knows that p, then his belief that p is “safe,” and Timothy Williamson has agreed. In this paper I argue that safety, as defined by Sosa, is not a necessary condition on knowledge—that we can have unsafe knowledge. In the next section I present Sosa’s definition of safety, and in section III I present a counterexample to it as a necessary condition on know...

Sebagai aset utama bagi perusahaan dalam menggerakan operasional untuk mencapai efisiensi dan produktivitas tinggi, tenaga kerja perlu dijamin keselamatan kesehatan kerjanya. Keselamatan adalah segala upaya pencegahan kecelakaan penyakit yang diakibatkan dari bekerja menjamin serta melindungi kerja. Setiap diwajibkan menerapkan operasionalnya. Terutama pada pekerjaan memiliki resiko tinggi akan...

original article   training interventions are regarded as essential managerial strategies in various organizations. the present study investigated managerial interventions in training based on deming model and their effectiveness to decrease the rate of unsafe behaviors of workers. it was a case study, conducted in a rolling industry and a descriptive- analytic research, done periodically durin...