Publications

26885 results for Science

CGCExplorer: A semi-automated search procedure for provably correct concurrent collectors
- - Martin T. Vechev
  - Eran Yahav
  - et al.
- 2007
- ACM SIGPLAN Notices
Paper
Multiple-antenna signaling over fading channels with estimated channel state information: Capacity analysis
- - Simeon Furrer
  - Dirk Dahlhaus
- 2007
- IEEE Trans. Inf. Theory
Paper
Two-dimensional bin packing with one-dimensional resource augmentation
- - Nikhil Bansal
  - Maxim Sviridenko
- 2007
- Discrete Optimization
Paper
Successive coding in multiuser information theory
- - Xin Zhang
  - Jun Chen
  - et al.
- 2007
- IEEE Trans. Inf. Theory
Paper
Mutation in the key enzyme of sialic acid biosynthesis causes severe glomerular proteinuria and is rescued by N-acetylmannosamine
- - Belinda Galeano
  - Riko Klootwijk
  - et al.
- 2007
- Journal of Clinical Investigation
Paper
Multiple-antenna signaling over fading channels with estimated channel state information: Performance analysis
- - Simeon Furrer
  - Dirk Dahlhaus
- 2007
- IEEE Trans. Inf. Theory
Review
Quarter-rate superconducting modulator for improved high resolution analog-to-digital converter
- - Amol Inamdar
  - Sergey Rylov
  - et al.
- 2007
- IEEE TAS
Conference paper
CaBaCuO ultrathin films and junctions
- - Detlef Born
  - Daniela Stornaiuolo
  - et al.
- 2007
- IEEE TAS
Conference paper
Total ancestry measure: Quantifying the similarity in tree-like classification, with genomic applications
- - Haiyuan Yu
  - Ronald Jansen
  - et al.
- 2007
- Bioinformatics
Paper
High-speed, low-voltage optical receivers consisting of Ge-on-SOI photodiodes paired with CMOS ICs
- - Clint L. Schow
  - Steven J. Koester
  - et al.
- 2007
- SPIE IOPTO 2007
Conference paper