WHITE PAPER Content Introduction ............................................................................................................ 2 1. Overview of Current Exchange Systems ..................................

Source URL: bexam.io

• Cryptocurrencies
• Blockchains
• Alternative currencies
• Concurrent computing
• Distributed computing
• Computing
• Bitcoin
• Cross-platform software
• NEM
• Ethereum
• Draft:Nihilo Blockchain Introduction
• Draft:Tron.network

P A G E Global Decentralized Gaming Community www.topc.io

Source URL: www.topc.io

• Cryptocurrencies
• Computing
• Video game publishers
• Economy
• Technology
• Decentralization
• Blockchains
• Ethereum
• Kin
• Monopoly
• Tencent
• Video game culture

Fuse Method Handles for Dynamic JVM Languages Shijie Xu David Bremner Daniel Heidinga

Source URL: xushijie.github.io

• Computing
• Java virtual machine
• Object-oriented programming languages
• Programming languages
• Scripting languages
• Computing platforms
• Da Vinci Machine
• Just-in-time compilation
• Java bytecode
• Bytecode
• JRuby
• Java

Towards a common philosophy of explanation for artificial and biological intelligence Jessica A.F. Thompson International Laboratory for Brain, Music and Sound Research Montréal, Canada Montreal Institute for Learning

Source URL: thompsonj.github.io

• Metaphysics
• Philosophy
• Epistemology of science
• Philosophy of science
• Cognitive science
• Emergence
• Cognition
• Mechanism
• Mind
• Computational neuroscience
• Explanation
• Occam's razor

Synthesis of Probabilistic Privacy Enforcement

Source URL: acmccs.github.io

Programming by Examples: Logical Reasoning meets Machine Learning NAMPI Workshop July 2018 Sumit Gulwani

Source URL: uclmr.github.io

• SUMIT
• Spreadsheet
• Computing
• Framework
• Symposium on Principles of Programming Languages
• Computer science
• Electrical engineering

Episode 132: Chitra Ragavan On Making Crypto Accessible Kelley Weaver: Welcome to Crypto Token Talk, a crypto 101 podcast exploring how blockchain applications like bitcoin, Ethereum, and other crypto assets could chan

Source URL: cryptotokentalk.io

• Decentralization
• Cryptocurrencies
• Computing
• Economy
• Cryptography
• Chitra
• Blockchain
• 9
• Fall
• Bitcoin

Episode 132: Chitra Ragavan On Making Crypto Accessible We sit down with Chitra Ragavan, Chief Strategy Officer of Gem. She tells us about how she first got involved with cryptocurrency, including having to get clearance

Source URL: cryptotokentalk.io

• Cryptocurrencies
• Economy
• Alternative currencies
• Digital currencies
• Cryptography
• Money
• Decentralization
• Uberisation
• Bitcoin

Open citation content data Cirtec project (former CyrCitEc/CitEcCyr) Sergey Parinov, CEMI RAS and RANEPA Cirtec project is funded by Russian Presidential

Source URL: workshop-oc.github.io

• Publishing
• Knowledge
• Information science
• Academic publishing
• Scholarly communication
• Bibliometrics
• Knowledge representation
• Records management
• Citation
• Open access

AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo Sylvain Conchon Mohamed Iguernlala

Source URL: mebsout.github.io

• Theoretical computer science
• Mathematical logic
• Logic
• Formal methods
• Alt-Ergo
• Electronic design automation
• Logic in computer science
• NP-complete problems
• Satisfiability modulo theories
• Axiom
• First-order logic
• Solver