𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A note on a standard strategy for developing loop invariants and loops

✍ Scribed by David Gries

Publisher
Elsevier Science
Year
1982
Tongue
English
Weight
428 KB
Volume
2
Category
Article
ISSN
0167-6423

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A Correction to the Paper β€œIntegration b
A Correction to the Paper β€œIntegration by Parts and Quasi-Invariance for Heat Kernel Measures on Loop Groups”
✍ Bruce K. Driver πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 151 KB

It is asserted in Definition 4.2 in [1] that the random operators U(t) defined there are unitary. As was pointed out to the author by Shizan Fang, it is clear that U(t) is an isometry but it is not obvious that U(t) is surjective. The purpose of this note is to fill this gap. 1998 Academic Press 1.

Development of a loop detector simulator
Development of a loop detector simulator (LOOPSIM) for in-laboratory traffic research and education
✍ Patikhom Cheevarunothai; Yinhai Wang; Nancy L. Nihan πŸ“‚ Article πŸ“… 2008 πŸ› John Wiley and Sons 🌐 English βš– 426 KB πŸ‘ 2 views

## Abstract This article describes a LOOP detector SIMulator (LOOPSIM) system designed for traffic research and education. LOOPSIM is capable of simulating calls from loop detectors and testing algorithms executable in the controller. It can also be used to simulate different patterns of traffic st