Organizational change: implications of culture and leadership in the transformation to a total quality management paradigm

The study was undertaken to investigate organizational readiness for change to a total quality management (TQM) paradigm as the corporate-wide strategy within a long-term care facility. The focus of the study was on leadership values and organizational cultural characteristics that could either accelerate or impede the change process at The Public Hospital. structurally, the ~tudy included 'three distinct components. The first component examined the management philosophy outlined by Deming (1986) and his contemporary Juran (1989) in order to determine what leadership values best support the new Total Quality Management paradigm. Secondly, this information was compared to present leadership values at The Public Hospital with the purpose of identifying opportunities for improvement within the organization's current culture as the hospital moves toward the desired TQM culture. The final component, a roadmap, was developed to reflect the most appropriate direction for organizational change at The Public Hospital.

The effect of an eight session skate treadmill and agility training program on the degree of separation in ice hockey players

The sport of ice hockey places multiple simultaneous demands on the physiological, mechanical, and cognitive abilities of individual players. The purpose of the study was to investigate the effect of an eight session degree of separation (DOS) training intervention on sport specific measures of skating, stick handling and puck control movements in competitive ice hockey players. All participants completed a battery of pre and pos t skill and DOS specific tests designed to evaluate DOS abilities: Ttest of agility, a modified Cunningham Faulkner test of anaerobic capacity performed on a skate treadmill and a DOS skate treadmill test. Statistically significant differences were found between groups on the post test scores, meaning that the training intervention had a specific effect on the post test scores of the experimental group (p~O.05). Results of this investigation suggested that a DOS specific training program has the potential to enhance the integration and automation of or sequencing and coordination of uncoordinated ice hockey movements.

An Interactive Theorem Prover for First-Order Dynamic Logic

Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs. The method of proving correctness of properties of a computer program using the well-known Hoare Logic can be implemented by utilizing the robustness of dynamic logic. For a very broad range of languages and applications in program veri cation, a theorem prover named KIV (Karlsruhe Interactive Veri er) Theorem Prover has already been developed. But a high degree of automation and its complexity make it di cult to use it for educational purposes. My research work is motivated towards the design and implementation of a similar interactive theorem prover with educational use as its main design criteria. As the key purpose of this system is to serve as an educational tool, it is a self-explanatory system that explains every step of creating a derivation, i.e., proving a theorem. This deductive system is implemented in the platform-independent programming language Java. In addition, a very popular combination of a lexical analyzer generator, JFlex, and the parser generator BYacc/J for parsing formulas and programs has been used.