Logical query optimization by proof-tree transformation
- Raghu Ramakrishnan
- Yehoshua Sagiv
- et al.
- 1993
- Journal of Computer and System Sciences
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
Date
Featured collections
Popular topics
3481 results for Mathematical Sciences
Performance of cusum control schemes for serially correlated observations
- Emmanuel Yashchin
- 1993
- Technometrics
Complexity of Bezout’s Theorem. III. Condition Number and Packing
- Michael Shub
- Steve Smale
- 1993
- Journal of Complexity
On quasi-interpolation with radial basis functions
- M.D. Buhmann
- 1993
- Journal of Approximation Theory
A note on the number of N-bit strings with maximum complexity
- G.J. Chaitin
- 1993
- Applied Mathematics and Computation
New basis functions and computational procedures for p‐version finite element analysis
- P. Carnevali
- R.B. Morris
- et al.
- 1993
- International Journal for Numerical Methods in Engineering
Mixing sets and relative entropies for higher-dimensional Markov shifts
- Bruce Kitchens
- Klaus Schmidt
- 1993
- Ergodic Theory and Dynamical Systems
Image Description and 3-D Reconstruction from Image Trajectories of Rotational Motion
- Harpreet S. Sawhney
- John Oliensis
- et al.
- 1993
- IEEE Transactions on Pattern Analysis and Machine Intelligence
Accelerating neural net dynamics by boundary layer methods
- Willard L. Miranker
- Eric Mjolsness
- 1993
- Applied Mathematics Letters
Unequal cell division as a driving force during differentiation
- Millet Treinin
- Dror G. Feitelson
- 1993
- Journal of Theoretical Biology