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.

Families of the traumatically brian-injured : a case study approach to perceptions of quality of service, degree of satisfaction, and family needs /

The purpose of this qualitative research study was to foster an understanding of the rehabilitation counselling practice offamilies of the brain-injured. Specifically, the study explores the perceptions of stakeholders in regards to the degree of satisfaction with the quality of service received. Questionnaires were administered, and semi-structured, openended interviews were conducted, with six participating families (n=8). Preliminary data were collected via two instruments: (i) the Family Participant Questionnaire, consisting of participants' sample characteristics, information pertaining to the history of the family, details of the injury, and information relating to the type, use, and need offamily services utilized; and (ii) the Community Integration Questionnaire, a measurement of the degree of social displacementllevel of community integration of the injured family member. Utilizing the procedural steps outlined by Colaizzi's (1978) method of protocol analysis, recommendations for a future program based on related and current family needs are discussed in detail. Substantiating and supporting information are offered to rehabilitation practitioners, educational planners, and policymakers alike, concerning the degree of satisfaction with rehabilitative service, and the means of improving upon the overall quality of health care to families of the brain-injured. Implications for clinical practice and research are also raised for discussion.

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.