Semantics of probabilistic programs
- Dexter Kozen
- 1981
- Journal of Computer and System Sciences
Paper
Publications
24882 results for Exploratory Science
Modes of natural vibration for magnetic domains
- J.C. Slonczewski
- 1981
- Journal of Magnetism and Magnetic Materials
PaperLuminescence from InAsGaSb superlattices
- P. Voisin
- G. Bastard
- et al.
- 1981
- Solid State Communications
PaperAtomic number dependent non-local pseudopotentials
- Wanda Andreoni
- A. Baldereschi
- et al.
- 1981
- Solid State Communications
PaperDefect structure in the alkali gallate fast ion conductors
- M.P. Anderson
- L.M. Foster
- et al.
- 1981
- Solid State Ionics
PaperExperimental tests for boson condensation and superconductivity in semiconductors during pulsed beam annealing
- J.A. Van Vechten
- 1981
- Solid State Communications
PaperRegister allocation via coloring
- Gregory J. Chaitin
- Marc A. Auslander
- et al.
- 1981
- Computer Languages
PaperThin film electroluminescent displays
- Webster E. Howard
- 1981
- Journal of Luminescence
PaperDisordered one-dimensional conductors at finite temperature
- S. Kirkpatrick
- 1981
- Physica A: Statistical Mechanics and its Applications
PaperA factorization theorem for banded matrices
- A.S. Cavaretta Jr.
- W.A. Dahmen
- et al.
- 1981
- Linear Algebra and Its Applications
Paper