Abstract - PDFSEARCH.IO - Document Search Engine

Abstract
Results: 68258

#	Item
311	Semantics of Interaction Samson Abramsky Abstract The “classical” paradigm for denotational semantics models data types as domains, i.e. structured sets of some kind, and programs as (suitable) functions between doma Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2003-02-27 10:19:48 Theoretical computer science Logic in computer science Programming language semantics Models of computation Game theory Semantics Denotational semantics Game semantics Determinacy Samson Abramsky Operational semantics
312	The Gemini Dollar: A Regulated Stable Value Coin Gemini Trust Company, LLC Abstract. The Gemini dollar is a cryptographic token that is (i) issued by a New York trust company, (ii) strictly pegged Add to Reading List Source URL: gemini.com Language: English - Date: 2018-08-26 21:22:01 Cryptocurrencies Concurrent computing Distributed computing E-commerce Gemini Stablecoin Tether Smart contract Ethereum Bitcoin ERC-20 Kin
313	BOXES: A Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Functions and mappings Function Graph of a function Abstraction Structure
314	Large scale Sobolev inequalities on metric measure spaces and applications. Romain Tessera October 29, 2010 Abstract For functions on a metric measure space, we introduce a notion of Add to Reading List Source URL: www.normalesup.org Language: English - Date: 2010-10-28 18:34:34 Mathematical analysis Mathematics Geometry Metric geometry Sobolev spaces Inequalities Function spaces Measure theory Sobolev inequality Metric space Lp space Quasi-isometry
315	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: b0x.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
316	Dissertation Abstract: Exploiting Symmetries in Sequential Decision Making under Uncertainty Ankit Anand Indian Institute of Technology, Delhi New Delhi,India Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:17 Statistical randomness Metaphysics Free software Game artificial intelligence Dynamic programming Markov processes Stochastic control Rondebosch University of Cape Town Monte Carlo tree search Abstraction Markov decision process
317	Payment Network Design with Fees Georgia Avarikioti, Gerrit Janssen, Yuyi Wang, and Roger Wattenhofer ETH Zurich, Switzerland {zetavar,gjanssen,yuwang,wattenhofer}@ethz.ch Abstract. Payment channels are the most promine Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2018-08-17 10:43:16 Mathematics Graph theory Computational complexity theory Network theory Edsger W. Dijkstra Computational problems Combinatorial optimization Shortest path problem Dynamic programming Graph Optimization problem Bitcoin
318	Semantic Security Invariance under Variant Computational Assumptions Eftychios Theodorakis? and John C. Mitchell?? Abstract. A game-based cryptographic proof is a relation that establishes equivalence between probabilist Add to Reading List Source URL: eftychis.org Language: English - Date: 2018-02-16 15:03:09 Cryptography Computational hardness assumptions Decisional DiffieHellman assumption Computational DiffieHellman assumption Decision Linear assumption DiffieHellman problem Learning with errors Weight Provable security IP XDH assumption Ideal lattice cryptography
319	Dissertation Abstract: Numeric Planning Johannes Aldinger Albert-Ludwigs-Universit¨at Freiburg Institut f¨ur Informatik Georges-K¨ohler-AlleeFreiburg, Germany Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:13 Automated planning and scheduling Planning Domain Definition Language Mathematics Heuristic Search algorithm Algorithm Equation solving Philosophy of mathematics Abstraction
320	dReach: δ-Reachability Analysis for Hybrid Systems Soonho Kong, Sicun Gao, Wei Chen, and Edmund Clarke Computer Science Department, Carnegie Mellon University, USA Abstract. dReach is a bounded reachability analysis to Add to Reading List Source URL: scungao.github.io Language: English - Date: 2018-09-27 16:37:21 Theoretical computer science Mathematics Dynamical systems Systems science Control theory Hybrid system Systems theory Satisfiability modulo theories

UPDATE