Abstract - PDFSEARCH.IO - Document Search Engine

Abstract
Results: 68258

#	Item
191	Three Bits Suffice: Explicit Support for Passive Measurement of Internet Latency in QUIC and TCP Piet De Vaere, Tobias Bühler, Mirja Kühlewind, and Brian Trammell ETH Zurich, Switzerland ABSTRACT Add to Reading List Source URL: nsg.ee.ethz.ch Language: English - Date: 2018-09-17 09:36:15 Data transmission Computing Computer networking Network performance Internet protocols Information and communications technology QUIC Round-trip delay time Transmission Control Protocol Packet loss Transport layer Latency
192	THREE PUZZLES ON MATHEMATICS, COMPUTATION, AND GAMES GIL KALAI HEBREW UNIVERSITY OF JERUSALEM AND YALE UNIVERSITY Abstract. In this lecture I will talk about three mathematical puzzles involving mathematics and computati Add to Reading List Source URL: eta.impa.br Language: English - Date: 2018-07-28 17:09:47 Computational complexity theory Mathematics Theoretical computer science Complexity classes Analysis of algorithms Quantum computing Linear programming Simplex algorithm Quantum algorithm P versus NP problem Quantum supremacy Time complexity
193	Compositional Controller Synthesis for Stochastic Games Nicolas Basset, Marta Kwiatkowska, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. Design of autonomous systems Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2015-10-18 19:27:58 Mathematical analysis Measure theory Ergodic theory Lie algebras Stochastic processes
194	Suggesting Edits to Explain Failing Traces Giles Reger University of Manchester, UK Abstract. Runtime verification involves checking whether an execution trace produced by a running system satisfies a specification. Howe Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 13:08:32 Mathematics Algebra Theoretical computer science Finite automata Linear algebra Finite-state transducer Dynamic programming Edit distance Trace Finite-state machine Shortest path problem Levenshtein distance
195	Bitcoin: A Peer-to-Peer Electronic Cash System Satoshi Nakamoto www.bitcoin.org Abstract. A purely peer-to-peer version of electronic cash would allow online Add to Reading List Source URL: www.bitcoincash.org Language: English - Date: 2018-10-16 02:24:07 Cryptocurrencies Bitcoin Digital currencies Cryptographic hash functions Error detection and correction Computing Information retrieval Information science Vic coin Bitcoin network Blockchain Merkle tree
196	NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev ETH Z¨urich netcomplete.ethz.ch Abstract Add to Reading List Source URL: nsg.ee.ethz.ch Language: English - Date: 2018-02-25 19:48:09 Computing Network architecture Routing protocols Internet Standards Data transmission Internet protocols Internet architecture Computer networking Border Gateway Protocol Open Shortest Path First IS-IS Convergence
197	FUNCTOR CATEGORIES AND STABLE HOMOLOGY VIA FUNCTOR HOMOLOGY CHRISTINE VESPA Abstract. This text is a preliminary version of material used for a course at the University of Tokyo, January 18-22, 2016. These lectures conce Add to Reading List Source URL: irma.math.unistra.fr Language: English - Date: 2016-01-15 11:21:52 Algebra Abstract algebra Mathematics Homological algebra Functors Category theory Additive categories Equivalence Exact functor Natural transformation Adjoint functors Hochschild homology
198	Whitepaper © 2018 bZeroX, LLC Abstract bZx is built on Ethereum and integrated with the 0x protocol. It is the first Add to Reading List Source URL: bzx.network Language: English - Date: 2018-10-25 11:26:51 Economy Cryptocurrencies Money Finance Blockchains Financial technology Decentralization Ethereum Counterparty Futures contract Smart contract Oracle Corporation
199	Splitting on Demand in SAT Modulo Theories Clark Barrett? , Robert Nieuwenhuis?? , Albert Oliveras??, and Cesare Tinelli? ? ? Abstract. Lazy algorithms for Satisfiability Modulo Theories (SMT) combine a generic DPLL-base Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2006-07-31 08:38:18 Theoretical computer science Mathematical logic Mathematics Constraint programming Automated theorem proving Logic in computer science Formal methods Propositional calculus Satisfiability modulo theories DPLL algorithm Unit propagation Solver
200	Parametric Higher-Order Abstract Syntax for Mechanized Semantics Adam Chlipala Harvard University Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2016-01-02 15:47:17 Computer programming Declarative programming Software engineering Exponentials Dependently typed programming Higher-order abstract syntax Logic programming Programming language theory Type theory Exponentiation Monad ?:

UPDATE