In this paper so-called discrete loops are described which narrow the gap between general loops (e.g. while-or repeat-loops) and for-loops. Although discrete loops can be used for applications that would otherwise require general loops, discrete loops are known to complete in any case. Furthermore it is possible to determine the number of iterations of a discrete loop, while this is trivial to ...

The present study examined the associations driving under the influence of (a) cannabis and (b) alcohol, and motor vehicle collisions during, in a longitudinal study of a New Zealand birth cohort (n=936). Participants reported significantly (p<.0001) greater rates of driving under the influence of cannabis than driving under the influence of alcohol during ages 21-25. Also, there were statistic...

A simple linear loop is a simple while loop with linear assignments and linear loop guards. If a simple linear loop has only two program variables, we give a complete algorithm for computing the set of all the inputs on which the loop does not terminate. For the case of more program variables, we show that the non-termination set cannot be described by Tarski formulae in general.

This research is part of an educational framework for analyzing teaching practices. It attempts to understand teachers’ practices in physical education. For this matter, it relies on the theoretical framework of didactic joint action. Using “ordinary didactics” Schubauer-Leoni & Leutenegger, (2002), as a method of observation, we describe the teaching practices of two non-specialized teachers d...

Alcohol-impaired driving is one of the major contributing factors to fatal and serious crashes in New Zealand. To curb the high level of road trauma resulting from drink-driving, a compulsory breath test (CBT) programme was introduced in 1993 and a supplementary road safety package (SRSP) in 1995/1996. The SRSP aimed to enhance road safety enforcement and advertising activities, and focused pri...

The problems of drinking-driving offences and related fatal accidents have prompted an increasing desire to know more about the social and psychological factors accompanying such behaviors. In the present study we examined 1,622 white male adults living in the Upper Cumberland region of rural middle Tennessee, who were referred by the courts to an educational rehabilitation program upon convict...

Dataaow analyses track the deenitions and uses of variable values, and are useful to optimizing and parallelizing compilers. Such analyses compute, for every (array cell) value read in a right-hand-side expression, the very operation which produced it. These analyses, however, make quite stringent hypotheses on the input programs: the control ow should be known at compile-time (i.e., static), a...

The influence that injury and hospitalization from alcohol-related motor vehicle crashes may have on subsequent prosecution for drunk driving was studied utilizing concurrent controls consisting of three cohorts of drivers. The cohorts were drunk and injured drivers, drunk and not injured drivers, and sober and injured drivers. Even though the majority of intoxicated drivers were identified by ...

Mexico has a significant road traffic injury and mortality burden, and several states/municipalities have begun passing legislation restricting mobile phone use while driving (MPUWD). Little information is available about the prevalence of MPUWD in Mexico. This study measures the prevalence of mobile phone talking and texting among drivers in three cities, and identifies associated demographic ...