Underapproximation for model-checking based on universal circuits
- Arie Matsliah
- Ofer Strichman
- 2010
- Information and Computation
Paper
Publications
26855 results for Science
Transcriptional evidence for the "Reverse Warburg Effect" in human breast cancer tumor stroma and metastasis: Similarities with oxidative stress, inflammation, Alzheimer's disease, and "Neuron-Glia Metabolic Coupling"
- Stephanos Pavlides
- Aristotelis Tsirigos
- et al.
- 2010
- Aging
PaperTexture of cobalt germanides on Ge(100) and Ge(111) and its influence on the formation temperature
- K. De Keyser
- R.L. Van Meirhaeghe
- et al.
- 2010
- JES
PaperSelective chemical vapor deposition-grown Ru for Cu interconnect capping applications
- C.-C. Yang
- Fenton R. McFeely
- et al.
- 2010
- Electrochemical and Solid-State Letters
PaperDistance-constrained orthogonal latin squares for brain-computer interface
- Gang Luo
- Wanli Min
- 2010
- Journal of Medical Systems
PaperEffects of Zn addition on microstructure and tensile properties of Sn-1Ag-0.5Cu alloy
- H.Y. Song
- Q.S. Zhu
- et al.
- 2010
- Materials Science and Engineering: A
PaperMetadynamics simulations of enantioselective acylation give insights into the catalytic mechanism of burkholderia cepacia lipase
- Luca Bellucci
- Teodoro Laino
- et al.
- 2010
- JCTC
PaperSelf-contained, oscillating flow liquid cooling system for thin form factor high performance electronics
- R. Wälchli
- Thomas Brunschwiler
- et al.
- 2010
- Journal of Heat Transfer
PaperThe fabrication of a programmable via using phase-change material in CMOS-compatible technology
- Kuan-Neng Chen
- Lia Krusin-Elbaum
- 2010
- Nanotechnology
PaperInteraction of NiSi with dopants for metallic source/drain applications
- Jun Luo
- Zhi-Jun Qiu
- et al.
- 2010
- Journal of Vacuum Science and Technology B
Paper