Speakeasy: A Platform for Interactive Public Displays Julie A. Black1, Jason I. Hong2, Mark W. Newman3, W. Keith Edwards, Shahram Izadi, Jana Z. Sedivy, Trevor F Smith 1 Stanford University

Source URL: trevor.smith.name

• Application software
• Software
• Mathematical software
• User interfaces
• Video hardware
• Numerical linear algebra
• Speakeasy
• Display device

Bounded Model Generation for Isabelle/HOL and Related Applications of SAT Solvers in Interactive Theorem Proving Tjark Weber

Source URL: user.it.uu.se

• Computability theory
• Lambda calculus
• Theoretical computer science
• Model theory
• Higher-order logic
• Constructible universe
• Metaphilosophy
• Mathematics

ECE/CS498: Applied Cryptography Instructor: Andrew Miller, TA: Kevin Liao Lecture 3: More Interactive Proofs 1

Source URL: gitlab-beta.engr.illinois.edu

• Cryptography
• Public-key cryptography
• Commitment scheme
• Secret sharing
• Negligible function
• XTR
• Zero-knowledge proof

Towards Strong Higher-Order Automation for Fast Interactive Verification Jasmin Christian Blanchette1,2,3 , Pascal Fontaine3 , Stephan Schulz4 , and Uwe Waldmann2 1

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

• Theoretical computer science
• Software engineering
• Mathematical software
• Formal methods
• Proof assistants
• Logic in computer science
• Automated theorem proving
• Isabelle
• Automated reasoning
• E theorem prover
• Formal verification
• KeY

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

Towards Fast Interactive Verification through Strong Higher-Order Automation

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

• Metalogic
• Model theory
• Isabelle
• Admissible rule
• Measure theory
• Logic
• Mathematical logic
• Mathematics

A hybrid architecture for interactive verifiable computation Victor Vu, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin questions of the prover, and applies efficient tests to the

Source URL: www.pepper-project.org

Atlas Protocol Light Paper Defining blockchain interactive adver tising & marketing version:

Source URL: atlasp.io

• Cryptocurrencies
• Blockchains
• Computing
• Information
• Data
• Alternative currencies
• Smart contract
• Bitcoin
• Draft:Atlas Protocol
• Draft:Nihilo Blockchain Introduction

PDF Document

Source URL: interactive.wwltv.com

Hydrol. Earth Syst. Sci. Discuss., doi:hessAC1, 2016 © Author(sCC-BY 3.0 License. Interactive comment on “Rapid attribution of the August 2016 flood-inducing extreme precipitation

Source URL: www.hydrol-earth-syst-sci-discuss.net