Publications

26483 results for Science

Performance of sputtered Pb^0.92Bi^0.07La^0.01(Fe^0.405Nb^0.325Zr^0.27)O³ ferroelectric memory films
- - R.B. Atkin
- 1972
- Ferroelectrics
Apparent soft mode linewidth divergence in PbTiO₃
- - B.D. Silverman
- 1972
- Solid State Communications
High resolution method for calculating spectra of solids, - V. life-time effects
- - N.W. Dalton
  - G. Gilat
- 1972
- Solid State Communications
Frequency distribution of phonons in a ballistic heat pulse determined by magnetic resonance
- - J.K. Wigmore
- 1972
- Physical Review B
Eikonal many-fermion Green's functions for disordered systems
- - Don Shapero
- 1972
- Physical Review B
Formal development of correct algorithms: An example based on Earley's recogniser
- - C.B. Jones
- 1972
- ACM Conference on Proving Assertions about Programs 1972
A boundary between decidability and undecidability for parallel program schemata
- - Raymond E. Miller
- 1972
- ACM Conference on Proving Assertions about Programs 1972
Properties preserved under recursion removal
- - H.R. Strong
  - S.A. Walker
- 1972
- ACM Conference on Proving Assertions about Programs 1972
Derivation of axiomatic definitions of programming languages from algorithmic definitions
- - C. David Allen
- 1972
- ACM Conference on Proving Assertions about Programs 1972
Analysis of ultrathin oxide growth on indium
- - J.M. Eldridge
  - Y.J. Van der Meulen
  - et al.
- 1972
- Thin Solid Films