SWS - PDFSEARCH.IO - Document Search Engine

SWS
Results: 2096

#	Item
231	Champaign-Urbana Weather Observations Add to Reading List Source URL: www.sws.uiuc.edu Language: English - Date: 2014-12-02 16:52:03
232	Pflichtenheft Diplomarbeit Diplomarbeit: Konsole für den Einsatz von unmanaged C++ und .NET Add to Reading List Source URL: static.sws.bfh.ch Language: German - Date: 2007-03-26 16:29:49
233	Unifying Refinement and Hoare-Style Reasoning in a Logic for Higher-Order Concurrency Aaron Turon Derek Dreyer Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-07-22 04:30:15 Mathematical logic Logic Theoretical computer science Logic in computer science Predicate logic Philosophical logic Automated theorem proving Logic programming Hoare logic Separation logic Unification Combinatory logic
234	Champaign-Urbana Weather Observations Add to Reading List Source URL: www.sws.uiuc.edu Language: English - Date: 2016-08-02 11:26:28
235	North Central U.S. Climate Summary and Outlook Webinar July 21, 2016 Stuart Foster State Climatologist for Kentucky Department of Geography and Geology Add to Reading List Source URL: mcc.sws.uiuc.edu Language: English - Date: 2016-07-22 02:38:44 Atmospheric sciences Meteorology Physical geography Climate Kentucky Drought
236	SPACE WEATHER SERVICES S A G S Add to Reading List Source URL: www.sws.bom.gov.au Language: English - Date: 2016-08-16 00:29:03 Solar phenomena Astronomy Outer space Astrophysics Solar cycle Sunspot Ionosphere Solar flare Space weather Solar minimum Solar cycle 24
237	Towards Detecting Anomalous User Behavior in Online Social Networks Bimal Viswanath MPI-SWS Krishna P. Gummadi MPI-SWS Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2014-07-14 10:42:22 Software Computing Facebook Social networking services Universal Windows Platform apps Anomaly detection Data mining Data security Malware Google Chrome Criticism of Facebook
238	Weather Observations for Champaign-Urbana, Illinois Illinois State Water Survey March 2011 Add to Reading List Source URL: www.sws.uiuc.edu Language: English - Date: 2011-05-05 16:59:34 Climate of Florida Snow in Florida
239	All-Termination(SCP) Panagiotis Manolios and Aaron Turon Northeastern University {pete,turon}@ccs.neu.edu Abstract. We recently introduced the All-Termination(T ) problem: given a termination solver T and a function F , Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2010-01-10 16:47:16 Mathematical analysis Mathematics Analysis Functions and mappings Computability theory Static program analysis Termination analysis Big O notation Derivative Bijection Expected value Recursion
240	1 Partial Paging for Real-Time NoC Systems Adrian McMenamin and Neil C. Audsley Department of Computer Science, University of York, UK email: [acm538,neil.audsley]@york.ac.uk Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2016-07-14 16:23:27 Virtual memory Computing Computer architecture Computer hardware Translation lookaside buffer Page replacement algorithm Page table Thrashing Paging Memory management unit Page Demand paging

UPDATE