Lambda - PDFSEARCH.IO - Document Search Engine

Lambda
Results: 2778

#	Item
901	Fitting distributions with R 1 FITTING DISTRIBUTIONS WITH R Add to Reading List Source URL: cran-r.c3sl.ufpr.br 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
902	September, 2014 Welcome to the first edition of Message in a Bottle, a periodic news- IMPORTANT DATES letter about the SEA-PHAGES program. This fall we begin year seven • October 31, 2014 of the program and welcome ei Add to Reading List Source URL: phagesdb.org Language: English - Date: 2014-08-29 12:26:48 Biology Lambda phage Bacteriophages Microbiology Caudovirales
903	Haskell: A Fun, Friendly, Fantastic Functional Language Andrew Brinker Hello, Welcome to the wonderful world of Haskell. Haskell is my personal favorite programming language, and is the most exciting and interesting lang Add to Reading List Source URL: andrewbrinker.com Language: English - Date: 2015-04-21 19:13:18 Functional programming Subroutines Functional languages Type theory Lambda calculus Haskell Anonymous function Monad Pattern matching Software engineering Computer programming Computing
904	NATIONAL ASSOCIATION OF GRADUATE-PROFESSIONAL STUDENTS April 5, 2013 The Honorable Dick Durbin 711 Hart Senate Office Building Add to Reading List Source URL: nagps.org Language: English - Date: 2013-04-05 18:21:38 Florida State University Florida International University University of Florida Higher education in the United States Sigma Alpha Lambda Florida Association of Public and Land-Grant Universities Oak Ridge Associated Universities
905	Efficient Analyses for Realistic Off-Line Partial Evaluation: Extended Version DIKU technical report 93/4, ISSNAnders Bondorf & Jesper Jørgensen DIKU, Department of Computer Science, University of Copenhagen, Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:55 Computer programming Data-flow analysis Type system Lambda calculus Closure Constraint logic programming Constraint satisfaction Software engineering Constraint programming Computing
906	Constructive Computation Theory G´ erard Huet An executable computability theory course based on λ-calculus Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2011-08-11 17:16:11 Lambda calculus Formal methods Theoretical computer science Type theory Models of computation De Bruijn index Free variables and bound variables Combinatory logic Hindley–Milner Software engineering Mathematics Computing
907	Fixing Letrec (reloaded) Abdulaziz Ghuloum R. Kent Dybvig Indiana University Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:22:06 Formal methods Theoretical computer science Functional programming Models of computation Lambda calculus Scheme Hindley–Milner Hygienic macro Expression Software engineering Computing Mathematics
908	An Implementation of Transparent Migration on Standard Scheme Eijiro Sumii University of Tokyo Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:10 Lambda calculus Continuations Functional programming Control flow Data types Delimited continuation Call-with-current-continuation Continuation Fixed-point combinator Software engineering Computing Computer programming
909	Type-Directed Partial Evaluation Olivier Danvy Computer Science Department Aarhus University y () Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Computer science Logic in computer science Type theory Data types Subroutines Simply typed lambda calculus Normalization property Combinatory logic Type system Lambda calculus Theoretical computer science Software engineering
910	Fitting distributions with R 1 FITTING DISTRIBUTIONS WITH R Add to Reading List Source URL: stat.ethz.ch 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

UPDATE