Formalizing Visualization Design Knowledge as Constraints: Actionable and Extensible Models in Draco Dominik Moritz, Chenglong Wang, Greg L. Nelson, Halden Lin, Adam M. Smith, Bill Howe, Jeffrey Heer Abstract—There exi

Source URL: idl.cs.washington.edu

Sentinel Protocol Security Intelligence Platform for Blockchain Abstract The rapid development of computer technology in the 21st century has led to the manifestation of sophisticated and intelligent threats that

Source URL: s3-ap-southeast-1.amazonaws.com

• Cryptocurrencies
• Alternative currencies
• Economy
• Money
• Bitcoin
• Blockchains
• Computing
• Decentralization
• Ethereum
• Digital currency
• Proof-of-stake
• Draft:Nihilo Blockchain Introduction

An Object-Oriented Framework for Explicit-State Model Checking Mark Kattenbelt1 and Theo C. Ruys2 and Arend Rensink2 Abstract. This paper presents a conceptual architecture for an object-oriented framework to support the

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

• Theoretical computer science
• Formal methods
• Computing
• Mathematics
• Logic in computer science
• Graph rewriting
• Model checking
• Algorithm
• Formal verification
• Abstraction
• Generic programming
• Finite-state machine

The Unbearable Lightness of Monitoring: Direct Monitoring in BitTorrent Tom Chothia, Marco Cova, Chris Novakovic, and Camilo Gonz´alez Toro School of Computer Science, University of Birmingham, UK Abstract. It is known

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

• BitTorrent
• Peer-to-peer file sharing
• File sharing
• Computing
• Comparison of BitTorrent clients
• Torrent file
• The Pirate Bay
• Copyright infringement
• Peer-to-peer
• Peer exchange
• Torrent poisoning

Sound Numeric Computations in Abstract Acceleration Dario Cattaruzza Alessandro Abate Daniel Kroening

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

• Algebra
• Linear algebra
• Mathematics
• Matrix theory
• Numerical linear algebra
• Eigendecomposition of a matrix
• Eigenvalues and eigenvectors
• Matrix
• State-space representation
• Lanczos algorithm
• Eigenvalue perturbation

Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial,

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

• Mathematical analysis
• Mathematics
• Measure theory
• Boolean algebra
• Experiment
• Sigma-algebra
• Determinacy
• Stochastic game
• Linear temporal logic
• Markov chain
• Markov decision process

Abstract DPLL and Abstract DPLL Modulo Theories Robert Nieuwenhuis? , Albert Oliveras? , and Cesare Tinelli ??

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Mathematical logic
• Mathematics
• Automated theorem proving
• Boolean algebra
• Constraint programming
• Logic in computer science
• Formal methods
• DPLL algorithm
• Conflict-driven clause learning
• Boolean satisfiability problem
• Satisfiability modulo theories

FAKE PROJECTIVE SPACES AND FAKE TORI OLIVIER DEBARRE Abstract. Hirzebruch and Kodaira proved in 1957 that when n is odd, any compact K¨ ahler manifold X which is homeomorphic to Pn is isomorphic to Pn . This holds for a

Source URL: www.math.ens.fr

• Algebra
• Abstract algebra
• Cohomology theories
• Algebraic geometry
• Homological algebra
• Birational geometry
• Algebraic surfaces
• Cohomology
• Projective variety
• Hodge theory
• tale cohomology
• Kodaira dimension

DPLL(T) with Exhaustive Theory Propagation and its Application to Difference Logic Robert Nieuwenhuis and Albert Oliveras? Abstract. At CAV’04 we presented the DPLL(T ) approach for satisfiability modulo theories T . I

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Mathematics
• Mathematical logic
• Boolean algebra
• Formal methods
• Logic in computer science
• Electronic design automation
• NP-complete problems
• Boolean satisfiability problem
• Satisfiability modulo theories
• Unit propagation
• Literal

Cream version 1.2 Programmers Guide Naoyuki Tamura http://bach.istc.kobe-u.ac.jp/cream/ Oct. 5, 2004 Abstract

Source URL: bach.istc.kobe-u.ac.jp

• Software engineering
• Computer programming
• Computing
• Mathematical modeling
• Numerical software
• Constraint satisfaction
• Constraint programming
• AMPL
• Solver
• Lis
• Prolog
• Quadratic programming