1760 Neil Avenue 150 Pomerene Hall Columbus, OH[removed]Phone: ([removed]

First Page		Document Content
Date: 2008-01-30 16:35:26 Design Portable Document Format Adobe Acrobat Accessibility Web Content Accessibility Guidelines WebAIM Web page Screen reader World Wide Web Computing Web accessibility Software		1760 Neil Avenue 150 Pomerene Hall Columbus, OH[removed]Phone: ([removed] Add to Reading List Source URL: wac.osu.edu Download Document from Source Website File Size: 194,21 KB Share Document on Facebook

	Functional Programming for Compiling and Decompiling Computer-Aided Design DocID: 1xW3j - View Document
	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, DocID: 1xVYM - View Document
	USENIX Association Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI ’16) DocID: 1xVWi - View Document
	Design of Knowledge Analytics Tools for Workplace Learning? Maria A Schett1 , Stefan Thalmann2 , and Ronald K Maier2 1 2 DocID: 1xVWa - View Document
	An empirical analysis of smart contracts: platforms, applications, and design patterns Massimo Bartoletti and Livio Pompianu arXiv:1703.06322v1 [cs.CR] 18 Mar 2017 DocID: 1xVVD - View Document