C-theorem - PDFSEARCH.IO - Document Search Engine

C-theorem
Results: 386

#	Item
121	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 Fourier analysis Convolution Image processing Digital signal processing GNU Fast Fourier transform Mathematical analysis Mathematics Abstract algebra
122	Jessie Plug-In Tutorial Frama-C version: Carbon Jessie plug-in version: 2.28 Claude Marché1,3 , Yannick Moy2,3 , Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:46 Frama-C Formal methods Procedural programming languages Automated theorem proving Pointer Memory safety ALGOL 68 IP Computing Software engineering Computer programming
123	The theorem of F. and M. Riesz Jordan Bell Department of Mathematics, University of Toronto July 1, 2014 Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2014-07-01 12:08:14 Mathematical analysis Hilbert space Linear algebra Sheaf Spectral theory Approximately finite dimensional C*-algebra Holomorphic functional calculus Algebra Mathematics Operator theory
124	University of California Los Angeles Symbolic Execution Algorithms for Test Generation Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2012-11-23 07:14:40 Software bugs Software testing Automated theorem proving Concolic testing Buffer overflow Symbolic execution Arithmetic overflow String C Software engineering Computing Computer programming
125	THE BYRNES–GAUGER THEOREM In 1978, C. Brynes and M. Gauger published a simple criteria for two matrices to be similar: ”Characteristic free, improved decidability criteria for the similarity problem”, Linear and Mu Add to Reading List Source URL: www.numbertheory.org Language: English - Date: 2001-02-04 01:35:33 Mathematics Multiplicative functions Algebra
126	MATHHomework 1 This homework will be collected at the end of class on Wednesday, Sept. 10, View C as a vector space over R as described in class. Show that C and R2 are isomorphic as real vector space Add to Reading List Source URL: hkumath.hku.hk Language: English - Date: 2014-09-03 21:05:18 Matrix Basis Determinant Vector space Linear map Rank Euclidean vector Derivative Cayley–Hamilton theorem Algebra Mathematics Linear algebra
127 $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 2012 Add to Reading List Source URL: pruffle.mit.edu Language: English - Date: 2012-11-09 14:47:56 Joseph Fourier Integral transforms Digital signal processing Generalized functions Fourier series Fourier transform Fourier inversion theorem Convolution Diffraction Mathematical analysis Mathematics Fourier analysis
128 $Joseph Fourier / Integral transforms / Digital signal processing / Generalized functions / Fourier series / Fourier transform / Fourier inversion theorem / Convolution / Diffraction / Mathematical analysis / Mathematics / Fourier analysis$	196 c W.C Carter MITFall 2007 Lecture 18 Add to Reading List Source URL: pruffle.mit.edu Language: English - Date: 2009-06-08 11:31:30 Joseph Fourier Integral transforms Digital signal processing Generalized functions Fourier series Fourier transform Fourier inversion theorem Convolution Diffraction Mathematical analysis Mathematics Fourier analysis
129	WP (Draft Manual) WP Plug-in (Draft) Manual Frama-C Carbonbeta-2 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
130	Vector fields, line integrals, and Green’s Theorem Line integrals of vector fields - live examples Example one: R Evaluate C F · dr where C is given by r(t). F(x, y, z) = yzi + xzj + xyk Add to Reading List Source URL: academic.brcc.edu - Date: 2010-12-04 11:00:02

UPDATE