Ranking Subreddits by Classifier Indistinguishability in the Reddit Corpus Faisal Alquaddoomi Deborah Estrin

Source URL: destrin.smalldata.io

• World Wide Web
• Digital media
• Subreddits
• Human sexuality
• Crowdsourcing
• Reddit
• Wikis
• Alt-right
• Statistical classification
• NoFap
• Cosine similarity
• Controversial Reddit communities

Dynamic Synthesis for Relaxed Memory Models Feng Liu Nayden Nedev Nedyalko Prisadnikov

Source URL: practicalsynthesis.github.io

Zero-Knowledge Contingent Payments Revisited: Attacks and Payments for Services

Source URL: acmccs.github.io

HACKEN.IO Terms and Conditions Last Updated: September 18, 2017 Please read carefully these Terms and Conditions (hereinafter – the Terms , Terms of Use ) before using a website https://hacken.io/ and/or any services o

Source URL: hacken.io

• Cryptocurrencies
• Contract law
• Computing
• Information
• Law
• Bitcoin
• Indemnity
• Reparations
• Blockchain
• Smart contract

BITVIT ICO TERMS AND CONDITIONS Last Updated: 5 June 2018 Please read these Terms and Conditions (hereinafter – the “Terms”) carefully before using the website http://BitVit.io/ (hereinafter – the “Website”),

Source URL: echargeico.blob.core.windows.net

• Contract law
• Alternative currencies
• Cryptocurrencies
• Digital currencies
• Law
• Bitcoin
• Indemnity
• Coin
• Contract
• Economy
• Currency
• Frameworx License

EOS 智能合约数据结构 API EOS 编译、测试指南（四） 扫一扫关注欧链小秘书

Source URL: oraclechain.io

• Draft:ETH GOOD GAMES
• Draft:

Nishant Shukla Notes October 21, 2016

Source URL: shukla.io

• Mathematical analysis
• Mathematics
• Calculus
• Partial differential equations
• Integral calculus
• Operator theory
• Fourier analysis
• Monotone comparative statics
• NeumannPoincar operator

Celadon: A Change Impact Analysis Tool for Aspect-Oriented Programs Sai Zhang, Zhongxian Gu, Yu Lin, Jianjun Zhao School of Software Shanghai Jiao Tong University 800 Dongchuan Road, Shanghai, China

Source URL: zhang-sai.github.io

• Software development
• Aspect-oriented software development
• Computing
• Software engineering
• Aspect-oriented programming
• AspectJ
• Pointcut
• Join point
• Cross-cutting concern
• Subject-oriented programming
• Aspect
• Call graph

GPDB 5.x PSQL Quick Reference General \copyright \g [FILE] or ; \h [NAME] \q

Source URL: gpdb.docs.pivotal.io

• Computing
• Software
• Cross-platform software
• Combinatorics
• Character encoding
• String
• PostgreSQL

Executable Counterexamples in Software Model Checking? Jeffrey Gennari1 , Arie Gurfinkel2 , Temesghen Kahsai3 , Jorge A. Navas4 , and Edward J. Schwartz1 Carnegie Mellon University1 , University of Waterloo2 , University

Source URL: jorgenavas.github.io

• Computing
• Software engineering
• Computer programming
• Methods of proof
• Logic in computer science
• Pointer
• Exec
• Counterexample
• Objective-C
• Model checking
• Abstract interpretation
• Operational semantics