The lambda-gamma calculus: A language adequate for defining recursive functions
- P.C. Gilmore
- 1970
- Information Sciences
Publications
9077 results for Computer Science
Iteration methods for calculating self-consistent fields in semiconductor inversion layers
- Frank Stern
- 1970
- Journal of Computational Physics
Probability of Error, Equivocation, and the Chernoff Bound
- Martin E. Hellman
- Josef Raviv
- 1970
- IEEE Trans. Inf. Theory
A Processor Allocation Method for Time-Sharing
- A.P. Mullery
- G.C. Driscoll
- 1970
- CACM
A numerical approach to principal value integrals in dispersion relations
- Hans Morawrrz
- 1970
- Journal of Computational Physics
Bounded input bounded output stability of systemsf
- Roger M Goldwyn
- K.S. Chao
- et al.
- 1970
- International Journal of Control
A method for the structural analysis of two-dimensional mathematical expressions
- Shi-Kuo Chang
- 1970
- Information Sciences
An Iterative Procedure for Solving Convex Optimal Control Problems
- Earl R. Barnes
- 1970
- IEEE TACON
Distance Measures and Asymptotic Relative Efficiency
- Hisashi Kobayashi
- 1970
- IEEE Trans. Inf. Theory
A 3 kW Square Wave Inverter Using Power Transistors
- Huei Ling
- 1970
- Proceedings of the IEEE