21![Finding Minimal Unsatisfiable Cores of Declarative Specifications Emina Torlak, Felix Sheng-Ho Chang and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {emina, fschang, dnj}@mit.edu Finding Minimal Unsatisfiable Cores of Declarative Specifications Emina Torlak, Felix Sheng-Ho Chang and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {emina, fschang, dnj}@mit.edu](https://www.pdfsearch.io/img/c9028363ca018e54aeeaaf4a9e8fab15.jpg) | Add to Reading ListSource URL: homes.cs.washington.edu- Date: 2017-06-23 18:20:16
|
---|
22![Kiln: Closing the Performance Gap Between Systems With and Without Persistence Support Jishen Zhao† Sheng Li‡ Doe Hyun Yoon∗ Yuan Xie† Kiln: Closing the Performance Gap Between Systems With and Without Persistence Support Jishen Zhao† Sheng Li‡ Doe Hyun Yoon∗ Yuan Xie†](https://www.pdfsearch.io/img/15a82a2ba919b305a267b71548de4035.jpg) | Add to Reading ListSource URL: www.cse.psu.edu- Date: 2013-11-18 20:11:47
|
---|
23![Taking an AXE to L2 Spanning Trees James McCauley Alice Sheng Ethan J. Jackson Taking an AXE to L2 Spanning Trees James McCauley Alice Sheng Ethan J. Jackson](https://www.pdfsearch.io/img/335f84e22cff491f9182aba8d0a7925e.jpg) | Add to Reading ListSource URL: conferences.sigcomm.org- Date: 2015-10-30 12:24:18
|
---|
24![Universal Decompositional Semantics on Universal Dependencies Aaron Steven White Drew Reisinger Keisuke Sakaguchi Tim Vieira Sheng Zhang Rachel Rudinger Kyle Rawlins Benjamin Van Durme Johns Hopkins University Universal Decompositional Semantics on Universal Dependencies Aaron Steven White Drew Reisinger Keisuke Sakaguchi Tim Vieira Sheng Zhang Rachel Rudinger Kyle Rawlins Benjamin Van Durme Johns Hopkins University](https://www.pdfsearch.io/img/e3278466c2796d47b97f293995aa9d97.jpg) | Add to Reading ListSource URL: aclweb.org |
---|
25![Bayesian and Empirical Bayesian Forests Matt Taddy University of Chicago Booth School of Business Chun-Sheng Chen eBay Bayesian and Empirical Bayesian Forests Matt Taddy University of Chicago Booth School of Business Chun-Sheng Chen eBay](https://www.pdfsearch.io/img/34a67c2465bb5cf6fd4586c520d5c785.jpg) | Add to Reading ListSource URL: jmlr.org- Date: 2015-09-16 19:38:46
|
---|
26![I am a Smartwatch and I can Track my User’s Arm Sheng Shen, He Wang, Romit Roy Choudhury University of Illinois at Urbana-Champaign {sshen19, hewang5, croy}@illinois.edu ABSTRACT I am a Smartwatch and I can Track my User’s Arm Sheng Shen, He Wang, Romit Roy Choudhury University of Illinois at Urbana-Champaign {sshen19, hewang5, croy}@illinois.edu ABSTRACT](https://www.pdfsearch.io/img/7f278aa09a55cff680f17bce6e95f591.jpg) | Add to Reading ListSource URL: synrg.csl.illinois.edu- Date: 2016-05-09 20:13:56
|
---|
27![A Calculus for Variational Programming∗ Sheng Chen1 , Martin Erwig2 , and Eric Walkingshaw3 1 University of Louisiana at Lafayette A Calculus for Variational Programming∗ Sheng Chen1 , Martin Erwig2 , and Eric Walkingshaw3 1 University of Louisiana at Lafayette](https://www.pdfsearch.io/img/52db69d3a59e1b11cf653d63d1c2d194.jpg) | Add to Reading ListSource URL: drops.dagstuhl.de- Date: 2016-07-18 08:01:47
|
---|
28![How Containers Will Usher in a New Era of Cloud Computing Sheng Liang, CEO Rancher Labs November 3, 2016 © 2016 How Containers Will Usher in a New Era of Cloud Computing Sheng Liang, CEO Rancher Labs November 3, 2016 © 2016](https://www.pdfsearch.io/img/e0c676d37076069ef84a643902b11197.jpg) | Add to Reading ListSource URL: res.cdn.sys-con.com- Date: 2016-11-09 08:40:36
|
---|
29![SoEs: Attachable Augmented Haptic on Gaming Controller for Immersive Interaction Yang-Sheng Chen National Taiwan University Taipei, 10617, TW SoEs: Attachable Augmented Haptic on Gaming Controller for Immersive Interaction Yang-Sheng Chen National Taiwan University Taipei, 10617, TW](https://www.pdfsearch.io/img/64fe19e7d9f2b710045e473a92a0d8ab.jpg) | Add to Reading ListSource URL: aui16.files.wordpress.com- Date: 2016-10-15 22:52:25
|
---|
30![Article pubs.acs.org/journal/apchd5 Nonimaging Optical Gain in Luminescent Concentration through Photonic Control of Emission Étendue Yufei Shen,†,‡ Yufei Jia,† Xing Sheng,§ Ling Shen,∥ John A. Rogers,§ and N Article pubs.acs.org/journal/apchd5 Nonimaging Optical Gain in Luminescent Concentration through Photonic Control of Emission Étendue Yufei Shen,†,‡ Yufei Jia,† Xing Sheng,§ Ling Shen,∥ John A. Rogers,§ and N](https://www.pdfsearch.io/img/429e70625d1f4583aeb634b5e7b03420.jpg) | Add to Reading ListSource URL: rogers.matse.illinois.edu- Date: 2014-09-09 08:03:14
|
---|