𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Automated compositional proofs for real-time systems

✍ Scribed by Carlo A. Furia; Matteo Rossi; Dino Mandrioli; Angelo Morzenti

Book ID
108281289
Publisher
Elsevier Science
Year
2007
Tongue
English
Weight
842 KB
Volume
376
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Real-time automated tracking and trappin
Real-time automated tracking and trapping system for sperm
✍ Linda Z. Shi; Jaclyn Nascimento; Charlie Chandsawangbhuwana; Michael W. Berns; E πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 233 KB

## Abstract We have developed a microscope system for real‐time single sperm tracking with an automated laser tweezers escape power assay. Phase contrast images of swimming sperm are digitized to the computer at video rate. The custom algorithm creates a region of interest centered about a sperm in