Occupational risk management can be a catalyst in generating superior returns for all stakeholders on a sustainable basis. A number of companies in South Africa have implemented Cardinal Rules of Safety adopted from international companies to ensure the safety of their employees. The purpose of this study was to measure the impact of the cardinal rules on employee safety behaviour implemented at power stations in Mpumalanga. The empirical study was done by using a questionnaire as measuring instrument. The questionnaire was developed from a literature review and contains questions and items relevant to the initial research problem. The questionnaire comprised of five–point Likert scale type questions.The convenience sampling method was applied identifying 90 participants at three different power stations in Mpumalanga taking part in the study. Statistical analysis was performed by the Statistical Consulting Service of the North–West University using SPSS. Cronbach’s alpha co–efficients was used to determine the reliability of the factors. Descriptive statistics (Mean, standard, deviation, were used in the compiling of the profile of the results. While Spearman’s rho correlation coefficient was calculated to identify practically significant associations between variables and factors The research findings suggest that there is practical significant correlation between the factors that were measured. The opinion given by respondents suggests that cardinal rules of safety were implemented, given all the necessary support by management and enforced throughout the organisation. / Thesis (MBA)--North-West University, Potchefstroom Campus, 2012.

Software bugs are expensive. Recent estimates by the US National Institute of Standards and Technology claim that the cost of software bugs to the US economy alone is approximately 60 billion USD annually. As society becomes increasingly software-dependent, bugs also reduce our productivity and threaten our safety and security. Decreasing these direct and indirect costs represents a significant research challenge as well as an opportunity for businesses. Automatic software bug-finding and verification tools have a potential to completely revolutionize the software engineering industry by improving reliability and decreasing development costs. Since software analysis is in general undecidable, automatic tools have to use various abstractions to make the analysis computationally tractable. Abstraction is a double-edged sword: coarse abstractions, in general, yield easier verification, but also less precise results. This thesis focuses on exploiting the structure of software for abstracting away irrelevant behavior. Programmers tend to organize code into objects and functions, which effectively represent natural abstraction boundaries. Humans use such structural abstractions to simplify their mental models of software and for constructing informal explanations of why a piece of code should work. A natural question to ask is: How can automatic bug-finding tools exploit the same natural abstractions? This thesis offers possible answers. More specifically, I present three novel ways to exploit structure at three different steps of the software analysis process. First, I show how symbolic execution can preserve the data-flow dependencies of the original code while constructing compact symbolic representations of programs. Second, I propose structural abstraction, which exploits the structure preserved by the symbolic execution. Structural abstraction solves a long-standing open problem --- scalable interprocedural path- and context-sensitive program analysis. Finally, I present an automatic tuning approach that exploits the fine-grained structural properties of software (namely, data- and control-dependency) for faster property checking. This novel approach resulted in a 500-fold speedup over the best previous techniques. Automatic tuning not only redefined the limits of automatic software analysis tools, but also has already found its way into other domains (like model checking), demonstrating the generality and applicability of this idea.

The assessment of proprioception in contemporary clinical practice usually involves having the patients with eyes closed attempt to identify passively held test positions using verbal descriptions or limb matching responses. It is equally common for the examiner to estimate the accuracy of these responses without the aid of a measuring instrument. Since these uninstrumented assessments are unlikely to allow adequate identification or quantification of a patient’s proprioceptive deficits, the aim of this study was to develop and validate an improved method for the clinical assessment of joint position sense. The two main types of assessment investigated were: (1) replication of joint positions using limb matching responses, during which the test and response positions were measured using computer-aided or manual digitisation of videotape images, and (2) joint position sense assessments where rating scales were used to define either the test or response positions. (For complete abstract open document)

Thesis (Ph. D.)--West Virginia University, 2008. / Title from document title page. Document formatted into pages; contains ix, 137 p. : ill. Includes abstract. Includes bibliographical references (p. 127-137).

Diss. (sammanfattning) Stockholm : Karol. inst., 2004. / Härtill 4 uppsatser.

Diss. (sammanfattning) Stockholm : Karol. inst., 2004. / Härtill 4 uppsatser.

Diss. (sammanfattning) Stockholm : Karolinska institutet, 2007. / Härtill 4 uppsatser.

Diss. (sammanfattning) Umeå : Umeå universitet, 2006. / Härtill 4 uppsatser.

Thesis (M.H.A.)--University of Michigan, 1973.

Thesis (M.S.P.H.)--University of Michigan, 1941.