𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An approach to formal specification and verification of map-centered applications

✍ Scribed by M.A.V Nelson; P.S.C Alencar; D.D Cowan

Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
150 KB
Volume
16
Category
Article
ISSN
1364-8152

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A new approach to the verification and r
A new approach to the verification and revision of large-scale mapping
✍ J.P. Mills; I. Newton πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 812 KB

This paper describes work carried out to verify and update existing large-scale digital mapping using a Kodak DCS200 digital camera from an airborne platform. The methods adopted in handling and processing both the vector and raster data are documented and example outputs, along with estimations of

Linkage disequilibrium mapping in trisom
Linkage disequilibrium mapping in trisomic populations: Analytical approaches and an application to congenital heart defects in Down syndrome
✍ Kimberly F. Kerstann; Eleanor Feingold; Sallie B. Freeman; Lora J. H. Bean; Robe πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 157 KB

## Abstract Many of the birth defects associated with trisomy exhibit both variable expressivity and incomplete penetrance. This variability suggests that it is allelic variation and not simply the presence of an additional chromosome that leads to the development of certain trisomy‐associated birt