Results 61 to 70 of about 888,944 (169)
Manin's conjecture for integral points on toric varieties
Abstract We formulate a conjecture on the number of integral points of bounded height on log Fano varieties in analogy with Manin's conjecture on the number of rational points of bounded height on Fano varieties. We also give a prediction for the leading constant that is similar to Peyre's interpretation of the leading constant in Manin's conjecture ...
Tim Santens
wiley +1 more source
Computing Bonds Between Formal Contexts
ABSTRACT The notion of bond was introduced as a technique to aggregate information from multiple datasets without modifying the information already present in each of the datasets. This notion has been extended to several fuzzy frameworks, including the residuated lattice setting, which we also consider in this paper.
Roberto G. Aragón +2 more
wiley +1 more source
Fourier Expansion‐Based Approach to the Parameter Space of Classical Systems
ABSTRACT We propose a new approach to compute the classical metric tensor (CMT) and the Hannay curvature using Fourier series expansions in action‐angle variables. This approach circumvents the need for complex time‐domain integrals or the construction of generating functions, replacing them with algebraic combinations of Fourier coefficients. We prove
Marcos J. Hernández +3 more
wiley +1 more source
A curious example involving ordered compactifications
For a certain product X x Y where X is compact, connected, totally ordered space, we find that the semilattice K0 (X x Y) of ordered compactifications of X x Y is isomorphic to a collection of Galois connections and to a collection of functions F which ...
Thomas A. Richmond
doaj +1 more source
FuzzyMind: A Web Platform for End‐to‐End Fuzzy Cognitive Map Modeling
ABSTRACT Fuzzy cognitive maps (FCMs) are widely used for modeling complex causal systems under uncertainty. However, the FCM development lifecycle, encompassing data preprocessing, model construction, weight optimization, and scenario analysis, is typically fragmented across heterogeneous tools.
Theodoros Tziolas, Elpiniki Papageorgiou
wiley +1 more source
Galois Connections for Recursive Types
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.
Ahmad Salim Al-Sibahi +3 more
openaire +3 more sources
Antitone Galois Connections and Formal Concepts [PDF]
In this paper, we investigate the properties of antitone Galois connection and formal concepts. Moreover, we show that order reverse generating maps induce formal, attribute oriented and object oriented concepts on a complete residuated lattice.
Jung Mi Ko, Yong Chan Kim
openaire +2 more sources
On the fixed‐point proportion of self‐similar groups
Abstract We prove that super strongly fractal groups acting on regular rooted trees have null fixed‐point proportion. In particular, we show that the fixed‐point proportion of an infinite family of iterated monodromy groups of exceptional complex polynomials has the same property.
Jorge Fariña‐Asategui, Santiago Radi
wiley +1 more source
On the Galois module structure of units in met acyclic extensions [PDF]
Let Г be a metacyclic group of order pq with p and q prime. We shall show that the Г-cohomology and character of a Г-lattice determine its genus. Let N/L be a Galois extension with group Г, then U(_N), the torsion-free units of N, is a Г-lattice and the ...
McGaul, K.Y., McGaul, Karen Yvonne
core
Logics from Galois connections
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Jouni Järvinen +2 more
openaire +3 more sources

