Frequency distribution of phonons in a ballistic heat pulse determined by magnetic resonance
- J.K. Wigmore
- 1972
- Physical Review B
Paper
Publications
24897 results for Exploratory Science
Eikonal many-fermion Green's functions for disordered systems
- Don Shapero
- 1972
- Physical Review B
PaperFormal development of correct algorithms: An example based on Earley's recogniser
- C.B. Jones
- 1972
- ACM Conference on Proving Assertions about Programs 1972
Conference paperDerivation of axiomatic definitions of programming languages from algorithmic definitions
- C. David Allen
- 1972
- ACM Conference on Proving Assertions about Programs 1972
Conference paperProperties preserved under recursion removal
- H.R. Strong
- S.A. Walker
- 1972
- ACM Conference on Proving Assertions about Programs 1972
Conference paperA boundary between decidability and undecidability for parallel program schemata
- Raymond E. Miller
- 1972
- ACM Conference on Proving Assertions about Programs 1972
Conference paperContact resistances of AuGeNi, AuZn and Al to III-V compounds
- K.K. Shih
- J.M. Blum
- 1972
- Solid-State Electronics
PaperReconstruction of patterns by block-projection
- C.K. Wong
- P.C. Yue
- 1972
- Information Sciences
PaperMisfit dislocations and the alignment of epitaxial islands
- J.W. Matthews
- 1972
- Surface Science
PaperA continuity theorem for fuchsian groupsc)
- C.K. Wong
- 1972
- Trans. Am. Math. Soc.
Paper