Results 1  10
of
982,641
A NEW FORMULA SCORE
"... A new formula for the correction for chance success was advanced and investigated, the mathematical solution of which has the property of equating the scores of fast and slow examinees of equal competence. On an 80item test of English vocabulary, examinees informed of this new scoring system&m ..."
Abstract
 Add to MetaCart
A new formula for the correction for chance success was advanced and investigated, the mathematical solution of which has the property of equating the scores of fast and slow examinees of equal competence. On an 80item test of English vocabulary, examinees informed of this new scoring system
Some New Formulas for Pi
"... We show how to nd series expansions for of the form = P 1 n=0 S(n) ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
We show how to nd series expansions for of the form = P 1 n=0 S(n)
A new formula for π
"... In a recent article [1] in the Mathematical Intelligencer, a formula for π which was recently discovered empirically was stated, and a proof given. The object of this note is to give a slightly different proof. Indeed we show that for x  < 1 ..."
Abstract
 Add to MetaCart
In a recent article [1] in the Mathematical Intelligencer, a formula for π which was recently discovered empirically was stated, and a proof given. The object of this note is to give a slightly different proof. Indeed we show that for x  < 1
Some New Formulas For
"... We show how to nd series expansions for of the form , where S(n) is some polynomial in n (depending on m; p; a). We prove that there exist such expansions for m = 8k, p = 4k, a = ( 4) , for any k, and give explicit examples for such expansions for small values of m, p and a. 1. ..."
Abstract
 Add to MetaCart
We show how to nd series expansions for of the form , where S(n) is some polynomial in n (depending on m; p; a). We prove that there exist such expansions for m = 8k, p = 4k, a = ( 4) , for any k, and give explicit examples for such expansions for small values of m, p and a. 1.
The Valuation of Options for Alternative Stochastic Processes
 Journal of Financial Economics
, 1976
"... This paper examines the structure of option valuation problems and develops a new technique for their solution. It also introduces several jump and diffusion processes which have nol been used in previous models. The technique is applied lo these processes to find explicit option valuation formulas, ..."
Abstract

Cited by 678 (5 self)
 Add to MetaCart
This paper examines the structure of option valuation problems and develops a new technique for their solution. It also introduces several jump and diffusion processes which have nol been used in previous models. The technique is applied lo these processes to find explicit option valuation formulas
Symbolic Model Checking: 10^20 States and Beyond
, 1992
"... Many different methods have been devised for automatically verifying finite state systems by examining stategraph models of system behavior. These methods all depend on decision procedures that explicitly represent the state space using a list or a table that grows in proportion to the number of st ..."
Abstract

Cited by 760 (41 self)
 Add to MetaCart
Binary Decision Diagrams (Bryant, R. E., 1986, IEEE Trans. Comput. C35) to represent relations and formulas. We then show how our new MuCalculus model checking algorithm can be used to derive efficient decision procedures for CTL model checking, satistiability of lineartime temporal logic formulas
Applications Of Circumscription To Formalizing Common Sense Knowledge
 Artificial Intelligence
, 1986
"... We present a new and more symmetric version of the circumscription method of nonmonotonic reasoning first described in (McCarthy 1980) and some applications to formalizing common sense knowledge. The applications in this paper are mostly based on minimizing the abnormality of different aspects o ..."
Abstract

Cited by 532 (12 self)
 Add to MetaCart
of various entities. Included are nonmonotonic treatments of isa hierarchies, the unique names hypothesis, and the frame problem. The new circumscription may be called formula circumscription to distinguish it from the previously defined domain circumscription and predicate circumscription. A still more
A closedform solution for options with stochastic volatility with applications to bond and currency options
 Review of Financial Studies
, 1993
"... I use a new technique to derive a closedform solution for the price of a European call option on an asset with stochastic volatility. The model allows arbitrary correlation between volatility and spotasset returns. I introduce stochastic interest rates and show how to apply the model to bond option ..."
Abstract

Cited by 1507 (5 self)
 Add to MetaCart
I use a new technique to derive a closedform solution for the price of a European call option on an asset with stochastic volatility. The model allows arbitrary correlation between volatility and spotasset returns. I introduce stochastic interest rates and show how to apply the model to bond
A Practical Guide to Wavelet Analysis
, 1998
"... A practical stepbystep guide to wavelet analysis is given, with examples taken from time series of the El Nio Southern Oscillation (ENSO). The guide includes a comparison to the windowed Fourier transform, the choice of an appropriate wavelet basis function, edge effects due to finitelength t ..."
Abstract

Cited by 869 (3 self)
 Add to MetaCart
length time series, and the relationship between wavelet scale and Fourier frequency. New statistical significance tests for wavelet power spectra are developed by deriving theoretical wavelet spectra for white and red noise processes and using these to establish significance levels and confidence
Typesetting Concrete Mathematics
 TUGBOAT
, 1989
"... ... tried my best to make the book mathematically interesting, but I also knew that it would be typographically interestingbecause it would be the first major use of a new typeface by Hermann Zapf, commissioned by the American Mathematical Society. This typeface, called AMS Euler, had been carefull ..."
Abstract

Cited by 661 (1 self)
 Add to MetaCart
carefully digitized and put into METAFONT form by Stanford's digital typography students [a]; but it had not yet been "tuned up " for real applications. My new book served as an ideal test case, because (1) it involved a great variety of mathematical formulas; (2) I was highly motivated
Results 1  10
of
982,641