Some results concerning proofs of statements about programs
- R.J. Orgass
- 1970
- Journal of Computer and System Sciences
Publications
24821 results for Exploratory Science
The fast Fourier transform algorithm: Programming considerations in the calculation of sine, cosine and Laplace transforms
- J.W. Cooley
- P.A. Lewis
- et al.
- 1970
- Journal of Sound and Vibration
Bistable switching in ZrZrO2Au junctions
- K.C. Park
- S. Basavaiah
- 1970
- Journal of Non-Crystalline Solids
Comparative kinetic behavior of the photoinduced EPR signal observed in whole cells and cell free preparations of Rhodospirillum rubrum
- G.A. Corker
- W. Nicholson
- 1970
- Archives of Biochemistry and Biophysics
High-Dose Implantations of P, As, and Sb in Silicon: A Comparison of Room-Temperature Implantations Followed by a 550°C Anneal and Implantations Conducted at 600°C
- Billy L. Crowder
- John M. Fairfield
- 1970
- JES
Tungsten bronze-type crystals grown in molten solutions of the pseudosystem KNbO3LiNbO3BaNb2O6
- E.A. Giess
- B.A. Scott
- et al.
- 1970
- Materials Research Bulletin
The lambda-gamma calculus: A language adequate for defining recursive functions
- P.C. Gilmore
- 1970
- Information Sciences
Covalency and hyperfine structure constant A of iron group impurities in crystals
- E. Šimánek
- K.A. Müller
- 1970
- Journal of Physics and Chemistry of Solids
A method for the structural analysis of two-dimensional mathematical expressions
- Shi-Kuo Chang
- 1970
- Information Sciences
A Method for the Synthesis of BI3 for Use as a Dopant Source
- M. Berkenblit
- A. Reisman
- 1970
- JES