Results 11 to 20 of about 274,718 (261)
Efficient Enumeration of Higher Order Algebraic Structures
IEEE Access, 2020 Algebraic structures are widely studied mathematical structures in abstract algebra. Enumerating higher order algebraic structures is a computationally intensive task due to large number of possible permutations and the presence of many symmetrically ...
Majid Ali Khan
doaj +1 more source
Category Theory and New Classes of Semi Bornological Group
Journal of Kufa for Mathematics and Computer, 2023 Because, the new knowledge put every new structure in category theory. So, became a source of interest for many researchers, to put every new structure in category theory. This motivates us to put the new structures of semibornological group in category.
Niran Sabah Jasim +3 more
doaj +1 more source
Toward Isomorphism of Intersection and Union types [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 This paper investigates type isomorphism in a lambda-calculus with intersection and union types. It is known that in lambda-calculus, the isomorphism between two types is realised by a pair of terms inverse one each other.
Mario Coppo +3 more
doaj +1 more source
A Study on Interval-Valued Fuzzy Graph with Application in Energy Industry Management
Discrete Dynamics in Nature and Society, 2022 In this paper, we define the concept of level graphs on interval-valued fuzzy graphs (IVFGs) and introduce the notions of α,β−α,β− homomorphism, isomorphism, weak isomorphism, and co-weak isomorphism of IVFGs by α,β− homomorphism. Also, an application of
Xiaoli Qiang +5 more
doaj +1 more source
Notion of Complex Spherical Dombi Fuzzy Graph and Its Application in Decision-Making Problems
IEEE Access, 2023 The complex spherical fuzzy graph (CSFG), which extends the concept of a spherical fuzzy graph (SFG), proves to be a more effective means of depicting relationships among diverse objects when these relationships are subject to uncertainty.
Ehsan Mehboob Ahmed Butt +4 more
doaj +1 more source
Proceedings of the 6th ACM SIGPLAN workshop on Generic programming, 2010 When are two types the same? In this paper we argue that isomorphism is a more useful notion than equality. We explain a succinct and elegant approach to establishing isomorphisms, with our focus on showing their existence over deriving the witnesses.
Hinze, R, James, D, ACM
openaire +2 more sources
A Note on 4-Dimensional 2-Crossed Modules
Journal of New Theory, 2023 The study presents the direct product of two objects in the category of 4-dimensional 2-crossed modules. The structures of the domain, kernel, image, and codomain can be related using isomorphism theorems by defining the kernel and image of a morphism ...
Koray Yılmaz
doaj +1 more source
Algorithms for comparing large pedigree graphs
Advances in Computing and Engineering, 2022 The importance of pedigrees is translated by geneticists as a tool for diagnosing genetic diseases. Errors resulting during collection of data and missing information of individuals are considered obstacles in deducing pedigrees, especially larger ones ...
Nahla A. Belal +2 more
doaj +1 more source
Chinese Journal of Mechanical Engineering, 2021 Isomorphism detection is fundamental to the synthesis and innovative design of kinematic chains (KCs). The detection can be performed accurately by using the similarity of KCs.
Liang Sun +4 more
doaj +1 more source
Canonizing Graphs of Bounded Tree Width in Logspace [PDF]
, 2015 Graph canonization is the problem of computing a unique representative, a canon, from the isomorphism class of a given graph. This implies that two graphs are isomorphic exactly if their canons are equal.
Elberfeld, Michael, Schweitzer, Pascal
core +2 more sources