Results 81 to 90 of about 986 (204)
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
A characterization of adjunction in a many-valued modal system
CQD Revista Eletrônica Paulista de MatemáticaGalois connections are pairs of functions, defined over ordered sets, that preserve some particular aspects. They are studied in the context of algebraic structures.
Hércules de Araújo Feitosa +1 more
doaj +1 more source
Duality Based on Galois Connection. Part I
, 2008 Summary. In the paper, we investigate the duality of categories of complete lattices and maps preserving suprema or infima according to [15, p. 179–183; 1.1–1.12]. The duality is based on the concept of the Galois connection.
Grzegorz Bancerek
core
Specialising Finite Domain Programs using Polyhedra
, 1999 A procedure is described for tightening domain constraints of finite domain logic programs by applying a static analysis based on convex polyhedra. Individual finite domain constraints are over-approximated by polyhedra to describe the solution space ...
Howe, Jacob M. +3 more
core +2 more sources
Galois Connection with Truth Stressers: Foundation for Formal Concept Analysis of Object-Attribute Data with Fuzzy Stressers [PDF]
, 2005 Galois connections appear in several areas of mathematics and computer science, and their applications. A Galois connection between sets X and Y is a pair ↑ , ↓ of mappings ↑ assigning subcollections of Y to subcollections of X, and ↓ assigning ...
Radim Bělohlávek +2 more
core
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
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
Differential Galois theory and isomonodromic deformations
, 2019 28 pagesInternational audienceHere we present a geometric setting for the differential Galois theory of $G$-invariant connections with parameters. As an application of some classical results on differential algebraic groups and Lie algebra bundles, we ...
Blázquez Sanz, D. +5 more
core +1 more source
Galois structures on plane compacts
, 2003 In this paper we use results from V. Pasol et al. [Math. Z. 238 (1) (2001) 101–114] and A. Popescu et al. [Math. Nachr., submitted for publication] to construct unusual actions of the absolute Galois group of Q on a large class of compact subsets of the ...
Popescu, Nicolae +2 more
core +1 more source