Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
661	C:/Mina dokument/4th year project/ProjectReport.dvi Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2007-02-02 09:38:01 Automated theorem proving Rippling IsaPlanner A* search algorithm Mathematical proof Planner Isabelle Theorem Prolog
662	Multiclass Spectral Clustering Stella X. Yu Robotics Institute and CNBC Carnegie Mellon University Pittsburgh, PA Add to Reading List Source URL: www1.icsi.berkeley.edu Language: English - Date: 2012-02-17 17:43:49 Linear algebra Matrix theory Functional analysis Control theory Numerical analysis Eigenvalues and eigenvectors Spectral clustering Singular value decomposition Discretization Matrix Gaussian function KarhunenLove theorem
663	Spectral Graph Theory Lecture 9 Tutte’s Theorem Daniel A. Spielman Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2015-09-30 14:01:49 Planar graphs Graph operations Graph theory Edge contraction Graph minor Tree Vertex Degeneracy Graph Tutte embedding Line graph
664	Banach J. Math. Anal), no. 1, 167–180 Banach Journal of Mathematical Analysis ISSN: electronic) www.emis.de/journals/BJMA/ Add to Reading List Source URL: www.emis.de Language: English - Date: 2010-11-13 10:00:02 Banach spaces Norm Lp space F-space Sequence space HahnBanach theorem Reflexive space
665	Median-Unbiased Estimation of Higher Order Autoregressive/Unit Root Processes and Autocorrelation Consistent Covariance Estimation in a Money Demand Model J. Huston McCulloch 1 Add to Reading List Source URL: www.econ.ohio-state.edu Language: English - Date: 2012-01-12 12:02:16 Regression analysis Econometrics Time series analysis Estimation theory Parametric statistics Ordinary least squares Heteroscedasticity Linear regression Autocorrelation DurbinWatson statistic GaussMarkov theorem Unit root
666	Learning from Prices: Amplification and Sentiments∗ Ryan Chahrour† Boston College Gaetano Gaballo‡ Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Business cycle Market Game theory General equilibrium theory Economic equilibrium Macroeconomics Supply shock Economics Shock Supply and demand SonnenscheinMantelDebreu theorem
667	C´ edric VILLANI: Curriculum Vitae (last updated August 4, 2012) Professor of the Universit´e de Lyon Director of the Institut Henri Poincar´e 11 rue Pierre et Marie Curie, FParis Cedex 05, FRANCE. Tel.: +33 1 Add to Reading List Source URL: cedricvillani.org Language: English - Date: 2012-10-25 16:30:22 Philosophy of thermal and statistical physics Dynamical systems Thermodynamic entropy Statistical mechanics Alessio Figalli Differential equation Nonlinear system Ludwig Boltzmann Differential geometry of surfaces Entropy Boltzmann equation H-theorem
668	Approximation Algorithms for Single and Multi-Commodity Connected Facility Location Fabrizio Grandoni & Thomas Rothvoß Department of Mathematics, M.I.T. Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2013-11-01 17:11:36 NP-complete problems Approximation algorithms Operations research Facility location problem Combinatorial optimization Steiner tree problem APX Draft:Sub-linear time algorithm Planar separator theorem
669	PDF Document Add to Reading List Source URL: www.econ2.uni-bonn.de Language: English - Date: 2014-03-26 06:49:17 Game theory Nash equilibrium Cooperative game Core Subgame perfect equilibrium Trembling hand perfect equilibrium Solution concept Subgame Extensive-form game Jean-Franois Mertens Folk theorem Bayesian game
670	CS264: Beyond Worst-Case Analysis Lecture #8: Exact Recovery in Stable Cut Instances∗ Tim Roughgarden† October 15, Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-11-05 01:13:23 Combinatorial optimization Linear programming relaxation Maximum flow problem Maximum cut Linear programming Cut Candidate solution Randomized algorithm Max-flow min-cut theorem Randomized rounding

UPDATE