The Complexity of Zero Knowledge Salil Vadhan∗ School of Engineering and Applied Sciences Harvard University Cambridge, MA 02138

Source URL: people.seas.harvard.edu

• Cryptography
• Computational complexity theory
• Complexity classes
• Interactive proof system
• Zero-knowledge proof
• NP
• Probabilistically checkable proof
• IP
• Soundness
• Commitment scheme
• NEXPTIME
• P versus NP problem

FROMM MUSIC FOUNDATION HARVARD UNIVERSITY 3 Oxford Street Cambridge, Massachusetts 02138, USA Tel: • Fax: CONTACT: Lesley Bannatyne

Source URL: www.gf.org

• Guggenheim Fellows
• Classical music
• Music
• Paul Fromm
• Eugene O'Brien
• Chihchun Chi-sun Lee

Advance Access publication February 4, 2015 Political Analysis:254–277 doi:pan/mpu019 Computer-Assisted Text Analysis for Comparative Politics

Source URL: scholar.harvard.edu

• Computational linguistics
• Linguistics
• Natural language processing
• Applied linguistics
• Statistical natural language processing
• Corpus linguistics
• Artificial intelligence applications
• Topic model
• Machine translation
• Document-term matrix
• Latent Dirichlet allocation
• Text corpus

Navigating the Local Modes of Big Data: The Case of Topic Models∗ Margaret E. Roberts, Brandon M. Stewart, and Dustin Tingley This draft: June 28, 2015 ∗

Source URL: scholar.harvard.edu

• Probability and statistics
• Statistics
• Machine learning
• Statistical natural language processing
• Bayesian statistics
• Maximum likelihood estimation
• Scientific modeling
• Topic model
• Mixture model
• Latent Dirichlet allocation
• Expectationmaximization algorithm
• Linear regression

Learning Linguistic Descriptors of User Roles in Online Communities Alex Wang1 , William L. Hamilton2 , Jure Leskovec2 1 School of Engineering and Applied Sciences, Harvard University, Cambridge MA, Computer Scie

Source URL: www.aclweb.org

• Statistical natural language processing
• World Wide Web
• Digital media
• Internet culture
• Subreddits
• Crowdsourcing
• Reddit
• Collaboration
• /r/IAmA
• Oriented FAST and rotated BRIEF
• Topic model
• Select

Parametric Higher-Order Abstract Syntax for Mechanized Semantics Adam Chlipala Harvard University

Source URL: adam.chlipala.net

• Computer programming
• Declarative programming
• Software engineering
• Exponentials
• Dependently typed programming
• Higher-order abstract syntax
• Logic programming
• Programming language theory
• Type theory
• Exponentiation
• Monad
• ?:

SRL Early Edition Interactive Visualization of Spatially Amplified GNSS Time-Series Position Fields by Brendan J. Meade, William T. Freeman, James

Source URL: summit.fas.harvard.edu

• Global Positioning System
• Geodesy
• Synthetic aperture radar
• Navigation
• Satellite navigation
• UNAVCO
• Measurement
• Technology
• Geomatics

PUBLICATIONS Geophysical Research Letters RESEARCH LETTER2017GL075875 Key Points: • What are good stress based predictors

Source URL: summit.fas.harvard.edu

• Mechanics
• Seismology
• Solid mechanics
• Physics
• Plasticity
• Coulomb stress transfer
• Elasticity
• Earthquake
• Aftershock
• Yield

Informational Substitutes Definitions and Design Yiling Chen and Bo Waggoner Harvard Computer Science July 2016

Source URL: www.bowaggoner.com

Structural Topic Models for Open-Ended Survey Responses Margaret E. Roberts University of California, San Diego Brandon M. Stewart Harvard University Dustin Tingley Harvard University Christopher Lucas Harvard University

Source URL: scholar.harvard.edu

• Statistical natural language processing
• Machine learning
• Artificial intelligence
• Learning
• Topic model
• Causal inference
• Latent Dirichlet allocation
• Experiment
• Mixture model
• Unsupervised learning