C-theorem - PDFSEARCH.IO - Document Search Engine

C-theorem
Results: 386

#	Item
181	ECONOMETRICS Bruce E. Hansen c °2000, 20151 Add to Reading List Source URL: www.ssc.wisc.edu Language: English - Date: 2015-01-16 17:57:40 Linear regression Heteroscedasticity Generalized method of moments Instrumental variable Least squares Vector autoregression Quantile regression Generalized least squares Gauss–Markov theorem Statistics Regression analysis Econometrics
182	Noname manuscript No. (will be inserted by the editor) Extending Sledgehammer with SMT Solvers Jasmin Christian Blanchette · Sascha Böhme · Lawrence C. Paulson Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Logic in computer science Automated theorem proving Formal methods Constraint programming Satisfiability Modulo Theories Isabelle Proof assistant Automated reasoning E theorem prover Theoretical computer science Applied mathematics Mathematics
183	Specification and Proof of Programs with Frama-C SAC 2013 Tutorial Nikolai Kosmatov, Virgile Prevosto, Julien Signoles CEA LIST Add to Reading List Source URL: kosmatov.perso.sfr.fr Language: English - Date: 2013-03-25 09:07:11 Formal methods Frama-C ANSI/ISO C Specification Language Program logic Theoretical computer science Formal verification Hoare logic Mathematical proof Automated theorem proving Software engineering Software Computing
184	PT-Scotch: A tool for efficient parallel graph ordering C´edric Chevalier and Fran¸cois Pellegrini I. Introduction Graph partitioning is an ubiquitous technique which has applications in many fields of computer science Add to Reading List Source URL: www.labri.fr Language: English - Date: 2006-11-05 14:02:51 Numerical linear algebra Planar separator theorem Path decomposition Graph theory Mathematics Nested dissection
185	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: www.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
186	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: www.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
187	PT-Scotch: A tool for efficient parallel graph ordering C. Chevaliera∗ , F. Pellegrinib a LaBRI & Project ScAlApplix of INRIA Futurs 351, cours de la Lib´eration, 33400 Talence, France Add to Reading List Source URL: www.labri.fr Language: English - Date: 2007-01-30 08:31:02 Graph Tree Planar separator theorem Universal graph Graph theory Mathematics Nested dissection
188	¨t Augsburg Universita Fast Gabor Transformation for processing high quality audio C. G. v. d. Boogaart, R. Lienhart Add to Reading List Source URL: www.multimedia-computing.de Language: English - Date: 2011-06-17 18:08:31 Fast Fourier transform Window function Gabor transform Balian–Low theorem Gabor filter Wavelet Discrete Fourier transform Mathematical analysis Digital signal processing Fourier analysis
189	Liouville’s Theorem on Integration in Terms of Elementary Functions R.C. Churchill Prepared for the Kolchin Seminar on Differential Algebra (KSDA) Add to Reading List Source URL: math.hunter.cuny.edu Language: English - Date: 2005-09-17 14:03:11 Ring theory Algebraic structures Commutative algebra Field theory Differential algebra Polynomial ring Field extension Differential operator Field Abstract algebra Mathematics Algebra
190	Lecture 1: Riemann, Dedekind, Selberg, and Ihara Zetas Audrey Terras U.C.S.D. 2008 Add to Reading List Source URL: jessica2.msri.org Language: English - Date: 2008-07-06 23:36:48 Analytic number theory Riemann surfaces Conjectures Riemann hypothesis Riemann zeta function Zeta function Ihara zeta function Prime number theorem Möbius transformation Mathematical analysis Mathematics Geometry

UPDATE