In some long term studies, a series of dependent and possibly truncated lifetime data may be observed. Suppose that the lifetimes have a common continuous distribution function F. A popular stochastic measure of the distance between the density function f of the lifetimes and its kernel estimate fn is the integrated square error (ISE). In this paper, we derive a central limit theorem for t...

One of the corollaries of Ornstein’s isomorphism theorem is that if (Y, S, ν) is an invertible measure preserving transformation and (Y, S, ν) is isomorphic to a Bernoulli shift then (Y, S, ν) is isomorphic to a Bernoulli shift. In this paper we show that noninvertible transformations do not share this property. We do this by exhibiting a uniformly 2-1 endomorphism (X, σ, μ) which is not isomor...

Following a recent work in which it is shown that a spacetime admitting Lie-group actions may be disjointly decomposed into a a closed subset with no interior plus a dense finite union of open sets in each of which the character and dimension of the group orbits as well as the Petrov type are constant, the aim of this work is to include the Segre types of the Ricci tensor (and hence of the Eins...

Let A be a strong independence algebra of finite rank with at most one constant, and let G be the group of automorphisms of A. Let α be a singular endomorphism of A and α = 〈{α} ∪G〉. We describe the elements of α and give additional characterisations when A is a proper independence algebra and G is a periodic group. Mathematics subject classification: 20M20, 20M10, 08A35.

In this paper, we present a new compactly supported kernel for SVM based image recognition. This kernel which we called Geometric Compactly Supported (GCS) can be viewed as a generalization of spherical kernels to higher dimensions. The construction of the GCS kernel is based on a geometric approach using the intersection volume of two n-dimensional balls. The compactness property of the GCS ke...

We explore how many-core platforms can be used to enhance the security of future systems and to support important security properties such as runtime isolation using a small Trusted Computing Base (TCB). We focus on the Intel Single-chip Cloud Computer (SCC) to show that such properties can be implemented in current systems. We design a system called SEMA which offers strong security properties...

The coordination of time-dependent simulation models is an important problem in environmental systems engineering. We propose a solution based on a rigorous formal modelling of the participating processes. Methodologically, our approach is driven by property processes which are used for the formal specification of the coordination problem. Property processes are supported by the CSP-like langua...

Recall that if (K, v) is a valued field, one may consider its completion (K̂, v̂). The extension K̂/K is immediate, i.e. kK = kK̂ and ΓK = ΓK̂ . Definition. • A valued difference field is a structure (K, v, σ), where (K, v) is a valued field and σ is a field endomorphism satisfying σ(x) ∈ OK iff x ∈ OK . It induces a field endomorphism σk on kK and an endomorphism (of ordered abelian groups) σΓ on ΓK .

A relational structure is called reversible iff every bijective endomorphism of that an automorphism. We characterize property in the class disconnected binary structures, and one its subclasses—posets are disjoint union chains. Also, using concept a monotone function from structures preordered by monomorphism into well founded relation, we detect additional classes posets. further give equival...

We prove that a C orientation-preserving circle endomorphism which is Hölder conjugate to a C circle expanding endomorphism is itself expanding.