Forcing small models of conditions on program interleaving for detection of concurrent bugs
- Ehud Trainin
- Yarden Nir-Buchbinder
- et al.
- 2009
- ISSTA 2009
Workshop paper
Publications
26858 results for Science
Large-area spatially ordered arrays of gold nanoparticles directed by lithographically confined DNA origami
- Albert M. Hung
- Christine M. Micheel
- et al.
- 2009
- Nature Nanotechnology
PaperAlu and B1 repeats have been selectively retained in the upstream and intronic regions of genes of specific functional classes
- Aristotelis Tsirigos
- Isidore Rigoutsos
- 2009
- PLoS Computational Biology
PaperNumerical methods for the design of large-scale nonlinear discrete ill-posed inverse problems
- Eldad Haber
- L. Horesh
- et al.
- 2009
- Inverse Problems
PaperA microfluidic device for depositing and addressing two cell populations with intercellular population communication capability
- Robert D. Lovchik
- Noemi Tonna
- et al.
- 2009
- Biomedical Microdevices
PaperAverage rate speed scaling
- Nikhil Bansal
- David P. Bunde
- et al.
- 2009
- Algorithmica (New York)
PaperExpanding the role of chemistry to produce new amphiphilic polymer (co)networks
- Laetitia Mespouille
- James L. Hedrick
- et al.
- 2009
- Soft Matter
ReviewOn-chip power supply noise measurement using time resolved emission (TRE) waveforms of light emission from off-state leakage current (LEOSLC)
- Franco Stellari
- Peilin Song
- et al.
- 2009
- IEEE ITC 2009
Conference paperAn automated image segmentation and classification algorithm for immunohistochemically stained tumor cell nuclei
- Hangu Yeo
- Vadim Sheinin
- et al.
- 2009
- SPIE Medical Imaging 2009
Conference paperA conserved activation element in BMP signaling during Drosophila development
- Alexander Weiss
- Enrica Charbonnier
- et al.
- 2009
- Nature Structural and Molecular Biology
Paper