Paper

Results: 146959



#Item
101Software Verification with ITPs Should Use Binary Code Extraction to Reduce the TCB (short paper) Ramana Kumar1 , Eric Mullen2 , Zachary Tatlock2 , and Magnus O. Myreen3 1

Software Verification with ITPs Should Use Binary Code Extraction to Reduce the TCB (short paper) Ramana Kumar1 , Eric Mullen2 , Zachary Tatlock2 , and Magnus O. Myreen3 1

Add to Reading List

Source URL: cakeml.org

Language: English - Date: 2018-05-16 23:20:58
102White Paper YOLotto YOLotto, Give Life a Chance

White Paper YOLotto YOLotto, Give Life a Chance

Add to Reading List

Source URL: yolotto.io

Language: English - Date: 2018-08-29 06:58:27
103ASYMPTOTIC ISOPERIMETRY OF BALLS IN METRIC MEASURE SPACES ROMAIN TESSERA Abstract. In this paper, we study the asymptotic behavior of the volume of spheres in metric measure spaces. We first introduce a general setting a

ASYMPTOTIC ISOPERIMETRY OF BALLS IN METRIC MEASURE SPACES ROMAIN TESSERA Abstract. In this paper, we study the asymptotic behavior of the volume of spheres in metric measure spaces. We first introduce a general setting a

Add to Reading List

Source URL: www.normalesup.org

Language: English - Date: 2006-07-17 04:43:11
104WHITE PAPER Version 0.4 by LET IT PLAY

WHITE PAPER Version 0.4 by LET IT PLAY

Add to Reading List

Source URL: icorating.com

Language: English - Date: 2018-04-10 13:39:27
105WHITE PAPER Twilight-coin.io October 15th, 2018 version 1.11

WHITE PAPER Twilight-coin.io October 15th, 2018 version 1.11

Add to Reading List

Source URL: twilight-coin.io

Language: English - Date: 2018-10-18 08:36:08
106 White Paper Exclusion Clause ........................................................................................................................................................................... 1 Foreword .......

White Paper Exclusion Clause ........................................................................................................................................................................... 1 Foreword .......

Add to Reading List

Source URL: aicrypto.ai

Language: English - Date: 2018-08-31 06:18:34
107Whitepaper Version 1.1.0 We are constantly upgrading our white paper to answer all your questions and provide all information you could possibly need before participating in our ICO. If you are missing any kind of infor

Whitepaper Version 1.1.0 We are constantly upgrading our white paper to answer all your questions and provide all information you could possibly need before participating in our ICO. If you are missing any kind of infor

Add to Reading List

Source URL: icorating.com

Language: English - Date: 2018-03-19 09:31:37
108NBER WORKING PAPER SERIES OF MICE AND MERCHANTS: TRADE AND GROWTH IN THE IRON AGE Jan David Bakker Stephan Maurer

NBER WORKING PAPER SERIES OF MICE AND MERCHANTS: TRADE AND GROWTH IN THE IRON AGE Jan David Bakker Stephan Maurer

Add to Reading List

Source URL: econ.lse.ac.uk

Language: English - Date: 2018-09-04 09:49:33
109Published as a conference paper at ICLRP ROGRAM S YNTHESIS FOR C HARACTER L EVEL L ANGUAGE M ODELING Pavol Bielik, Veselin Raychev & Martin Vechev Department of Computer Science, ETH Z¨urich, Switzerland

Published as a conference paper at ICLRP ROGRAM S YNTHESIS FOR C HARACTER L EVEL L ANGUAGE M ODELING Pavol Bielik, Veselin Raychev & Martin Vechev Department of Computer Science, ETH Z¨urich, Switzerland

Add to Reading List

Source URL: files.sri.inf.ethz.ch

Language: English - Date: 2018-09-05 10:55:59
110Paper accepted at the European Conf. on Computer Vision (ECCV), Munich, Semi-Dense 3D Reconstruction with a Stereo Event Camera Yi Zhou1,2 , Guillermo Gallego3 , Henri Rebecq3 , Laurent Kneip4 , Hongdong Li1,2 , a

Paper accepted at the European Conf. on Computer Vision (ECCV), Munich, Semi-Dense 3D Reconstruction with a Stereo Event Camera Yi Zhou1,2 , Guillermo Gallego3 , Henri Rebecq3 , Laurent Kneip4 , Hongdong Li1,2 , a

Add to Reading List

Source URL: rpg.ifi.uzh.ch

Language: English - Date: 2018-08-04 04:56:25