Ox - PDFSEARCH.IO - Document Search Engine

Ox
Results: 11391

#	Item
1	LIPIcs Leibniz International Proceedings in Informatics Verification and Refutation of∗ Probabilistic Specifications via Games Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2009-10-23 08:59:09 Mathematics Algebra Abstract algebra Distribution Number theory Valuation Universal property BorelKolmogorov paradox
2	Reachability in Recursive Markov Decision Processes? Tom´ aˇs Br´ azdil, V´ aclav Broˇzek, Vojtˇech Forejt, and Anton´ın Kuˇcera Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 06:17:29 Mathematics Mathematical analysis Mathematical logic Boolean algebra Experiment Measure theory Sigma-algebra Symbol Lie algebras Moschovakis coding lemma Generalised Whitehead product
3	GRIP: Generic Representatives in PRISM Alastair F. Donaldson Codeplay Software Ltd. Edinburgh Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2007-07-05 11:36:54 Uniform polyhedra Prism PRISM model checker Model checking Grip
4	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 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2018-05-14 04:41:41 Artificial neural networks Mathematics Computational neuroscience Applied mathematics Mathematical analysis Lipschitz continuity operator Continuous function Gradient descent Convolutional neural network Rectifier Deep learning
5	Multi-objective discounted reward verification in graphs and MDPs Krishnendu Chatterjee1 , Vojtˇech Forejt2 , and Dominik Wojtczak3 1 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 11:49:36 Mathematical analysis Mathematics Dynamic programming Markov decision process Stochastic control Sigma-algebra
6	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 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-07-04 05:12:57 Computing Computer graphics 3D rendering Video game development Computer programming Graphics hardware Graphics libraries Texture atlas Graphics processing unit Texture mapping Optimizing compiler Rendering
7	PRISM-games: A Model Checker for Stochastic Multi-Player Games Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , and Aistis Simaitis1 1 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-01-13 05:57:32 Theoretical computer science Mathematics Model checkers Temporal logic PRISM model checker Computation tree logic Model checking Application software Stochastic game Strategy Stochastic process Game theory
8	A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation Luca Cardelli1,2 , Marta Kwiatkowska2 , and Luca Laurenti2 1 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-07-05 04:52:12 Mathematical analysis Functional analysis Metaphysics Stochastic processes Distribution Stochastic simulation Dynamical system
9	When Your Fitness Tracker Betrays You: Quantifying the Predictability of Biometric Features Across Contexts Simon Eberz∗ , Giulio Lovisotto∗ , Andrea Patan`e∗ , Marta Kwiatkowska∗ , Vincent Lenders† and Ivan Ma Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2018-04-03 02:53:51 Security engineering Biometrics Cryptography Prevention Surveillance Security Identification Authentication Facial recognition system Password Computer security Replay attack
10	Acta Informatica manuscript No. (will be inserted by the editor) Precise Parameter Synthesis for Stochastic Biochemical Systems ˇ ska · Frits Dannenberg · Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-03-04 09:24:11 Mathematics Mathematical analysis Distribution Functional analysis Parameter space Linear temporal logic BorelKolmogorov paradox