<--- Back to Details
First PageDocument Content
Time series analysis / Interpolation / Variogram / Semivariance / Kriging / Cointegration / Regression analysis / Granger causality / Causality / Statistics / Geostatistics / Econometrics
Date: 2012-02-01 09:11:06
Time series analysis
Interpolation
Variogram
Semivariance
Kriging
Cointegration
Regression analysis
Granger causality
Causality
Statistics
Geostatistics
Econometrics

Add to Reading List

Source URL: plagiarism.repec.org

Download Document from Source Website

File Size: 548,27 KB

Share Document on Facebook

Similar Documents

Computing / Software engineering / Computer programming / Carnegie Mellon University / Carnegie Mellon Silicon Valley / Abstract interpretation / Mellon / Scala / Refinement

Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

DocID: 1xVXp - View Document

Finite automata / DFA minimization / Deterministic automaton / Finite-state machine / Theoretical computer science / Muller automaton / Bchi automaton

Unbounded Model-Checking with Interpolation for Regular Language Constraints Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, and Peter Schachte The University of Melbourne {ggange,jnavas,pjs,harald,s

DocID: 1xVMq - View Document

Mathematics / Theoretical computer science / Mathematical logic / Lemmas / Model theory / Interpolation / Logic in computer science / Craig interpolation / Satisfiability modulo theories / Farkas' lemma / Quantifier elimination / First-order logic

Selfless Interpolation for Infinite-State Model Checking? Tanja Schindler1 and Dejan Jovanovi´c2 1 University of Freiburg

DocID: 1xVsB - View Document

Software engineering / Computer programming / Computing / Interpolation / Video / Video signal / Craig interpolation / Pure / Foreach loop

Efficient Interpolation for the Theory of Arrays (work in progress) Jochen Hoenicke and Tanja Schindler∗ Department of Computer Science, University of Freiburg

DocID: 1xViK - View Document

Declarative programming / Software engineering / Theoretical computer science / Constraint programming / Logic programming / Programming paradigms / Formal methods / Constraint logic programming / Loop invariant / Interpolation / Abstract interpretation / CLP

Verification of Programs by Combining Iterated Specialization with Interpolation E. De Angelis and F. Fioravanti J. A. Navas

DocID: 1xUX2 - View Document