Department of Computer Science, University of Oxford

Results: 170



#Item
1Artificial 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

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2018-05-14 04:41:41
2Computing / 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

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2016-07-04 05:12:57
3Mathematics / 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

Add to Reading List

Source URL: www.prismmodelchecker.org

Language: English - Date: 2012-05-10 09:21:59
4Mathematics / Measure theory / Boolean algebra / Experiment / Sigma-algebra / Determinacy / Abstract algebra / Stochastic game / -automaton / Lie algebras / Lifting theory / Littelmann path model

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
5Mathematical analysis / Mathematics / Embedded systems / Prosthetics / Artificial cardiac pacemaker / Cardiac electrophysiology / Cybernetics / Neuroprosthetics / IP / Analysis / FO / Dirac delta function

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
6Statistical models / Probability and statistics / Statistical theory / Statistics / Timed automaton / Parametric model / Parameter / Markov decision process / Markov chain

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
7Mathematical analysis / Statistical randomness / Metaphysics / Stochastic processes / Generalized functions / Stochastic simulation / Distribution / Dynamical system / Markov chain

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
8Mathematics / 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

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2012-01-06 05:40:55
9Formal languages / Mathematics / Theoretical computer science / Models of computation / Discrete mathematics / Nested word / Words / Bisimulation / Distribution / Deterministic pushdown automaton

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
10Electronic engineering / Logic gates / Digital electronics / Electrical engineering / Electronics / Electrical circuits / Digital systems / Clock signal / C-element / Asynchronous circuit / Sequential logic / Flip-flop

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
UPDATE