Publications

24458 results for Exploratory 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
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
Derivation of axiomatic definitions of programming languages from algorithmic definitions
- - C. David Allen
- 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
The zeros of the partial sums of the exponential function^*
- - D.J Newman
  - T.J Rivlin
- 1972
- Journal of Approximation Theory
Electrical conduction in evaporated amorphous silicon films
- - M.H Brodsky
  - R.J Gambino
- 1972
- Journal of Non-Crystalline Solids
A generalization of the theory of incompletely specified machines
- - D.E. Muller
  - R.E. Miller
- 1972
- Journal of Computer and System Sciences