<--- Back to Details
First PageDocument Content
South East England / Oxfordshire / Alexander Helladius / Greeks / Worcester College /  Oxford / Smyrna / Metrophanes / Oxford / Modern Greek / Local government in England / Greek College /  Oxford / Greek Orthodoxy
Date: 2010-03-25 06:25:16
South East England
Oxfordshire
Alexander Helladius
Greeks
Worcester College
Oxford
Smyrna
Metrophanes
Oxford
Modern Greek
Local government in England
Greek College
Oxford
Greek Orthodoxy

Add to Reading List

Source URL: oxoniensia.org

Download Document from Source Website

File Size: 3,34 MB

Share Document on Facebook

Similar Documents

Guggenheim Fellows / Classical music / Music / Paul Fromm / Eugene O'Brien / Chihchun Chi-sun Lee

FROMM MUSIC FOUNDATION HARVARD UNIVERSITY 3 Oxford Street Cambridge, Massachusetts 02138, USA Tel: • Fax: CONTACT: Lesley Bannatyne

DocID: 1xW2q - View Document

Artificial neural networks / Mathematics / Computational neuroscience / Applied mathematics / Mathematical analysis / Lipschitz continuity / operator / Continuous function / Gradient descent / Convolutional neural network / Rectifier / Deep learning

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

Computing / Computer graphics / 3D rendering / Video game development / Computer programming / Graphics hardware / Graphics libraries / Texture atlas / Graphics processing unit / Texture mapping / Optimizing compiler / Rendering

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

Mathematics / Mathematical analysis / Temporal logic / Computation tree logic / Logic in computer science / Distribution / Symbol / Constructible universe / Linear temporal logic / Craig interpolation

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