THE RESEARCH ARCHIVES OF THE ORIENTAL INSTITUTE

First Page		Document Content
Date: 2013-11-18 13:16:07 Asia James Henry Breasted University of Chicago Oriental Institute Oriental Institute Oxford Oriental studies Nippur Library Tel Megiddo Librarian Library science Illinois Science		THE RESEARCH ARCHIVES OF THE ORIENTAL INSTITUTE Add to Reading List Source URL: oi.uchicago.edu Download Document from Source Website File Size: 892,12 KB Share Document on Facebook

	FROMM MUSIC FOUNDATION HARVARD UNIVERSITY 3 Oxford Street Cambridge, Massachusetts 02138, USA Tel: • Fax: CONTACT: Lesley Bannatyne DocID: 1xW2q - View Document
	Reachability Analysis of Deep Neural Networks with Provable Guarantees Wenjie Ruan1 , Xiaowei Huang2 , Marta Kwiatkowska1 Department of Computer Science, University of Oxford, UK 2 Department of Computer Science, Univers DocID: 1xW0E - View Document
	Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps Chang Hwan Peter Kim, Daniel Kroening, and Marta Kwiatkowska Department of Computer Science, University of Oxford, UK DocID: 1xVY6 - View Document
	Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK DocID: 1xVRU - View Document
	Friday, August 24, 2018 to Wednesday, January 2, 2019 Fall Schedule Regular Hours DocID: 1xVQ0 - View Document