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

LITS_RobertWWoodruffLibrary_280_hz

Source URL: web.library.emory.edu

• States and union territories of India
• Mi Marathi
• Maharashtra
• Princeton Community Television

The Rise and Decline of an Open Collaboration System: How Wikipedia’s reaction to popularity is causing its decline Aaron Halfaker1 R. Stuart Geiger2

Source URL: www-users.cs.umn.edu

• Social information processing
• Collaboration
• Digital media
• Wikipedia
• Mass media
• Wikis
• Wiki
• Aaron Halfaker
• Criticism of Wikipedia

InterdisciplinaryStudies_BS.pdf

Source URL: catalog.southernct.edu

• Chemistry
• Academia
• Interdisciplinarity
• Knowledge
• Pedagogy
• Radon
• Education

Reactive Vega: A Streaming Dataflow Architecture for Declarative Interactive Visualization Arvind Satyanarayan, Ryan Russell, Jane Hoffswell, and Jeffrey Heer Internal External

Source URL: idl.cs.washington.edu

COSC 544 Probabilistic Proof SystemsGGPR: A Linear PCP Of Size |F|O(S) Lecturer: Justin Thaler

Source URL: people.cs.georgetown.edu

• Mathematics
• Probabilistically checkable proof
• IP
• Algebra
• Creativity

Stealing Keys from PCs by Radio: Cheap Electromagnetic Attacks on Windowed Exponentiation (extended version) Daniel Genkin Lev Pachmanov

Source URL: web.eecs.umich.edu

• Cryptography
• Exponentials
• Cross-platform software
• Cryptographic software
• GNU Privacy Guard
• OpenPGP
• Privacy software
• RSA
• Exponentiation by squaring
• Modular exponentiation
• ElGamal encryption
• Chosen-ciphertext attack

Requirement Enforcement by Transformation Automata Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA

Source URL: www.kestrel.edu

• Formal methods
• Theoretical computer science
• Software engineering
• Logic in computer science
• Software development
• Semigroup action
• Refinement
• Predicate transformer semantics
• Program transformation
• Postcondition
• Finite-state machine
• Formal verification

Host Family Program Carnegie Mellon University-Africa is proud to announce the launch of a Host Family Program for International Students in our Kigali Campus. Host family is a vital part of a cultural exchange, immersin

Source URL: www.africa.engineering.cmu.edu

• Student exchange
• Education
• Culture
• Human behavior
• Carnegie Mellon University
• Carnegie Mellon Silicon Valley
• International student
• Host family
• Kigali

One-shot learning of generative speech concepts Brenden M. Lake* Chia-ying Lee* James R. Glass

Source URL: cims.nyu.edu

• Artificial intelligence
• Learning
• Machine learning
• Computational linguistics
• Markov models
• Hierarchical hidden Markov model
• Bayesian statistics
• Speech recognition
• Hidden Markov model
• Dynamic time warping
• Language model
• Speech perception