paper - PDFSEARCH.IO - Document Search Engine

paper
Results: 146959

#	Item
101	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 Theoretical computer science Formal methods Logic in computer science Software engineering Proof assistants Automated theorem proving Formal verification Interactive Theorem Proving Isabelle Coq HOL Correctness
102	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 Gambling Lottery Powerball Mega Millions EuroMillions Multi-State Lottery Association Lotteries by country Illinois State Lottery
103	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 Geometry Space Metric geometry Mathematics Metric space Quasi-isometry Isoperimetric inequality Uniform space Metric Geometric group theory Complete metric space Hyperbolic metric space
104	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 Digital media New media Information Journalism Computing Blockchain Content creation Blog Website
105	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 Anime industry Anime The Association of Japanese Animations Original video animation C2C Animation
106	White Paper Exclusion Clause ........................................................................................................................................................................... 1 Foreword ....... Add to Reading List Source URL: aicrypto.ai Language: English - Date: 2018-08-31 06:18:34 Cryptocurrencies Bitcoin Alternative currencies Technology Economy Decentralization Money Emerging technologies Blockchain Artificial intelligence Ethereum Bitcoin Gold
107	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 Cryptocurrencies Technology Decentralization Economy Alternative currencies Money Digital currencies Financial technology SMS Blockchain Bitcoin Initial coin offering
108	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 Western Asia Holocene Geography of North Africa Geography of Asia Ancient Near East 2nd millennium BC Bronze Age Mediterranean Sea Phoenicia Trade route Minoan civilization Aegean civilizations
109	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 Artificial neural networks Computational neuroscience Machine learning Artificial intelligence Applied mathematics Computational linguistics Natural language processing Speech recognition Convolutional neural network Language model Long short-term memory Neural network
110	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 Computer vision Stereophotogrammetry 3D imaging Artificial intelligence Image processing Robotic sensing 3D reconstruction Range imaging Stereoscopy Triangulation Stereophonic sound Visual odometry

UPDATE