We examine a corpus of reflective tutorial dialogues between human tutor and student after the student completed introductory physics problems, to predict when the tutor abstracted from the student’s preceding turn or when the tutor specialized from the student’s preceding turn. Tutor abstraction occurs when the tutor repeats a segment of the student’s turn using more general terms. Tutor speci...

Most people are aware that regular alcohol drinkers can become tolerant to the effects of alcohol. Tolerance can lessen the outward manifestations of intoxication, and this poses challenges for the drinker and other observers, including law enforcement officers. On the basis of a National Institutes of Health-funded longitudinal study examining a cohort of convicted alcohol-impaired drivers, th...

It is evident that the smoking of marijuana by human subjects does have a detrimental effect on their driving skills and performance in a restricted driving area, and that this effect is even greater under normal conditions of driving on city streets. The effect of marijuana on driving is not uniform for all subjects, however, but is in fact bidirectional; whether or not a significant decline o...

SIR There is cause for concern in the different outcomes of the trials in the cases of baby Brown's parents and Dr Leonard Arthur respectively. Mr Brown was found guilty of manslaughter and sentenced to five years imprisonment amid public opprobium for supposedly killing his 'mongol infant' (the euphemism is clumsy!), in drunken disappointment; whereas, Dr Arthur was acquitted amid almost unive...

She was quiet awhile and then said, Many a night when I was little, alone in that cabin, I wished I could take that fiddle of his up to the jump-off and pitch it and let the wind fly it away. In my mind I'd just watch it go till it was just a speck , and then I'd think about the sweet sound it would make breaking to pieces on the river rocks way down below. from Cold Mountain, by Charles Frazier.1

We present a probabilistic version of the while loop, in the context of our mechanised framework for verifying probabilistic programs. The while loop preserves useful program properties of measurability and independence, provided a certain condition is met. This condition is naturally interpreted as “from every starting state, the while loop will terminate with probability 1”, and we compare it...