Journal Article Supporting Heterogeneity in Cyber-Physical Systems Architectures 2014 • IEEE Transactions on Automatic Control • 59(12):3178-3193 Rajhans A, Bhave A, Ruchkin I, Krogh BH, Garlan D, Platzer A, Schmerl B
Journal Article The dirty-block index 2014 • Computer architecture news • 42(3):157-168 Seshadri V, Bhowmick A, Mutlu O, Gibbons PB, Kozuch MA, Mowry TC
Journal Article BUZZ: Testing Context-Dependent Policies in Stateful Data Planes (CMU-CyLab-14-013) 2014 Fayaz SK, Tobioka Y, Chaki S, Sekar V
Conference Cuckoo Filter: Practically Better Than Bloom 2014 • PROCEEDINGS OF THE 2014 CONFERENCE ON EMERGING NETWORKING EXPERIMENTS AND TECHNOLOGIES (CONEXT'14) • 75-87 Fan B, Andersen DG, Kaminsky M, Mitzenrnacher MD
Conference Optimizing for Transfers in a Multi-vehicle Collection and Delivery Problem 2014 • Springer Tracts in Advanced Robotics • 104:91-103 Coltin B, Veloso M
Conference Multi-sensor Mobile Robot Localization for Diverse Environments 2014 • Lecture Notes in Computer Science • 8371:468-479 Biswas J, Veloso M
Conference Refactoring, Refinement, and Reasoning A Logical Characterization for Hybrid Systems 2014 • Lecture Notes in Computer Science • 8442:481-496 Mitsch S, Quesel J-D, Platzer A
Conference Intention-aware multi-human tracking for human-robot interaction via particle filtering over sets 2014 • Aaai Fall Symposium Technical Report • FS-14-01:45-47 Bai A, Veloso M
Conference Changing Pre-Grasp Strategies With Increasing Object Location Uncertainty 2014 • Proceedings of the ... IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE/RSJ International Conference on Intelligent Robots and Systems • 2468-2475 Illing B, Asfour T, Pollard NS
Conference On Sketching Matrix Norms and the Top Singular Vector 2014 1562-1581 Li Y, Nguyễn HL, Woodruff DP
Journal Article Programming with Higher-Order Logic, by Dale Miller and Gopalan Nadathur , Cambridge University Press, 2012, Hardcover, ISBN-10:052187940X, xiv + 306 pp. 2014 • Theory and Practice of Logic Programming • 14(2):265-267 Pfenning F
Conference Bias in natural actor-critic algorithms 2014 • 31st International Conference on Machine Learning Icml 2014 • 1:693-700 Thomas PS
Journal Article Bridging the gap between easy generation and efficient verification of unsatisfiability proofs 2014 • Software Testing Verification and Reliability • 24(8):593-607 Heule MJH, Hunt WAJ, Wetzler N
Preprint VoG: Summarizing and Understanding Large Graphs 2014 Koutra D, Kang U, Vreeken J, Faloutsos C
Conference Optimal Error Rates for Interactive Coding I: Adaptivity and Other Settings 2014 • Annual ACM Symposium on Theory of Computing • 794-803 Ghaffari M, Haeupler B, Sudan M
Preprint A Distributed Frank-Wolfe Algorithm for Communication-Efficient Sparse Learning 2014 Bellet A, Liang Y, Garakani AB, Balcan M-F, Sha F
Journal Article Bioinformatics Curriculum Guidelines: Toward a Definition of Core Competencies 2014 • PLoS Computational Biology • 10(3): Welch L, Lewitter F, Schwartz R, Brooksbank C, Radivojac P, Gaeta B, Schneider MV
Conference Inferring evolutionary models of tumor progression from single-cell heterogeneity data 2014 • Cancer Research • 74(19): Chowdhury SA, Subramanian A, Schaeffer AA, Shackney SE, Wangsa D, Heselmeyer-Haddad K, Ried T, Schwartz R
Preprint Standing Together for Reproducibility in Large-Scale Computing: Report on reproducibility@XSEDE 2014 Satyanarayanan M, and others
Conference Hypercontractive inequalities via SOS, and the Frankl–Rödl graph 2014 1644-1658 Kauers M, O'Donnell R, Tan L-Y, Zhou Y
Conference Playing Catch with Robots: Incorporating Social Gestures into Physical Interactions 2014 • 2014 23RD IEEE INTERNATIONAL SYMPOSIUM ON ROBOT AND HUMAN INTERACTIVE COMMUNICATION (IEEE RO-MAN) • 231-236 Carter EJ, Mistry MN, Carr GPK, Kelly BA, Hodgins JK
Conference Power napping with loud neighbors 2014 117-128 DeBruhl B, Kroer C, Datta A, Sandholm T, Tague P
Conference On the Structure of Synergies in Cooperative Games 2014 • Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence • 763-769 Procaccia AD, Shah N, Tucker ML
Journal Article Optimal Locally Repairable and Secure Codes for Distributed Storage Systems 2014 • IEEE Transactions on Information Theory • 60(1):212-236 Rawat AS, Koyluoglu OO, Silberstein N, Vishwanath S
Journal Article FutureMatch: Learning to Match in Dynamic Environments 2014 • Transplantation • 98:664-664 Dickerson J, Sandholm T
Conference QuiltView 2014 1-6 Chen Z, Hu W, Ha K, Harkes J, Gilbert B, Hong J, Smailagic A, Siewiorek D, Satyanarayanan M
Conference INTERACTIVE CELL SEGMENTATION BASED ON CORRECTION PROPAGATION 2014 • Proceedings / IEEE International Symposium on Biomedical Imaging: from nano to macro. IEEE International Symposium on Biomedical Imaging • 1381-1384 Su H, Yin Z, Kanade T, Huh S
Conference Towards Wearable Cognitive Assistance 2014 • MOBISYS'14: PROCEEDINGS OF THE 12TH ANNUAL INTERNATIONAL CONFERENCE ON MOBILE SYSTEMS, APPLICATIONS, AND SERVICES • 68-81 Ha K, Chen Z, Hu W, Richter W, Pillai P, Satyanarayanan M
Conference JA-trie: Entropy-Based Packet Classification 2014 32-37 Antichi G, Callegari C, Moore AW, Giordano S, Anastasi E
Conference Beyond Poisson: Modeling Inter-Arrival Time of Requests in a Datacenter 2014 • Lecture Notes in Computer Science • 8444:198-209 Juan D-C, Li L, Peng H-K, Marculescu D, Faloutsos C
Conference Good-Enough Brain Model: Challenges, Algorithms and Discoveries in Multi-Subject Experiments 2014 • Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining • 95-104 Papalexakis EE, Fyshe A, Sidiropoulos ND, Talukdar PP, Mitchell TM, Faloutsos C
Journal Article On Constructing Seminal Paper Genealogy 2014 • IEEE Transactions on Cybernetics • 44(1):54-65 Bae D-H, Hwang S-M, Kim S-W, Faloutsos C
Conference MalSpot: Multi2 Malicious Network Behavior Patterns Analysis 2014 • Lecture Notes in Computer Science • 8443:1-14 Mao H-H, Wu C-J, Papalexakis EE, Faloutsos C, Lee K-C, Kao T-C
Conference Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations 2014 • Lecture Notes in Computer Science • 8723:151-167 Ghorbal K, Sogokon A, Platzer A
Journal Article Sensitivity of early visual cortical neurons to edge visual concepts 2014 • Journal of Vision • 14(10):586-586 Lee TS, Massot C, Papandreou G, Yuille A
Journal Article Temporal Mode-Checking for Runtime Monitoring of Privacy Policies (CMU-CyLab-14-005) 2014 Chowdhury O, Jia L, Garg D, Datta A
Conference (2+ε)-SAT is NP-hard 2014 • Annual Symposium on Foundations of Computer Science • 1-10 Austrin P, Guruswami V, Hastad J
Conference ZØ: An optimizing distributing zero-knowledge compiler 2014 • Proceedings of the 23rd Usenix Security Symposium • 909-924 Fredrikson M, Livshits B
Journal Article Simultaneously Uncovering the Patterns of Brain Regions Involved in Different Story Reading Subprocesses 2014 • PLoS ONE • 9(11): Wehbe L, Murphy B, Talukdar P, Fyshe A, Ramdas A, Mitchell T
Conference Security Limitations of Virtualization and How to Overcome Them 2014 • Lecture Notes in Computer Science • 7061:233-251 Gligor V
Journal Article Graph Estimation From Multi-Attribute Data 2014 • Journal of machine learning research • 15:1713-1750 Kolar M, Liu H, Xing EP
Journal Article Evolution styles: foundations and models for software architecture evolution 2014 • Software and Systems Modeling (SoSyM) • 13(2):649-678 Barnes JM, Garlan D, Schmerl B
Conference Stochastic Game Analysis and Latency Awareness for Proactive Self-Adaptation 2014 • 9TH INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS (SEAMS 2014) • 155-164 Camara J, Moreno GA, Garlan D
Conference Marhaba, how may i help you? 2014 • ACM/IEEE International Conference on Human-Robot Interaction • 74-81 Salem M, Ziadee M, Sakr M
Conference Multiple Hypothesis for Object Class Disambiguation from Multiple Observations 2014 91-98 Brandão S, Veloso M, Costeira JP
Journal Article Depth-based short-sighted stochastic shortest path problems 2014 • Artificial Intelligence • 216:179-205 Trevizan FW, Veloso MM
