Sciweavers

300 search results - page 8 / 60
» An extension of the Cayley-Sylvester formula
Sort
View
TABLEAUX
1998
Springer
14 years 2 days ago
A Tableau Calculus for Quantifier-Free Set Theoretic Formulae
Abstract. Set theory is the common language of mathematics. Therefore, set theory plays an important r^ole in many important applications of automated deduction. In this paper, we ...
Bernhard Beckert, Ulrike Hartmer
AMC
2007
123views more  AMC 2007»
13 years 8 months ago
Accurate pricing formulas for Asian options
Asian options have payoffs that depend on the average price of the underlying asset such as stocks, commodities, or financial indices. As exact closed-form formulas do not exist...
Kuan-Wen Chen, Yuh-Dauh Lyuu
LATA
2009
Springer
14 years 2 months ago
Monadic Second-Order Logic for Graphs: Algorithmic and Language Theoretical Applications
This tutorial will present an overview of the use of Monadic Second-Order Logic to describe sets of finite graphs and graph transformations, in relation with the notions of tree-w...
Bruno Courcelle
ASPDAC
1998
ACM
74views Hardware» more  ASPDAC 1998»
14 years 3 days ago
Delay and Noise Formulas for Capacitively Coupled Distributed RC Lines
— Simple yet useful analytical formulas for delay, slope and crosstalk noise amplitude for capacitively coupled two-, three- and infinite-line systems are derived assuming bus li...
Hiroshi Kawaguchi, Takayasu Sakurai
JAT
2006
77views more  JAT 2006»
13 years 7 months ago
On extensions of a theorem of Baxter
We combine the Riemann-Hilbert approach with the techniques of Banach algebras to obtain an extension of Baxter's Theorem for polynomials orthogonal on the unit circle. This ...
Jeffrey S. Geronimo, Andrei Martínez-Finkel...