Results 21 to 30 of about 551 (224)
Restricted Priestley Dualities and Discriminator Varieties [PDF]
Studia Logica, 2017 Anyone who has ever worked with a variety~$\boldsymbol{\mathscr{A}}$ of algebras with a reduct in the variety of bounded distributive lattices will know a restricted Priestley duality when they meet one---but until now there has been no abstract definition. Here we provide one.
B. A. Davey, A. Gair
openaire +3 more sources
IEEE Access, 2019 The data-driven convolutional neural networks (CNNs) have achieved great progress in Synthetic Aperture Radar automatic target recognition (SAR-ATR) after being trained in a large scale of labeled samples.
Wei Zhang, Yongfeng Zhu, Qiang Fu
doaj +1 more source
Dual binary discriminator varieties
The Art of Discrete and Applied Mathematics, 2019 Summary: Left normal bands, strongly distributive skew lattices, implicative BCS-algebras, skew Boolean algebras, skew Boolean intersection algebras, and certain other non-commutative structures occur naturally as term reducts in the study of ternary discriminator algebras and the varieties that they generate, giving rise thereby to various classes of ...
Bignall, Robert J., Spinks, Matthew
openaire +4 more sources
Characterization of discriminator varieties [PDF]
Proceedings of the American Mathematical Society, 2000 The discriminator function on a set \(A\) is the function \(t:A^3\to A\) defined by \(t(a,b,c)=a\) if \(a\neq b\), and \(t(a,b,c)=c\) if \(a=b\). A ternary term \(t(x,y,z)\) is called a discriminator term for algebra \({\mathcal A}\) if it represents the discriminator function on \(A\).
openaire +2 more sources
Decidable Discriminator Varieties from Unary Classes [PDF]
Transactions of the American Mathematical Society, 1993 Let K \mathcal {K} be a class of (universal) algebras of fixed type. K t {\mathcal {K}^t} denotes the class obtained by augmenting each member of K \mathcal {K} by the ternary discriminator function (
openaire +1 more source
Equationally Complete Discriminator Varieties of Groupoids [PDF]
Proceedings of the American Mathematical Society, 1984 J. Kalicki proved that there are continuum many equationally complete varieties of groupoids. In this note we give a constructive proof of this by defining a countable partial groupoid which has continuum many completions such that each completion generates an equationally complete variety, and no two distinct completions generate the same variety ...
openaire +2 more sources
Decompositions of dual discriminator varieties [PDF]
Bulletin of the Australian Mathematical Society, 1991 A necessary and sufficient condition for a dual discriminator variety to be the product of a discriminator variety and a dual discriminator variety is given, along with an example of such a variety.
openaire +2 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Neuropsychological complications may impair the qualitative prognosis of patients with pediatric brain tumors. However, multifaceted evaluations cannot be conducted in all patients because they are time consuming and burdensome for patients.
Ami Tabata +9 more
wiley +1 more source
Revealing the structure of land plant photosystem II: the journey from negative‐stain EM to cryo‐EM
FEBS Letters, EarlyView.Advances in cryo‐EM have revealed the detailed structure of Photosystem II, a key protein complex driving photosynthesis. This review traces the journey from early low‐resolution images to high‐resolution models, highlighting how these discoveries deepen our understanding of light harvesting and energy conversion in plants.
Roman Kouřil
wiley +1 more source
Mapping the evolution of mitochondrial complex I through structural variation
FEBS Letters, EarlyView.Respiratory complex I (CI) is crucial for bioenergetic metabolism in many prokaryotes and eukaryotes. It is composed of a conserved set of core subunits and additional accessory subunits that vary depending on the organism. Here, we categorize CI subunits from available structures to map the evolution of CI across eukaryotes. Respiratory complex I (CI)
Dong‐Woo Shin +2 more
wiley +1 more source