Results 71 to 80 of about 686,932 (192)

A Constructive Framework for Galois Connections

CoRR, 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   +2 more sources

Quasi‐convex surface subgroups in some one‐relator groups with torsion

Bulletin of the London Mathematical Society, Volume 58, Issue 7, July 2026.
Abstract We find surface subgroups in certain one‐relator groups with torsion and use this to deduce a profinite criterion for a word in the free group to be primitive.
Andrew Ng
wiley   +1 more source

A unifying framework for studying continuity, increasingness, and Galois connections [PDF]

, 2018
  By using relators (families of relations) and some natural operations for relators, we offer some general definitions for continuity, increasingness, and Galois ...
Szaz, Arpad
core  

Alexandrov LF-Rough Topogenous Structures: Theory and Applications

Journal of Mathematics
The aim of this paper is to investigate the relationships between Alexandrov LF-rough topogenous spaces and Alexandrov LF-rough closure (interior) spaces based on LF-rough sets.
Ahmed A. Ramadan, Anwar J. Fawakhreh, Tareq M. Al-shami   +2 more
doaj   +1 more source

On the Categories of $\mathcal{LF}$-Ideals, $\mathcal{LF}$-Grills, and $\mathcal{LF}$-Topological Spaces

Axioms
This paper is devoted to the study of the interrelationships among LF-grills, LF-ideals, LF-neighborhoods, LF-topologies, and LF-co-topologies. We establish a categorical framework that demonstrates the interconnections among these concepts. In addition,
Ahmed A. Ramadan, Anwar J. Fawakhreh
doaj   +1 more source

Galois connections categorically

Journal of Pure and Applied Algebra, 1990
This is an expansion of a previous paper [Lect. Notes Comput. Sci. 239, 122-134 (1986; Zbl 0615.06002)]. It is a somewhat discursive discussion of Galois connections in (briefly) partially ordered sets, concrete categories, and categories. In concrete categories the authors consider only Galois connections commuting with the forgetful functors, which ...
Herrlich, H., Hušek, M.
openaire   +2 more sources

Möbius Transformation and Permutation Based S-Box to Enhance IoT Multimedia Security

IEEE Access
In a world of seamless connections, where everyone is connected via smart devices (Internet of Things (IoT)). These smart devices constantly exchange personal multimedia data, which requires maximum protection from unauthorised access.
Ifeoluwapo Aribilola, Brian Lee, Mamoona Naveed Asghar   +2 more
doaj   +1 more source

Topological visual localization using decentralized galois lattices [PDF]

, 2004
This paper presents a new decentralized method for selecting visual landmarks in a structured environment. Different images, issued from the different places, are analyzed, and primitives are extracted to determine whether or not features are present in
Samuelides, Manuel, Ghallab, Malik, Zenou, Emmanuel   +2 more
core  

Oeuvres mathématiques d'Évariste Galois

, 1897
Evariste Galois ; publ. sous les auspices de la Société math. de France, avec une introduction par M.
Galois, Evariste
core   +1 more source

Heyting Algebras with Kalman-Galois Connections

Inspired by Kalman’s work, a categorical equivalence has been proved between Heyting algebras and centered Nelson algebras. In this paper, we investigate Galois connections on Heyting algebras, specifically introducing a type of Galois connection known ...
Calomino, Ismael Maria, Pelaitay, Gustavo Andrés, Valverde, Lucia Florencia   +2 more
core   +1 more source