Position paper: the science of deep specification

by Appel, Andrew W., Beringer, Lennart, Chlipala, Adam, Pierce, Benjamin C., Shao, Zhong, Weirich, Stephanie, Zdancewic, Steve
Published 2019

Designing Computer-Supported Complex Systems Curricula for the Next Generation Science Standards in High School Science Classrooms

by Yoon, Susan, Anderson, Emma, Koehler-Yom, Jessica, Scheintaub, Hal, Oztok, Murat, Evans, Chad, Goh, Sao-Ee, Klopfer, Eric, Sheldon, Joshua, Schoenfeld, Ilana, Wendel, Daniel J
Published 2017

Where computer vision needs help from computer science

by Freeman, William T.
Published 2011

Investigating the Dearomative Rearrangement of Biaryl Phosphine-Ligated Pd(II) Complexes

by Maimone, Thomas, Su, Mingjuan, Chen, Jiahao, Milner, Phillip John, Mueller, Peter, Buchwald, Stephen Leffler
Published 2015

Standards opportunities around data-bearing Web pages

by Karger, David R.
Published 2014

Sublinear Time Algorithms

by Rubinfeld, Ronitt, Shapira, Asaf
Published 2012

How Good is the Chord Algorithm?

by Yannakakis, Mihalis, Diakonikolas, Ilias, Daskalakis, Konstantinos
Published 2018

Stochastic and deterministic causes of streamer branching in liquid dielectrics

by Jadidian, Jouya, Zahn, Markus, Lavesson, Nils, Widlund, Ola, Borg, Karl
Published 2013

Uncovering and Mitigating Algorithmic Bias through Learned Latent Structure

by Soleimany, Ava, Amini, Alexander A, Schwarting, Wilko, Bhatia, Sangeeta N, Rus, Daniela L
Published 2019

Revealing hidden scenes by photon-efficient occlusion-based opportunistic active imaging

by Xu, Feihu, Shulkind, Gal, Thrampoulidis, Christos, Shapiro, Jeffrey H, Torralba, Antonio, Wong, Franco N. C., Wornell, Gregory W
Published 2020

Quantum partially observable Markov decision processes

by Barry, Jennifer, Barry, Daniel T., Aaronson, Scott
Published 2014

An O(log n/log log n)-approximation algorithm for the asymmetric traveling salesman problem

by Asadpour, Arash, Goemans, Michel X., Madry, Aleksander, Gharan, Shayan Oveis, Saberi, Amin
Published 2011

Identification of Functional Elements and Regulatory Circuits by Drosophila modENCODE

by Kheradpour, Pouya, Bristow, Christopher A., Mag Washietl, Stefan, Ay, Ferhat, Jungreis, Irwin, Marbach, Daniel, Sealfon, Rachel Sima, Will, Sebastian, Berger, Bonnie, Kellis, Manolis, Roy, Sushmita, Ernst, Jason, Lin, Michael F., Meyer, Patrick E., Di Stefano, Luisa, Candeias, Rogerio, Nordman, Jared T., Orr-Weaver, Terry L.
Published 2013

Vault: Fast Bootstrapping for the Algorand Cryptocurrency

by Leung, Derek, Suhl, Adam, Gilad, Yossi, Zeldovich, Nickolai
Published 2021

Nonparametric hierarchical Bayesian model for functional brain parcellation

by Lashkari, Danial, Sridharan, Ramesh, Vul, Edward, Hsieh, Po-Jang, Kanwisher, Nancy, Golland, Polina
Published 2011

PROGRAMMING MULTICORES: DO APPLICATIONS PROGRAMMERS NEED TO WRITE EXPLICITLY PARALLEL PROGRAMS?

by Arvind, Arvind, August, David, Pingali, Keshav, Chiou, Derek, Sendag, Resit, Yi, Joshua J.
Published 2011

Using Mobile Phones to Nurture Social Networks

by Ellis, Jonathan, Capra, Licia
Published 2012

Survey on indirect optical manipulation of cells, nucleic acids, and motor proteins

by Banerjee, Ashis, Chowdhury, Sagar, Losert, Wolfgang, Gupta, Satyandra K.
Published 2011

On the Inherent Sequentiality of Concurrent Objects

by Ellen, Faith, Hendler, Danny, Shavit, Nir N.
Published 2012

Folded Structures Satisfying Multiple Conditions

by Demaine, Erik D, Ku, Jason S
Published 2021