Results 11 to 20 of about 248 (160)
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
Galois Connections and Data Mining [PDF]
J. Univers. Comput. Sci., 2000 JUCS - Journal of Universal Computer Science Volume Nr.
Cristofor,Dana +2 more
openaire +3 more sources
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
Lagois connections — a counterpart to Galois connections
Theoretical Computer Science, 1994 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Austin Melton +2 more
openaire +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
Representation of Fuzzy Concept Lattices in the Framework of Classical FCA
Journal of Applied Mathematics, 2013 We describe a representation of the fuzzy concept lattices, defined via antitone Galois connections, within the framework of classical Formal Concept Analysis. As it is shown, all needed information is explicitly contained in a given formal fuzzy context
Peter Butka, Jozef Pócs, Jana Pócsová
doaj +1 more source
ESSENTIAL AND RETRACTABLE GALOIS CONNECTIONS [PDF]
Journal of Algebra and Its Applications, 2013 For bounded lattices, we introduce certain Galois connections, called (cyclically) essential, retractable and UC Galois connections, which behave well with respect to concepts of module-theoretic nature involving essentiality. We show that essential retractable Galois connections preserve uniform dimension, whereas essential retractable UC Galois ...
openaire +2 more sources
On Constructivity of Galois Connections [PDF]
, 2017 Abstract interpretation-based static analyses rely on abstract domains of program properties, such as intervals or congruences for integer variables. Galois connections (GCs) between posets provide the most widespread and useful formal tool for mathematically specifying abstract domains.
openaire +1 more source