Complexity of tree automata and logics of programs
- E. Allen Emerson
- Charanjit S. Jutla
- 1999
- SIAM Journal on Computing
Paper
Publications
24866 results for Exploratory Science
Multistream input: An experimental study of document scrolling methods
- Shumin Zhai
- Barton A. Smith
- 1999
- IBM Systems Journal
PaperAn automated system for epileptogenic focus localization in the electroencephalogram
- Bhuvana Ramabhadran
- James D. Frost Jr.
- et al.
- 1999
- Journal of Clinical Neurophysiology
PaperMemory reduction for HDTV decoders
- Wai-Man Lam
- Ligang Lu
- 1999
- IBM J. Res. Dev
PaperIBM 193nm semiconductor resist: Material properties, resist characteristics and lithographic performance
- P. Rao Varanasi
- Ann Marie Mewherter
- et al.
- 1999
- J. Photopolym. Sci. Tech.
PaperGrowth and characterization of ferroelectric LaTiO3·5 thin films
- J. Fompeyrine
- J.W. Seo
- et al.
- 1999
- Journal of the European Ceramic Society
PaperReview of inductively coupled plasmas for plasma processing
- J. Hopwood
- 1999
- Plasma Sources Science and Technology
PaperEnhanced secondary electron yield from oxidized regions on amorphous carbon films studied by x-ray spectromicroscopy
- Javier Diaz
- Simone Anders
- et al.
- 1999
- Journal of Vacuum Science and Technology A: Vacuum, Surfaces and Films
PaperModified barrier-augmented Lagrangian method for constrained minimization
- Donald Goldfarb
- R. Polyak
- et al.
- 1999
- COAP
PaperCarbon nanotubes: Nanomechanics, manipulation, and electronic devices
- Ph. Avouris
- T. Hertel
- et al.
- 1999
- Applied Surface Science
Paper