USENIX Association Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI ’16)

Source URL: www.usenix.org

• Microsoft Research
• Aditya Akella
• Carnegie Mellon University
• Carnegie Mellon Silicon Valley
• Research
• Computer science
• Knowledge

Executive summary The Bank of Thailand (BOT) in cooperation with the Ministry of Finance (MOF) has set the goals and strategic directions for financial sector development through the implementation of the Financial Secto

Source URL: www.bot.or.th

• Economy
• Finance
• Money
• Banking
• Financial services
• Financial sector development
• International development
• Non-bank financial institution
• Access to finance
• Financial market
• Association of Southeast Asian Nations
• Financial system

This paper appears at the 9th USENIX Symposium on Networked Systems Design and Implementation (NSDIDetecting and Defending Against Third-Party Tracking on the Web Franziska Roesner, Tadayoshi Kohno, and David We

Source URL: www.doc.ic.ac.uk

RESEARCH BULLETIN MRL-0006 An efficient implementation of Monero subaddresses Sarang Noether∗ and Brandon Goodell†

Source URL: lab.getmonero.org

• Cryptocurrencies
• Cryptography
• Alternative currencies
• Economy
• Money
• CryptoNote
• Monero
• Hash function
• Ethereum
• Cryptographic hash function
• Wallet
• Ring signature

Introduction Encoding SC (LIA) into U+LIA Implementation and Future Work

Source URL: smt2014.it.uu.se

• Mathematics
• Multiset
• Set-builder notation

Rapyuta: The RoboEarth Cloud Engine Dominique Hunziker, Mohanarajah Gajamohan, Markus Waibel, and Raffaello D’Andrea Abstract— In this paper we present the design and implementation of Rapyuta1 , the RoboEarth Cloud

Source URL: roboearth.ethz.ch

• Computing
• Robotics
• Artificial intelligence
• Assistive technology
• Cloud computing
• Cloud robotics
• Rapyuta
• Robot Operating System
• Robot
• Mohanarajah Gajamohan
• Service robot
• Roomba

The Design and Implementation of the Model Constructing Satisfiability Calculus Dejan Jovanovi´c Clark Barrett

Source URL: csl.sri.com

• Theoretical computer science
• Computational complexity theory
• Mathematics
• Logic in computer science
• Constraint programming
• Electronic design automation
• Formal methods
• NP-complete problems
• Boolean satisfiability problem
• Conflict-driven clause learning
• Satisfiability modulo theories
• Unit propagation

Pascal Sprenger Design and Implementation of an ECN Proxy for Performance Improvements in the Internet

Source URL: nsg.ee.ethz.ch

• Computing
• Network performance
• Firewall software
• System software
• Flow control
• Explicit Congestion Notification
• Information and communications technology
• Transmission Control Protocol
• Netfilter
• Packet loss
• Firewall
• Communication protocol

Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Self-Formalisation of Higher-Order Logic Semantics, Soundness, and a Verified Implementation Ramana Kumar · Rob Arthan ·

Source URL: cakeml.org

• Mathematical logic
• Mathematics
• Logic
• Logic in computer science
• Proof assistants
• Model theory
• Proof theory
• Foundations of mathematics
• ZermeloFraenkel set theory
• HOL
• Gdel's completeness theorem
• Gdel's incompleteness theorems