Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
831	3132 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 57, NO. 5, MAY 2011 Noisy Network Coding Sung Hoon Lim, Student Member, IEEE, Young-Han Kim, Member, IEEE, Abbas El Gamal, Fellow, IEEE, and Add to Reading List Source URL: www-isl.stanford.edu Language: English - Date: 2011-07-08 16:00:24 Information theory Linear network coding Relay channel Additive white Gaussian noise Channel Computer network Cooperative diversity Noisy-channel coding theorem
832	Panaggio et al. RESEARCH Prediction and Optimal Scheduling of Advertisements in Linear Television Add to Reading List Source URL: udel.edu Language: English - Date: 2016-08-03 15:26:17 Fourier analysis Probability distributions Central limit theorem Fourier transform Kalman filter Normal distribution
833	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2013-08-19 07:46:27 Logic programming Automated theorem proving Logic in computer science Formal methods Theoretical computer science Unification Lambda calculus Boolean satisfiability problem Conjunctive normal form
834	A SAT-based Method for Solving the Two-dimensional Strip Packing Problem Takehide Soh1 , Katsumi Inoue12 , Naoyuki Tamura3 , Mutsunori Banbara3 , and Hidetomo Nabeshima4 1 Add to Reading List Source URL: tmancini.di.uniroma1.it Language: English - Date: 2008-12-16 11:07:40 Constraint programming Numerical software Automated theorem proving DPLL algorithm Packing problems Solver Constraint satisfaction Reduction Algorithm Exponential time hypothesis Bin packing problem
835	Problem Set 4: Covariance functions and Gaussian random fields GEOS 627: Inverse Problems and Parameter Estimation, Carl Tape Assigned: February 9, 2015 — Due: February 16, 2015 Last compiled: February 25, 2015 Overvi Add to Reading List Source URL: www.giseis.alaska.edu Language: English - Date: 2015-02-26 02:42:55 Covariance and correlation Summary statistics Probability distributions Stable distributions Algebra of random variables Covariance Normal distribution Central limit theorem Standard deviation Gaussian function Variance Estimation of covariance matrices
836	Equipartition and the Calculation of Temperature in Biomolecular Simulations Add to Reading List Source URL: www.deshawresearch.com Language: English - Date: 2010-09-27 16:06:45 Molecular dynamics Computational chemistry State functions Energy drift Thermodynamics Computational physics Equipartition theorem Verlet integration Temperature Hamiltonian mechanics T Periodic boundary conditions
837	eduprojects: mathematics All of our projects are built to the Common Core State Standards to help educators teach the skills students need for success in college, careers and life. Educators, students, and experts Add to Reading List Source URL: s3.amazonaws.com Language: English - Date: 2015-10-30 11:48:18 Angle Area Euclidean plane geometry Pythagorean theorem Triangles Pi Information geometry Pythagorean triple
838	An entire transcendental family with a fixed Siegel disk Rub´en Berenguel Setembre Add to Reading List Source URL: www.maia.ub.es Language: English - Date: 2007-09-20 15:27:06 Complex dynamics Fractals Siegel disc No-wandering-domain theorem Julia set Dynamical system Entire function Beltrami equation Periodic point Mandelbrot set Conformal map Herman ring
839	Hammering towards QED Jasmin C. Blanchette Inria Nancy & LORIA, France Cezary Kaliszyk University of Innsbruck, Austria Lawrence C. Paulson Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-07-01 13:38:31 Automated theorem proving Proof assistants Formal methods Statements Model theory QED manifesto Theorem Mathematical proof Automated reasoning First-order logic Isabelle Mathematical logic
840	Title of Paper The author(s)’s name(s)∗ Abstract. This is to explain how to prepare a contribution for publication in an edited volume for the EMS Publishing HouseMathematics Subject Classification. Primary 11 Add to Reading List Source URL: www.7ecm.de Language: English - Date: 2015-10-19 04:30:58 Integral calculus Mean value theorem Universal coefficient theorem

UPDATE