Results 1 to 10 of about 193 (114)
Formal Contexts, Formal Concept Analysis, and Galois Connections [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Formal concept analysis (FCA) is built on a special type of Galois connections called polarities. We present new results in formal concept analysis and in Galois connections by presenting new Galois connection results and then applying these to formal ...
Jeffrey T. Denniston +2 more
doaj +1 more source
Compatibilities between continuous semilattices
Karpatsʹkì Matematičnì Publìkacìï, 2021 We define compatibilities between continuous semilattices as Scott continuous functions from their pairwise cartesian products to $\{0,1\}$ that are zero preserving in each variable.
O.Ya. Mykytsey, K.M. Koporkh
doaj +1 more source
Coloring Rings in Species [PDF]
Discrete Mathematics & Theoretical Computer Science, 2014 We present a generalization of the chromatic polynomial, and chromatic symmetric function, arising in the study of combinatorial species. These invariants are defined for modules over lattice rings in species.
Jacob White
doaj +1 more source
Four-Fold Formal Concept Analysis Based on Complete Idempotent Semifields
Mathematics, 2021 Formal Concept Analysis (FCA) is a well-known supervised boolean data-mining technique rooted in Lattice and Order Theory, that has several extensions to, e.g., fuzzy and idempotent semirings.
Francisco José Valverde-Albacete +1 more
doaj +1 more source
Rough sets based on Galois connections
International Journal of Applied Mathematics and Computer Science, 2020 Rough set theory is an important tool to extract knowledge from relational databases. The original definitions of approximation operators are based on an indiscernibility relation, which is an equivalence one.
Madrid Nicolás +2 more
doaj +1 more source
A short note on Simulation and Abstraction [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 This short note is written in celebration of David Schmidt's sixtieth birthday. He has now been active in the program analysis research community for over thirty years and we have enjoyed many interactions with him. His work on characterising simulations
Chris Hankin
doaj +1 more source
Relating non-Hermitian and Hermitian quantum systems at criticality
SciPost Physics Core, 2023 We demonstrate three types of transformations that establish connections between Hermitian and non-Hermitian quantum systems at criticality, which can be described by conformal field theories (CFTs).
Chang-Tse Hsieh, Po-Yao Chang
doaj +1 more source
On Contradiction and Inclusion Using Functional Degrees
International Journal of Computational Intelligence Systems, 2020 The notion of inclusion is a cornerstone in set theory and therefore, its generalization in fuzzy set theory is of great interest. The degree of f-inclusion is one generalization of such a notion that differs from others existing in the literature ...
Nicolás Madrid, Manuel Ojeda-Aciego
doaj +1 more source
Lattice-Valued Topological Systems as a Framework for Lattice-Valued Formal Concept Analysis
Journal of Mathematics, 2013 Recently, Denniston, Melton, and Rodabaugh presented a new categorical outlook on a certain lattice-valued extension of Formal Concept Analysis (FCA) of Ganter and Wille; their outlook was based on the notion of lattice-valued interchange system and a ...
Sergey A. Solovyov
doaj +1 more source
Asymptotic distribution of traces of singular moduli
Discrete Analysis, 2022 Asymptotic distribution of traces of singular moduli, Discrete Analysis 2022:4, 14 pp. This paper concerns the modular $j$-function, a famous function that is fundamental to algebraic number theory and has remarkable connections to other areas of ...
Nickolas Andersen, William Duke
doaj +1 more source