Results 31 to 40 of about 12,528 (136)
Invertibility of functional Galois connections
Comptes Rendus. Mathématique, 2002 We consider equations of the form Bf=g, where B is a Galois connection between lattices of functions. This includes the case where B is the Fenchel transform, or more generally a Moreau conjugacy. We characterize the existence and uniqueness of a solution f in terms of generalized subdifferentials, which extends K. Zimmermann's covering theorem for max-
Akian, Marianne +2 more
openaire +2 more sources
A Constructive Framework for Galois Connections
, 2017 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 ...
Ranzato, Francesco
core
GALOIS CONNECTIONS AND FORMAL CONCEPT ANALYSIS
Demonstratio Mathematica, 1994 We interpret the Galois connections between ordered sets as formal concepts of a context. For the Galois connections between complete lattices a more efficient description than \textit{Z. Shmuely}'s [Pac. J. Math. 54, 209-225 (1974; Zbl 0303.06004)] characterization is given by introducing Galois relations or Galois bonds.
openaire +2 more sources
The Lamé family of connections on the projective line
, 2008 International audienceThis paper deals with rank two connections on the projective line having four simple poles with prescribed local exponents 1/4 and -1/4. This Lamé family of connections has been extensively studied in the literature.
Loray, Frank +2 more
core +1 more source
Galois Connections for Recursive Types
, 2020 Building a static analyser for a real language involves modeling of large domains capturing the many available data types. To scale domain design and support efficient development of project-specific analyzers, it is desirable to be able to build, extend, and change abstractions in a systematic and modular fashion.
Al-Sibahi, Ahmad Salim +3 more
openaire +3 more sources
Improving the efficiency of using multivalued logic tools. [PDF]
Sci Rep, 2023 Suleimenov IE +3 more
europepmc +1 more source
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
Modeling and simulation of a Tamil language encoder for advanced encryption technologies. [PDF]
Patterns (N Y), 2023 Suthaharan S.
europepmc +1 more source
Identity, individuality and indistinguishability in physics and mathematics. [PDF]
Philos Trans A Math Phys Eng Sci, 2023 Catren G.
europepmc +1 more source
Systems of Precision: Coherent Probabilities on Pre-Dynkin Systems and Coherent Previsions on Linear Subspaces. [PDF]
Entropy (Basel), 2023 Derr R, Williamson RC.
europepmc +1 more source