Spot-checkers
- Funda Ergün
- Sampath Kannan
- et al.
- 2000
- Journal of Computer and System Sciences
Paper
Publications
25371 results for Science
Atomic resolution analytical microscopy
- P.E. Batson
- 2000
- IBM J. Res. Dev
PaperSystematic and fully automated identification of protein sequence patterns
- Reece Hart
- Ajay Royyuru
- et al.
- 2000
- Journal of Computational Biology
PaperAgent-based simulation of dynamic online auctions
- Hideyuki Mizuta
- Ken Steiglitz
- 2000
- Winter Simulation Conference Proceedings
PaperIntermediaries Personalize information streams
- Paul Maglio
- Rob Barrett
- 2000
- Communications of the ACM
PaperA high aspect-ratio silicon substrate-via technology and applications: Through-wafer interconnects for power and ground and faraday cages for SOC isolation
- Joyce H. Wu
- Jesds A. Del Alamo
- et al.
- 2000
- Technical Digest - International Electron Devices Meeting
PaperRealization of high-Tc dc π-SQUIDs
- R.R. Schulz
- B. Chesca
- et al.
- 2000
- Physica C: Superconductivity and its Applications
PaperThe approximability of constraint satisfaction problems
- Sanjeev Khanna
- Madhu Sudan
- et al.
- 2000
- SIAM Journal on Computing
PaperRandom-Access Memory Accounting Machine. I. System organization of the IBM 305
- Murray L. Lesser
- John W. Haanstra
- 2000
- IBM J. Res. Dev
PaperApproximate energy minimization for large Lennard-Jones clusters
- Yuefan Deng
- Carlos Rivera
- 2000
- Journal of Global Optimization
Paper