Lambda - PDFSEARCH.IO - Document Search Engine

Lambda
Results: 2778

#	Item
981	Fitting distributions with R 1 FITTING DISTRIBUTIONS WITH R Add to Reading List Source URL: cran.espol.edu.ec 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
982	Fitting distributions with R 1 FITTING DISTRIBUTIONS WITH R Add to Reading List Source URL: dssm.unipa.it 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
983	LAMBDA PM20- NATIONAL SOLAR OBSERVATORY OPERATED BY THE Add to Reading List Source URL: gong.nso.edu - Date: 2004-04-30 11:16:04
984	Fitting distributions with R 1 FITTING DISTRIBUTIONS WITH R Add to Reading List Source URL: cran.um.ac.ir 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
985	Fitting distributions with R 1 FITTING DISTRIBUTIONS WITH R Add to Reading List Source URL: ftp.heanet.ie 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
986	Graphic Lambda Calculus Marius Buliga Institute of Mathematics of the Romanian Academy P.O. Box 1-764, ROBucharest, Romania Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2014-03-11 12:49:15 Topology Planar graph Connectivity Lambda calculus Graph rewriting Graph theory Mathematics Graph
987	Introduction to Type Theory August 2007 Types Summer School Bertinoro, It Herman Geuvers Add to Reading List Source URL: typessummerschool07.cs.unibo.it Language: English - Date: 2007-08-20 10:27:22 Lambda calculus Type theory Logic in computer science Models of computation Curry–Howard correspondence Philosophy of computer science Simply typed lambda calculus System F Type system Theoretical computer science Computer science Mathematical logic
988	A generalization of F with abstraction over retyping functions Julien Cretin supervised by Didier Rémy Gallium, INRIA December 6, 2010 Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2010-12-06 04:29:59 Type theory Lambda calculus Data types Polymorphism Theoretical computer science Subtype polymorphism System F ALGOL 68 Type system Software engineering Mathematics Computing
989	Partial Evaluation using Rewrite Rules A Specification of a Partial Evaluator for Similix in Stratego Lennart Swart 13th September 2002 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:31 Functions and mappings Compiler optimizations Evaluation strategy Computability theory Cross-platform software Lambda calculus Partial evaluation Function Eval Software engineering Computing Computer programming

UPDATE