N-User Trellis Coding for a Class of Multiple-Access Channels
- Pierre R. Chevillat
- 1981
- IEEE Trans. Inf. Theory
Publications
9282 results for Computer Science
More on advice on structuring compilers and proving them correct
- James W. Thatcher
- Eric G. Wagner
- et al.
- 1981
- Theoretical Computer Science
An Upper Bound on the Ratio of the Probabilities of Subgroups and Cosets
- Teofilo C. Ancheta
- 1981
- IEEE Trans. Inf. Theory
On the total correctness of nondeterministic programs
- David Harel
- 1981
- Theoretical Computer Science
An elementary proof of the completeness of PDL
- Dexter Kozen
- Rohit Parikh
- 1981
- Theoretical Computer Science
Optimal policies for inventory models with some specified markets and finite time horizon
- Lineu C. Barbosa
- Moshe Friedman
- 1981
- EJOR
A Probability Model for Simple Closed Random Curves
- Dimitris Anastassiou
- David J. Sakrison
- 1981
- IEEE Trans. Inf. Theory
Airy stress function for atomic models
- Paul J. Steinhardt
- P. Chaudhari
- 1981
- Journal of Computational Physics
Conservative differencing procedures for rotationally symmetric flow with swirl
- W.E. Langlois
- 1981
- Comput. Methods Appl. Mech. Eng.
Cardiorespiratory simulation for the evaluation of recovery following coronary artery bypass surgery
- Edward J. Farrell
- John H. Siegel
- 1981
- Computers in Biology and Medicine