Verified integrity properties for safe approximate program transformations

by Kim, Deokhwan, Misailovic, Sasa, Rinard, Martin C., Carbin, Michael James
Published 2014

Synthetic Biology of Antimicrobial Discovery

by Zakeri, Bijan, Lu, Timothy K.
Published 2014

Independent optical excitation of distinct neural populations

by Klapoetke, Nathan Cao, Murata, Yasunobu, Kim, Sung Soo, Pulver, Stefan R., Birdsey-Benson, Amanda, Cho, Yong Ku, Morimoto, Tania K., Chuong, Amy S., Carpenter, Eric J., Tian, Zhijian, Wang, Jun, Xie, Yinlong, Yan, Zhixiang, Zhang, Yong, Chow, Brian Y., Surek, Barbara, Melkonian, Michael, Jayaraman, Vivek, Wong, Gane Ka-Shu, Constantine-Paton, Martha, Boyden, Edward
Published 2014

Cell Patterning with Mucin Biopolymers

by Crouzier, T., Jang, H., Ahn, J., Stocker, Roman, Ribbeck, Katharina
Published 2014

Stable Dropwise Condensation for Enhancing Heat Transfer via the Initiated Chemical Vapor Deposition (iCVD) of Grafted Polymer Films

by Yague, Jose L., Paxson, Adam T, Gleason, Karen K, Varanasi, Kripa
Published 2014

Chisel: Reliability- and Accuracy-Aware Optimization of Approximate Computational Kernels

by Misailovic, Sasa, Achour, Sara, Qi, Zichao, Rinard, Martin C., Carbin, Michael James
Published 2014

Achieving the Holevo bound via sequential measurements

by Giovannetti, Vittorio, Lloyd, Seth, Maccone, Lorenzo
Published 2012

The Cilk++ Concurrency Platform

by Leiserson, Charles E.
Published 2010

Three-Dimensional Printing of Highly Stretchable and Tough Hydrogels into Complex, Cellularized Structures

by Hong, Sungmin, Sycks, Dalton, Chan, Hon Fai, Lin, Shaoting, Lopez, Gabriel P., Guilak, Farshid, Leong, Kam W., Zhao, Xuanhe
Published 2015

Practical Roadmap and Limits to Nanostructured Photovoltaics

by Lunt, Richard R., Rowehl, Jill A., Osedach, Timothy Paul, Brown, Patrick Richard, Bulovic, Vladimir
Published 2013

Ultimate Limits on Photon and Spectral Efficient Communication through Atmospheric Turbulence

by Shapiro, Jeffrey H., Chandrasekaran, Nivedita, Wang, Ligong
Published 2015

Fabrication Process Yielding Saturated Nanowire Single-Photon Detectors With 24-Picosecond Jitter

by Najafi, Faraz, Bellei, Francesco, Zhao, Qingyuan, Sunter, Kristen A., McCaughan, Adam N., Berggren, Karl K., Dane, Andrew Edward
Published 2016

Precision Delivery of Multiscale Payloads to Tissue‐Specific Targets in Plants

by Cao, Yunteng, Lim, Eugene J., Xu, Menglong, Weng, Jing-Ke, Marelli, Benedetto
Published 2020

Quantum Measurement Bounds beyond the Uncertainty Relations

by Giovannetti, Vittorio, Lloyd, Seth, Maccone, Lorenzo
Published 2012

A linear-optical proof that the permanent is #P-hard

by Aaronson, Scott
Published 2012

Genetic Circuit Performance under Conditions Relevant for Industrial Bioreactors

by Moser, Felix, Broers, Nicolette J., Hartmans, Sybe, Tamsir, Alvin, Kerkman, Richard, Roubos, Johannes A., Bovenberg, Roel A. L., Voigt, Christopher A.
Published 2014

Seamless On-wafer integration of GaN HEMTs and Si(100) MOSFETs

by Palacios, Tomas, Piner, E. L., Lee, J., Chung, J. W.
Published 2010

Breaking and making quantum money: toward a new quantum cryptographic protocol

by Lutomirski, Andrew Michael, Gosset, David Nicholas, Hassidim, Avinatan, Farhi, Edward, Shor, Peter W., Kelner, Jonathan Adam, Aaronson, Scott
Published 2011

Vertical Lamellae Formed by Two-Step Annealing of a Rod-Coil Liquid Crystalline Block Copolymer Thin Film

by Lee, Sangho, Cheng, Li-Chen, Ross, Caroline A.
Published 2020

Path ORAM: An Extremely Simple Oblivious RAM Protocol

by Stefanov, Emil, van Dijk, Marten, Shi, Elaine, Ren, Ling, Yu, Xiangyao, Devadas, Srinivas, Fletcher, Christopher Wardlaw
Published 2014