SWS - PDFSEARCH.IO - Document Search Engine

SWS
Results: 2096

#	Item
211	Reverse Engineering Socialbot Infiltration Strategies in Twitter Carlos Freitas⇤ , Fabricio Benevenuto⇤ , Saptarshi Ghosh†‡ and Adriano Veloso⇤ † Max ⇤ Universidade Add to Reading List Source URL: socialnetworks.mpi-sws.org Language: English - Date: 2015-09-14 09:16:28 Software Computing World Wide Web Social networking services Social media Universal Windows Platform apps Microblogging Real-time web Twitter Klout Internet bot Facebook
212	A separation logic for refining concurrent objects Aaron Turon Mitchell Wand Northeastern University Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2010-07-15 17:40:28 Logic Mathematical logic Abstraction Model theory Predicate logic Semantics Denotational semantics First-order logic Structure Quantifier Substitution
213	Champaign-Urbana Weather Observations Add to Reading List Source URL: www.sws.uiuc.edu Language: English - Date: 2014-01-23 12:42:31 Geography of the United States Climate of Florida Snow in Florida
214	All-Termination(T) Aaron Turon Northeastern University (joint work with Pete Manolios) Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2010-01-10 16:47:24 Software engineering Computer programming Computing Data types Functional programming Abstract data types Recursion Subroutines Theoretical computer science Cons List Termination analysis
215	Champaign-Urbana Weather Observations Add to Reading List Source URL: www.sws.uiuc.edu Language: English - Date: 2015-05-04 17:00:23
216	Weather Observations for Champaign-Urbana, Illinois Illinois State Water Survey, Prairie Research Institute, University of Illinois May Day 1 Add to Reading List Source URL: www.sws.uiuc.edu Language: English - Date: 2011-07-12 14:53:58
217	Importance of Client Data and Correct Sampling Procedures An important factor in solving your water problem is the relationship between the water quality of your sample and typical qualities for that type of water. Add to Reading List Source URL: www.sws.uiuc.edu Language: English - Date: 2015-10-28 16:23:28 Water management Water Environmental science Water quality Sampling PSL Natural environment Earth Biology
218	Champaign-Urbana Weather Observations Add to Reading List Source URL: www.sws.uiuc.edu Language: English - Date: 2016-08-02 11:21:04
219	Streaming Big Data with Self-‐Adjus7ng Computa7on Umut A. Acar Yan Chen CMU Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-01-22 09:55:22 Concurrent computing Computing Parallel computing Distributed computing architecture MapReduce Big data MAPPER
220	Self-Adjusting Stack Machines Matthew A. Hammer Georg Neis Yan Chen Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-08-29 09:11:16 Control flow Eval Stack

UPDATE