In Pursuit of Error: A Survey of Uncertainty Visualization Evaluation Jessica Hullman, Xiaoli Qiao, Michael Correll, Alex Kale, Matthew Kay Abstract—Understanding and accounting for uncertainty is critical to effective

Source URL: idl.cs.washington.edu

PROJECT PAI TECHNICAL WHITEPAPER SUMMARY PAI BLOCKCHAIN PROTOCOL: A DECENTRALIZED ARTIFICIAL INTELLIGENCE NETWORK

Source URL: projectpai.com

• Cryptocurrencies
• Economy
• Money
• Finance
• Blockchains
• Alternative currencies
• Decentralization
• Bitcoin
• Counterparty
• Ethereum

fåîÉåíçêó ^ÅÅKVMUN pÅçííáëÜ=d~ÉäáÅ=qÉñíë=pçÅáÉíó k~íáçå~ä=iáÄê~êó=çÑ=pÅçíä~åÇ

Source URL: www.nls.uk

Rule Formats for Nominal Operational Semantics A very short and informal introduction Luca Aceto Gran Sasso Science Institute, L’Aquila, and ICE-TCS, School of Computer Science, Reykjavik University

Source URL: tlt2017.di.unito.it

• Theoretical computer science
• Logic in computer science
• Programming language semantics
• Operational semantics
• Semantics
• International Colloquium on Automata
• Languages and Programming
• Nominal
• Process calculi

Executable Counterexamples in Software Model Checking J. Gennari1 and A. Gurfinkel2 and T. Kahsai3 and J. A. Navas4 and E. J. Schwartz1 Presenter: Natarajan Shankar4 1 Carnegie

Source URL: seahorn.github.io

• Computing
• Computer programming
• C
• Data types
• Pointer
• Hooking
• Exec
• Nm
• Struct

Incentive Compatibility of Bitcoin Mining Pool Reward Functions Okke Schrijvers, Joseph Bonneau, Dan Boneh, and Tim Roughgarden Stanford University Abstract. In this paper we introduce a game-theoretic model for reward

Source URL: www.ifca.ai

• Cryptocurrencies
• Bitcoin
• Neuroscience
• Alternative currencies
• Economy
• Mining pool
• Money
• Reward system

Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput Will Martino, Monica Quaintance, Stuart Popejoy,

Source URL: kadena.io

• Cryptocurrencies
• Computing
• Concurrent computing
• Money
• Bitcoin
• SegWit
• Blockchain
• Merkle tree
• Proof-of-stake
• Lightning Network
• Peercoin
• Ethereum

Design of Knowledge Analytics Tools for Workplace Learning? Maria A Schett1 , Stefan Thalmann2 , and Ronald K Maier2 1 2

Source URL: ceur-ws.org

• Economy
• Business intelligence
• Finance
• Money
• Learning analytics
• Predictive analytics
• Analytics in higher education
• Analytics
• Usability
• Business analytics
• Architectural pattern
• Educational technology

Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems Tool Paper Sylvain Conchon1 , Amit Goel2 , Sava Krsti´c2 Alain Mebsout1 , and Fatiha Za¨ıdi1 1

Source URL: mebsout.github.io

• Theoretical computer science
• Logic in computer science
• Temporal logic
• Constraint programming
• Electronic design automation
• Satisfiability modulo theories
• Alt-Ergo
• Computation tree logic
• Model theory

CONFÉRENCE EN L’HONNEUR de François Loeser Organisée par A. Douai, J. Nicaise, F. Orgogozo et J. Sebag

Source URL: fl60.sciencesconf.org