Communication in concurrent dynamic logic
- David Peleg
- 1987
- Journal of Computer and System Sciences
Publications
3548 results for Mathematical Sciences
On the asymptotic behavior of the projective rescaling algorithm for linear programming
- Michael Shub
- 1987
- Journal of Complexity
On the Perron-Frobenius eigenvector for nonnegative integral matrices whose largest eigenvalue is integral
- Jonathan Ashley
- 1987
- Linear Algebra and Its Applications
A Rule-Based System for Verifying Engineering Specifications in Industrial Visual Inspection Applications
- Dragutin Petkovic
- Eric B. Hinkle
- 1987
- IEEE Transactions on Pattern Analysis and Machine Intelligence
A Direct Method for Solving Linear Systems
- M. Tismenetsky
- 1987
- International Journal of Computer Mathematics
Determinant of block-Toeplitz band matrices
- M. Tismenetsky
- 1987
- Linear Algebra and Its Applications
A predictive least-squares principle
- Jorma Rissanen
- 1986
- IMA Journal of Mathematical Control and Information
Optical Waveguiding in polyimide
- H. Franke
- J.D. Crow
- 1989
- Proceedings of SPIE 1989
Introduction: New approaches to linear programming
- Nimrod Megiddo
- 1986
- Algorithmica
Discrete logarithms in GF(p)
- Don Coppersmith
- Andrew M. Odlzyko
- et al.
- 1986
- Algorithmica