Theorems - PDFSEARCH.IO - Document Search Engine

Theorems
Results: 880

#	Item
311	CALCULEMUSPartial Evaluation and Residual Theorems in Computer Algebra Michael Kucera 1 Jacques Carette 2 Computing and Software Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2006-09-07 12:33:54 Cross-platform software Maple Maplesoft Partial evaluation ALGOL 68 Obfuscated code Dynamic programming Software engineering Computing Computer programming
312	DOMINANCE THEOREMS AND ERGODIC PROPERTIES OF POLLING SYSTEMS1 S. G. Foss and N. I. Chernova We consider a class of polling systems with stationary ergodic input flow such that the control in a system obeys a certain rege Add to Reading List Source URL: math.nsc.ru Language: English - Date: 2005-09-16 03:23:50 Calculus Continuous function Markov chain Ergodic theory Mathematics Control theory Itō diffusion Μ operator Mathematical analysis Markov models Stochastic differential equations
313	Fractional Sylvester-Gallai Theorems∗ Boaz Barak† Zeev Dvir‡ Avi Wigderson§ Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2012-11-05 11:02:17 Euclidean plane geometry Rank Vector space Sylvester–Gallai theorem Inner product space Matrix Theorems and definitions in linear algebra Algebra Mathematics Linear algebra
314	Lower Bounds for Orthogonal Range Searching: I. The Reporting Case BERNARD CHAZELLE Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2006-10-01 19:10:53 Operator theory FO Finite model theory Projection Random permutation statistics Theorems and definitions in linear algebra Mathematics Mathematical analysis Algebra
315	Craig Interpolation Theorems and Database Applications Balder ten Cate! LogicBlox & UC Santa Cruz! ! Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-11-09 02:27:37 Model theory Conjunctive query Database theory Lemmas FO First-order logic Structure Craig interpolation Rewriting Mathematics Logic Mathematical logic
316	CCCG 2010, Winnipeg MB, August 9–11, 2010 On the Variance of Random Polygons Imre B´ ar´ any∗and William Steiger† Add to Reading List Source URL: cccg.ca Language: English - Date: 2010-07-19 10:46:18 Central limit theorem Convex function Spectral theory Functional analysis Operator theory Theorems and definitions in linear algebra Convex cone Mathematical analysis Mathematics Convex analysis
317	OctLecture 16: Integral Theorems Reading: Kreyszig Sections: 10.7, 10.8, 10.9 Add to Reading List Source URL: pruffle.mit.edu Language: English - Date: 2012-11-05 14:42:57 Multivariable calculus Vector calculus Integral calculus Surfaces Multiple integral Divergence theorem Surface integral Divergence Cylindrical coordinate system Calculus Mathematical analysis Mathematics
318	Coding Theorems for “Turbo-Like” Codes∗ Dariush Divsalar, Hui Jin, and Robert J. McEliece Jet Propulsion Laboratory and California Institute of Technology Pasadena, California USA E-mail: .g Add to Reading List Source URL: www.systems.caltech.edu Language: English - Date: 2005-01-09 12:15:49 Information Discrete mathematics Convolutional code Turbo code Concatenated error correction code Forward error correction Repetition code Linear code Interleaving Error detection and correction Coding theory Information theory
319	Proof by bootstrapping Jordan Bell Department of Mathematics, University of Toronto May 4, 2015 The Oxford English Dictionary defines “to bootstrap” as the following: Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2015-05-05 10:33:25 Operator theory Functional analysis Spectral theory Multivariable calculus Partial differential equation Distribution Hilbert space Heat equation Theorems and definitions in linear algebra Mathematical analysis Mathematics Calculus
320	Optimality in an Adverse Selection Insurance Economy with Private Trading April 2015 Pamela Labadie1 Abstract An externality is created in an adverse selection insurance economy because of the interaction between private Add to Reading List Source URL: www.laef.ucsb.edu Language: English - Date: 2015-05-07 15:29:59 Law and economics Economic efficiency General equilibrium theory Pareto efficiency Perfect competition Fundamental theorems of welfare economics Incentive Competitive equilibrium JEL classification codes Economics Game theory Welfare economics

UPDATE