Abstract - PDFSEARCH.IO - Document Search Engine

Abstract
Results: 68258

#	Item
41	Verifying computations with state Benjamin Braun, Ariel J. Feldman⋆ , Zuocheng Ren, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin ⋆ University of Pennsylvania Abstract When Add to Reading List Source URL: www.pepper-project.org Language: English - Date: 2017-11-11 14:59:54 Cryptography Distributed computing architecture Parallel computing MapReduce Certificate IP NP Commitment scheme PP Computational complexity theory
42	Wormhole: A Smart Contract Solution for Bitcoin Cash Abstract Born at block height 478,558, Bitcoin Cash (BCH) has been dedicated to bringing a reliable electronic cash to the world and fulfilling Satoshi’s original vi Add to Reading List Source URL: www.wormhole.cash Language: English - Date: 2018-09-14 08:20:01 Cryptocurrencies Computing Concurrent computing Currency Ethereum Bitcoin Cash Blockchain Bitcoin Smart contract
43	Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables Alexandre Chapoutot LIP6 - Universit´e Pierre et Marie Curie 4, place Jussieur FParis Cedex 05 France Add to Reading List Source URL: perso.ensta-paristech.fr Language: English - Date: 2012-12-19 06:23:54 Mathematics Mathematical analysis Analysis Computer arithmetic Numerical analysis Arithmetic Functions and mappings Differential calculus Interval arithmetic Rounding Derivative Integral
44	Specification Revision for Markov Decision Processes with Optimal Trade-off M. Lahijanian and M. Kwiatkowska Abstract— Optimal control policy synthesis for probabilistic systems from high-level specifications is increa Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-09-15 09:37:52 Logic 120-cell Linear temporal logic Substitution Markov decision process Symbol Theoretical computer science Mathematical logic
45	LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2018-08-15 07:19:25 Computer programming Software engineering Computing Fold Recursion LaTeX
46	Robot Learning with a Spatial, Temporal, and Causal And-Or Graph Caiming Xiong∗ , Nishant Shukla∗ , Wenlong Xiong, and Song-Chun Zhu Abstract— We propose a stochastic graph-based framework for a robot to understand Add to Reading List Source URL: shukla.io Language: English - Date: 2017-05-18 12:57:06 Metaphysics Mathematics Applied mathematics Computational neuroscience Graph theory Artificial neural network Market research Mathematical psychology Bayesian network Causality Graph rewriting Motion planning
47	Hub Human Trust Protocol Eric Ly, Rich Miller, Miko Matsumura “The currency of the new economy is trust” – Rachel Botsman [1] Abstract Whether through messaging systems, online communities, social networks, or the Add to Reading List Source URL: hubtoken.org Language: English - Date: 2018-10-03 17:04:44 Computing Social information processing Cryptography Reputation management Cryptocurrencies Technology Computer access control Reputation system Blockchain Trust Internet privacy Authentication
48	An extended abstract of this paper appears in Victor Shoup, editor, Advances in Cryptology – CRYPTO 2005, Volume 3621 of Lecture Notes in Computer Science, pages 205–222, Santa Barbara, California, August 14 – 18, Add to Reading List Source URL: www.neven.org Language: English - Date: 2012-04-18 06:07:55 Cryptography Public-key cryptography Identity-based cryptography ID-based encryption Advantage Paillier cryptosystem BonehFranklin scheme
49	A BOUNDEDNESS THEOREM FOR NEARBY SLOPES OF HOLONOMIC D-MODULES by Jean-Baptiste Teyssier Abstract. — Using twisted nearby cycles, we define a new notion of slopes for complex holonomic D-modules. We prove a boundednes Add to Reading List Source URL: jbteyssier.com Language: English - Date: 2015-09-11 11:04:53 Mathematics Mathematical analysis Abstract algebra Sheaf theory Divisor D-module Extreme value theorem Commutative algebra Algebraic geometry Morphism of algebraic varieties Dimension theory
50	THE GLOBAL VILLAGERS: COMPARING INTERNET USERS AND USES AROUND THE WORLD1 Wenhong Chen, Jeffrey Boase, and Barry Wellman Department of Sociology, University of Toronto Abstract Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2017-09-21 13:37:53 Technology Culture Cultural globalization Information and communications technology Digital media Rural economics Social inequality Technology development Digital divide Internet access Internet Digital divide by country