An extension of Van Gelder's alternating fixpoint to magic programs
- Shinichi Morishita
- 1996
- Journal of Computer and System Sciences
Paper
Publications
3611 results for Mathematical Sciences
A linear programming instance with many crossover events
- Shinji Mizuno
- Nimrod Megiddo
- et al.
- 1996
- Journal of Complexity
PaperSelectivity and cost estimation for joins based on random sampling
- Peter J. Haas
- Jeffrey F. Naughton
- et al.
- 1996
- Journal of Computer and System Sciences
PaperCertifying permutations: noninteractive zero-knowledge based on any trapdoor permutation
- Mihir Bellare
- Moti Yung
- 1996
- Journal of Cryptology
PaperComplexity and real computation: A manifesto
- Lenore Blum
- Felipe Cucker
- et al.
- 1996
- International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
PaperPanel discussion on the role of modeling and simulation in business process reengineering
- Anthony Levas
- Stowe Boyd
- et al.
- 1995
- WSC 1995
Conference paperDefeating tradeoffs for nonlinear optical chromophores
- C.R. Moylan
- R.D. Miller
- et al.
- 1995
- Optical Science, Engineering and Instrumentation 1995
Conference paperQuantitative 3D visualization in nuclear medicine
- E.J. Farrell
- Elissa L. Kramer
- et al.
- 1995
- SPIE Medical Imaging 1995
Conference paperCoding for higher-order partial-response channels
- Razmik Karabed
- P.H. Siegel
- 1995
- Photonics East 1995
Conference paperOne-dependent cycles and passage times in stochastic Petri nets
- P.J. Haas
- G.S. Shedler
- 1995
- PNPM 1995
Conference paper