Lambda - PDFSEARCH.IO - Document Search Engine

Lambda
Results: 2778

#	Item
951	Fitting distributions with R 1 FITTING DISTRIBUTIONS WITH R Add to Reading List Source URL: cran.rstudio.com 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
952	The Effectiveness of Flow Analysis for Inlining∗ J. Michael Ashley University of Kansas Snow Hall 415 Lawrence, Kansas 66045 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:39 Subroutines Theoretical computer science Inline expansion Computability theory Models of computation Compiler optimization Lambda calculus Data-flow analysis Function Software engineering Computer programming Computing
953	Current Biology 20, R718–R723, September 14, 2010 ª2010 Elsevier Ltd All rights reserved Jacob and Monod: From Operons to EvoDevo Alexander Gann Add to Reading List Source URL: micro.med.harvard.edu Language: English - Date: 2015-02-12 19:03:54 Bacteriophages Virology Genetics Lac operon Lambda phage François Jacob Lac repressor Lysogen Regulation of gene expression Biology Gene expression Microbiology
954	A MODULAR TYPE-CHECKING ALGORITHM FOR TYPE THEORY WITH SINGLETON TYPES AND PROOF IRRELEVANCE ANDREAS ABEL, THIERRY COQUAND, AND MIGUEL PAGANO Ludwig-Maximilians-Universit¨ at M¨ Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-23 03:51:04 Normalisation by evaluation Symbol Logic Mathematics Valuation Model theory Natural deduction Orbifold Abstract algebra Metalogic Lambda calculus
955	Protein Engineering vol.15 no.7 pp.619–626, 2002 Evolvability of random polypeptides through functional selection within a small library Asao Yamauchi1, Toshihiro Nakashima1,2, Add to Reading List Source URL: peds.oxfordjournals.org Language: English - Date: 2002-08-21 11:52:44 Bacteriophages Biotechnology Caudovirales Amino acid Phage display Lambda phage Monoclonal antibodies Phagemid M13 bacteriophage Biology Microbiology Molecular biology
956	Cellular Automata as Algebraic Systems Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:33:18 Combinatory logic Lambda calculus Logic in computer science Group action Groupoid Abstract algebra Mathematics Algebra
957	ON IRRELEVANCE AND ALGORITHMIC EQUALITY IN PREDICATIVE TYPE THEORY ANDREAS ABEL AND GABRIEL SCHERER Department of Computer Science, Ludwig-Maximilians-University Munich e-mail address: Gallium tea Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2012-01-13 11:43:16 Mathematics Metalogic Proof theory Lambda calculus Entailment Logical consequence Normalisation by evaluation Sheaf Soundness Logic Mathematical logic Deduction
958	Carnegie Mellon School of Computer Science Scheme Flow Analysis Note Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Lambda calculus Formal methods Theoretical computer science Type theory Variables Closure Free variables and bound variables Constant folding Combinatory logic Software engineering Mathematics Computing
959	Fitting distributions with R 1 FITTING DISTRIBUTIONS WITH R Add to Reading List Source URL: ftp.ussg.iu.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
960	Fitting distributions with R 1 FITTING DISTRIBUTIONS WITH R Add to Reading List Source URL: cran.itam.mx 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