AC - PDFSEARCH.IO - Document Search Engine

AC
Results: 359273

#	Item
1	A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK PrePost 2017 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-09-19 11:02:58 I1 Garbage collection
2	Counterexample-guided Refinement of Template Polyhedra Sergiy Bogomolov12, Goran Frehse3, Mirco Giacobbe2, and Thomas A. Henzinger2 1 3 Add to Reading List Source URL: repository.ist.ac.at Language: English - Date: 2018-02-08 07:01:31 Algebra Mathematics Convex geometry Linear algebra Convex analysis Convex cone Abstract interpretation Octahedron Polyhedron Linear programming Linear inequality Convex set
3	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
4	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
5	Coarse Geometry and Randomness Itai Benjamini October 30, 2013 Contents 1 Introductory graph and metric notions Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2013-10-31 04:13:56 Graph theory Dimension Isoperimetric dimension Mathematical analysis Cheeger constant Planar graph Vertex-transitive graph Expander graph Graph Connectivity Regular graph End
6	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
7	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
8	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
9	What is a Trace? A Runtime Verification Perspective Giles Reger1 1 2 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-10-13 07:25:09 Debugging Logic in computer science Runtime verification Software optimization Computing Instrumentation Tracing Information technology management Management
10	1 Safe Update of Hybrid SDN Networks Stefano Vissicchio, Laurent Vanbever, Luca Cittadini, Geoffrey G. Xie, Olivier Bonaventure Abstract—The support for safe network updates, i.e., live Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2016-12-20 05:43:00 Computing Internet architecture Information and communications technology Network architecture Emerging technologies Routing algorithms Routing Forwarding information base Link-state routing protocol Functional programming OpenFlow Network function virtualization