Org - PDFSEARCH.IO - Document Search Engine

Org
Results: 4040769

#	Item
111	LOOPRING PROTOCOL AUDIT IN PARTNERSHIP WITH Add to Reading List Source URL: loopring.org Language: English - Date: 2018-09-29 06:48:42 Computing Software engineering Computer programming Programming languages Cross-platform software High-level programming languages Procedural programming languages Concurrent programming languages Function ERC-20 Go D
112	Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2012-05-10 09:21:59 Mathematics Mathematical analysis Temporal logic Computation tree logic Logic in computer science Distribution Symbol Constructible universe Linear temporal logic Craig interpolation
113	Rules and Procedures Overview Kickstart:Wyoming Program SBIR Phase I and II Matching Program 1 Add to Reading List Source URL: wyomingbusiness.org Language: English - Date: 2018-09-24 19:04:59 Economy Business Small Business Administration Small Business Innovation Research Kickstart Wyoming Business Council Funding Entrepreneurship
114	Security Champions 2.0 OWASP Bucharest AppSec 2017 Alexander Antukh Whoami • Head of Appsec Add to Reading List Source URL: www.owasp.org Language: English - Date: 2017-10-16 15:02:20 Computer network security Computing Software development Security engineering OWASP DevOps Computer security
115	On the Lp-distortion of finite quotients of amenable groups. Romain Tessera∗ December 11, 2007 Abstract Add to Reading List Source URL: www.normalesup.org Language: English - Date: 2007-12-11 20:18:23 Mathematics Mathematical analysis Algebra Solvable group Big O notation Generating function transformation Chebyshev's inequality
116	Draft version October 9, 2018 Preprint typeset using LATEX style emulateapj vCAN MOONS HAVE MOONS? Juna A. Kollmeier1 & Sean N. Raymond2 Add to Reading List Source URL: arxiv.org Language: English - Date: 2018-10-08 20:33:21 Astronomy Planetary science Local Interstellar Cloud Moons Exomoon Subsatellite Natural satellite Regular moon Jupiter Callisto Titan Formation and evolution of the Solar System
117	Machine Learning @ Amazon Rajeev Rastogi Director, Machine Learning Key Takeaways • Add to Reading List Source URL: www.cikmconference.org Language: English - Date: 2018-05-10 16:33:53 Economy Statistical forecasting Supply chain management Business E-commerce Amazon Recommender system Online shopping Demand forecasting Forecasting
118	Delphy Foundation: Revolutionary Platform for Predicting Future Events Bo Wang Abstract Add to Reading List Source URL: delphy.org Language: English - Date: 2018-09-10 06:47:48
119	Theoretical Computer Science–40 www.elsevier.com/locate/tcs Presorting algorithms: An average-case point of view Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2011-03-20 04:03:38 Sorting algorithms Order theory Mathematics Combinatorics Quicksort Shellsort Insertion sort Merge sort Adaptive sort Factorial Time complexity Heapsort
120	YOLO COUNTY CANDIDATES INFORMATION GUIDE NOVEMBER 6, 2018 The Elections Office is open Add to Reading List Source URL: www.yoloelections.org Language: English - Date: 2018-07-24 17:07:58 Elections Electoral systems Write-in candidate Government Primary election United States Electoral College Politics Voting Ballot access Presidential elections in Singapore

UPDATE