TABLE OF CONTENTS Duality of the Producer-Consumer Role ........................................1.1 An Exchange Protocol Based on Blockchain for Trading ICSTFoundation………………………………

Source URL: www.icst.io

• Cryptocurrencies
• Blockchains
• Computing
• Information
• Data management
• Encodings
• Ethereum
• Smart contract
• Everipedia
• Draft:Tron.network

Robot Learning with a Spatial, Temporal, and Causal And-Or Graph Caiming Xiong∗ , Nishant Shukla∗ , Wenlong Xiong, and Song-Chun Zhu Abstract— We propose a stochastic graph-based framework for a robot to understand

Source URL: shukla.io

• Metaphysics
• Mathematics
• Applied mathematics
• Computational neuroscience
• Graph theory
• Artificial neural network
• Market research
• Mathematical psychology
• Bayesian network
• Causality
• Graph rewriting
• Motion planning

美团外卖⼩小程序的探索和 实践 王善成 | 资深技术专家 @ 美团 about me • 王善成

Source URL: user-gold-cdn.xitu.io

Rishabh Singh Í 1 Microsoft Way Redmond, WA 98052

Source URL: rishabhmit.bitbucket.io

• Computing
• Computer science
• Technology
• Symposium on Principles of Programming Languages
• SIGPLAN
• Actor model
• Programming Language Design and Implementation
• Spreadsheet
• Microsoft Research
• Microsoft

打造可编程商业社会 Ultrain 白皮书 Ultrain Whitepaper version 1.1.8

Source URL: www.ultrain.io

• Draft:
• Draft:ETH GOOD GAMES

Under consideration for publication in Math. Struct. in Comp. Science Complexity of Translations from Resolution to Sequent Calculus (Presentation-Only - Draft) Giselle Reis1 and Bruno Woltzenlogel Paleo2

Source URL: pxtp.github.io

• Proof theory
• Mathematical logic
• Logic
• Mathematics
• Sequent
• Natural deduction
• Cut-elimination theorem
• Admissible rule
• Proof complexity
• Propositional calculus
• Structural rule
• Cut rule

Technical Workshop October 8, 2018 KK Jain Raj Surati Arya Soltanieh

Source URL: ncent.io

• Human behavior
• Metaphysics
• Philosophy of religion
• Cryptocurrencies
• Decentralization
• Blockchain
• Encodings
• DARPA Network Challenge
• Barile
• DARPA
• Jainism
• Incentive

FunFair 기술 로드맵 및 토론 2017년 6월 6일, v0.97 제레미 롱리(Jeremy Longley)와 올리버 홉튼(Oliver Hopton) 내용 1 소개

Source URL: funfair.io

Disclaimer The MOD Token has neither been approved or disapproved by the U.S. Securities and Exchange Commission (the “SEC”) nor by the securities regulatory authority of any state or of any other jurisdiction, nor

Source URL: modum.io

• Cryptocurrencies
• Ethereum
• Blockchains
• Alternative currencies
• Cryptography
• Economy
• Concurrent computing
• Cross-platform software
• Kin
• Draft:Bancor protocol