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.