Fixed-function - PDFSEARCH.IO - Document Search Engine

Fixed-function
Results: 167

#	Item
141	Theoretical Computer Science[removed] – 324 www.elsevier.com/locate/tcs Entropy as a fixed point Keye Martin∗ Center for High Assurance Computer Systems (Code 5540), Naval Research Laboratory, Washington DC 203 Add to Reading List Source URL: www.nearmidnight.com Language: English - Date: 2012-12-26 17:34:06 Applied mathematics Statistical theory Entropy Randomness Computational complexity theory Inner product space FO Continuous function Mutual information Mathematics Mathematical analysis Information theory
142	Data Types, Functions, and Programming Daniel R. Grayson? and Michael E. Stillman?? In this chapter we present an introduction to the structure of Macaulay 2 commands and the writing of functions in the Macaulay 2 langua Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2001-04-28 11:05:54 Theoretical computer science Recursion Function Hash function Eval Fixed-point combinator Comparison of programming languages Μ operator Mathematics Functions and mappings Computing
143	Miscellaneous preliminaries on arithmetic geometry One definition of a hyperelliptic curve is a curve C over an algebraically closed field k whose function field K is a degree 2 extension of a purely transcendental exten Add to Reading List Source URL: swc.math.arizona.edu Language: English - Date: 2014-03-13 03:49:03 Homological algebra Finite fields Fixed points Field theory Mathematical series Elliptic curve Weil conjectures Projective space Formal power series Abstract algebra Mathematics Algebra
144	lci Manual Kostas Chatzikokolakis 12 March 2006 This manual describes the use of lci, which is an advanced interpreter for the λ-calculus. This program was first developed by Kostas Chatzikokolakis Add to Reading List Source URL: lci.sourceforge.net Language: English - Date: 2006-03-13 15:27:23 Mathematical logic Recursion Computability theory Combinatory logic Logic in computer science Fixed-point combinator Associative property Operator associativity Function Mathematics Theoretical computer science Lambda calculus
145	5. The Polyakov Path Integral and Ghosts At the beginning of the last chapter, we stressed that there are two very different interpretations of conformal symmetry depending on whether we’re thinking of a fixed 2d backg Add to Reading List Source URL: www.damtp.cam.ac.uk Language: English - Date: 2010-05-19 05:06:18 Symbol Faddeev–Popov ghost Gauge theory Gauge fixing Partition function Vertex operator algebra Orbifold Physics Quantum field theory Quantum chromodynamics
146	Communications in Mathematical Physics Commun. Math. Phys. 96, [removed]t984) Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2013-12-22 12:53:28 Fixed-point combinator Lambda calculus Recursion Derivative Group action Function Convolution theorem Finite difference Mathematical analysis Mathematics Functions and mappings
147	Final Coalgebras as Greatest Fixed Points in ZF Set Theory∗ Lawrence C. Paulson [removed] Computer Laboratory, University of Cambridge, England Received 1 March 1999 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-04-29 07:49:48 Category theory Binary operations Functional programming F-coalgebra Initial algebra Coalgebra Function Cartesian product Exponentiation Mathematics Abstract algebra Type theory
148	A Structural Approach to Reversible Computation Samson Abramsky Oxford University Computing Laboratory Abstract Reversibility is a key issue in the interface between computation Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:35:04 Mathematical logic Models of computation Logic in computer science Combinatory logic Digital electronics Fixed-point combinator Function Reversible computing SKI combinator calculus Theoretical computer science Mathematics Lambda calculus
149	Edward N. Zalta Essence and Modality∗ Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2011-11-28 19:53:20 Model theory Predicate logic Lambda calculus Metalogic Category theory First-order logic Fixed-point combinator Interpretation Function Logic Mathematical logic Mathematics
150	M344 - ADVANCED ENGINEERING MATHEMATICS Lecture 21: Motion of a Deflected Beam The deflection of a cantilever beam that is fixed at one end and free to move at the other can be shown to satisfy a fourth-order partial dif Add to Reading List Source URL: uhaweb.hartford.edu Language: English - Date: 2009-11-30 22:21:19 Analytic functions Trigonometry Ordinary differential equations Differential equations Exponentials Hyperbolic function Trigonometric functions Separation of variables Integration by parts Mathematical analysis Mathematics Calculus

UPDATE