Recent literature extended the analysis of ω-languages from the regular ones to various classes of languages with “visible syntax structure”, such as visibly pushdown languages (VPLs). Operator precedence languages (OPLs), instead, were originally defined to support deterministic parsing and exhibit interesting relations with these classes of languages: OPLs strictly include VPLs, enjoy all rel...

ω-languages are becoming more and more relevant nowadays when most applications are “ever-running”. Recent literature, mainly under the motivation of widening the application of model checking techniques, extended the analysis of these languages from the simple regular ones to various classes of languages with “visible syntax structure”, such as visibly pushdown languages (VPLs). Operator prece...

GivenS|R a finite Galois extension of finite chain rings andB anS-linear code we define twoGalois operators, the closure operator and the interior operator. We proof that a linear code is Galois invariant if and only if the row standard form of its generator matrix has all entries in the fixed ring by the Galois group and show a Galois correspondence in the class of S-linear codes. As applicati...

Classical structure of rough set theory was first formulated by Z. Pawlak in [6]. The foundation of its object classification is an equivalence binary relation and equivalence classes. The upper and lower approximation operations are two core notions in rough set theory. They can also be seenas a closure operator and an interior operator of the topology induced by an equivalence relation on a u...

Nowadays high fuzzy utility based pattern mining is an emerging topic in data mining. It refers to discover all patterns having a high utility meeting a user-specified minimum high utility threshold. It comprises extracting patterns which are highly accessed in mobile web service sequences. Different from the traditional fuzzy approach, high fuzzy utility mining considers not only counts of mob...

Summery: We show that a family of smooth stable curves defined on the interior of a log regular scheme is extended to a log smooth scheme over the whole log regular scheme, if it is so at each generic point of the boundary, under a very mild assumption. We also include a proof of the fact that a log smooth scheme over a discrete valuation ring has potentially a semi-stable model. As a consequen...

In many applied disciplines like computer science, coding theory and formal languages, the use of fuzzified algebraic structures play a remarkable role. In this paper, we introduced some new types of generalization of an intuitionistic fuzzy interior ideal, called (α, β)-intuitionistic interior ideals of an ordered semigroup S. The important milestone of this paper is to link the ordinary inter...

In the context of constructive locale or frame theory (locale theory over a fixed base locale), we study some aspects of ’frame distributions’, meaning sup preserving maps from a frame to the base frame. We derive a relationship between results of Jibladze-Johnstone and Bunge-Funk, and also descriptions in distribution terms, as well as in double negation terms, of the ’interior of closure’ ope...

in this paper‎, ‎we study some properties of analytic extension of a $n$th roots of $m$-hyponormal operator‎. ‎we show that every analytic extension of a $n$th roots of $m$-hyponormal operator is subscalar of order $2k+2n$‎. ‎as a consequence‎, ‎we get that if the spectrum of such operator $t$ has a nonempty interior in $mathbb{c}$‎, ‎then $t$ has a nontrivial invariant subspace‎. ‎finally‎, ‎w...