Logical query optimization by proof-tree transformation
- Raghu Ramakrishnan
- Yehoshua Sagiv
- et al.
- 1993
- Journal of Computer and System Sciences
Paper
Publications
3611 results for Mathematical Sciences
Linear time algorithms for some separable quadratic programming problems
- Nimrod Megiddo
- Arie Tamir
- 1993
- Operations Research Letters
PaperMixing sets and relative entropies for higher-dimensional Markov shifts
- Bruce Kitchens
- Klaus Schmidt
- 1993
- Ergodic Theory and Dynamical Systems
PaperAn extension theorem for closing maps of shifts of finite type
- Jonathan Ashley
- 1993
- Trans. Am. Math. Soc.
PaperStability of the discretized pantograph differential equation
- Martin Buhmann
- Arieh Iserles
- 1993
- Mathematics of Computation
PaperPerformance of cusum control schemes for serially correlated observations
- Emmanuel Yashchin
- 1993
- Technometrics
PaperMatrices of polynomials, positivity, and finite equivalence of markov chains
- Brian Marcus
- Selim Tuncel
- 1993
- Journal of the American Mathematical Society
PaperComplexity of bezout’s theorem. I: Geometric aspects
- Michael Shub
- Steve Smale
- 1993
- Journal of the American Mathematical Society
PaperPoincaré surface of section and quantum scattering
- Martin C. Gutzwiller
- 1993
- Chaos
PaperUnequal cell division as a driving force during differentiation
- Millet Treinin
- Dror G. Feitelson
- 1993
- Journal of Theoretical Biology
Paper