Kummer, M. and F. Stephan, Weakly semirecursive sets and r.e. orderings, Annals of Pure and Applied Logic 60 (1993) 133-150. Weakly semirecursive sets have been introduced by Jockusch and Owings (1990). In the present paper their investigation is pushed forward by utilizing r.e. partial orderings, which turn out to be instrumental for the study of degrees of subclasses of weakly semirecursive s...

In this paper we prove the existence and upper semicontinuity of compact global attractors for the flow of the equation ∂u(x, t) ∂t = −u(x, t) + J ∗ (f ◦ u)(x, t) + h, h ≥ 0, in L weighted spaces.

brain mr images tissue segmentation is one of the most important parts of the clinical diagnostic tools. pixel classification methods have been frequently used in the image segmentation with two supervised and unsupervised approaches up to now. supervised segmentation methods lead to high accuracy but they need a large amount of labeled data, which is hard, expensive and slow to obtain. moreove...

The problem of modeling semi-structured data is important in many application areas such as multimedia data management, biological databases, digital libraries, and data integration. In this paper, we base our work on bdfs, which is a formal and elegant model for semistructured data [Buneman et al., 1997] where schemas are graphs whose edges are labeled with formulae of a theory T . We extend b...

We extend the semiclassical study of fermionic particle-hole symmetric semi-Dirac (more appropriately, semiDirac semi-Weyl) dispersion of quasiparticles, εK = ± √ (k2 x/2m) + (vky)) = ±ε0 √ K4 x +K2 y in dimensionless units, discovered computationally in oxide heterostructures by Pardo and collaborators. This unique system is a highly anisotropic sister phase of both (symmetric) graphene and wh...

We prove that every multi-player perfect-information game with bounded and lower-semi-continuous payoffs admits a subgame-perfect ε-equilibrium in pure strategies. This result complements Example 3 in Solan and Vieille (2003), which shows that a subgame-perfect ε-equilibrium in pure strategies need not exist when the payoffs are not lower-semi-continuous. In addition, if the range of payoffs is...

We give a new proof of sequential weak* lower semicontinuity in BV(Ω;Rm) for integral functionals of the form F(u) := ∫

In this paper, we introduce the notion of fuzzy (r, s)-S1-pre-semicontinuous mappings on intuitionistic fuzzy topological spaces in Šostak’s sense, which is a generalization of S1-pre-semicontinuous mappings by Shi-Zhong Bai. The relationship between fuzzy (r, s)-pre-semicontinuous mapping and fuzzy (r, s)-S1-pre-semicontinuous mapping is discussed. The characterizations for the fuzzy (r, s)-S1...

We introduce the notion of mIT -structures determined by operators mInt and mCl on an m-space (X,mX). By using mIT -structures, we introduce and investigate a function f : (X,mIT ) → (Y,mY ) called MIT -continuous. As special cases of MIT -continuity, we obtain M -semicontinuity [21] and M -precontinuity [23].

We use Green-Riefel machinary to induce representations from a closed subgroupoid crossed product to the groupoid crossed product with a lower semicontinuous bundle of C∗-algebras .