Algorithmica: 287–301 DOI: s00453Algorithmica ©

First Page		Document Content
Date: 2005-12-09 06:22:22 Classical mechanics Computer vision Force Natural philosophy Cartographic generalization Euclidean vector Object-oriented design Work Object recognition Physics Introductory physics Physical quantities		Algorithmica: 287–301 DOI: s00453Algorithmica © Add to Reading List Source URL: users.cs.cf.ac.uk Download Document from Source Website File Size: 220,55 KB Share Document on Facebook

	DryadSynth: A Concolic SyGuS Solver Xiaokang Qiu (joint work with Kangjing Huang and Yanjun Wang) Purdue University SYNT Workshop DocID: 1xW38 - View Document
	Reasoning about Resource-bounded Agents Natasha Alechina joint work with Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Nils Bulling Agent Verification Workshop DocID: 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 OpenPit DocID: 1xVWB - View Document
	Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput Will Martino, Monica Quaintance, Stuart Popejoy, DocID: 1xVWn - View Document