Arthur - PDFSEARCH.IO - Document Search Engine

Arthur
Results: 8761

#	Item
1	Noname manuscript No. (will be inserted by the editor) The Locally Nameless Representation Arthur Chargu´ eraud Add to Reading List Source URL: www.chargueraud.org Language: English - Date: 2014-02-04 05:58:39 Mathematics Software engineering Theoretical computer science Lambda calculus De Bruijn index Free variables and bound variables Variable Substitution Term Parameter Closure Expression
2	Fetch.AI: Token Overview A decentralised world for the future economy Toby Simpson, Arthur Meadows, Humayun Sheikh AugustINITIAL RELEASE Add to Reading List Source URL: fetch.ai Language: English - Date: 2018-10-24 07:00:02 Cryptocurrencies Blockchains Numismatics Ethereum Kin Token coin Access token Token Distributed computing Concurrent computing Computer access control Draft:Bancor protocol
3	ZKPROOF WORKSHOP AT ZCON0SPEAKERS: Daniel Benarroch, Eran Tromer, Muthu Venkitasubramaniam, Andrew Miller, Sean Bowe, Nicola Greco, Izaak Meckler, Thibaut Schaeffer NOTE TAKERS: Arthur Prats, Vincent Clouti Add to Reading List Source URL: zkproof.org Language: English - Date: 2018-10-25 10:32:39 Cryptography Computing Public-key cryptography Non-interactive zero-knowledge proof Cryptographic protocol Computational complexity theory E-commerce Secure communication Zero-knowledge proof ZK Cryptographic primitive Gadget
4	Formal Correctness of Comparison Algorithms between Binary64 and Decimal64 Floating-point Numbers Arthur Blot ENS Lyon, France NSV, July 22-23, 2017 Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2017-07-31 08:52:27 Computer arithmetic Arithmetic Computing Binary arithmetic Theory of computation Data types IEEE standards Decimal64 floating-point format IEEE 754 Double-precision floating-point format cole normale suprieure de Lyon Algorithm
5	A Trusted Mechanised JavaScript Specification Martin Bodin Arthur Charguéraud Daniele Filaretti Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2014-04-07 04:56:31
6	Quantifying Web Adblocker Privacy ∗ ˇ Arthur Gervais∗ , Alexandros Filios∗ , Vincent Lenders† , Srdjan Capkun ∗ ETH Add to Reading List Source URL: www.lenders.ch Language: English - Date: 2016-10-29 05:04:43 Software Advertising Firefox add-ons Online advertising Google Chrome extensions Ad blocking software Advertising-free media Ghostery Internet privacy Adblock Plus Browser extension HTTP cookie
7	INITIAL INTEGRATION AND EVALUATION OF SLATE PARALLEL BLAS IN LATTE Marc Cawkwell, Danny Perez, Arthur Voter Asim YarKhan, Gerald Ragghianti, Jack Dongarra, Introduction Add to Reading List Source URL: www.icl.utk.edu Language: English - Date: 2018-07-02 10:42:06 Numerical software Computing Numerical analysis Numerical linear algebra Computer programming Basic Linear Algebra Subprograms LAPACK PBLAS Graphics processing unit Linear algebra Comparison of linear algebra libraries Matrix
8	A Trusted Mechanised JavaScript Specification Martin Bodin Arthur Charguéraud Daniele Filaretti Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2013-11-19 11:15:29
9	Revive: Rebalancing Off-Blockchain Payment Networks Rami Khalil Arthur Gervais Department of Computer Science Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2017-08-29 11:32:54 Cryptocurrencies Blockchains Economy Bitcoin Computing Money Alternative currencies Ethereum Lightning Network Smart contract RootStock Rebalancing investments
10	Quantifying Location Privacy Leakage from Transaction Prices Arthur Gervais1(B) , Hubert Ritzdorf1 , Mario Lucic1 , Vincent Lenders2 , and Srdjan Capkun1 1 Add to Reading List Source URL: www.lenders.ch Language: English - Date: 2016-11-01 06:37:08 Information theory Statistical theory Probability and statistics Consumer behaviour Consumer theory Marketing performance measurement Probability Prior probability Conditional probability Privacy Advantage Entropy