IO - PDFSEARCH.IO - Document Search Engine

IO
Results: 17950

#	Item
311	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
312	MHDeS: Deduplicating Method Handle Graphs for Efficient Dynamic JVM Language Implementations Shijie Xu and David Bremner Daniel Heidinga Add to Reading List Source URL: xushijie.github.io Language: English - Date: 2018-09-18 22:05:07 High German languages Middle High German MHG Equivalence relation Just-in-time compilation
313	HACKEN.IO Privacy Policy Last Updated: September 18, 2017 This Privacy Policy explains how information is collected, used and disclosed by Hacken project – Gretto Group Ltd., company, incorporated in the jurisdiction o Add to Reading List Source URL: hacken.io Language: English - Date: 2017-10-12 11:59:48 Marketing Terms of service Internet privacy Market economics) Business economics Online advertising Privacy policy Privacy HTTP cookie Money laundering Targeted advertising
314	SMT-Based Model Checking for Recursive Programs ⋆ Anvesh Komuravelli, Arie Gurfinkel, and Sagar Chaki Carnegie Mellon University, Pittsburgh, PA, USA Abstract. We present an SMT-based symbolic model checking algorithm Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Mathematics Symbol 120-cell Craig interpolation Computability theory Fiber bundles Differential topology
315	Neural Network-based Graph Embedding for Cross-Platform Binary Code Similarity Detection Add to Reading List Source URL: acmccs.github.io Language: English - Date: 2017-12-30 21:51:59 Graph theory Mathematics Topological graph theory Discrete mathematics Planar graphs Artificial neural network Deep learning Graph embedding Graph Neural architecture search
316	Automatic 3D Mesh Generation from a Single Hand-Drawn Sketch Nishant Shukla University of California, Los Angeles CS 268: Final Project Add to Reading List Source URL: shukla.io Language: English - Date: 2017-05-18 12:57:06 Graph theory Planar graphs Graph operations Line graph Graph Dual graph Steinitz's theorem Topology Vertex Neighbourhood Connectivity Cycle
317	Qualification of a Model Checker for Avionics Software Verification Lucas Wagner1 , Alain Mebsout2 , Cesare Tinelli2 , Darren Cofer1 , and Konrad Slind1 1 Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Software engineering Computing Avionics Engineering Systems engineering Software requirements Embedded systems Safety engineering DO-178C Formal methods Alt-Ergo Model checking
318	Automated Documentation Inference to Explain Failed Tests Sai Zhang University of Washington Joint work with: Cheng Zhang, Michael D. Ernst Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:35 Computer programming Software engineering Infinite loop Recursion Software development Software testing Java Extreme programming
319	Incremental Call Graph Reanalysis for AspectJ Software Yu Lin, Sai Zhang, Jianjun Zhao School of Software Shanghai Jiao Tong University 800 Dongchuan Road, Shanghai, China {linyu1986, saizhang, zhao-jj}@sjtu.edu.c Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Software development Aspect-oriented software development Aspect-oriented programming AspectJ Pointcut Join point Data-flow analysis Aspect weaver
320	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

UPDATE