First Page | Document Content | |
---|---|---|
![]() Date: 2018-02-19 21:13:22Physics Logic Quantity VLO Traffic collision avoidance system Work Quantifier | Add to Reading List |
![]() | DryadSynth: A Concolic SyGuS Solver Xiaokang Qiu (joint work with Kangjing Huang and Yanjun Wang) Purdue University SYNT WorkshopDocID: 1xW38 - View Document |
![]() | Reasoning about Resource-bounded Agents Natasha Alechina joint work with Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Nils Bulling Agent Verification WorkshopDocID: 1xVYq - View Document |
![]() | Designing Proof of Human-work Puzzles for Cryptocurrency and Beyond∗ Jeremiah Blocki Purdue University, Hong-Sheng Zhou Virginia Commonwealth University,DocID: 1xVWJ - View Document |
![]() | Getting to Work with OpenPiton Princeton University http://openpiton.org OpenPitDocID: 1xVWB - View Document |
![]() | Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput Will Martino, Monica Quaintance, Stuart Popejoy,DocID: 1xVWn - View Document |