Lambda - PDFSEARCH.IO - Document Search Engine

Lambda
Results: 2778

#	Item
861	Fitting distributions with R 1 FITTING DISTRIBUTIONS WITH R Add to Reading List Source URL: rweb.quant.ku.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
862	Implicit and Explicit Aspects of Scope and Block Structure Ulrik Pagh Schultz May 15, 1997 Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:30 Subroutines Logic in computer science Functional programming Lambda lifting Closure Combinatory logic Lambda Apply Free variables and bound variables Software engineering Lambda calculus Computing
863	A Formalized Proof of Strong Normalization for Guarded Recursive Types (Long Version) Andreas Abel and Andrea Vezzosi Computer Science and Engineering, Chalmers and Gothenburg University, Rännvägen 6, 41296 Göteborg, Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-08-29 19:03:11 Dependently typed programming Logic in computer science Type theory Proof theory Curry–Howard correspondence Philosophy of computer science Symbol Lambda calculus Intuitionistic type theory Theoretical computer science Mathematical logic Mathematics
864	The Semantics of Scheme Control-Flow Analysis Olin Shivers School of Computer Science Carnegie Mellon Pittsburgh, Pennsylvania 15213 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:31 Functional programming Models of computation Logic in computer science Lambda calculus Programming language semantics Continuation-passing style Denotational semantics Free variables and bound variables Closure Software engineering Computing Computer programming
865	Banach algebras Jordan Bell Department of Mathematics, University of Toronto April 3, 2014 Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2014-04-03 12:17:06 Spectral theory Spectrum Banach algebra Holomorphic functional calculus Holomorph Banach space Gelfand–Mazur theorem Lambda calculus Compact operator Mathematical analysis Mathematics Abstract algebra
866	Object Calculi with Dynamic Messages Michele Bugliesi∗ Dip. di Informatica Universit` a “Ca’ Foscari” di Venezia Via Torino 155, IMestre (VE), Italy Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:06:13 Computer programming Data types Object-oriented programming Lambda calculus Polymorphism Subtype polymorphism Type system System F Foreach loop Software engineering Computing Type theory
867	Hindley-Milner Elaboration in Applicative Style Functional pearl François Pottier INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2014-06-12 04:54:36 Computing Constraint satisfaction problem Type class Lambda calculus Normalisation by evaluation Constraint inference Declarative programming Constraint programming Software engineering
868	VOLUME 80, NUMBER 16 PHYSICAL REVIEW LETTERS 20 APRIL 1998 Add to Reading List Source URL: www.csc.ust.hk Language: English - Date: 2000-07-11 03:34:40 Quantum field theory Renormalization group Lambda transition Quantum stirring ratchets and pumping Physics Statistical mechanics Condensed matter physics
869	The Spider Calculus Computing in Active Graphs Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: dmwit.com Language: English - Date: 2010-08-11 18:23:14 Lambda calculus Process calculi Π-calculus Calculus Binary tree Combinatory logic Church encoding Graph FO Mathematics Theoretical computer science Applied mathematics
870	Inflationary Steps in the Planck Data Vin´ıcius Miranda1, 2 and Wayne Hu3, 1 1 Department of Astronomy & Astrophysics, University of Chicago, Chicago ILThe Capes Foundation, Ministry of Education of Brazil, Bras Add to Reading List Source URL: background.uchicago.edu Language: English - Date: 2015-01-06 12:05:30 Wilkinson Microwave Anisotropy Probe Dark matter Inflation Damping Oscillation Lambda-CDM model Amplitude Max Planck Scale invariance Physics Physical cosmology Cosmic microwave background radiation

UPDATE