More powerful Z data refinement: Pushing the state of the art in industrial refinement

Lecture Notes in Computer Science - ZUM '98: The Z Formal Specification Notation ◽

10.1007/bfb0056040 ◽

2006 ◽

pp. 284-307 ◽

Cited By ~ 4

Author(s):

Susan Stepney ◽

David Cooper ◽

Jim Woodcock

Keyword(s):

State Of The Art ◽

The State ◽

Data Refinement

Download Full-text

More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement

ZUM ’98: The Z Formal Specification Notation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-49676-2_20 ◽

1998 ◽

pp. 284-307 ◽

Cited By ~ 24

Author(s):

Susan Stepney ◽

David Cooper ◽

Jim Woodcock

Keyword(s):

State Of The Art ◽

The State ◽

Data Refinement

Download Full-text

Practical Picture Processing

Proceedings, annual meeting, Electron Microscopy Society of America ◽

10.1017/s0424820100051700 ◽

1974 ◽

Vol 32 ◽

pp. 338-339

Author(s):

T. A. Welton

Keyword(s):

Radiation Damage ◽

Coherence Length ◽

Spatial Information ◽

State Of The Art ◽

Coherent Radiation ◽

The State ◽

Energy Spread ◽

Electron Micrograph ◽

Picture Processing ◽

Molecular Skeleton

Various authors have emphasized the spatial information resident in an electron micrograph taken with adequately coherent radiation. In view of the completion of at least one such instrument, this opportunity is taken to summarize the state of the art of processing such micrographs. We use the usual symbols for the aberration coefficients, and supplement these with £ and 6 for the transverse coherence length and the fractional energy spread respectively. He also assume a weak, biologically interesting sample, with principal interest lying in the molecular skeleton remaining after obvious hydrogen loss and other radiation damage has occurred.

Download Full-text