It has been observed repeatedly that the standard safety-liveness classi cation for properties of reactive systems does not t for real-time properties. This is because the implicit \liveness" of time shifts the spectrum towards the safety side. While, for example, response | that \something good" will happen eventually | is a classical liveness property, bounded response | that \something good"...

Two-sample tests for multivariate and especially for non-Euclidean data are not fully explored. This paper presents a novel test based on a similarity graph constructed on the pooled observations from the two samples. It can be applied to multivariate data and non-Euclidean data as long as a dissimilarity measure on the sample space can be defined, which can usually be provided by domain expert...

The output distribution, when rate is above capacity, is investigated. It is shown that there is an asymptotic equipartition property (AEP) of the typical output sequences, independently of the specific codebook used, as long as the codebook is typical according to the standard random codebook generation. This equipartition of the typical output sequences is caused by the mixup of input sequenc...

in this paper, we investigate the canonical property of solutions of a system of differentialequations having a singularity and turning point of even order. first, by a replacement, we transform thesystem to the sturm-liouville equation with a turning point. using the asymptotic estimates for a specialfundamental system of solutions of sturm-liouville equation, we study the infinite product rep...

the statistical analysis of spatial data is usually done under gaussian assumption for the underlying random field model. when this assumption is not satisfied, block bootstrap methods can be used to analyze spatial data. one of the crucial problems in this setting is specifying the block sizes. in this paper, we present asymptotic optimal block size for separate block bootstrap to estimate the...

in this paper, we investigate infinite product representation of the solution of a sturm-liouville equation with an indefinite weight function which has two zeros and/or singularitiesin a finite interval. first, by using of the asymptotic estimates provided in [w. eberhard, g.freiling, k. wilcken-stoeber, indefinite eigenvalue problems with several singular pointsand turning points, math. nachr...

* This is the English version of the paper titled "Option Pricing in HJM Model using an Asymptotic Expansion Method" published in December 2004. This paper represents the personal views of the authors and is NOT the official view of the Financial Services Agency or the Financial Research and Training Center. † In preparing this paper, valuable advice was provided by Mr. Yoshihiko Uchida (Instit...

An inverse nodal problem has first been studied for the Sturm-Liouville equation with one turning point. The asymptotic representation of the corresponding eigenfunctions of the eigenvalues has been investigated and an asymptotic of the nodal points is obtained. For this problem, we give a reconstruction formula for the potential function. Furthermore, numerical examples have been established a...

In this paper, we investigate infinite product representation of the solution of a Sturm- Liouville equation with an indefinite weight function which has two zeros and/or singularities in a finite interval. First, by using of the asymptotic estimates provided in [W. Eberhard, G. Freiling, K. Wilcken-Stoeber, Indefinite eigenvalue problems with several singular points and turning points, Math. N...