Since their introduction more than four decades ago, invariant assertions have, justifiably, dominated the analysis of while loops, and have been the focus of sustained research interest in the seventies and eighties, and renewed interest in the last decade. In this paper, we tentatively submit an alternative concept for the analysis of while loops, explore its attributes, its applications, and...

Since their introduction more than four decades ago, invariant assertions have, justifiably, dominated the analysis of while loops, and have been the focus of sustained research interest in the seventies and eighties, and renewed interest in the last decade. In this paper, we tentatively submit an alternative concept for the analysis of while loops, explore its attributes, and its relationship ...

Fairbanks-North Star Borough (FNSB), Alaska perennially experiences some of the worst wintertime air quality in United States.

Boreal lakes can be ice covered for a substantial portion of the year at which time methane (CH4) can accumulate below ice. The amount of CH4 emitted at ice melt is partially determined by the interplay between CH4 production and CH4 oxidation, performed by methane-oxidizing bacteria (MOB). Yet the balance between oxidation and emission and the potential for CH4 oxidation in various lakes durin...

Following an earlier diagnostic study, the present paper performs numerical simulations of the rare wintertime supercell storms during 19–20 December 2002 in a subtropical environment near Taiwan. Using Japan Meteorology Agency (JMA) 20-km analyses and horizontal grid spacing of 1.5 and 0.5 km, the CloudResolving Storm Simulator (CReSS) of Nagoya University successfully reproduced the three maj...

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