Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
881	E. Sakalauskas The Multivariate Quadratic Power Problem over ZN is NP-Complete N. Surname Application of Multistart Tabu Search to the MAX–CUT Problem N. Surname Add to Reading List Source URL: www.itc.ktu.lt Language: English - Date: 2015-05-26 03:12:57 Metaheuristics Complexity classes Operations research Mathematical optimization Tabu search Algorithm Search algorithm Heuristic Local search Theorem NP
882	Motivations and main idea Basics of quantum fault tolerance Geometric picture of QECCs and unitary fault tolerance Conclusion Fibre bundle framework for Add to Reading List Source URL: www.qec14.ethz.ch Language: English - Date: 2014-12-19 04:03:41 Differential geometry Algebraic geometry Grassmannian Projective geometry Vector bundle Toric code Fiber bundle NarasimhanSeshadri theorem
883	Fault-tolerant Quantum Computing Bryan Eastin Northrop Grumman Corporation Aurora, CO December 2014 Add to Reading List Source URL: www.qec14.ethz.ch Language: English - Date: 2014-12-19 04:03:41 Quantum information science Quantum computing Models of computation Fault-tolerant computer systems Emerging technologies Quantum error correction Quantum circuit Qubit GottesmanKnill theorem Quantum operation Pauli matrices Quantum gate
884	445 Documenta Math. Some Consequences of the Karpenko-Merkurjev Theorem Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2010-06-21 15:52:34 Group theory Representation theory Representation theory of finite groups Group representation Induced representation Harmonic analysis Functional analysis Clifford theory Zonal spherical function
885	781 Documenta Math. Dilation Theory, Commutant Lifting and Semicrossed Products Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2011-11-21 14:27:49 Operator theory Commutant lifting theorem Dilation C*-algebra Contraction Representation theory Invariant subspace GelfandNaimarkSegal construction Von Neumann algebra
886	Applications of a Global Workspace Framework to Mathematical Discovery John Charnley and Simon Colton Combined Reasoning Group, Department of Computing Imperial College, United Kingdom Abstract Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2008-08-18 04:53:21 Statements Non-associative algebra Formal methods Group theory Quasigroup Conjecture Mathematical proof Theorem Automated theorem proving Prime number Theory Concept learning
887	Learning in Hilbert vs. Banach Spaces: A Measure Embedding Viewpoint Bharath K. Sriperumbudur Gatsby Unit University College London Add to Reading List Source URL: eceweb.ucsd.edu Language: English - Date: 2015-07-31 19:00:24 Operator theory Hilbert space Banach spaces Function spaces Fourier analysis Reproducing kernel Hilbert space Positive-definite kernel Reflexive space Distribution HahnBanach theorem Embedding Sobolev space
888	Spectral Graph Theory Lecture 4 Bounding Eigenvalues Daniel A. Spielman Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2015-08-17 14:43:26 Expander graph Graph coloring Min-max theorem Incidence coloring
889	translated from ROBUST’2008 c Author 2009 ° MINIMIZATION OF TOTAL VARIATION IN Add to Reading List Source URL: www2.biomed.cas.cz Language: English - Date: 2009-07-02 09:24:34 Combinatorial optimization Max-flow min-cut theorem Mathematical optimization Image segmentation
890	A Constructing and Sampling Graphs with a Prescribed Joint Degree Distribution ISABELLE STANTON, University of California, Berkeley ALI PINAR, Sandia National Laboratories Add to Reading List Source URL: www.sandia.gov Language: English - Date: 2012-03-06 12:55:52 Graph theory Bipartite graph Graph Degree Connectivity Directed graph Regular graph Line graph Planar separator theorem

UPDATE