1![Noname manuscript No. (will be inserted by the editor) The Locally Nameless Representation Arthur Chargu´ eraud Noname manuscript No. (will be inserted by the editor) The Locally Nameless Representation Arthur Chargu´ eraud](https://www.pdfsearch.io/img/a001ae5a8cef6e1bda0bdb6b0f99b12b.jpg) | Add to Reading ListSource URL: www.chargueraud.orgLanguage: English - Date: 2014-02-04 05:58:39
|
---|
2![Fetch.AI: Token Overview A decentralised world for the future economy Toby Simpson, Arthur Meadows, Humayun Sheikh AugustINITIAL RELEASE Fetch.AI: Token Overview A decentralised world for the future economy Toby Simpson, Arthur Meadows, Humayun Sheikh AugustINITIAL RELEASE](https://www.pdfsearch.io/img/83f4962c8700ab7f4e76fefe7665aa02.jpg) | Add to Reading ListSource URL: fetch.aiLanguage: English - Date: 2018-10-24 07:00:02
|
---|
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 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](https://www.pdfsearch.io/img/fc3167c8c74483f6fccfce37d4a99e24.jpg) | Add to Reading ListSource URL: zkproof.orgLanguage: English - Date: 2018-10-25 10:32:39
|
---|
4![Formal Correctness of Comparison Algorithms between Binary64 and Decimal64 Floating-point Numbers Arthur Blot ENS Lyon, France NSV, July 22-23, 2017 Formal Correctness of Comparison Algorithms between Binary64 and Decimal64 Floating-point Numbers Arthur Blot ENS Lyon, France NSV, July 22-23, 2017](https://www.pdfsearch.io/img/6efe01fdc5e337c586d7cce460280ea2.jpg) | Add to Reading ListSource URL: www.cs.ox.ac.ukLanguage: English - Date: 2017-07-31 08:52:27
|
---|
5![A Trusted Mechanised JavaScript Specification Martin Bodin Arthur Charguéraud Daniele Filaretti A Trusted Mechanised JavaScript Specification Martin Bodin Arthur Charguéraud Daniele Filaretti](https://www.pdfsearch.io/img/0d3829aaef9692c5e7bcc4588d6c2cb2.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2014-04-07 04:56:31
|
---|
6![Quantifying Web Adblocker Privacy ∗ ˇ Arthur Gervais∗ , Alexandros Filios∗ , Vincent Lenders† , Srdjan Capkun ∗ ETH Quantifying Web Adblocker Privacy ∗ ˇ Arthur Gervais∗ , Alexandros Filios∗ , Vincent Lenders† , Srdjan Capkun ∗ ETH](https://www.pdfsearch.io/img/1276605a851b8afb5a16d56752fcf0b6.jpg) | Add to Reading ListSource URL: www.lenders.chLanguage: English - Date: 2016-10-29 05:04:43
|
---|
7![INITIAL INTEGRATION AND EVALUATION OF SLATE PARALLEL BLAS IN LATTE Marc Cawkwell, Danny Perez, Arthur Voter Asim YarKhan, Gerald Ragghianti, Jack Dongarra, Introduction INITIAL INTEGRATION AND EVALUATION OF SLATE PARALLEL BLAS IN LATTE Marc Cawkwell, Danny Perez, Arthur Voter Asim YarKhan, Gerald Ragghianti, Jack Dongarra, Introduction](https://www.pdfsearch.io/img/c8e6af10bf438e08c278fe1b4e66977e.jpg) | Add to Reading ListSource URL: www.icl.utk.eduLanguage: English - Date: 2018-07-02 10:42:06
|
---|
8![A Trusted Mechanised JavaScript Specification Martin Bodin Arthur Charguéraud Daniele Filaretti A Trusted Mechanised JavaScript Specification Martin Bodin Arthur Charguéraud Daniele Filaretti](https://www.pdfsearch.io/img/420044ab2f36396f81c56d2c36694f77.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2013-11-19 11:15:29
|
---|
9![Revive: Rebalancing Off-Blockchain Payment Networks Rami Khalil Arthur Gervais Department of Computer Science Revive: Rebalancing Off-Blockchain Payment Networks Rami Khalil Arthur Gervais Department of Computer Science](https://www.pdfsearch.io/img/2c146d1f98f1da3b50bd5a05763e4b40.jpg) | Add to Reading ListSource URL: eprint.iacr.orgLanguage: English - Date: 2017-08-29 11:32:54
|
---|
10![Quantifying Location Privacy Leakage from Transaction Prices Arthur Gervais1(B) , Hubert Ritzdorf1 , Mario Lucic1 , Vincent Lenders2 , and Srdjan Capkun1 1 Quantifying Location Privacy Leakage from Transaction Prices Arthur Gervais1(B) , Hubert Ritzdorf1 , Mario Lucic1 , Vincent Lenders2 , and Srdjan Capkun1 1](https://www.pdfsearch.io/img/c91942e52572cd8aa3056e3f905aaada.jpg) | Add to Reading ListSource URL: www.lenders.chLanguage: English - Date: 2016-11-01 06:37:08
|
---|