<--- Back to Details
First PageDocument Content
Interpolation / Financial economics / Marketing / Finance / Fixed income market / Yield curve / Spline / Zero-coupon bond / Coupon / Bonds / Economics / Fixed income analysis
Date: 2014-01-15 09:38:37
Interpolation
Financial economics
Marketing
Finance
Fixed income market
Yield curve
Spline
Zero-coupon bond
Coupon
Bonds
Economics
Fixed income analysis

Add to Reading List

Source URL: publications.gc.ca

Download Document from Source Website

File Size: 1,02 MB

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