Hilbert system - PDFSEARCH.IO - Document Search Engine

Hilbert system
Results: 45

#	Item
1	A On the Power of Substitution in the Calculus of Structures Novak Novakovi´c, Inria Lutz Straßburger, Inria There are two contributions in this paper. First, we give a direct proof of the known fact that Frege system Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2015-04-07 12:31:04 Logic Mathematical logic Propositional calculus Proof theory Automated theorem proving Logical truth Boolean algebra Frege system Substitution Natural deduction Hilbert system Sequent
2	Ergodic Properties of Random Schr¨odinger Operators by Irina Y. Zhecheva A Thesis Add to Reading List Source URL: sites.williams.edu Language: English - Date: 2012-08-22 10:38:21 Mathematical analysis Ergodic theory Mathematics Analysis Ergodicity Measure-preserving dynamical system Ergodic process Hilbert space Dynamical system Probability space Measure Functional analysis
3	Higher-order interference and single-system postulates characterizing quantum theory Howard Barnum,1, 2, ∗ Markus P. M¨ uller,3, † and Cozmin Ududec4, ‡ 1 arXiv:1403.4147v4 [quant-ph] 3 Jan 2015 Add to Reading List Source URL: arxiv.org Language: English - Date: 2015-01-05 21:00:17 Physics Quantum mechanics Theoretical physics Logic Quantum logic Laws of science Hilbert space Special relativity Spin
4	Lecture 12: Deduction and Resolution 1 Hilbert’s System Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2014-10-16 13:41:19
5	QUANTUM THEORY AND ANALYSIS John C. BaezStates, Observables, and Symmetries The basic ingredients of a theory of a physical system are mathematical objects describing 1) a set S of states of the system, 2) the Add to Reading List Source URL: www.math.ucr.edu Language: English - Date: 2008-11-18 16:54:34 Spectral theory Operator theory Matrix theory Singular value decomposition Spectrum Self-adjoint operator Spectral theorem Hilbert space Eigenvalues and eigenvectors Algebra Mathematics Linear algebra
6	THE BELL SYSTEM TECHNICAL JOURNAL DEVOTED TO THK SCIENTIFIC AND ENC.INEERINC. ASPECTS OK ELECTRICAL COMMUNICATION Volume 56 Add to Reading List Source URL: languagelog.ldc.upenn.edu Language: English - Date: 2015-04-30 13:48:08 Integral transforms Operator theory Ordinary differential equations Hilbert transform Fourier transform Spectrum Spectral theory of ordinary differential equations Riemann hypothesis Mathematical analysis Functional analysis Spectral theory
7	Microsoft PowerPoint - hilbert.ppt Add to Reading List Source URL: www.frontiersincomputervision.com Language: English - Date: 2011-09-12 00:44:02 Imaging Image processing Hartmut Neven Hessian affine region detector Object detection Visual system Visual perception Scale-invariant feature transform Computer vision Vision Artificial intelligence
8	Hilbert Space Embeddings and Dynamical Systems S.V.N. Vishwanathan National ICT Australia, Australian National University Add to Reading List Source URL: www.stat.purdue.edu Language: English - Date: 2009-08-21 20:38:58 Linear algebra Dynamical system Systems Systems theory Hilbert space Positive-definite kernel Vector space Algebra Mathematics Operator theory
9	Kernels for Dynamic Textures S.V.N. Vishwanathan http://web.anu.edu.au/~vishy National ICT Australia and Add to Reading List Source URL: www.stat.purdue.edu Language: English - Date: 2009-08-21 20:38:51 Kernel Dynamical system Linux kernel Mathematics Positive-definite kernel Hilbert space Operator theory Physics Software
10	Hybrid extragradient viscosity method for general system of variational inequalities Add to Reading List Source URL: www.journalofinequalitiesandapplications.com Language: English Mathematics Contraction mapping Hilbert space Contraction Inner product space Calculus of variations Operator theory Algebra Mathematical analysis