On the total correctness of nondeterministic programs
- David Harel
- 1981
- Theoretical Computer Science
Paper
Publications
26944 results for Science
Diffraction of spin polarized electrons from Au(110)
- B. Reihl
- 1981
- Zeitschrift für Physik B Condensed Matter
PaperMolecular dynamics of a crystal-crystal phase transition in an alternating copolymer of ethylene and chlorotrifluoroethylene using the Raman active longitudinal acoustical mode (LAM)
- John F. Rabolt
- 1981
- Polymer
PaperModulus division on a two's complement machine
- Henry S. Warren Jr.
- A. Shawhan Fox
- et al.
- 1981
- Information Processing Letters
PaperAl-reactions with GaAs (100) surfaces
- G. Landgren
- R. Ludeke
- 1981
- Solid State Communications
PaperUpper critical fields of amorphous transition metal based alloys
- M. Tenhover
- W.L. Johnson
- et al.
- 1981
- Solid State Communications
PaperExperimental energy bands, exchange splittings, and lifetimes for Ni in the vicinity of the x-point
- P. Heimann
- F.J. Himpsel
- et al.
- 1981
- Solid State Communications
PaperApproximation by linear combinations of multivariate B-splines
- Wolfgang Dahmen
- 1981
- Journal of Approximation Theory
PaperDetection of true pathologic stage I lung cancer in a screening program and the effect on survival
- Myron R. Melamed
- Betty J. Flehinger
- et al.
- 1981
- Cancer
PaperCalculation and Experimental Verification of Two-Dimensional Focusing Grating Couplers
- Detlef Heitmann
- Carmen Ortiz
- 1981
- IEEE JQE
Paper