Fast approximate probabilistically checkable proofs
- Funda Ergün
- Ravi Kumar
- et al.
- 2004
- Information and Computation
Paper
Publications
26858 results for Science
Oxidation study of pure tin and its alloys via electrochemical reduction analysis
- Sungil Cho
- Jin Yu
- et al.
- 2004
- Symposium on “Challenges in Advanced Thin Films: Microstructures, Interfaces, and Reactions" 2004
Conference paperAnalytic second variational derivative of the exchange-correlation functional
- Daniel Egli
- Salomon R. Billeter
- 2004
- Physical Review B - CMMP
PaperEffect of thin-film imaging on line edge roughness transfer to underlayers during etch processes
- Dario L. Goldfarb
- Arpan P. Mahorowala
- et al.
- 2004
- Journal of Vacuum Science and Technology B: Microelectronics and Nanometer Structures
PaperStructural Evolution of Cylindrical-Phase Diblock Copolymer Thin Films
- C.T. Black
- K.W. Guarini
- 2004
- J Polym Sci Part A
PaperJahn-Teller transition in TiF3 investigated using density-functional theory
- Vasili Perebeinos
- Tom Vogt
- 2004
- Physical Review B - CMMP
PaperA tunnelling formalism
- Peter J. Price
- 2004
- Semiconductor Science and Technology
Conference paperFlavours of intrinsic d-wave induced effects in YBa2Cu 3O7-δ grain boundary Josephson junctions
- F. Tafuri
- J.R. Kirtley
- et al.
- 2004
- Supercond Sci Technol
Conference paperSelf-tuning of the relationships among rules' components in active databases systems
- David Botzer
- Opher Etzion
- 2004
- IEEE Transactions on Knowledge and Data Engineering
PaperText categorization for a comprehensive time-dependent benchmark
- Fred J. Damerau
- Tong Zhang
- et al.
- 2004
- Inf. Process. Manage.
Paper