Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
921	Superficially Substructural Types (Technical Appendix) Neelakantan R. Krishnaswami MPI-SWS Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2012-08-29 08:54:52 Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Differential topology Symbol Table of stars with Bayer designations
922	CESifo Working Paper Series BUDGET REFERENDUMS AND GOVERNMENT SPENDING: EVIDENCE FROM SWISS CANTONS Lars P. Feld John G. Matsusaka* Add to Reading List Source URL: www.cesifo-group.de Language: English - Date: 2005-05-13 06:50:57 Politics of Switzerland Referendums in Switzerland Ballot measures Direct democracy Referendum Mandatory referendum Initiative Optional referendum Median voter theorem Democracy Referendums by country Voting in Switzerland
923	Modular Bisimulation Theory for Computations and Values Martin Churchill and Peter D. Mosses {m.d.churchill,p.d.mosses}@swansea.ac.uk Department of Computer Science, Swansea University, Swansea, UK Add to Reading List Source URL: plancomps.dreamhosters.com Language: English - Date: 2014-11-22 16:20:54 Logic in computer science Theoretical computer science Automated theorem proving Logic programming Bisimulation Substitution Operational semantics Transition system Derivative Permutation Variable -calculus
924	Spectral Graph Theory Lecture 7 Fiedler’s Theorems on Nodal Domains Daniel A. Spielman Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2015-08-17 14:43:26 Matrix theory Linear algebra Matrices Algebraic graph theory Singular value decomposition Eigenvalues and eigenvectors PerronFrobenius theorem Laplacian matrix Symmetric matrix Matrix Square matrix Eigendecomposition of a matrix
925	2 Bias-correction of Kalman filter estimators associated to a linear state space model with estimated parameters 3 Add to Reading List Source URL: ria.ua.pt Language: English - Date: 2016-05-13 08:38:39 Estimation theory Estimator Kalman filter Minimum mean square error Maximum likelihood estimation Bias of an estimator Mean squared error Point estimation GaussMarkov theorem Extended Kalman filter Efficient estimator
926	Computing Marginal Distributions over Continuous Markov Networks for Statistical Relational Learning Matthias Br¨ocheler, Lise Getoor University of Maryland, College Park College Park, MD 20742 Add to Reading List Source URL: psl.umiacs.umd.edu Language: English - Date: 2013-06-14 19:26:49 Operations research Summary statistics Statistical models Convex optimization Linear programming Normal distribution Probability distribution Central limit theorem Expected value Random walk Stochastic process Standard deviation
927	Christiano FINC 520, Spring 2007 Homework 4, due Tuesday, MayIn class, we motivated the spectral decomposition theorem using the band pass filter. In this question, we motivate the same theorem using a discrete de Add to Reading List Source URL: faculty.wcas.northwestern.edu Language: English - Date: 2007-04-25 23:36:36 Signal processing Frequency domain analysis Fourier analysis Scattering Spectral density Spectroscopy Seasonal adjustment Kalman filter Spectrum
928	Single-Source Stochastic Routing Shuchi Chawla1? and Tim Roughgarden2?? 1 2 Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2006-07-01 03:46:20 Operations research Linear programming Routing Flow network Approximate max-flow min-cut theorem Shortest path problem
929	Embedded minimal surfaces of finite topology William H. Meeks III∗ Joaqu´ın P´erez †, arXiv:1506.07793v1 [math.DG] 25 Jun 2015 Add to Reading List Source URL: arxiv.org Language: English - Date: 2015-06-25 20:23:09 Differential geometry of surfaces Riemann surfaces Surfaces Differential geometry Geometric topology Minimal surface GaussBonnet theorem Gaussian curvature Helicoid Curvature Geometry Festival Riemannian geometry
930	arXiv:0910.2932v1 [math.PR] 15 OctAn almost sure limit theorem for Wick powers of Gaussian differences quotients Michael B. Marcus Jay Rosen Add to Reading List Source URL: arxiv.org Language: English - Date: 2009-10-15 15:08:11 Normal distribution Hermite polynomials Fourier analysis Heat equation It diffusion

UPDATE