We present a tool that transforms nondeterministic ω-automata to semi-deterministic ω-automata. The tool Seminator accepts transition-based generalized Büchi automata (TGBA) as an input and produces automata with two kinds of semi-determinism. The implemented procedure performs degeneralization and semi-determinization simultaneously and employs several other optimizations. We experimentally ev...

The research in this paper was motivated by one of the most important open problems in the theory of generalized polygons, namely the existence problem for semi-finite thick generalized polygons. We show here that no semi-finite generalized hexagon of order (2, t) can have a subhexagon H of order 2. Such a subhexagon is necessarily isomorphic to the split Cayley generalized hexagon H(2) or its ...

In this paper, we introduce the concept of soft supra strongly semi∗ generalized closed sets (soft supra strongly semi∗ g-closed for short) in a supra soft topological space (X,μ,E) and study their properties in detail. The relationship between soft supra strongly semi∗ generalized closed sets and other existing soft sets have been investigated. It has been pointed out in this paper that many o...

There are a number of important substructures associated with sets of points of antiregular quadrangles. Inspired by a construction of P. Wild, we associate with any four distinct collinear points p, q, r and s of an antiregular quadrangle an incidence structure which is the union of the two biaffine planes associated with {p, r} and {q, s}. We investigate when this incidence structure is a sem...

In this paper, we introduce the concepts of r-semigeneralized fuzzy closed sets, r-semi-generalized fuzzy open sets, rsemi-generalized fuzzy continuous maps in fuzzy topological spaces and investigate some of their properties.

Abstract: In this paper, we prove some optimal inequalities involving the intrinsic scalar curvature and the extrinsic Casorati curvature of submanifolds in a generalized complex space form with a semi-symmetric non-metric connection and a generalized Sasakian space form with a semi-symmetric non-metric connection. Moreover, we show that in both cases, the equalities hold if and only if submani...

The aim of this paper is to deal with a class of multiobjective semi-infinite programming problem. For such problem, several necessary optimality conditions are established and proved using the powerful tool of K − subdifferential and the generalized convexity namely generalized uniform ( , , , ) K F d α ρ − − convexity. We also formulate the Wolf type dual models for the semi-infinite programm...

The trace variational identity is generalized to zero curvature equations associated with non-semi-simple Lie algebras or, equivalently, Lie algebras possessing degenerate Killing forms. An application of the resulting generalized variational identity to a class of semi-direct sums of Lie algebras in the AKNS case furnishes Hamiltonian and quasi-Hamiltonian structures of the associated integrab...

A relation between semi-direct sums of Lie algebras and integrable couplings of lattice equations is established, and a practicable way to construct integrable couplings is further proposed. An application of the resulting general theory to the generalized Toda spectral problem yields two classes of integrable couplings for the generalized Toda hierarchy of lattice equations. The construction o...

We proved the existence of exact quadrature formulae with semipositive definite coefficient matrices for polynomials of prescribed degree in n variables and with respect to a semi-spectral measure. Our proof could be viewed as a direct translation (generalization) of Putinar’s result on the existence of quadrature formulae for a positive measure without compact support.