Lambda - PDFSEARCH.IO - Document Search Engine

Lambda
Results: 2778

#	Item
941	Fitting distributions with R 1 FITTING DISTRIBUTIONS WITH R Add to Reading List Source URL: cran.biodisk.org 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
942	1 Under consideration for publication in J. Functional Programming Implementing a Normalizer Using Sized Heterogeneous Types Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2008-03-18 13:55:26 Lambda calculus Type theory Computability theory Symbol System F Constructible universe Ordinal number Function Combinatory logic Mathematics Mathematical logic Theoretical computer science
943	NeoClassical Probes in of the Dark Energy Wayne Hu Add to Reading List Source URL: background.uchicago.edu Language: English - Date: 2009-10-01 12:32:22 Dark matter Cosmic microwave background radiation Comoving distance Universe Siméon Denis Poisson Redshift General relativity Weak gravitational lensing Lambda-CDM model Physics Physical cosmology Dark energy
944	BRICS Basic Research in Computer Science BRICS RS-97-6 Danvy & Schultz: Lambda Dropping Add to Reading List Source URL: www.brics.dk Language: English - Date: 1997-06-05 09:12:44 Lambda calculus Recursion Lambda lifting Closure Fold Free variables and bound variables Parameter Blocks Software engineering Computing Subroutines
945	Math. Struct. in Comp. Science 20(1), 2010 Channel Abstractions for Network Security† M I C H E L E B U G L I E S I, R I C C A R D O F O C A R D I Dipartimento di Informatica, Universit` a Ca’ Foscari, Venice. Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2010-12-01 08:49:54 Computer science Lambda calculus Mathematics Π-calculus Theoretical computer science Applied mathematics Computability theory
946	DIKU Rapport 88/21, OctoberA Blond Primer Olivier Danvy & Karoline Malmkjær DIKU – University of Copenhagen Add to Reading List Source URL: www.daimi.au.dk Language: English - Date: 2002-06-01 03:25:57 Control flow Lisp programming language Functional languages Knowledge representation Object-oriented programming Reification Lisp Eval Lambda calculus Software engineering Computing Computer programming
947	Normalization by Evaluation in the Delay Monad A Case Study for Coinduction via Copatterns and Sized Types Andreas Abel James Chapman Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-03-26 05:31:12 Monad Computer programming Computing Lambda calculus Software engineering Normalisation by evaluation
948	OCC Programming Joachim Breitner Prelude Add to Reading List Source URL: www.joachim-breitner.de Language: English - Date: 2014-10-06 15:51:37 Subroutines Functional programming Scripting languages Lambda calculus Data types Python Variable Apply Parameter Software engineering Computer programming Computing
949	Fitting distributions with R 1 FITTING DISTRIBUTIONS WITH R Add to Reading List Source URL: cran.cardse.net 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
950	A Lambda Term Representation Inspired by Linear Ordered Logic Andreas Abel Nicolai Kraus Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-07-29 14:17:24 Lambda calculus Logic in computer science Proof theory Computability theory De Bruijn index Combinatory logic Curry–Howard correspondence Weight Free variables and bound variables Mathematics Theoretical computer science Mathematical logic

UPDATE