Results 31 to 40 of about 248 (160)
Galois and Pataki connections for ordinary functions and super relations [PDF]
Santanu Acharjee +2 more
doaj +1 more source
Heights on ‘hybrid orbits’ in Shimura varieties
Abstract We prove the ‘hybrid conjecture’ which is a common generalisation of the André–Oort conjecture and the André–Pink–Zannier conjecture, in the case of Shimura varieties of abelian type.
Rodolphe Richard, Andrei Yafaev
wiley +1 more source
SH-graph automata with applications [PDF]
In this paper, because semihoops are the most basic residuated structure that contain all logical algebras based on Galois connections, therefore we introduce a new type fuzzy graph and its complement based on semihoops, denoted by $SH$-graph $G$ and $G^\
TianYu Zhang +2 more
doaj +1 more source
On 7‐adic Galois representations for elliptic curves over Q$\mathbb {Q}$
Abstract In recent years, significant progress has been made on Mazur's Program B, with many authors beginning a systematic classification of all possible images of p$p$‐adic Galois representations attached to elliptic curves over Q$\mathbb {Q}$. Currently, the classification is only complete for p∈{2,3,13,17}$p \in \lbrace 2,3,13,17\rbrace$.
Lorenzo Furio, Davide Lombardo
wiley +1 more source
Cpn$C_{p^n}$‐equivariant Mahowald invariants
Abstract The classical Mahowald invariant is an operation that systematically produces new elements in the stable homotopy groups of spheres from known ones. We introduce the Cpn$C_{p^n}$‐Mahowald invariant: a relation π★SCpn−1⇀π*S$\pi _\star S_{\mathchoice{{ C_{p^{n-1}}}}{{\textstyle C_{p^{n-1}}}}{{\scriptstyle C_{p^{n-1}}}}{{\scriptscriptstyle C_{p ...
William Balderrama +2 more
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
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
Topological Structures of Fuzzy Modal Logics Based on Residuated Lattices
The purpose of this paper is to interpret fuzzy Kripke models as fuzzy information systems with objects and attributes. We introduce topological structures (interior, closure operators, Alexandrov pretopologies, Alexandrov precotopologies, fuzzy rough ...
Yong Chan Kim, Young-Hee Kim
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

