Lambda - PDFSEARCH.IO - Document Search Engine

Lambda
Results: 2778

#	Item
291	02157 Functional programming Michael R. Hansen DTU Informatics November 24, 2011 Revised October 21, 2013 Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-10-21 08:25:00 Lambda calculus Combinatory logic Lambda calculus definition Reduction strategy Free variables and bound variables Lambda Fixed-point combinator Anonymous function Term Variable Beta normal form
292	Efﬁcient Nonparametric Belief Propagation with Application to Articulated Body Tracking Tony X. Han Huazhong Ning Thomas S. Huang Beckman Institute and ECE Department Add to Reading List Source URL: www.ifp.illinois.edu Language: English - Date: 2006-11-17 00:18:56 Graphical models Probability distributions Belief propagation Coding theory Probability theory Conference on Computer Vision and Pattern Recognition Normal distribution Mixture model DNA polymerase lambda
293	A Possible Theoretical Mass of the Universe Calculated Using The Friedman Dust Universe Model with Einstein’s Lambda James G. Gilson School of Mathematical Sciences Add to Reading List Source URL: www.fine-structure-constant.org Language: English - Date: 2012-11-15 12:30:09 Physical cosmology General relativity Exact solutions in general relativity Mass Albert Einstein Cosmological constant Friedmann equations Dark energy Equation of state Negative mass Cosmology Dimensionless physical constant
294	\1.,rrl,~,i,i,~‘l,,4rii.Vol 3. ho Prwlwi I” Grra1 Brlldln 9. ppINDIVIDUAL Add to Reading List Source URL: crr.ugent.be Language: English - Date: 2010-10-05 06:55:21 Probability distributions Lambda Normal distribution Auditory brainstem response
295	Technische Information Insektizid mit Kontakt- und Fraßwirkung Formulierung: Kapselsuspension auf Wasserbasis Wirkstoff: 100 g/l lambda-Cyhalothrin Add to Reading List Source URL: sumiagro.de Language: German - Date: 2016-01-19 11:20:41
296	Specification of Data Types and Conversions version 1.0 NTT Secure Platform Laboratories, NTT Corporation March 2, 2015 Add to Reading List Source URL: info.isl.ntt.co.jp Language: English - Date: 2015-03-02 00:44:50 Group theory Analytic number theory Elliptic curve Function Lambda calculus Irreducible polynomial
297	IRIS The Newsletter of the Lambda Classical Caucus winter 2009 LCC/WCC Party 2009 Add to Reading List Source URL: www.lambdacc.org Language: English - Date: 2010-02-27 15:01:27 Gender studies Queer theory Sexual orientation Critical theory LGBT history Queer Eroticism Homosexuality Eve Kosofsky Sedgwick The History of Sexuality
298	245 Documenta Math. On a Theorem of Lehrer and Zhang Jun Hu, Zhankui Xiao Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2012-07-07 15:43:29 Spectral theory Linear algebra Differential forms Ring theory Jordan normal form Matrix theory Lambda calculus
299	23 Documenta Math. Smooth Representations of GLm (D) V: Endo-Classes Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2012-02-04 16:55:14 Lie algebras Representation theory of Lie groups Weight Lambda calculus
300	simply typed λ-calculus logical verification week Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2004-12-15 12:39:12 Lambda calculus Anonymous function Currying Simply typed lambda calculus Type theory Function Combinatory logic Partial application

UPDATE