A century of controversy over the foundations of mathematics
- Gregory J. Chaitin
- 2000
- Complexity
Paper
Publications
9260 results for Computer Science
Improved track following in magnetic disk drives using a disturbance observer
- Matthew T. White
- Masayoshi Tomizuka
- et al.
- 2000
- IEEE/ASME TMECH
PaperSpot-checkers
- Funda Ergün
- Sampath Kannan
- et al.
- 2000
- Journal of Computer and System Sciences
PaperReduction of electromigration in aluminum films by copper doping
- Irving Ames
- Francois M. D'Heurle
- et al.
- 2000
- IBM J. Res. Dev
PaperNode-disjoint paths on the mesh and a new trade-off in VLSI layout
- Alok Aggarwal
- Jon Kleinberg
- et al.
- 2000
- SIAM Journal on Computing
PaperWelcome to the opportunities of binary translation
- Erik R. Altman
- David Kaeli
- et al.
- 2000
- Computer
PaperScanning tunneling microscopy
- G. Binnig
- H. Rohrer
- 2000
- IBM J. Res. Dev
PaperSeparation of partition inequalities
- Mourad Baïou
- Francisco Barahona
- et al.
- 2000
- Mathematics of Operations Research
PaperRandom-Access Memory Accounting Machine. I. System organization of the IBM 305
- Murray L. Lesser
- John W. Haanstra
- 2000
- IBM J. Res. Dev
PaperVerification watermarks on fingerprint recognition and retrieval
- Minerva M. Yeung
- Sharath Pankanti
- 2000
- Journal of Electronic Imaging
Paper