Pure function - PDFSEARCH.IO - Document Search Engine

Pure function
Results: 59

#	Item
1	GROSS SUBSTITUTABILITY : AN ALGORITHMIC SURVEY RENATO PAES LEME∗ Abstract. The concept of gross substitute valuations was introduced by Kelso and Crawford as a sufficient conditions for the existence of Walrasian equil Add to Reading List Source URL: www.renatoppl.com Language: English - Date: 2013-11-28 12:54:41 Auction theory Mathematics Submodular set function Competitive equilibrium Theoretical computer science Valuation Gross substitutes Software engineering Pure Combinatory logic
2	Q: A Functional Programming Language for Q: A Functional Programming Language Multimedia Applications Add to Reading List Source URL: lac.zkm.de Language: English - Date: 2005-06-24 21:08:18 Software engineering Computing Computer programming Functional languages Q SQR MIDI Functional programming Anonymous function Open Sound Control Futures and promises Pure
3	Sequencing, and IO Björn Lisper School of Innovation, Design, and Engineering Mälardalen University http://www.idt.mdh.se/˜blr/ Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2015-04-27 03:46:56 C standard library Functional programming Subroutines Functional languages Printf format string Printf Eval Lisp Pure function
4	Self-applicable Partial Evaluation for Pure Lambda Calculus Torben Æ. Mogensen DIKU, University of Copenhagen, Denmark Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:54 Lambda calculus Combinatory logic Church encoding Fixed-point combinator Anonymous function Higher-order abstract syntax Type system Unification De Bruijn index Lambda calculus definition
5	Proceedings of Symposia in Pure Mathematics Multiple Hurwitz Zeta Functions M. Ram Murty and Kaneenika Sinha Abstract. After giving a brief overview of the theory of multiple zeta functions, we derive the analytic conti Add to Reading List Source URL: www.mast.queensu.ca Language: English - Date: 2007-09-23 19:54:59 Analytic number theory Bernhard Riemann Riemann zeta function Hurwitz zeta function Dirichlet L-function Riemann hypothesis Zeta Prime number theorem Zeta function regularization Real analytic Eisenstein series
6	Operating Manual DXA-SLR PURE Passive Audio Adapter for DSLR Cameras This operating manual explains the adapter function settings Add to Reading List Source URL: beachtek.com Language: English - Date: 2014-03-23 04:54:27 Audio electronics Sound Electronics Audio engineering Phone connector Mixing console Sound card Camera Headphone amplifier Smartphones
7	Pure Appl. Chem., Vol. 74, No. 6, pp. 907–914, 2002. © 2002 IUPAC Modeling genome structure and function* Ram Samudrala Department of Microbiology, University of Washington, Seattle, WA, Add to Reading List Source URL: www.ram.org Language: English - Date: 2015-04-27 23:14:33 Protein structure Science Chemistry Structural genomics Protein structure prediction De novo protein structure prediction Homology modeling Structural alignment Threading Bioinformatics Biology Protein methods
8	On the Existence of Monotone Pure Strategy Equilibria in Bayesian Games Philip J. Reny Department of Economics University of Chicago November 2008 Add to Reading List Source URL: federation.ens.fr Language: English - Date: 2012-09-26 08:00:21 Algebraic structures Lattice theory Topological spaces Convex analysis Semilattice Contractible space Convex set Lattice Convex function Mathematics Topology Mathematical analysis
9	Page 1 of 50 Commonsense Reasoning Do Humans Think? Add to Reading List Source URL: onesparrow.com Language: English - Date: 2009-10-15 09:50:00 Epistemology Reasoning Critique of Pure Reason Schema Reason Immanuel Kant Intuition Function Logic Philosophy Knowledge Science
10	Axiomatic Language Walter W. Wilson Axiomatic language is proposed as a tool for greater programmer productivity and software reliability. Goals – Axiomatic language has the following goals: (1) pure specification – Add to Reading List Source URL: www.axiomaticlanguage.org Language: English - Date: 2015-04-04 17:54:15 Formal systems Metalogic Formal methods Function Axiom Lisp Mathematical proof Axiomatic system Mathematics Logic Mathematical logic