Blockcloud: A Blockchain-based Service-centric Network Stack Zhongxing Ming∗ , Shu Yang† , Qi Li∗ , Dan Wang‡ , Mingwei Xu∗ , Ke Xu∗ , Laizhong Cui† ∗ Dept. of Comp. Sci. & Tech., Tsinghua Univ., Tsinghu

Source URL: www.block-cloud.io

• Cryptocurrencies
• Computing
• Emerging technologies
• Alternative currencies
• Blockchains
• Technology
• Information
• Ethereum
• Internet of things
• Bitcoin
• Gateway
• ternity

Tensority: an ASIC-friendly Proof of Work Algorithm Based on Tensor Bytom Foundation Email: April 17, 2018 Abstract

Source URL: bytom.io

• Search algorithms
• Statistical randomness
• Matrix
• Probability distribution
• Hash function
• Bitcoin
• Scrypt
• Random variable
• Information retrieval
• Information science
• Cryptography

EOS 块数据结构：块内通信和跨链 EOS 编译、测试指南（三） 扫一扫关注欧链小秘书

Source URL: oraclechain.io

Satisfiability Modulo ODEs Sicun Gao Soonho Kong Edmund M. Clarke

Source URL: scungao.github.io

• Mathematics
• Mathematical analysis
• Theoretical computer science
• Differential calculus
• Numerical analysis
• Ordinary differential equation
• Taylor's theorem
• Differential-algebraic system of equations
• Satisfiability modulo theories
• PROPT

Breaking down the EIP-999 debate Pros, Cons… and e v e r y t h i n g in b e t w e e n. Where it all starts: The Parity Hack

Source URL: edcon.io

• Cryptocurrencies
• Blockchains
• Ethereum
• Cross-platform software
• Alternative currencies
• Concurrent computing
• Distributed computing
• Smart contract
• EIP
• Computing
• Ethereum Classic

Invariants for Finite Instances and Beyond Sylvain Conchon∗† Amit Goel‡ Sava Krsti´c‡

Source URL: mebsout.github.io

• 120-cell
• Reachability
• FO
• Tiny Encryption Algorithm
• Mathematics
• Discrete mathematics
• Mathematical logic

What is Airbloc? Airbloc is a decentralized advertisement data marketplace where individuals would be able to monetize their data, and advertisers would be able to buy these data to conduct targeted marketing campaigns

Source URL: static.airbridge.io

• Computing
• Data management
• Data
• Information
• Cryptocurrencies
• Blockchain
• Encodings
• Data management platform
• Big data
• Personal
• Inc.

Theory Learning and Logical Rule Induction with Neural Theorem Proving Andres Campero 1 Aldo Pareja 2 Tim Klinger 2 Josh Tenenbaum 1 Sebastian Riedel 3 1. Introduction A hallmark of human cognition is the ability to con

Source URL: uclmr.github.io

• Logic
• Reasoning
• Inductive reasoning
• Predicate logic
• Mathematical logic
• Predicate
• Propositional calculus
• Inference
• Universal quantification
• Axiom

全球交通数据 协 议 及应用标杆 A GLOBAL TRANSPORTATION DATA PROTOCOL WITH DECENTRALIZED APPLICATIONS

Source URL: www.carblock.io

From Underapproximations to Overapproximations and Back! Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

Source URL: arieg.bitbucket.io

• Carnegie Mellon University
• Cyberwarfare
• Software Engineering Institute
• Mellon
• Software engineering
• Carnegie
• Pittsburgh