Rasmus - PDFSEARCH.IO - Document Search Engine

Rasmus
Results: 493

#	Item
61	Containers & Clouds - A perfect match Rasmus Hald @RasmusHaldDK Add to Reading List Source URL: gotocon.com - Date: 2015-10-07 04:49:10
62	LINEAR PROBING WITH CONSTANT INDEPENDENCE ˇ C ´∗ ANNA PAGH∗ , RASMUS PAGH∗, AND MILAN RUZI Abstract. Hashing with linear probing dates back to the 1950s, and is among the most studied algorithms. In recent years Add to Reading List Source URL: www.it-c.dk Language: English - Date: 2009-04-24 10:51:03
63	External String Sorting: Faster and Cache-Oblivious Rolf Fagerberg? , Anna Pagh?? , and Rasmus Pagh∗∗ Abstract. We give a randomized algorithm for sorting strings in external memory. For K binary strings comprising N Add to Reading List Source URL: www.it-c.dk Language: English - Date: 2006-01-04 06:45:01
64	A type theory for productive coprogramming via guarded recursion Rasmus Ejlers Møgelberg IT University of Copenhagen Denmark Add to Reading List Source URL: www.itu.dk Language: English - Date: 2014-05-19 10:45:27
65	SUBJECTIVE RHYTHMIZATION: A REPLICATION AND AN EXTENSION Rasmus Bååth, Kristín Ósk Ingvarsdóttir Lund University Cognitive Science, Sweden. ABSTRACT Subjective rhythmization (SR) is the phenomena that the sounds Add to Reading List Source URL: sumsar.net Language: English* - Date: 2016-02-19 11:24:19
66	Neuron, Vol. 29, 769–777, March, 2001, Copyright 2001 by Cell Press The Role of Spike Timing in the Coding of Stimulus Location in Rat Somatosensory Cortex Stefano Panzeri,* Rasmus S. Petersen,† Add to Reading List Source URL: www.schultzlab.org Language: English - Date: 2012-02-28 08:27:47
67	MFPS XX1 Preliminary Version Synthetic domain theory and models of Linear Abadi & Plotkin logic Rasmus Ejlers Møgelberg, Lars Birkedal Add to Reading List Source URL: www.itu.dk Language: English - Date: 2007-10-19 09:09:06
68	Relational Parametricity for Computational Effects Rasmus Ejlers Møgelberg∗ Alex Simpson† LFCS, School of Informatics University of Edinburgh, Scotland, UK Abstract Add to Reading List Source URL: www.itu.dk Language: English - Date: 2007-10-19 09:09:05
69	Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic Rasmus Ejlers Møgelberg Lars Birkedal Giuseppe Rosolini June 2007 Add to Reading List Source URL: www.itu.dk Language: English - Date: 2008-05-15 09:02:20
70	Linearly-used state in models of call-by-value Rasmus Ejlers Møgelberg1 ? and Sam Staton2 Add to Reading List Source URL: www.itu.dk Language: English - Date: 2011-05-19 08:47:31

UPDATE