Recursive functions: computable on a TM; might be partial (i.e., the TM might not stop for some inputs). Intuitively, recursive functions are computable using WHILE-loop – without any priori bound on the number of iterations of the loop. (Cook the potatoes until tender.) Primitive recursive functions: A smaller class, computable using a loop of the form FOR i < g(x) DO · · · , where g(x) is pre...

OBJECTIVE Driving the wrong way on freeways, namely wrong-way driving (WWD), has been found to be a major concern for more than 6 decades. The purpose of this study was to identify characteristics of this type of crash as well as to rank the locations/interchanges according to their vulnerability to WWD entries. METHODS The WWD crash data on Illinois freeways were statistically analyzed for a...

Improved laws, enhanced enforcement, and public awareness brought about by citizens' concern, during the 1980s led to dramatic declines in drinking and driving in the industrialized world. The declines included about 50% in Great Britain, 28% in The Netherlands, 28% in Canada, 32% in Australia, 39% in France, 37% in Germany, and 26% in the United States. Some of these declines may be due in par...

INTRODUCTION Conviction rates for drivers driving under the influence (DUI) and in motor vehicle collisions (MVC) presenting to trauma centers are based primarily on data from the 1990s. Our goal was to identify DUI conviction rates of intoxicated drivers in MVCs presenting to a trauma center and to identify factors associated with the failure to obtain a DUI conviction. METHODS Retrospective...

BACKGROUND This project examined the ability of the popular DUI/DWI offender assessment instrument, the Driver Risk Inventory (DRI; Behavior Data Systems, Ltd., 1985), to identify short-term DUI recidivists in a sample of Floridian DUI offenders who were charged with DUI between January 1st, 2008 and December 31st, 2009. The DRI provides a number of behavioral risk scales, DSM-IV substance abus...

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...