Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
781	On Herding and the Perceptron Cycling Theorem Andrew E. Gelfand, Yutian Chen, Max Welling Department of Computer Science University of California, Irvine {agelfand,yutianc,welling}@ics.uci.edu Add to Reading List Source URL: lvdmaaten.github.io Language: English - Date: 2016-07-16 15:30:43 Machine learning Artificial neural networks Perceptron Conditional random field Supervised learning Pattern recognition Generalization error Structured prediction Kernel perceptron
782	Hipster: Integrating Theory Exploration in a Proof Assistant Moa Johansson, Dan Ros´en, Nicholas Smallbone, and Koen Claessen Department of Computer Science and Engineering, Chalmers University of Technology {jomoa,danr Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2014-05-05 03:54:39 Mathematical proofs Lemmas Five lemma Homological algebra Structural induction Theorem Proof assistant
783	On the geometry of the f -invariant Hanno von Bodecker∗ Abstract The f -invariant is a higher version of the e-invariant that takes values in the divided congruences between modular forms; it can be Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2008-08-22 05:10:38 Characteristic classes Differential geometry Algebraic topology Differential topology Chern class ChernWeil homomorphism AtiyahSinger index theorem Thom space Cobordism Vector bundle Manifold Fiber bundle
784	Stochastic Optimal Growth with Risky Labor Supply∗ Yiyong Cai,a,b Takashi Kamihigashic,d and John Stachurskie a Centre for Complex Systems Science, Add to Reading List Source URL: johnstachurski.net Language: English - Date: 2016-06-19 06:01:40 Markov models Central limit theorem Markov chain Stochastic processes Control theory
785	Economic Dynamical Systems with Multiplicative Noise John Stachurski Department of Economics, The University of Melbourne, VIC 3010, Australia Abstract Add to Reading List Source URL: johnstachurski.net Language: English - Date: 2016-06-19 06:01:52 Symbol Markov chain Lyapunov function Mixing Linear temporal logic Central limit theorem
786	A APPENDIX Proof sketch of Corollary 4.5. The proof follows similarly to Theorem 4.2. But, here the terms fti (y, θ) and fto (y, θ) are slightly different Add to Reading List Source URL: marek.petrik.us Language: English - Date: 2016-07-14 09:59:52 Convex analysis Convex function
787	Effective equidistribution of eigenvalues of Hecke operators Add to Reading List Source URL: www.iiserpune.ac.in Language: English - Date: 2013-03-06 01:50:50 Diophantine approximation Ergodic theory Equidistributed sequence Equidistribution theorem Hecke operator Spectral theory Spectral theory of ordinary differential equations
788	Bibliography [1] Y. Abramovich. New classes of spaces on which compact operators satisfy the Daugavet equation. To appear in J. Operator Theory. [2] Y. Abramovich. A generalization of a theorem of J. Holub. Proc. Amer. Add to Reading List Source URL: page.mi.fu-berlin.de Language: English - Date: 2000-06-19 16:07:44 Operator theory Fourier analysis Functional analysis Linear algebra Banach spaces Approximation property Banach algebra Compact operator Dual space Operator Multiplier Hilbert space
789	An Integrated Approach to High Integrity Software Verification Andrew Ireland1 , Bill J. Ellis1 , Andrew Cook1 , Roderick Chapman2 , Janet Barnes2 1 Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2006-05-16 11:38:59 Formal methods Automated theorem proving Theoretical computer science Logic in computer science SPARK Loop invariant Mathematical proof Automated reasoning Verification condition generator Formal verification Correctness Conjecture
790	Honest signalling with costly gambles Frazer Meacham1, Aaron Perlmutter1 and Carl T. Bergstrom1,Department of Biology, University of Washington, PO Box, Seattle, WA 98195, USA Add to Reading List Source URL: octavia.zoology.washington.edu Language: English - Date: 2013-08-01 12:15:25 Game theory Utility Decision theory Asymmetric information Icelandic language Signalling theory Thorn Von NeumannMorgenstern utility theorem Risk aversion Bar Expected utility hypothesis Signaller

UPDATE