Functional Programming for Compiling and Decompiling Computer-Aided Design

Source URL: ttaylorr.com

• 3D computer graphics
• Computer graphics
• Computer-aided engineering
• Polygon mesh
• STL
• Constructive solid geometry
• 3D modeling
• Mesh
• Geometry processing

Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial,

Source URL: www.prismmodelchecker.org

• Mathematical analysis
• Mathematics
• Measure theory
• Boolean algebra
• Experiment
• Sigma-algebra
• Determinacy
• Stochastic game
• Linear temporal logic
• Markov chain
• Markov decision process

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

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

An empirical analysis of smart contracts: platforms, applications, and design patterns Massimo Bartoletti and Livio Pompianu arXiv:1703.06322v1 [cs.CR] 18 Mar 2017

Source URL: arxiv.org

• Cryptocurrencies
• Blockchains
• Economy
• Cross-platform software
• Money
• Concurrent computing
• Alternative currencies
• Ethereum
• Smart contract
• Counterparty
• RootStock
• Bitcoin

Nickel: A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang University of Washington

Source URL: unsat.cs.washington.edu

• Formal methods
• Software engineering
• Computing
• Logic in computer science
• Non-interference
• Exception handling
• Formal verification
• Refinement
• Thread
• Futures and promises
• Covert channel
• Application programming interface

System Design and the Advanced Calculator for PowerSpout Please read this manual carefully

Source URL: powerspout.com

• Energy
• Photovoltaics
• Electric power
• Electromagnetism
• Photovoltaic system
• Maximum power point tracking
• Electrical grid
• Electric power transmission
• Calculator

On Elicitation and Mechanism Design Bo Waggoner, UPenn January

Source URL: www.bowaggoner.com

• Connection
• Partial differential equations
• Mathematical analysis
• Operator theory
• Finite automata
• Mathematics

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