Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
741	Algorithms for Non-negative Matrix Factorization Daniel D. Lee* BelJ Laboratories Lucent Technologies Add to Reading List Source URL: papers.nips.cc Language: English* - Date: 2014-04-15 02:01:26 Matrix theory Multivariate statistics Linear algebra Non-negative matrix factorization Matrix Derivative KullbackLeibler divergence Divergence PerronFrobenius theorem Convolution Principal component analysis
742	published in Linear Algebra and its Applications (LAA), 279:, 1998 THE SIGN-REAL SPECTRAL RADIUS AND CYCLE PRODUCTS SIEGFRIED M. RUMP∗ Abstract. The extension of the Perron-Frobenius theory to real matrices with Add to Reading List Source URL: www.ti3.tu-harburg.de Language: English - Date: 2005-11-21 06:36:27 Matrices Linear algebra Matrix theory Matrix Diagonal matrix PerronFrobenius theorem
743	Intersected low-density parity-check and convolutional codes Edward A. Ratzer Cavendish Laboratory, University of Cambridge Madingley Road, Cambridge CB3 0HE Abstract Add to Reading List Source URL: www.inference.phy.cam.ac.uk Language: English - Date: 2003-05-20 11:15:46 Error detection and correction Coding theory Low-density parity-check code Convolutional code Turbo code Forward error correction EXIT chart ReedSolomon error correction Noisy-channel coding theorem Block code Concatenated error correction code Error floor
744	THE MORAVA K-THEORY OF SPACES RELATED TO BO NITU KITCHLOO, GERD LAURES, AND W. STEPHEN WILSON Abstract. We calculate the (p = 2) Morava K-theory of all of the spaces in the connective Omega spectra for Z × BO, BO, BSO, Add to Reading List Source URL: www.math.jhu.edu Language: English - Date: 2014-03-30 15:19:14 Homotopy theory Algebraic topology Ring theory Algebras Hopf algebra Representation theory Cohomology Exterior algebra Coalgebra Ring EilenbergMacLane space Bott periodicity theorem
745	Dynamic Trace Logic: Definition and Proofs? Bernhard Beckert and Daniel Bruns?? Karlsruhe Institute of Technology, Department of Informatics Abstract. Dynamic logic is an established instrument for program verification a Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2014-03-13 08:30:05 Automated theorem proving Proof theory Symbol Sequent Substitution First-order logic Hoare logic Method of analytic tableaux Polar coordinate system
746	Communications in MathGITiatJCal Commun. Math. Phys. 88, Physics Add to Reading List Source URL: www.math.csi.cuny.edu Language: English - Date: 2009-05-03 17:54:28 Measure theory Digital signal processing Dirac delta function Fourier analysis Continuous function Monotone convergence theorem World glyph set LindemannWeierstrass theorem
747	Analysis III/IV (Math 3011, MathExercise SheetThe Problem Classes this term take place in CG85 at 5pm Add to Reading List Source URL: maths.dur.ac.uk Language: English - Date: 2012-01-23 06:27:27 Calculus Metric geometry Mathematical analysis General topology Convergence Complete metric space Continuous function Uniform convergence HeineBorel theorem Metric space Limit of a function
748	73 Documenta Math. Singular Bott-Chern Classes and the Arithmetic Grothendieck Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2010-03-18 12:47:44 Characteristic classes Algebraic geometry Vector bundles Chern class ChernWeil homomorphism Splitting principle Arakelov theory Chow group K-theory GrothendieckRiemannRoch theorem Coherent sheaf Tautological bundle
749	Irish Math. Soc. Bulletin), 77–Recent Progress on the Daugavet Property DIRK WERNER Add to Reading List Source URL: www.maths.tcd.ie Language: English - Date: 2001-07-30 13:08:12 Banach spaces Functional analysis Metric geometry Compact operator Reflexive space HahnBanach theorem Uniform boundedness principle Schauder basis Isometry Continuous function BanachAlaoglu theorem Frchet space
750	SLICES IN THE UNIT BALL OF A UNIFORM ALGEBRA OLAV NYGAARD AND DIRK WERNER Abstract. We show that every nonvoid relatively weakly open subset, in particular every slice, of the unit ball of an infinite-dimensional uniform Add to Reading List Source URL: page.mi.fu-berlin.de Language: English - Date: 2012-11-07 06:28:04 Banach algebras Functional analysis HahnBanach theorem Continuous function Uniform algebra Banach spaces Banach function algebra Fourier analysis ArzelAscoli theorem

UPDATE