Department of Computer Science, University of Oxford - PDFSEARCH.IO - Document Search Engine

Department of Computer Science, University of Oxford
Results: 170

#	Item
1	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
2	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
3	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 Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2012-05-10 09:21:59 Mathematics Mathematical analysis Temporal logic Computation tree logic Logic in computer science Distribution Symbol Constructible universe Linear temporal logic Craig interpolation
4	Playing Stochastic Games Precisely Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , Aistis Simaitis1 , Ashutosh Trivedi2 , and Michael Ummels3 1 Department of Computer Science, University of Oxford, Oxford, UK Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2012-10-17 07:22:55 Mathematics Measure theory Boolean algebra Experiment Sigma-algebra Determinacy Abstract algebra Stochastic game -automaton Lie algebras Lifting theory Littelmann path model
5	A Closed-loop quantitative verification of rate-adaptive pacemakers NICOLA PAOLETTI, University of Oxford, Department of Computer Science ANDREA PATANE` , University of Catania, Department of Mathematics and Computer Sci Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-12-05 09:33:38 Mathematical analysis Mathematics Embedded systems Prosthetics Artificial cardiac pacemaker Cardiac electrophysiology Cybernetics Neuroprosthetics IP Analysis FO Dirac delta function
6	Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions Aleksandra Jovanovi´c, Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, UK Abstract Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-05-12 04:35:43 Statistical models Probability and statistics Statistical theory Statistics Timed automaton Parametric model Parameter Markov decision process Markov chain
7	Stochastic Analysis of Chemical Reaction Networks Using Linear Noise ApproximationI Luca Cardellia,b,∗, Marta Kwiatkowskaa,∗, Luca Laurentia,∗ a Department of Computer Science, University of Oxford Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-11-02 05:37:42 Mathematical analysis Statistical randomness Metaphysics Stochastic processes Generalized functions Stochastic simulation Distribution Dynamical system Markov chain
8	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 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2012-01-06 05:40:55 Mathematics Mathematical analysis Temporal logic Computation tree logic Logic in computer science Distribution Symbol Constructible universe Linear temporal logic Craig interpolation
9	Bisimilarity of Probabilistic Pushdown Automata Vojtěch Forejt1 , Petr Jančar2 , Stefan Kiefer1 , and James Worrell1 1 2 Department of Computer Science, University of Oxford, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 10:21:43 Formal languages Mathematics Theoretical computer science Models of computation Discrete mathematics Nested word Words Bisimulation Distribution Deterministic pushdown automaton
10	Chemical Reaction Network Designs for Asynchronous Logic Circuits∗ Luca Cardelli1,2 , Marta Kwiatkowska1 , and Max Whitby1 1 Department of Computer Science, University of Oxford Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-06-17 04:03:10 Electronic engineering Logic gates Digital electronics Electrical engineering Electronics Electrical circuits Digital systems Clock signal C-element Asynchronous circuit Sequential logic Flip-flop

UPDATE