Substitution - PDFSEARCH.IO - Document Search Engine

Substitution
Results: 2868

#	Item
131	PDF Document Add to Reading List Source URL: spikesmusic-serendipity.spike-jamie.com Language: English - Date: 2005-02-12 22:36:08 Music Chord progressions Elements of music Chord substitution Seventh chords
132	Risks For the Long Run: Estimation and Inference∗ Ravi Bansal† Dana Kiku‡ Amir Yaron§ First Draft: June 2006 Add to Reading List Source URL: faculty.fuqua.duke.edu Language: English - Date: 2007-09-27 10:50:57 Economy Finance Money Mathematical finance Actuarial science Financial risk Behavioral finance Consumer theory Equity premium puzzle Beta Elasticity of intertemporal substitution Random walk model of consumption
133	DFPART: A Package for Calculating with Derivatives of Generic Functions H. Melenk Konrad–Zuse–Zentrum f¨ ur Informationstechnik Berlin Add to Reading List Source URL: reduce-algebra.com Language: English - Date: 2008-12-30 11:46:21 Mathematical analysis Mathematics Calculus Multivariable calculus Differential calculus Differential operators Differentiation rules Partial derivative Derivative Total derivative Taylor series Substitution
134	• Paper at Concur 2002 wischik.com/lu/research/ A simple, distributed implementation of the pi-calculus, using explicit fusions Add to Reading List Source URL: www.wischik.com Language: English - Date: 2002-07-22 03:56:39 Mathematics Logic Theoretical computer science Automated theorem proving Logic programming Abstraction Process calculi -calculus Substitution Inverse trigonometric functions Lambert W function
135	DRAFT – TO APPEAR AT ICFPFully Abstract Compilation via Universal Embedding ∗ Max S. New William J. Bowman Add to Reading List Source URL: www.williamjbowman.com Language: English - Date: 2016-08-20 09:03:03 Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Theoretical computer science Mathematical logic Differential topology Generalised Whitehead product Orbifold
136	Abstracting Abstract Machines David Van Horn ∗ Matthew Might Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-07-26 15:43:30 Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Model theory Philosophy Symbol
137	MrBayesPrimer (with a focus on model selection) Jeremy M. Brown Dept. of Biological Sciences Louisiana State University www.phyleauxgenetics.org Add to Reading List Source URL: treethinkers.org Language: English - Date: 2014-03-09 14:13:45 Statistics Statistical theory Probability Bayesian statistics Bioinformatics Computational phylogenetics Command shells Probability distributions Markov chain Monte Carlo Substitution model IBM i Control Language Command-line interface
138	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
139	University of Hawai`i at Mānoa Department of Economics Working Paper Series Saunders Hall 542, 2424 Maile Way, Honolulu, HIPhone: ( Add to Reading List Source URL: www.economics.hawaii.edu Language: English - Date: 2015-02-05 19:21:19 Economy International trade Trade policy Protectionism Tari Liberalization Free trade Import substitution industrialization Trade
140	Hints in unification Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, and Enrico Tassi Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 — 40127 Bologna, ITALY {asperti,ricciott,sacer Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2012-02-14 06:55:32 Algebra Mathematics Abstract algebra Algebraic structures Semigroup theory Automated theorem proving Logic programming Category theory Unification Monoid Semigroup Substitution