AC

Results: 359273



#Item
81Formal methods / Theoretical computer science / Complexity classes / Automated theorem proving / Vampire / NP / IP / Mathematics / Constraint programming / Proof compression

Cooperating Proof Attempts Giles Reger, Dmitry Tishkovsky, and Andrei Voronkov ? University of Manchester, Manchester, UK Abstract. This paper introduces a pseudo-concurrent architecture for first-order saturation-based

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2016-07-20 13:24:09
82Temporal logic / Mathematics / Mathematical analysis / Theoretical computer science / Linear temporal logic / Computation tree logic / IP / Symbol / Distribution / Craig interpolation / Universal representation

Model Checking Probabilistic Knowledge: A PSPACE Case Xiaowei Huang and Marta Kwiatkowska University of Oxford, UK Abstract Model checking probabilistic knowledge of memoryful semantics is undecidable, even for a simple

Add to Reading List

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

Language: English - Date: 2015-12-10 11:06:15
83Computer arithmetic / Arithmetic / Computing / Binary arithmetic / Theory of computation / Data types / IEEE standards / Decimal64 floating-point format / IEEE 754 / Double-precision floating-point format / cole normale suprieure de Lyon / Algorithm

Formal Correctness of Comparison Algorithms between Binary64 and Decimal64 Floating-point Numbers Arthur Blot ENS Lyon, France NSV, July 22-23, 2017

Add to Reading List

Source URL: www.cs.ox.ac.uk

Language: English - Date: 2017-07-31 08:52:27
84Temporal logic / Logic in computer science / Model checkers / Linear temporal logic / Computation tree logic / Model checking / PAT / Synthesis / Mathematics

Dissertation Reactive Synthesis: branching logic & parameteri zed systems Ayrat Khalimov Advisor: Roderick Bloem

Add to Reading List

Source URL: cgi.csc.liv.ac.uk

Language: English - Date: 2018-05-18 11:56:24
85Theoretical computer science / Logic / Mathematical logic / Logic in computer science / Artificial intelligence / Automated reasoning / Automated theorem proving / Predicate logic / Quantifier / Andrei Voronkov / Z3 / Alt-Ergo

AVATAR Modulo Theories Nikolaj Bjøner1 Giles Reger2 Martin Suda3 Andrei Voronkov2,4,5 1 Microsoft Research, Redmond, USA University of Manchester, Manchester, UK

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2016-10-06 05:17:59
86Mathematical analysis / Fractals / Complex dynamics / Mathematics / Dynamical systems / Metaphysics / Systems theory / Periodic point / Julia set / Orbit / Complex quadratic polynomial / Periodic points of complex quadratic mappings

An Introduction to the Dynamics of Real and Complex Quadratic Polynomials. May 30, 2011 Abstract

Add to Reading List

Source URL: www.homepages.ucl.ac.uk

Language: English - Date: 2015-06-01 06:51:26
87Internet architecture / Computing / Network architecture / Information and communications technology / Computer networking / Routing / Internet Standards / Networking hardware / Router / Forwarding plane / Multiprotocol Label Switching / NetFlow

Stroboscope: Declarative Network Monitoring on a Budget https://stroboscope.ethz.ch Olivier Tilmans Tobias Bühler Ingmar Poese

Add to Reading List

Source URL: www0.cs.ucl.ac.uk

Language: English - Date: 2018-03-05 06:59:18
88Computing / Internet architecture / Information and communications technology / Routing / Data transmission / Computer networking / Network architecture / Emerging technologies / OpenFlow / Software-defined networking / Forwarding information base / Forwarding

IGP-as-a-Backup for Robust SDN Networks Olivier Tilmans Stefano Vissicchio Universit´e catholique de Louvain

Add to Reading List

Source URL: inl.info.ucl.ac.be

Language: English - Date: 2018-05-31 05:55:31
89Probability and statistics / Numerical analysis / Probability theory / Analysis / Probability bounds analysis / Mathematical modeling / Operations research / Uncertainty quantification / Probability box / DempsterShafer theory / Uncertainty / Monte Carlo method

L IVERPOOL U NIVERSITY M ASTER OF R ESEARCH D ECISION M AKING U NDER R ISK AND U NCERTAINTY Robust Probabilistic Risk/Safety Analysis

Add to Reading List

Source URL: cgi.csc.liv.ac.uk

Language: English - Date: 2015-11-02 10:32:02
90

Language-level Symmetry Reduction for Probabilistic Model Checking Alastair F. Donaldson Alice Miller David Parker Computing Laboratory Department of Computing Science

Add to Reading List

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

Language: English - Date: 2009-07-01 05:37:09
    UPDATE