The aim of this note is to give an algebraic characterization of those universally complete vector lattice in which all band preserving bilinear operators are symmetric. We start with recalling some definitions and auxiliary facts about bilinear operators on vector lattices. For the theory of vector lattices and positive operators we refer to the books [1] and [7]. Let E and F be vector lattice...

A function f from a countable product X = ∏ i Xi of Polish spaces into a Polish space is separately nowhere constant provided it is nowhere constant on every section of X. We show that every continuous separately nowhere constant function is one-to-one on a product of perfect subsets of Xi’s. This result is used to distinguish between n-cube density notions for different n ≤ ω, where ω-cube den...

ML provides unusually powerful mechanisms for building programs from reusable modules. Such power is not available in other popular languages, and programmers accustomed to those languages have wondered if a powerful modules system is really necessary. This paper explores the power of ML modules—including higher-order functors—via an extended programming example. The example solves a problem in...

First, we give the definition for quasi-nearly subharmonic functions. Second, after recalling the existing subharmonicity results of separately subharmonic functions, we give corresponding counterparts for separately quasi-nearly subharmonic functions, thus generalizing previous results of Armitage and Gardiner, of ours, of Arsove, of Avanissian, and of Lelong.

Encoded by a multigene family, ubiquitin is expressed in the form of three precursor proteins, two of which are fusions to the ribosomal subunits S27a and L40. Ubiquitin assists in ribosome biogenesis and also functions as a post-translational modifier after its release from S27a or L40. However, several species do not conserve the ribosomal ubiquitin domains. We report here the solution struct...

Current approaches to color texture analysis can be roughly divided into two categories: methods that process color and texture information separately, and those that consider color and texture a joint phenomenon. In this paper, both approaches are empirically evaluated with a large set of natural color textures. The classiÿcation performance of color indexing methods is compared to gray-scale ...

For languages such as English, several constituent-to-dependency conversion schemes are proposed to construct corpora for dependency parsing. It is hard to determine which scheme is better because they reflect different views of dependency analysis. We usually obtain dependency parsers of different schemes by training with the specific corpus separately. It neglects the correlations between the...

Direct monitoring of myoglobin efflux during ischemia and reperfusion has been limited because of inherent sample collection problems in the ischemic region. Recently, the cardiac dialysis technique has offered a powerful method for monitoring myocardial interstitial levels of low-molecular-weight compounds in the cardiac ischemic region. In the present study, we extended the molecular target t...

The breadth and depth of heap properties that can be inferred by the union of today’s shape analyses is quite astounding. Yet, achieving scalability while supporting a wide range of complex data structures in a generic way remains a long-standing challenge. In this paper, we propose a way to side-step this issue by defining a generic abstract domain combinator for combining memory abstractions ...

Studies show that inducing a positive mood or diverting attention from pain decreases pain perception. Nevertheless, induction manipulations, such as viewing interesting movies or performing mathematical tasks, often influence both emotional and attentional states. Imaging studies have examined the neural basis of psychological pain modulation, but none has explicitly separated the effects of e...