Lambda - PDFSEARCH.IO - Document Search Engine

Lambda
Results: 2778

#	Item
921	Abstraction and Performance from Explicit Monadic Reflection Jonathan Sobel Erik Hilsdale SAS Institute Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Adjoint functors Functional programming Lambda calculus Monad Logic in computer science Arrow Closure List Scheme Software engineering Computer programming Computing
922	A Multispeed Model for Lattice Gas Hydrodynamics Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:31:27 English phonology English orthography Combinatory logic Lambda calculus Logic in computer science
923	Fitting distributions with R 1 FITTING DISTRIBUTIONS WITH R Add to Reading List Source URL: www.icesi.edu.co Language: English - Date: 2005-02-21 10:32:35 Weibull distribution Normality test Kurtosis Skewness Normal distribution Plot Gamma distribution Exploratory data analysis Tukey lambda distribution Statistics Survival analysis Q-Q plot
924	Neutrino physics from future weak lensing surveys R. Ali Vanderveld1 and Wayne Hu1, 2 arXiv:1212.3608v1 [astro-ph.CO] 14 Dec Add to Reading List Source URL: background.uchicago.edu Language: English - Date: 2015-01-06 12:05:31 Neutrino Dark matter Weak gravitational lensing Dark energy Cosmic microwave background radiation Gravitational lens Distance measures Primordial fluctuations The Dark Energy Survey Physics Physical cosmology Lambda-CDM model
925	Access control for mobile agents: the calculus of Boxed Ambients MICHELE BUGLIESI Universita` ‘Ca’ Foscari’, Venezia, Italy and GIUSEPPE CASTAGNA Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:01:59 Applied mathematics Computer science Computing Formal methods Functional languages Π-calculus Lambda calculus Q Access control Process calculi Theoretical computer science Ambient calculus
926	An operational semantics for R5RS Scheme Jacob Matthews Robert Bruce Findler University of Chicago Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Functional programming Logic in computer science Lambda calculus Lisp programming language Subroutines Operational semantics Scheme Eval Monad Software engineering Computing Computer programming
927	UNIVERSITY OF MINNESOTA This is to certify that I have examined this copy of a masters thesis by Andrew Jude Gacek Add to Reading List Source URL: www-users.cs.umn.edu Language: English - Date: 2006-12-20 15:47:42 Applied mathematics Explicit substitution Calculus Free variables and bound variables Normalization property Unification Substitution Function Typed lambda calculus Lambda calculus Theoretical computer science Mathematics
928	Towards Normalization by Evaluation for the βη-Calculus of Constructions Andreas Abel Project PI.R2, INRIA Rocquencourt and PPS, Paris Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-18 18:03:08 Theoretical computer science Lambda calculus Normalisation by evaluation Natural deduction Symbol Proof theory Mathematical logic Programming language theory
929	Fitting distributions with R 1 FITTING DISTRIBUTIONS WITH R Add to Reading List Source URL: cran.mtu.edu Language: English - Date: 2005-02-21 10:32:35 Weibull distribution Normality test Kurtosis Skewness Normal distribution Plot Gamma distribution Exploratory data analysis Tukey lambda distribution Statistics Survival analysis Q-Q plot
930	BRICS Basic Research in Computer Science BRICS RS-97-1 Danvy & Goldberg: Partial Evaluation of the Euclidian Algorithm Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Theoretical computer science Recursion Computability theory Subroutines Fixed-point combinator Euclidean algorithm Church encoding Scheme Greatest common divisor Mathematics Applied mathematics Lambda calculus

UPDATE