The connectivity of Boolean satisfiability: Computational and structural dichotomies
- Parikshit Gopalan
- Phokion G. Kolaitis
- et al.
- 2009
- SIAM Journal on Computing
Paper
Publications
25370 results for Science
Superconducting switching amplifiers for high speed digital data links
- Amol Inamdar
- Sergey Rylov
- et al.
- 2009
- IEEE TAS
PaperMillimeter-wave lumped element superconducting bandpass filters for multi-color imaging
- Shwetank Kumar
- Anastasios Vayonakis
- et al.
- 2009
- IEEE TAS
PaperStateless distributed gradient descent for positive linear programs.
- Baruch Awerbuch
- Rohit Khandekar
- 2009
- SIAM Journal on Computing
PaperImpacts of NBTI and PBTI on SRAM static/dynamic noise margins and cell failure probability
- Aditya Bansal
- Rahul Rao
- et al.
- 2009
- Microelectronics Reliability
PaperExploring visual and motor accessibility in navigating a virtual world
- Shari Trewin
- Mark Laff
- et al.
- 2009
- ACM TACCESS
PaperComparison of computational approaches for predicting the effects of missense mutations on p53 function
- Lillian T. Chong
- Jed W. Pitera
- et al.
- 2009
- Journal of Molecular Graphics and Modelling
PaperImproved lower bounds for embeddings into l 1
- Robert Krauthgamer
- Yuval Rabani
- 2009
- SIAM Journal on Computing
PaperDesign of power-optimized thermal cantilevers for scanning probe topography sensing
- H. Rothuizen
- M. Despont
- et al.
- 2009
- MEMS 2009
Conference paperSpeech-activated user interfaces and climbing Mt. Exascale
- Tessa Lau
- Daniel Reed
- 2009
- Communications of the ACM
Paper