نتایج جستجو برای: regular dually

تعداد نتایج: 123172  

2013
Daniel A. Romano Guanghao Jiang Luoshan Xu

Following Jiang Guanghao and Xu Luoshan’s concept of conjugative, dually conjugative, normal and dually normal relations on sets, the concept of quasi-regular relations is introduced. Characterizations of quasi-regular relations are obtained and it is shown when an anti-order relation is quasiregular. Some nontrivial examples of quasi-regular relations are given. At the end we introduce dually ...

This paper is the first of a two part series. In this paper, we first prove that the variety of dually quasi-De Morgan Stone semi-Heyting algebras of level 1 satisfies the strongly blended $lor$-De Morgan law introduced in cite{Sa12}. Then, using this result and the results of cite{Sa12}, we prove our main result which gives an explicit description of simple algebras(=subdirectly irreducibles) ...

Journal: :categories and general algebraic structures with applications 2014
hanamantagouda p. sankappanavar

this paper is the first of a two part series. in this paper, we first prove that the variety of dually quasi-de morgan stone semi-heyting algebras of level 1 satisfies the strongly blended $lor$-de morgan law introduced in cite{sa12}. then, using this result and the results of cite{sa12}, we prove our main result which gives an explicit description of simple algebras(=subdirectly irreducibles) ...

This paper is the second of a two part series. In this Part, we prove, using the description of simples obtained in Part I, that the variety $mathbf{RDQDStSH_1}$ of regular dually quasi-De Morgan Stone semi-Heyting algebras of level 1 is the join of the variety generated by the twenty 3-element $mathbf{RDQDStSH_1}$-chains and the variety of dually quasi-De Morgan Boolean semi-Heyting algebras--...

2014
Hanamantagouda P. Sankappanavar

This paper is the first of a two part series. In this paper, we first prove that the variety of dually quasi-De Morgan Stone semi-Heyting algebras of level 1 satisfies the strongly blended ∨-De Morgan law introduced in [20]. Then, using this result and the results of [20], we prove our main result which gives an explicit description of simple algebras(=subdirectly irreducibles) in the variety o...

Journal: :categories and general algebraic structures with applications 2014
hanamantagouda p. sankappanavar

this paper is the second of a two part series. in this part, we prove, using the description of simples obtained in part i, that the variety $mathbf{rdqdstsh_1}$ of regular dually quasi-de morgan stone semi-heyting algebras of level 1 is the join of the variety generated by the twenty 3-element $mathbf{rdqdstsh_1}$-chains and the variety of dually quasi-de morgan boolean semi-heyting algebras--...

Journal: :Theor. Comput. Sci. 2016
Prateek Karandikar Matthias Niewerth Philippe Schnoebelen

The downward and upward closures of a regular language L are obtained by collecting all the subwords and superwords of its elements, respectively. The downward and upward interiors of L are obtained dually by collecting words having all their subwords and superwords in L, respectively. We provide lower and upper bounds on the size of the smallest automata recognizing these closures and interior...

Journal: :iranian journal of science and technology (sciences) 2014
e. peyghan

dually flat finsler metrics form a special and valuable class of finsler metrics in finsler information geometry,which play a very important role in studying flat finsler information structure. in this paper, we prove that everylocally dually flat generalized randers metric with isotropic s-curvature is locally minkowskian.

2004
K. J. Ray Liu C. T. Chiu

In this paper, a new scheme employing the time-recursive approach to compute the discrete cosine transform (DCT) and discrete sine transform (DST) is presented. Using such approach, parallel lattice structure that can dually generate the DCT and DST simultaneously is developed. The resulting architecture is regular, module, and without global communication and can be applied to any transform si...

200420052006200720082009201020112012201320142015201620172018201920202021202220230200040006000

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید