First, we introduce the concept of intuitionistic fuzzy group congruenceand we obtain the characterizations of intuitionistic fuzzy group congruenceson an inverse semigroup and a T^{*}-pure semigroup, respectively. Also,we study some properties of intuitionistic fuzzy group congruence. Next, weintroduce the notion of intuitionistic fuzzy semilattice congruence and we givethe characterization of...

The present paper aims to investigate the effects of modularity and the layout of subsystems and parts of a complex system on its maintainability. For this purpose, four objective functions have been considered simultaneously: I) maximizing the level of accordance between system design and optimum modularity design,II) maximizing the level of accessibility and the maintenance space required,III...

Myhill-Nerode Theorem is regarded as a basic theorem in the theories of languages and automata and is used to prove the equivalence between automata and their languages. The significance of this theorem has stimulated researchers to develop that on different automata thus leading to optimizing computational models. In this article, we aim at developing the concept of congruence in general fuzzy...

the present paper aims to investigate the effects of modularity and the layout of subsystems and parts of a complex system on its maintainability. for this purpose, four objective functions have been considered simultaneously: i) maximizing the level of accordance between system design and optimum modularity design,ii) maximizing the level of accessibility and the maintenance space required,iii...

RNA folding from sequences into secondary structures is a simple yet powerful, biophysically grounded model of a genotype-phenotype map in which concepts like plasticity, evolvability, epistasis, and modularity can not only be precisely defined and statistically measured but also reveal simultaneous and profoundly non-independent effects of natural selection. Molecular plasticity is viewed here...

fuzzy order congruences play an important role in studying the categoricalproperties of fuzzy posets. in this paper, the correspondence between the fuzzyorder congruences and the fuzzy order-preserving maps is discussed. we focus onthe characterization of fuzzy order congruences on the fuzzy poset in terms ofthe fuzzy preorders containing the fuzzy partial order. at last, fuzzy completecongruen...

We present an algebraic description of tabular parsing algorithms that avoids a significant problem of Sikkel’s description, namely that inconsistent parse items cannot be represented. We show that a parse item must be regarded as a pair consisting of a congruence class of partial parse trees and a tuple of strings. A tabular parsing algorithm is described algebraically by a pair of algebras wi...

The problem of learning the solution space of an unknown formula has been studied in multiple embodiments in computational learning theory. In this article, we study a family of such learning problems; this family contains, for each relational structure, the problem of learning the solution space of an unknown conjunctive query evaluated on the structure. A progression of results aimed to class...

The main result of this paper is a characterization of the abelian varieties B/K defined over Galois number fields with the property that the zeta function L(B/K; s) is equivalent to the product of zeta functions of non-CM newforms for congruence subgroups Γ1(N). The characterization involves the structure of End(B), isogenies between the Galois conjugates of B, and a Galois cohomology class at...