Formalizing Visualization Design Knowledge as Constraints: Actionable and Extensible Models in Draco Dominik Moritz, Chenglong Wang, Greg L. Nelson, Halden Lin, Adam M. Smith, Bill Howe, Jeffrey Heer Abstract—There exi

Source URL: idl.cs.washington.edu

Sibling Influence on College Choice Preliminary and incomplete — please do not cite or circulate Adam Altmejd∗ September 21, 2018

Source URL: adamaltmejd.se

• University and college admissions
• SAT
• College application
• Sibling
• Education
• Human behavior
• Anthropology

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
• ?:

Memcoin2 0.05 Conceptual White Paper MEMCOIN2: A HYBRID PROOF-OF-WORK, PROOF-OF-STAKE CRYPTO-CURRENCY Adam Mackenzie1

Source URL: mc2.xwebnetwork.com

• Cryptocurrencies
• Economy
• Cryptography
• Money
• Peercoin
• Bitcoin
• Proof-of-stake
• Blockchain
• Cryptographic hash function
• Ethereum
• Mining pool
• Cardano

Robust Defenses for Cross-Site Request Forgery Adam Barth Collin Jackson Stanford University

Source URL: www.doc.ic.ac.uk

• Computing
• World Wide Web
• Software engineering
• Internet privacy
• Cross-site request forgery
• Computer network security
• Hacking
• Ajax
• Same-origin policy
• Cross-site scripting
• HTTP cookie
• Referer spoofing

Using Alloy in a Language Lab Approach to Introductory Discrete Mathematics Charles Wallace Michigan Technological University In collaboration with Laura Brown, Adam Feltz

Source URL: alloytools.org

• Wombat
• Mongoose

GRADUATE SEMINAR Adam Kehler Generating Generalized Gamma Random Variates Using Coin Flips MSc student supervised by Andrei Volodin

Source URL: www.uregina.ca

Securing Frame Communication in Browsers Adam Barth Stanford University Collin Jackson

Source URL: www.doc.ic.ac.uk

• Computing
• Cyberwarfare
• Computer security
• Computer network security
• World Wide Web
• Hacking
• Transport Layer Security
• Cryptographic protocols
• Same-origin policy
• Cross-site scripting
• Browser security
• Framing

PDF Document

Source URL: adam.chlipala.net