PDF Document

Source URL: www.cmu.edu

• Chess openings
• Carnegie Mellon University

Distortion of Justice: How the Inability to Pay Bail Affects Case Outcomes Megan Stevenson∗† November 8, 2016 Abstract

Source URL: www.econ.pitt.edu

• Law
• Criminal law
• Criminal procedure
• Legal professions
• Bail
• Remand
• Arraignment
• Magistrate
• Arrest
• Plea bargain
• Probation
• Bail in the United States

Microsoft Word - mentor-emory-mentee-application-packet

Source URL: www.learningservices.emory.edu

MIT Police Emergency Phone & Automated External Defibrillator (AED) Locations s ett e Av

Source URL: web.mit.edu

• Cardiac electrophysiology
• Medicine
• Automated external defibrillator
• AED
• Defibrillation

Parallel Type-checking with Saturating LVars Peter Fogg Sam Tobin-Hochstadt Ryan R. Newton

Source URL: homes.sice.indiana.edu

• Software engineering
• Computer programming
• Programming language theory
• Type theory
• Type systems
• Functional languages
• Programming paradigms
• Procedural programming languages
• Type inference
• HindleyMilner type system
• Monad
• Functional programming

ZKPDL: A Language-Based System for Efficient Zero-Knowledge Proofs and Electronic Cash Sarah Meiklejohn University of California, San Diego smeiklej@ cs.ucsd.edu

Source URL: www.usenix.org

• Cryptography
• Public-key cryptography
• Computational complexity theory
• Zero-knowledge proof
• Proof of knowledge
• Commitment scheme
• Non-interactive zero-knowledge proof
• IP
• Cryptographic protocol
• NP
• RSA
• Zero knowledge

The Complexity of Safety Stock Placement in General-Network Supply Chains Ekaterina Lesnaia, Iuliu Vasilescu, and Stephen C. Graves MIT Abstract— We consider the optimization problem of safety

Source URL: web.mit.edu

• Graph theory
• Mathematics
• Discrete mathematics
• Vertex cover
• Network theory
• Degree
• Networks
• Graph operations
• Capacitated minimum spanning tree
• Centrality

Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions J Strother Moore and Marijn J.H. Heule Department of Computer Science The University of Texas at Austin {moore,marijn}@cs.utexas.edu

Source URL: www.cs.man.ac.uk

• Software engineering
• Computer programming
• Theoretical computer science
• Automated theorem proving
• Lisp
• ACL2
• Formal methods
• Logic in computer science
• Robert S. Boyer

Motivation Solution Framework The Algorithm

Source URL: www.cs.purdue.edu

• Theoretical computer science
• Formal methods
• Logic in computer science
• Mathematics
• Formal verification
• Program synthesis
• Debugging
• Algorithm
• Cognitive science
• Electronic engineering
• Device driver synthesis and verification

ON INTERACTIVE PROOFS WITH A LACONIC PROVER Oded Goldreich, Salil Vadhan, and Avi Wigderson Abstract. We continue the investigation of interactive proofs with bounded communication, as initiated by Goldreich and Hastad

Source URL: www.math.ias.edu

• Complexity classes
• Randomized algorithms
• Computational complexity theory
• Interactive proof system
• Theoretical computer science
• Mathematics
• Zero-knowledge proof
• Probabilistically checkable proof
• Computer science
• IP
• ArthurMerlin protocol
• NP