Generation - PDFSEARCH.IO - Document Search Engine

Generation
Results: 32110

#	Item
21	Abstract The AdEx team is building the next generation online ad exchange that is based on blockchain technology. Our goal is to provide a more efficient, intuitive and transparent advertising platform. Our aim is to di Add to Reading List Source URL: www.adex.network Language: English - Date: 2018-08-07 10:23:23 Marketing Online advertising Cryptocurrencies Advertising Market economics) Targeted advertising Blockchain Bitcoin Ad serving Ethereum Advertising network ternity
22	Natural Language to Structured Query Generation via Meta-Learning Po-Sen Huang 1 Chenglong Wang 2 Rishabh Singh 3 * Wen-tau Yih 4 Xiaodong He 5 * 1. Introduction Conventional supervised training is a pervasive paradigm Add to Reading List Source URL: uclmr.github.io Language: English - Date: 2018-08-06 06:17:49 Machine learning Learning Artificial intelligence Meta learning Support vector machine Supervised learning Training test and validation sets
23	Int J Softw Tools Technol Transfer:717–741 DOIs10009A Formally Verified Hybrid System for Safe Advisories in the Next-Generation Airborne Collision Avoidance System Jean-Baptiste Jeannin Add to Reading List Source URL: symbolaris.com Language: English - Date: 2018-02-19 21:13:22 Physics Logic Quantity VLO Traffic collision avoidance system Work Quantifier
24	Introduction Finite Model Generation Extensions and Optimizations Case Studies Integration of Proof-Producing SAT Solvers Conclusion Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2008-10-09 08:41:17 Mathematical logic Logic Boolean algebra Mathematics Classical logic Propositional calculus Model theory
25	Country of Origin as a Modifier of the effect of Generation and Length of Residence on the Mental Health Outcomes of Immigrants to Canada by Shirin Montazer Add to Reading List Source URL: tspace.library.utoronto.ca Language: English - Date: 2017-04-20 16:38:14 Psychiatry Psychiatric diagnosis Health Medical diagnosis Bipolar spectrum Depression Major depressive disorder RTT Silencer Mental health Mental disorder Immigration
26	Automated Feedback Generation for Introductory Programming Assignments Rishabh Singh Sumit Gulwani Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Theoretical computer science Mathematics Mathematical logic Logic in computer science Computability theory Logic programming operator Python syntax and semantics Unification Dynamic programming Derivative Rewriting
27	Impact of Next-Generation Mobile Technologies on IoT — Cloud Convergence Millimeter-Wave Wireless Communications for IoT-Cloud Supported Autonomous Vehicles: Overview, Design, and Challenges Linghe Kong, Muhammad Khur Add to Reading List Source URL: wirelesslab.sjtu.edu.cn Language: English - Date: 2017-12-01 00:35:37 Wireless networking Technology Wireless Emerging technologies Mobile technology Vehicle telematics Internet of things IEEE 802 5G IEEE 802.11p Vehicular communication systems IEEE 802.15
28	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
29	Automated Generation of Resource Configurations through Policies Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:40:01 Computing Information technology management System software Configuration management Method engineering Systems engineering Technical communication Provisioning X resources Resource fork Autonomic networking Project management triangle
30	Towards Self-Verification in Finite Difference Code Generation Jan H¨ uckelheim1 , Ziqing Luo2 , Fabio Luporini1 ,Navjot Kukreja1 , Michael Lange1 , Gerard Gorman1 , Stephen Siegel2 , Matthew Dwyer3 , Paul Hovland4 Add to Reading List Source URL: correctness-workshop.github.io Language: English - Date: 2017-11-14 22:52:13 Computing Computer programming Software engineering Operator theory Fortran OpenMP Parallel computing Hermitian adjoint Adjoint

UPDATE