The connectivity of Boolean satisfiability: Computational and structural dichotomies
- Parikshit Gopalan
- Phokion G. Kolaitis
- et al.
- 2009
- SIAM Journal on Computing
Paper
Publications
24864 results for Exploratory Science
Progress in design of improved high dynamic range analog-to-digital converters
- Amol Inamdar
- Sergey Rylov
- et al.
- 2009
- IEEE TAS
PaperSuperconducting switching amplifiers for high speed digital data links
- Amol Inamdar
- Sergey Rylov
- et al.
- 2009
- IEEE TAS
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
PaperA spectrum-shaping output stage for IR-UWB transmitters
- David Barras
- Walter Hirt
- et al.
- 2009
- IEEE T-MTT
PaperMillimeter-wave lumped element superconducting bandpass filters for multi-color imaging
- Shwetank Kumar
- Anastasios Vayonakis
- et al.
- 2009
- IEEE TAS
PaperNonlinear data utilization: From direct data lookup to behavioral modeling
- Hao Qi
- Johannes Benedikt
- et al.
- 2009
- IEEE T-MTT
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
Paper