Lambda - PDFSEARCH.IO - Document Search Engine

Lambda
Results: 2778

#	Item
911	A CALCULUS FOR DISTRIBUTED MOBILE COMPUTING WITH STATIC RESOURCE ACCESS AND USAGE CONTROL By Mayuresh Kulkarni A Thesis Submitted to the Graduate Add to Reading List Source URL: wcl.cs.rpi.edu Language: English - Date: 2015-01-22 12:33:50 Computing Ambient calculus Π-calculus Process calculus Actor model Calculus Lambda calculus Communicating sequential processes Combinatory logic Process calculi Computer science Applied mathematics
912	An Approach to Completing Variable Names for Implicitly Typed Functional Languages Takumi Goto Isao Sasano Add to Reading List Source URL: www.sic.shibaura-it.ac.jp Language: English - Date: 2012-02-22 04:44:30 Software engineering Type inference Unification Function Type system Hindley–Milner Free variables and bound variables Standard ML Lambda calculus Mathematics Type theory Mathematical logic
913	Fitting distributions with R 1 FITTING DISTRIBUTIONS WITH R Add to Reading List Source URL: ftp.osuosl.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
914	Type Classes Without Types ∗ Ronald Garcia Andrew Lumsdaine Open Systems Lab Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Lambda calculus Functional programming Type theory Data types Formal methods Monad Fixed-point combinator Map Type class Software engineering Computing Computer programming
915	g01 – Simple Calculations on Statistical Data g01gec NAG C Library Function Document nag_prob_non_central_beta_dist (g01gec) Add to Reading List Source URL: www.softintegration.com Language: English - Date: 2004-10-25 19:49:07 Poisson processes Noncentral beta distribution Poisson distribution Beta distribution Lambda calculus Binary lambda calculus Noncentral F-distribution Statistics Mathematical analysis Probability and statistics
916	A Realizability Model for a Semantical Value Restriction Rodolphe Lepigre Laboratoire de Math´ematiques, UMR 5127 CNRS Universit´e Savoie Mont-BlancLe Bourget-du-Lac, France Add to Reading List Source URL: lepigre.fr Language: English - Date: 2015-03-20 16:12:30 Proof theory Symbol Curry–Howard correspondence Valuation Lambda calculus Natural deduction Μ operator Mathematics Theoretical computer science Abstract algebra
917	Fitting distributions with R 1 FITTING DISTRIBUTIONS WITH R Add to Reading List Source URL: cran.salud.gob.sv 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
918	1 Polarised Intermediate Representation of Lambda Calculus with Sums Guillaume Munch-Maccagnoni Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2015-04-08 08:34:46 Natural deduction Lambda calculus Sequent calculus Admissible rule Calculus Sequent Entailment Judgment Curry–Howard correspondence Logic Mathematical logic Proof theory
919	Fitting distributions with R 1 FITTING DISTRIBUTIONS WITH R Add to Reading List Source URL: www.vps.fmvz.usp.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
920	Fitting distributions with R 1 FITTING DISTRIBUTIONS WITH R Add to Reading List Source URL: cran.stat.auckland.ac.nz 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