Results 1  10
of
1,049,066
A Fredholm determinant formula for Toeplitz determinants
"... The purpose of this note is to explain how the results of [13] apply to a question raised by A. Its and, independently, P. Deift during the MSRI workshop ..."
Abstract

Cited by 75 (10 self)
 Add to MetaCart
The purpose of this note is to explain how the results of [13] apply to a question raised by A. Its and, independently, P. Deift during the MSRI workshop
The complexity of theoremproving procedures
 IN STOC
, 1971
"... It is shown that any recognition problem solved by a polynomial timebounded nondeterministic Turing machine can be “reduced” to the problem of determining whether a given propositional formula is a tautology. Here “reduced ” means, roughly speaking, that the first problem can be solved deterministi ..."
Abstract

Cited by 1048 (5 self)
 Add to MetaCart
It is shown that any recognition problem solved by a polynomial timebounded nondeterministic Turing machine can be “reduced” to the problem of determining whether a given propositional formula is a tautology. Here “reduced ” means, roughly speaking, that the first problem can be solved
A theory of the term structure of interest rates,
 Econometrika,
, 1985
"... Each copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission. JSTOR is a notforprofit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted d ..."
Abstract

Cited by 1975 (3 self)
 Add to MetaCart
. Ross This paper uses an intertemporal general equilibrium asset pricing model to study the term structure of interest rates. In this model, anticipations, risk aversion, investment alternatives, and preferences about the timing of consumption all play a role in determining bond prices. Many
The Fredholm
, 2005
"... index of a pair of commuting operators Xiang Fang ∗ This paper concerns Fredholm theory in several variables, and its applications to Hilbert spaces of analytic functions. One feature is the introduction of ideas from commutative algebra to operator theory. Specifically, we introduce a method to cal ..."
Abstract
 Add to MetaCart
index of a pair of commuting operators Xiang Fang ∗ This paper concerns Fredholm theory in several variables, and its applications to Hilbert spaces of analytic functions. One feature is the introduction of ideas from commutative algebra to operator theory. Specifically, we introduce a method
LevelSpacing Distributions and the Airy Kernel
 COMMUNICATIONS IN MATHEMATICAL PHYSICS
, 1994
"... Scaling levelspacing distribution functions in the "bulk of the spectrum" in random matrix models of N x N hermitian matrices and then going to the limit N — » oo leads to the Fredholm determinant of the sine kernel sinπ(x — y)/π(x — y). Similarly a scaling limit at the "edge o ..."
Abstract

Cited by 429 (24 self)
 Add to MetaCart
Scaling levelspacing distribution functions in the "bulk of the spectrum" in random matrix models of N x N hermitian matrices and then going to the limit N — » oo leads to the Fredholm determinant of the sine kernel sinπ(x — y)/π(x — y). Similarly a scaling limit at the &
Fredholm Determinants, Differential Equations and Matrix Models
 COMMUNICATIONS IN MATHEMATICAL PHYSICS
, 1994
"... Orthogonal polynomial random matrix models of N x N hermitian matrices lead to Fredholm determinants of integral operators with kernel of the form (φ(x)φ(y) — ψ(x)φ(y))/x — y. This paper is concerned with the Fredholm determinants of integral operators having kernel of this form and where the und ..."
Abstract

Cited by 142 (20 self)
 Add to MetaCart
Orthogonal polynomial random matrix models of N x N hermitian matrices lead to Fredholm determinants of integral operators with kernel of the form (φ(x)φ(y) — ψ(x)φ(y))/x — y. This paper is concerned with the Fredholm determinants of integral operators having kernel of this form and where
The Computational Complexity of Propositional STRIPS Planning
 Artificial Intelligence
, 1994
"... I present several computational complexity results for propositional STRIPS planning, i.e., STRIPS planning restricted to ground formulas. Different planning problems can be defined by restricting the type of formulas, placing limits on the number of pre and postconditions, by restricting negation ..."
Abstract

Cited by 363 (3 self)
 Add to MetaCart
the operators and the formulas are required to guarantee polynomial time or even NPcompleteness. For example, when only ground literals are permitted, determining plan existence is PSPACEcomplete even if operators are limited to two preconditions and two postconditions. When definite Horn ground formulas
ModelChecking in Dense Realtime
 INFORMATION AND COMPUTATION
, 1993
"... Modelchecking is a method of verifying concurrent systems in which a statetransition graph model of the system behavior is compared with a temporal logic formula. This paper extends modelchecking for the branchingtime logic CTL to the analysis of realtime systems, whose correctness depends on t ..."
Abstract

Cited by 326 (7 self)
 Add to MetaCart
paths are maps from the set of nonnegative reals to system states. To model finitestate systems we introduce timed graphs  statetransition graphs annotated with timing constraints. As our main result, we develop an algorithm for modelchecking, for determining the truth of a TCTLformula
Intermittency and regularized Fredholm determinants
 Invent. Math
, 1999
"... We consider realanalytic maps of the interval I = [0,1] which are expanding everywhere except for a neutral fixed point at 0. We show that on a certain function space the spectrum of the associated PerronFrobenius operator M has a decomposition sp(M) = σc ∪ σp where σc = [0,1] is the continuous s ..."
Abstract

Cited by 14 (1 self)
 Add to MetaCart
spectrum of M and σp is the pure point spectrum with no points of accumulation outside 0 and 1. We construct a regularized Fredholm determinant d(λ) which has a holomorphic extension to λ ∈ C − σc and can be analytically continued from each side of σc to an open neighborhood of σc − {0,1} (on different
A Fredholm determinant representation in ASEP
 J. Stat. Phys
"... In previous work [12] the authors found integral formulas for probabilities in the asymmetric simple exclusion process (ASEP) on the integer lattice Z. The dynamics are uniquely determined once the initial state is specified. In this note we restrict our attention to the case of step initial conditi ..."
Abstract

Cited by 29 (2 self)
 Add to MetaCart
In previous work [12] the authors found integral formulas for probabilities in the asymmetric simple exclusion process (ASEP) on the integer lattice Z. The dynamics are uniquely determined once the initial state is specified. In this note we restrict our attention to the case of step initial
Results 1  10
of
1,049,066