Publications

26343 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
On the structure of alternating direction implicit (A.D.I.) and locally one dimensional (L.O.D.) difference methods
- - A.R. Gourlay
  - A.R. Mitchell
- 1972
- IMA Journal of Applied Mathematics (Institute of Mathematics and Its Applications)
High resolution method for calculating spectra of solids, - V. life-time effects
- - N.W. Dalton
  - G. Gilat
- 1972
- Solid State Communications
Eikonal many-fermion Green's functions for disordered systems
- - Don Shapero
- 1972
- Physical Review B
Frequency distribution of phonons in a ballistic heat pulse determined by magnetic resonance
- - J.K. Wigmore
- 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
Derivation of axiomatic definitions of programming languages from algorithmic definitions
- - C. David Allen
- 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
A boundary between decidability and undecidability for parallel program schemata
- - Raymond E. Miller
- 1972
- ACM Conference on Proving Assertions about Programs 1972
Preparation and properties of silicon-cadmium selenide p-n heterojunctions
- - Y.J. van der Meulen
  - J.G. Cahill
  - et al.
- 1972
- Thin Solid Films