Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
391	Algorithms and Data Structures Winter TermExercises for Units 25 & 26 1. Suppose you are given a directed graph G = (V, E), two vertices s and t, a capacity function c : E → R+ , and another function f : E → Add to Reading List Source URL: www-tcs.cs.uni-sb.de Language: English - Date: 2016-03-17 15:32:23 Graph theory Mathematics Network flow Graph connectivity Combinatorial optimization Maximum flow problem Cut Flow network Max-flow min-cut theorem Minimum-cost flow problem
392	Chapter 5 Discrete Fourier Transform, DFT and FFT In the previous chapters we learned about Fourier series and the Fourier transform. These representations can be used to both synthesize a variety of continuous and discr Add to Reading List Source URL: complextoreal.com Language: English - Date: 2015-09-04 17:17:09 Mathematical analysis Fourier analysis Digital signal processing Discrete Fourier transform Discrete-time Fourier transform DFT matrix Discrete Fourier series Fourier transform Window function Fourier Convolution theorem
393	2. PROBLEM SET FOR “DIFFERENTIAL GEOMETRY II” AKA “ANALYSIS AND GEOMETRY ON MANIFOLDS” WINTER TERMProblem 4. Prove the following theorem from class, which defines the product of smooth manifolds. Add to Reading List Source URL: carsten.codimi.de Language: English - Date: 2013-09-23 06:50:59 Topology Mathematics Mathematical analysis Geometric topology Differentiable manifold Smooth structure Manifolds Handle decomposition Complex manifold
394	The Design of an Eﬃcient Private Industry Philippe Jehiel and Benny Moldovanu∗ May 5, 2003 Abstract Government-sponsored auctions for production rights (e.g., license Add to Reading List Source URL: www.econ2.uni-bonn.de Language: English - Date: 2014-03-26 06:49:17 Auction theory Auctions Game theory Mathematical analysis Vickrey auction Envelope theorem Economy Business economics Auction VickreyClarkeGroves auction
395	Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury§ , Limin Jia§ , Deepak Garg† , and Anupam Datta§ Carnegie Mellon University§ , Max Planck Institute for Software Systems† {omarc, l Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-01-24 20:37:43 Logic Mathematical logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution FO Constructible universe Normal distribution
396	Sonic Partial Deduction Jonathan Martin and Michael Leuschel Declarative Systems and Software Engineering Group Technical Report DSSE-TR-99-3 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:04 Mathematics Logic Functions and mappings Mathematical logic Logic programming Automated theorem proving Append Functional programming Lisp Unfolding Substitution Atomic formula
397	Natural Computing manuscript No. (will be inserted by the editor) Classical, quantum and non-signalling resources in bipartite games Gilles Brassard 1 , Anne Broadbent 1 , Esther H¨anggi 2 , Andr´e Allan M´ethot 3 , Add to Reading List Source URL: cqi.inf.usi.ch Language: English - Date: 2012-11-05 03:42:47 Graph theory Bipartite graphs Quantum mechanics Quantum measurement Parity KochenSpecker theorem Quantum nonlocality
398	SummerCalculus II (Math 227) Week 1: 06/18 : Introduction. Definite integrals and the fundamental theorem. Add to Reading List Source URL: userwww.sfsu.edu Language: English - Date: 2012-08-02 17:52:01 Integral calculus Integral Quiz Improper integral Comparison test Calculus Analysis
399	WEAK FANO THREEFOLDS OBTAINED BY BLOWING-UP A SPACE CURVE AND CONSTRUCTION OF SARKISOV LINKS ´ EMY ´ ´ Add to Reading List Source URL: jones.math.unibas.ch Language: English - Date: 2014-09-21 13:52:40 Algebraic geometry Algebra Abstract algebra Canonical bundle Del Pezzo surface Birational geometry Fano variety Divisor Ample line bundle Linear system of divisors Adjunction formula RiemannRoch theorem
400	IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 51, NO. 5, MAYCapacity of a Class of Relay Channels With Orthogonal Components 1815 Add to Reading List Source URL: www-isl.stanford.edu Language: English - Date: 2010-03-02 17:05:06 Information theory Data transmission Information Telecommunications engineering Relay channel Channel capacity Ratedistortion theory Additive white Gaussian noise Cooperative diversity Channel Orthogonal frequency-division multiplexing Noisy-channel coding theorem

UPDATE