Complexity of tree automata and logics of programs
- E. Allen Emerson
- Charanjit S. Jutla
- 1999
- SIAM Journal on Computing
Paper
Publications
26914 results for Science
Non-uniform composition profiles in thin film polymeric nanofoams
- J.S. Fodor
- R.M. Briber
- et al.
- 1999
- Polymer
PaperNear-field distribution in light-coupling masks for contact lithography
- Michael Paulus
- Bruno Michel
- et al.
- 1999
- Journal of Vacuum Science and Technology B: Microelectronics and Nanometer Structures
PaperAt what cost pervasive? A social computing view of mobile computing systems
- D. Christopher Dryer
- Chris Eisbach
- et al.
- 1999
- IBM Systems Journal
PaperTurning points in interaction with computers
- Frances E. Allen
- 1999
- IBM Systems Journal
PaperElectron velocity in GaAs: Bulk and selectively doped heterostructures
- W.T. Masselink
- 1999
- Semiconductor Science and Technology
PaperComparison of Cl2 and F2 based chemistries for the inductively coupled plasma etching of NiMnSb thin films
- J. Hong
- J.A. Caballero
- et al.
- 1999
- Journal of Vacuum Science and Technology A: Vacuum, Surfaces and Films
PaperA low-temperature insulating phase at v = 1.5 for 2D holes in high-mobility Si-Si1-xGex heterostructures with Landau level degeneracy
- R.B. Dunford
- E.E. Mitchell
- et al.
- 1999
- Journal of Physics Condensed Matter
PaperAnisotropy scaling close to the ab plane in (formula presented) by torque magnetometry
- A. Revcolevschi
- H. Keller
- 1999
- Physical Review B - CMMP
PaperTuning in to a single molecule: Vibrational spectroscopy with atomic resolution
- Barry C. Stipe
- 1999
- Current Opinion in Solid State and Materials Science
Paper