δ-Complete Decision Procedures for Satisfiability over the Reals⋆ Sicun Gao, Jeremy Avigad, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PAAbstract. We introduce the notion of “δ-complete de

Source URL: scungao.github.io

• Theoretical computer science
• Computability theory
• Computational complexity theory
• Theory of computation
• Constructivism
• Fourier analysis
• Formal methods
• Computable number
• Computable analysis
• Computable function
• NC
• Modulus of continuity

2012 i3 Scholars – Introductory Institute: June 3 – 28, 2012 Sunday June 3 i3 Scholars Arrive at the University of Pittsburgh

Source URL: www.sis.pitt.edu

An Open Corpus of Everyday Documents for Simplification Tasks David Pellow and Maxine Eskenazi Language Technologies Institute, Carnegie Mellon University Pittsburgh PA USA ,

Source URL: www.aclweb.org

Eye Tracking the Visual Search of Click-Down Menus Michael D. Byrne, John R. Anderson, Scott Douglass, Michael Matessa Psychology Department Carnegie Mellon University Pittsburgh, PA 15213 , , sd3

Source URL: act-r.psy.cmu.edu

Conditional Anomaly Detection Using Soft Harmonic Functions: An Application to Clinical Alerting Michal Valko Computer Science Department, University of Pittsburgh, PA

Source URL: www.bkveton.com

Exploring the Spatial Hierarchy of Mixture Models for Human Pose Estimation Yuandong Tian1 , C. Lawrence Zitnick2 , and Srinivasa G. Narasimhan1 1 Carnegie Mellon University, 5000 Forbes Ave, Pittsburgh, PA 15213

Source URL: larryzitnick.org

UNIVERSITY OF PITTSBURGH PRESS Pittsburgh, PANon-Profit Organization U.S. Postage

Source URL: upress.pitt.edu

Abigail Marsh Education Carnegie Mellon University, Pittsburgh, PA • Doctor of Philosophy in Computer Science August 2013 – Present

Source URL: abbymarsh.com

Summary Report of the Pennsylvania 2012 Project Inaugural Conference Chatham University Woodland Road, Pittsburgh, PA 15232

Source URL: www.chatham.edu

Restore Truncation for Performance Improvement in Future DRAM Systems Xianwei Zhang† Youtao Zhang† † Computer Science Department University of Pittsburgh, PA, USA †

Source URL: people.cs.pitt.edu