Publication Date | Article Title | Author(s) |
2018 | Exploiting Synchrony and Symmetry in Relational Verification | Pick, Lauren; Fedyukovich, Grigory; Gupta, Aarti |
2018 | Near-Optimal Bounds on the Bounded-Round Quantum Communication Complexity of Disjointness | Braverman, Mark; Garg, Ankit; Ko, Young K; Mao, Jieming; Touchette, Dave |
2018 | PipeProof: Automated Memory Consistency Proofs for Microarchitectural Specifications | Manerkar, Yatin A; Lustig, Daniel; Martonosi, Margaret; Gupta, Aarti |
2018 | Toward a Theory of Markov Influence Systems and their Renormalization | Chazelle, Bernard |
2018 | Parameter-Hiding Order Revealing Encryption | Cash, David; Liu, Feng-Hao; O’Neill, Adam; Zhandry, Mark; Zhang, Cong |
2018 | Solving Constrained Horn Clauses Using Syntax and Data | Fedyukovich, Grigory; Prabhu, Sumanth; Madhukar, Kumar; Gupta, Aarti |
2018 | The Price of Uncertain Priors in Source Coding | Braverman, Mark; Juba, Brendan |
2018 | A Candidate for a Strong Separation of Information and Communication | Braverman, Mark; Ganor, Anat; Kol, Gillat; Raz, Ran |
2018 | Im2Pano3D: Extrapolating 360° Structure and Semantics Beyond the Field of View | Song, Shuran; Zeng, Andy; Chang, Angel X; Savva, Manolis; Savarese, Silvio; et al |
2018 | Computing Exact Minimum Cuts Without Knowing the Graph | Rubinstein, Aviad; Schramm, Tselil; Weinberg, S Matthew |
2018 | Reciprocal theorem for the prediction of the normal force induced on a particle translating parallel to an elastic membrane | Daddi-Moussa-Ider, A; Rallabandi, B; Gekle, S; Stone, Howard A |
2018 | Minimum-time trajectories for steered agent with constraints on speed, lateral acceleration, and turning rate | Scott, WL; Leonard, Naomi E |
2018 | Cluster Synchronization of Diffusively Coupled Nonlinear Systems: A Contraction-Based Approach | Aminzare, Z; Dey, B; Davison, EN; Leonard, Naomi E |
2018 | Initial development of the DIII-D snowflake divertor control | Kolemen, Egemen; Vail, PJ; Makowski, MA; Allen, SL; Bray, BD; et al |
2018 | Direct wave-drive thruster | Feldman, MS; Choueiri, Edgar Y |
2018 | Method for measuring the applied-field thrust component of plasma thrusters | Coogan, WJ; Hepler, MA; Choueiri, Edgar Y |
2018 | GPCR-specific autoantibody signatures are associated with physiological and pathological immune homeostasis | Cabral-Marques, Otavio; Marques, Alexandre; Giil, Lasse Melvær; De Vito, Roberta; Rademacher, Judith; et al |
2018 | Deep Depth Completion of a Single RGB-D Image | Zhang, Yinda; Funkhouser, Thomas |
2018 | Robotic Pick-and-Place of Novel Objects in Clutter with Multi-Affordance Grasping and Cross-Domain Image Matching | Zeng, Andy; Song, Shuran; Yu, Kuan-Ting; Donlon, Elliott; Hogan, Francois R; et al |
2018 | ActiveStereoNet: End-to-End Self-supervised Learning for Active Stereo Systems | Zhang, Yinda; Khamis, Sameh; Rhemann, Christoph; Valentin, Julien; Kowdle, Adarsh; et al |