Lambda - PDFSEARCH.IO - Document Search Engine

Lambda
Results: 2778

#	Item
161	RANDOM GEOMETRIC GRAPH DIAMETER IN THE UNIT BALL ROBERT B. ELLIS, JEREMY L. MARTIN, AND CATHERINE YAN Abstract. The unit ball random geometric graph G = Gdp (λ, n) has as its vertices n points distributed independently Add to Reading List Source URL: math.iit.edu Language: English - Date: 2006-03-23 12:39:13 Mathematics Algebra Mathematical analysis Spectral theory Linear algebra Poisson distribution Lambda calculus Jordan normal form
162	Types and Type-Free λ-Calculus Dana S. Scott, FBA, FNAS University Professor Emeritus Carnegie Mellon University Visiting Scholar Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2016-06-16 11:50:12 Computability theory Theoretical computer science Mathematical logic Theory of computation Models of computation Formal methods Logic in computer science Lambda calculus Recursively enumerable set -recursive function Denotational semantics Numbering
163	79 Documenta Math. A Lambda-Graph System for the Dyck Shift and Its K-Groups Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2003-09-02 16:53:41 Algebra Mathematics Linear algebra Matrix theory Combinatorics on words Symbolic dynamics Markov processes Subshift of finite type Jordan normal form Eigenvalues and eigenvectors Shift space Vertex operator algebra
164	TDγ : Re-evaluating Complex Backups in Temporal Difference Learning George Konidaris∗† MIT CSAIL† Cambridge MA 02139 Add to Reading List Source URL: psthomas.com Language: English - Date: 2013-11-16 15:50:17 Algebra Mathematics Linear algebra Representation theory of Lie algebras Representation theory of Lie groups Weight Matrix theory Lambda calculus Maximum spacing estimation
165	Universidade do Minho Escola de Engenharia Hugo José Pereira Pacheco Bidirectional Data Transformation by Add to Reading List Source URL: alfa.di.uminho.pt Language: English - Date: 2015-05-31 17:04:07 Lambda calculus Corrective lenses Combinatory logic Logic in computer science Bidirectional transformation Progressive lens Mathematics
166	Revised5 Report on the Algorithmic Language Scheme RICHARD H. ABELSON N. I. ADAMS IV D. H. BARTLEY Add to Reading List Source URL: www.nocrew.org Language: English - Date: 2013-05-15 16:15:14 Software engineering Computer programming Computing Subroutines Functional languages Procedural programming languages Data types Lambda calculus Scheme Lisp Anonymous function Scope
167	Practical Reflection in Nuprl Eli Barzilay Stuart Allen Robert Constable Add to Reading List Source URL: barzilay.org Language: English - Date: 2003-03-26 22:21:47 Software engineering Programming language theory Declarative programming Automated theorem proving Logic programming Type theory Lambda calculus Formal methods Higher-order abstract syntax Nuprl Lisp Substitution
168	General Body Meeting Date: November 3, 2015 Time: 8:00 p.m. Location MLC 213 Add to Reading List Source URL: rha.uga.edu Language: English - Date: 2016-02-16 13:24:53 V-12 Navy College Training Program Geography of Georgia U.S. state) National Register of Historic Places in Tift County Georgia University of Georgia Lambda Georgia U.S. state)
169	The key to blame: Gradual typing meets cryptography Jeremy Siek Philip Wadler Indiana University, USA Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2016-07-07 08:33:11 Theoretical computer science Mathematics Mathematical logic Logic in computer science Models of computation Lambda calculus Computability theory Valuation Denotational semantics Combinatory logic Holomorphic functional calculus
170	Secrets of the Glasgow Haskell Compiler inliner Simon Peyton Jones Microsoft Research Ltd, Cambridge Simon Marlow Add to Reading List Source URL: research.microsoft.com Language: English - Date: 1999-09-06 04:29:36 Software engineering Computer programming Computing Subroutines Type theory Lambda calculus Theoretical computer science Data types Inline expansion Mutual recursion Recursion Standard ML

UPDATE