Paper - PDFSEARCH.IO - Document Search Engine

Paper
Results: 146959

#	Item
31	Luca Cardelli and the Early Evolution of ML David MacQueen Abstract Luca Cardelli has made an enormous range of contributions, but the focus of this paper is the beginning of his career and, in particular, his role in th Add to Reading List Source URL: sml-family.org Language: English - Date: 2016-04-04 09:33:37 Software engineering Computing Computer programming Functional languages Procedural programming languages Type theory Fellows of the Royal Society Data types ML Logic for Computable Functions Luca Cardelli Robin Milner
32	Empowering the Economy of Things weeve. network Token Paper (Part 3/4) Add to Reading List Source URL: weeve.network Language: English - Date: 2018-10-20 14:31:59 Cryptocurrencies Emerging technologies Blockchains Computing Cross-platform software Ethereum Technology Information Internet of things Computer network ternity Draft:Nihilo Blockchain Introduction
33	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 Formal methods Theoretical computer science Complexity classes Automated theorem proving Vampire NP IP Mathematics Constraint programming Proof compression
34	SoK: Making Sense of Censorship Resistance Systems That CRS SoK paper at PETS Sheharbano Khattak1, Tariq Elahi2, Laurent Simon1, Colleen M. Swanson3, Steven J. Murdoch4, Ian Goldberg5 1: University of Cambridge, 2: KU Le Add to Reading List Source URL: sheharbano.com Language: English - Date: 2017-02-16 07:58:33 Compagnies Rpublicaines de Scurit National Police
35	The Barcelogic SMT Solver (Tool Paper)? Miquel Bofill† , Robert Nieuwenhuis? , Albert Oliveras? , Enric Rodr´ıguez-Carbonell? and Albert Rubio? † Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2008-04-24 09:03:36 Theoretical computer science Mathematics Computational complexity theory Logic in computer science Constraint programming Electronic design automation Formal methods NP-complete problems Satisfiability modulo theories Boolean satisfiability problem Solver Maximum satisfiability problem
36	U Network: A Decentralized Protocol for Publishing and Valuing Online Content White Paper Version 1.0.3 Add to Reading List Source URL: u.network Language: English - Date: 2018-08-30 22:14:37 Cryptocurrencies Computing Digital media Blockchains Information Bitcoin Decentralization Ethereum Everipedia Prediction market Content creation
37	Paper Title (use style: paper title) Add to Reading List Source URL: prof.ict.ac.cn Language: English - Date: 2018-03-11 22:52:23 Computing Electronic engineering Computer architecture Application-specific integrated circuits Computer optimization Field-programmable gate array Hardware acceleration Reconfigurable computing OpenCL Apache Hadoop
38	An Open-Source Realtime Computational Platform (Short WIP Paper) Pavan Mehrotra∗ Sabar Dasgupta∗ Add to Reading List Source URL: bil.stanford.edu Language: English - Date: 2018-06-03 22:50:29 Computer programming Software engineering Computing Python Python implementations Jitter Synchronization Information theory Cross-platform software Cython NumPy Clock skew
39	Differential Power Analysis of XMSS and SPHINCS Matthias J. Kannwischer, Full paper available at kannwischer.eu Add to Reading List Source URL: kannwischer.eu Language: English - Date: 2018-04-11 11:26:21 Cryptography Cryptographic hash functions Post-quantum cryptography Hashing XMSS HMAC SHA-2 Hash function Crypt Hash-based cryptography
40	Building a Programmable Business Society Ultrain White Paper Version Add to Reading List Source URL: www.ultrain.io Language: English - Date: 2018-10-16 03:31:23 Cryptocurrencies Blockchains Computing Emerging technologies Concurrent computing Alternative currencies Distributed computing Ethereum Smart contract Bitcoin Internet of things ternity