Publications

3613 results for Mathematical Sciences

Automata-theoretic techniques for modal logics of programs
- - Moshe Y. Vardi
  - Pierre Wolper
- 1986
- Journal of Computer and System Sciences
Paper
On the possibility and impossibility of achieving clock synchronization
- - Danny Dolev
  - Joseph Y. Halpern
  - et al.
- 1986
- Journal of Computer and System Sciences
Paper
On the existence of generally convergent algorithms
- - Michael Shub
  - Steve Smale
- 1986
- Journal of Complexity
Paper
Querying logical databases
- - Moshe Y. Vardi
- 1986
- Journal of Computer and System Sciences
Paper
Rapid methods for the conformal mapping of multiply connected regions
- - Anita Mayo
- 1986
- J. Comput. Appl. Math.
Paper
On Optimally Combining Pieces of Information, with Application to Estimating 3-D Complex-Object Position from Range Data
- - Ruud M. Bolle
  - David B. Cooper
- 1986
- IEEE TPAMI
Paper
Fourier Transform Infrared (FTIR) study of thermal stability in vinylidene fluoride copolymers
- - S.K. Ahuja
  - S. Bailey Hierqesell
  - et al.
- 1985
- International Conference on Fourier and Computerized Infrared Spectroscopy 1985
Conference paper
The characterization of structural disorder in thin films at elevated temperatures by spectroscopic methods
- - J.F. Rabolt
  - J. Rabe
  - et al.
- 1989
- Proceedings of SPIE 1989
Conference paper
Laser light-induced physical processes in optical materials: Persistent spectral hole-burning
- - W.E. Moerner
- 1985
- Albuquerque Conferences on Optics 1985
Conference paper
On the parallel Risch Algorithm (II)
- - J.H. Davenport
  - B.M. Trager
- 1985
- ACM Transactions on Mathematical Software (TOMS)
Paper