C-theorem - PDFSEARCH.IO - Document Search Engine

C-theorem
Results: 386

#	Item
111 $Joseph Fourier / Integral transforms / Digital signal processing / Generalized functions / Fourier series / Fourier transform / Fourier inversion theorem / Convolution / Diffraction / Mathematical analysis / Mathematics / Fourier analysis$	c W.C Carter Lecture 18 MITFall 2007 Add to Reading List Source URL: pruffle.mit.edu Language: English - Date: 2009-06-08 11:32:37 Joseph Fourier Integral transforms Digital signal processing Generalized functions Fourier series Fourier transform Fourier inversion theorem Convolution Diffraction Mathematical analysis Mathematics Fourier analysis
112	Lecture 16 MITFall 2007 c W.C Carter Add to Reading List Source URL: pruffle.mit.edu Language: English - Date: 2009-06-08 11:31:23 Multivariable calculus Vector calculus Integral calculus Surfaces Multiple integral Divergence theorem Surface integral Divergence Cylindrical coordinate system Calculus Mathematics Algebra
113	SAT 2009 competitive events booklet: preliminary version Organizers SAT competition: Daniel Le Berre, Olivier Roussel, Laurent Simon PB competition: Vasco Manquinho, Olivier Roussel Max-SAT competition: Josep Argelich, C Add to Reading List Source URL: www.cril.univ-artois.fr Language: English - Date: 2009-09-30 10:44:43 Logic in computer science Automated theorem proving Numerical software Electronic design automation Formal methods Boolean satisfiability problem 2-satisfiability Satz GRASP Theoretical computer science Mathematics Applied mathematics
114	The Gelfand transform, positive linear functionals, and positive-definite functions Jordan Bell Department of Mathematics, University of Toronto May 6, 2014 Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2014-05-06 01:46:07 Spectral theory Banach algebra Fourier analysis Gelfand representation Spectrum Stone–Weierstrass theorem C-algebras B-algebra Mathematical analysis Mathematics Functional analysis
115	Shattering a Set of Objects in 2D Subhas C. Nandy 3 Indian Statistical Institute, Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2003-06-20 16:03:42 Euclidean plane geometry Sweep line algorithm Dual polyhedron Simple polygon Randomized algorithm Planar separator theorem Geometry Discrete geometry Arrangement of lines
116	194 c W.C Carter MITFall 2012 Lecture 16 Add to Reading List Source URL: pruffle.mit.edu Language: English - Date: 2012-11-05 14:42:58 Multivariable calculus Vector calculus Integral calculus Surfaces Multiple integral Divergence theorem Surface integral Cylindrical coordinate system Divergence Calculus Mathematics Algebra
117	GNU C-Graph Visualize convolution with GNU C-Graph, a free software tool for studying the theorem key to DSP & computer vision - derived from a BSc thesis, inspired by "Blade Runner". http://www.gnu.org/software/c-graph Add to Reading List Source URL: gnu.org Language: English - Date: 2013-09-22 12:26:01 Functional analysis Binary operations Image processing Digital signal processing Convolution Circular convolution GNU Fourier transform Integral transform Mathematical analysis Mathematics Fourier analysis
118	Lecture 16 MITFall 2007 c W.C Carter Add to Reading List Source URL: pruffle.mit.edu Language: English - Date: 2009-06-08 11:33:15 Multivariable calculus Vector calculus Integral calculus Surfaces Multiple integral Divergence theorem Surface integral Divergence Cylindrical coordinate system Calculus Mathematics Algebra
119	WP (Draft Manual) WP Plug-in (Draft) Manual Release 1.0 Loïc Correnson, Zaynah Dargaye, Anne Pacalet Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:55 Predicate transformer semantics Software Frama-C Hoare logic Lambert W function Automated theorem proving Formal methods Program logic Theoretical computer science
120	On Computing Graph Minor Obstruction Sets ∗ Kevin Cattell Department of Computer Science University of Victoria Victoria, B.C. V8W 3P6, Canada Add to Reading List Source URL: www.mrfellows.net Language: English - Date: 2009-10-06 02:54:05 Robertson–Seymour theorem Tree decomposition Minor Planar graph Linkless embedding Graph coloring Graph structure theorem Clique-sum Graph theory Graph operations Path decomposition

UPDATE