CA - PDFSEARCH.IO - Document Search Engine

CA
Results: 1242051

#	Item
51	Theorem Proving using Lazy Proof Expli ation Corma Flanagan1 , Rajeev Joshi1 , Xinming Ou2 , and James B. Saxe1 1 Systems Resear h Center, HP Labs, Palo Alto, CA 2 Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:26:03 Theoretical computer science Logic Formal methods Mathematical logic Model theory Interpretation Logic in computer science Propositional calculus Boolean satisfiability problem Automated theorem proving Propositional variable IP
52	Microsoft Word - www2016-poster-track-LATE-welcome.doc Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:20:55 Bruno Kessler Institute of technology
53	PeARS: a Peer-to-peer Agent for Reciprocated Search Aurélie Herbelot University of Trento, Centre for Mind/Brain Sciences Palazzo Fedrigotti, Corso BettiniRovereto, Italy Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:39:30 Algebra Natural language processing Semantics Mathematics Computational linguistics Information science Vector space model Distributional semantics Euclidean vector Information retrieval Language model Internet privacy
54	SharesPost and Securitize Announce Partnership to Facilitate Listing of Security Tokens Securitize issuers now able to list security tokens on SharesPost platform, increasing liquidity and access San Francisco, CA – Au Add to Reading List Source URL: d2wbqcispjulqi.cloudfront.net Language: English - Date: 2018-09-05 18:55:16 Economy Financial markets Finance Money Security Initial coin offering Securities market Secondary market Algorithmic trading Securitization
55	PNCOIRank: Evaluating the Impact of Scholarly Articles with Positive and Negative Citations Xiaomei Bai, Jun Zhang, Hai Cui, Zhaolong Ning and Feng Xia School of Software, Dalian University of Technology, Dalian, Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 01:00:13 Reference Information science Mathematical analysis Google Search PageRank Reputation management Search engine optimization Knowledge Citation network Citation Cai Gao Pi
56	Extending the Social Model of Migration and Incorporation to Include Migrant Occupational Communities: The Case of Ghanaian Nurses by Add to Reading List Source URL: tspace.library.utoronto.ca Language: English - Date: 2016-12-13 13:00:08 Demography Migrant workers Environmental social science Employment classifications Human geography Anthropology Human migration Skilled worker Immigration Migrant domestic workers
57	Microsoft Word - AW406-anthopoulos.docx Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:37:21 Transport Private transport Automotive industry City cars Microcars Emerging technologies Internet of things Economic development Smart city Smart Smart meter Draft:Smart Grid as a disruptive digital innovation
58	Machine Learning for Q&A sites: state of the art and research directions Xavier Amatriain Quora Inc. 650 Castro St #450 Mountain View, CA, US Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:48:47 Community websites Neuropsychology Cognition Quora Recommender system Comparison of Q&A sites Machine learning Learning Neuroscience
59	SoMap: Dynamic Clustering and Ranking of Geotagged Posts Marie Al-Ghossein Talel Abdessalem Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:25:56 Software Computing Geography Global Positioning System Geographic data and information Social networking services Social media Geocodes Geotagging Cluster analysis Point of interest Instagram
60	Voting with Their Feet: Inferring User Preferences from App Management Activities Huoran Li1 , Wei Ai2 , ‡ Xuanzhe Liu1 , Jian Tang3 , ‡ Gang Huang1 , Feng Feng4 , ‡ Qiaozhu Mei2 1 Key Lab of High-Confidence Softw Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 01:13:59

UPDATE