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

Developing Multiplayer Pervasive Games and Networked Interactive Installations using Ad hoc Mobile Sensor Nets Orestis Akribopoulos, Marios Logaras, Nikos Vasilakis, Panagiotis Kokkinos, Georgios Mylonas, Ioannis Chatzig

Source URL: nikos.vasilak.is

• Computing
• Gaming
• Mobile computers
• User interface techniques
• Information appliances
• Home video game consoles
• Ubiquitous computing
• Gameplay
• Location-based game
• Augmented reality
• Mobile game
• Context awareness

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

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

• Cryptography
• Computational complexity theory
• Theory of computation
• Randomized algorithms
• Complexity classes
• Zero-knowledge proof
• Interactive proof system
• Quantum complexity theory
• NP
• IP
• Soundness
• Computational indistinguishability

On the Size of Pairing-based Non-interactive Arguments? Jens Groth?? University College London, UK Abstract. Non-interactive arguments enable a prover to convince a verifier that a statement is true. R

Source URL: eprint.iacr.org

• Algebra
• Mathematics
• Multilinear algebra
• Non-interactive zero-knowledge proof
• Proof theory
• IP
• Snark
• Zero-knowledge proof
• Zero knowledge
• Soundness
• Bilinear map
• Model theory

White Paper of Show Coin Project Decentralized Interactive Living Broadcasting Platform VersionShowCoin Foundation

Source URL: www.show.one

• Cryptocurrencies
• Economy
• Concurrent computing
• Technology
• Multimedia
• Internet broadcasting
• Alternative currencies
• Financial cryptography
• Streaming media
• Digital currency
• High-performance Integrated Virtual Environment
• Blockchain

The KnowledgeComplexity of Interactive Proof-Systems (ExtendedAbstract) ShafiGoldwasser SilvioMicali CharlesRackoff MIT MIT Universityof Toronto

Source URL: groups.csail.mit.edu

• Computational complexity theory
• Theory of computation
• Complexity classes
• Randomized algorithms
• Models of computation
• IP
• NP
• ArthurMerlin protocol
• Interactive proof system
• BPP
• PP
• Zero-knowledge proof

From Conceptual Models to Agent-based Simulations: Why and How Swaroop Vattama, Ashok K. Goel a, Spencer Rugaber a, Cindy Hmelo-Silver b, Rebecca Jordan c a School of Interactive Computing, Georgia Institute of Technolog

Source URL: ccl.northwestern.edu

• Modeling and simulation
• Computing
• Systems science
• Scientific modeling
• Simulation
• Multi-agent systems
• Systems theory
• NetLogo
• Agent-based model
• Conceptual model
• Scientific modelling
• Ecosystem model

Noname manuscript No. (will be inserted by the editor) Verification of B+ Trees by Integration of Shape Analysis and Interactive Theorem Proving ?

Source URL: www.isse.uni-augsburg.de

• Logic
• Mathematical logic
• Linguistics
• Predicate logic
• Knowledge representation
• Tree
• FO
• Predicate transformer semantics
• Substitution
• B-tree
• Symbol
• Control

PARTIES – THE PROJECTION GALLERY Films and animation screenings, installation, live and interactive

Source URL: www.randomartists.org

• Fuck
• Interjections
• Profanity
• Sexual slang
• Linguistics

Idyll: A Markup Language for Authoring andPublishing Interactive Articles on the Web

Source URL: idl.cs.washington.edu

• Computing
• Software engineering
• Markup languages
• Open formats
• HTML
• Lightweight markup languages
• Technical communication
• JavaScript
• Markdown
• Data visualization
• Spreadsheet
• Ext JS