Results 81 to 90 of about 19,730 (191)
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
Evaluation and analysis of the computation cost of linear network coding
Tongxin xuebao, 2011 The complexity of algebraic operation methods on Galois fields was analyzed and the operation mechanism of linear network coding was anatomized.Based on deterministic network coding data transmission and random network coding data transmission for single-
PU Bao-xing1, WANG Wei-ping2
doaj +2 more sources
Ricerche di matematica con Giuseppina Varone
Science & Philosophy, 2013 In memory of the researcher Pina Varone, I present the research carried out together for over 20 years. Some relevant issues and applicants were: the connection between teaching and research, and as an in-depth teaching emerge new research topics; the ...
Antonio Maturo
doaj
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
A Meta-Logical Framework for the Equivalence of Syntactic and Semantic Theories
PhilosophiesThis paper introduces a meta-logical framework—based on the theory of institutions (a categorical version of abstract model theory)—to be used as a tool for the formalization of the two main views regarding the structure of scientific theories, namely ...
Maria Dimarogkona +2 more
doaj +1 more source
The mirror conjecture for minuscule flag varieties
, 2017 We prove Rietsch's mirror conjecture that the Dubrovin quantum connection for minuscule flag varieties is isomorphic to the character D-module of the Berenstein-Kazhdan geometric crystal.
Lam, Thomas, Templier, Nicolas
core
Formal Context Transforms and Their Affordances for Exploratory Data Analysis
MathematicsConsider a formal context (G, M, I) as the basic mechanism to capture information about a set G of objects, a set M of attributes and the relation I ∈ G × M between them. Traditional use of Formal Concept Analysis has some shortcomings in its information-
Francisco J. Valverde-Albacete +4 more
doaj +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
A Galois connection between classical and intuitionistic logics. I: Syntax
, 2017 In a 1985 commentary to his collected works, Kolmogorov remarked that his 1932 paper "was written in hope that with time, the logic of solution of problems [i.e., intuitionistic logic] will become a permanent part of a [standard] course of logic.
Melikhov, Sergey A.
core
A Galois connection between classical and intuitionistic logics. II: Semantics
, 2018 Three classes of models of QHC, the joint logic of problems and propositions, are constructed, including a class of subset/sheaf-valued models that is related to solutions of some actual problems (such as solutions of algebraic equations) and combines ...
Melikhov, Sergey A.
core