Conference Workshop on Open Resilient human-aware Cyber-physical systems 2012 • Proceedings of the International Conference on Dependable Systems and Networks • 1:1-2 Kaâniche M, Harrison M, Kopetz H, Siewiorek D
Journal Article Stateful authorization logic - Proof theory and a case study 2012 • Journal of Computer Security • 20(4):353-391 Garg D, Pfenning F
Conference Constructing Non-Malleable Commitments: A Black-Box Approach 2012 51-60 Goyal V, Lee C-K, Ostrovsky R, Visconti I
Chapter Concurrently Secure Computation in Constant Rounds 2012 • Lecture Notes in Computer Science • 7237:99-116 Garg S, Goyal V, Jain A, Sahai A
Journal Article Understanding Inefficiencies in Data-Intensive Computing 2012 Krevat E, Shiran T, Anderson E, Tucek J, Wylie JJ, Ganger GR
Conference Iterative rounding approximation algorithms for degree-bounded node-connectivity network design 2012 • Annual Symposium on Foundations of Computer Science • 263-272 Fukunaga T, Ravi R
Journal Article Stationary distribution and cover time of random walks on random digraphs 2012 • Journal of combinatorial theory. Series B (Print) • 102(2):329-362 Cooper C, Frieze A
Conference Brief Announcement: SplayNets Towards Self-Adjusting Distributed Data Structures 2012 • Lecture Notes in Computer Science • 7611:439-+ Schmid S, Avin C, Scheideler C, Haeupler B, Lotker Z
Journal Article AutoScale: Dynamic, Robust Capacity Management for Multi-Tier Data Centers 2012 • ACM Transactions on Computer Systems • 30(4): Gandhi A, Harchol-Balter M, Raghunathan R, Kozuch MA
Conference Iterative Constructions and Private Data Release 2012 • Lecture Notes in Computer Science • 7194:339-356 Gupta A, Roth A, Ullman J
Conference Resource Aware ML 2012 • Lecture Notes in Computer Science • 7358:781-786 Hoffmann J, Aehlig K, Hofmann M
Conference Multi-linear data-driven dynamic hair model with efficient hair-body collision handling 2012 • Computer Animation 2012 ACM SIGGRAPH Eurographics Symposium Proceedings Sca 2012 • 295-304 Guan P, Sigal L, Reznitskaya V, Hodgins JK
Conference Mixed-bundling auctions with reserve prices 2012 • 11th International Conference on Autonomous Agents and Multiagent Systems 2012 Aamas 2012 Innovative Applications Track • 2:1000-1007 Tang P, Sandholm T
Conference Profit-charging market makers with bounded loss, vanishing bid/ask spreads, and unlimited market depth 2012 790-807 Othman A, Sandholm T
Conference A maximum likelihood approach for selecting sets of alternatives 2012 • Uncertainty in Artificial Intelligence Proceedings of the 28th Conference Uai 2012 • 695-704 Procaccia AD, Reddi SJ, Shah N
Conference Reactive information foraging 2012 1471-1480 Piorkowski D, Fleming S, Scaffidi C, Bogart C, Burnett M, John B, Bellamy R, Swart C
Journal Article Mechanical characterization of adult stem cells from bone marrow and perivascular niches 2012 • Journal of Biomechanics • 45(7):1280-1287 Ribeiro AJS, Tottey S, Taylor RWE, Bise R, Kanade T, Badylak SF, Dahl KN
Conference Advancing the state of mobile cloud computing 2012 21-28 Bahl P, Han RY, Li LE, Satyanarayanan M
Journal Article Energy Implications of Photonic Networks with Speculative Transmission 2012 • Journal of Optical Communications and Networking • 4(6):503-513 Watts PM, Moore SW, Moore AW
Conference Functional Programs that Explain their Work 2012 • ACM Sigplan Notices • 47(9):365-376 Perera R, Acar UA, Cheney J, Levy PB
Journal Article MedLDA: Maximum Margin Supervised Topic Models 2012 • Journal of machine learning research • 13:2237-2278 Zhu J, Ahmed A, Xing EP
Conference Acquiring temporal constraints between relations 2012 992-1001 Talukdar PP, Wijaya D, Mitchell T
Conference Selecting corpus-semantic models for neurolinguistic decoding 2012 • Sem 2012 1st Joint Conference on Lexical and Computational Semantics • 1:114-123 Murphy B, Talukdar P, Mitchell T
Conference Building Verifiable Trusted Path on Commodity x86 Computers 2012 • IEEE Symposium on Security and Privacy: Proceedings • 616-630 Zhou Z, Gligor VD, Newsome J, McCune JM
Conference A spectral algorithm for latent junction trees 2012 • Uncertainty in Artificial Intelligence Proceedings of the 28th Conference Uai 2012 • 675-684 Parikh AP, Song L, Ishteva M, Teodoru G, Xing EP
Journal Article Enabling dynamic network analysis through visualization in TVNViewer 2012 • BMC Bioinformatics • 13: Curtis RE, Xiang J, Parikh A, Kinnaird P, Xing EP
Journal Article Enhancing the usability and performance of structured association mapping algorithms using automation, parallelization, and visualization in the GenAMap software system 2012 • BMC Genetics • 13: Curtis RE, Goyal A, Xing EP
Conference Improving fairness, efficiency, and stability in HTTP-based adaptive video streaming with FESTIVE 2012 97-108 Jiang J, Sekar V, Zhang H
Book Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 2012 • Lecture Notes in Computer Science • 7539 LNCS: Calinescu R, Garlan D
Conference Variations in giving directions across arabic and English native speakers 2012 Gedawy H, Ziadee M, Sakr M
Conference Learning to Predict Health Status of Geriatric Patients from Observational Data 2012 127-134 Yang Y, Hauptmann A, Chen M-Y, Cai Y, Bharucha A, Wactlar H
Conference Design, Analysis, and Learning Control of a Fully Actuated Micro Wind Turbine 2012 • Proceedings of the ... American Control Conference. American Control Conference • 2256-2263 Kolter JZ, Jackowski Z, Tedrake R
Conference Towards Formal Verification of Freeway Traffic Control 2012 • 2012 IEEE/ACM THIRD INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS 2012) • 171-180 Mitsch S, Loos SM, Platzer A
Conference Using trustworthy host-based information in the network 2012 • Proceedings of the ACM Conference on Computer and Communications Security • 33-44 Parno B, Zhou Z, Perrig A
Conference Probabilistic extension of Allen's relations using the Hourglass model 2012 • Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI • 1:1106-1111 Petridis S, Psomas C-A
Conference Approximating Sparse Covering Integer Programs Online 2012 • Lecture Notes in Computer Science • 7391:436-448 Gupta A, Nagarajan V
Conference Higher-order functional reactive programming in bounded space 2012 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 45-58 Krishnaswami NR, Benton N, Hoffmann J
Chapter Multicast Routing for Energy Minimization Using Speed Scaling 2012 • Lecture Notes in Computer Science • 7659:37-51 Bansal N, Gupta A, Krishnaswamy R, Nagarajan V, Pruhs K, Stein C
Journal Article Distributed learning, communication complexity and privacy 2012 • Journal of machine learning research • 23:26.22 Balcan MF, Blum A, Fine S, Mansour Y
Conference Jettison 2012 211-224 Bila N, de Lara E, Joshi K, Lagar-Cavilla HA, Hiltunen M, Satyanarayanan M
Conference OFLOPS: An Open Framework for OpenFlow Switch Evaluation 2012 • Lecture Notes in Computer Science • 7192:85-95 Rotsos C, Sarrar N, Uhlig S, Sherwood R, Moore AW
Conference Tailoring the trajectory of cell rolling with cytotactic surfaces 2012 • Journal of tissue engineering and regenerative medicine • 6:230-231 Edington C, Murata H, Koepsel R, Andersen J, Eom S, Kanade T, Balazs A, Kolmakov G, Liron Z, Russell A
Conference CARE: Content Aware Redundancy Elimination for Challenged Networks 2012 • PROCEEDINGS OF THE 11TH ACM WORKSHOP ON HOT TOPICS IN NETWORKS (HOTNETS-XI) • 127-132 Weinsberg U, Li Q, Taft N, Balachandran A, Sekar V, Iannaccone G, Seshan S
