Results 21 to 30 of about 40,865 (297)
Quantifier elimination in discriminator varieties
Annals of Pure and Applied Logic, 1986 We classify those classes of elements of a discriminator variety V, which admit quantifier elimination (q.e.) in terms of classes of simple elements of V. Discriminator varieties come up in decidability questions for certain varieties. Burris and McKenzie have shown that any finitely generated modular variety of finite type, which is decidable, is the ...
Françoise Point
openalex +2 more sources
Semisimplicity, EDPC and Discriminator Varieties of Residuated Lattices
Studia Logica, 2004 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Tomasz Kowalski
openalex +3 more sources
Discriminants of toric varieties [PDF]
Communications in Algebra, 2021 We study the subvariety of singular sections, the discriminant, of a base point free linear system $|L|$ on a smooth toric variety $X$. On one hand we describe pairs $(X,L)$ for which the discriminant is of low dimension. Precisely, we collect some bounds on this dimension and classify those pairs whose dimension differs the bound less than or equal to
Muñoz, Roberto, Nolla, Álvaro
openaire +2 more sources
Variety Discrimination Power: An Appraisal Index for Loci Combination Screening Applied to Plant Variety Discrimination [PDF]
Frontiers in Plant Science, 2021 Molecular marker technology is used widely in plant variety discrimination, molecular breeding, and other fields. To lower the cost of testing and improve the efficiency of data analysis, molecular marker screening is very important. Screening usually involves two phases: the first to control loci quality and the second to reduce loci quantity.
Yang Yang +9 more
openaire +3 more sources
IEEE Access, 2023 Synthetic aperture radar (SAR) imaging has recently attracted considerable attention due to its variety of applications in both military and civilian aspects.
Pham The Hien, Ic-Pyo Hong
doaj +1 more source
Varieties with small discriminant variety [PDF]
Transactions of the American Mathematical Society, 2006 Let \(L\) be an ample and spanned line bundle \(L\) on a smooth complex \(n\)-dimensional projective variety \(X\), \(V\subset H^0(X,L)\) defining a morphism \(\phi_V: X\rightarrow \mathbb{P}^N\), let \(\mathcal{D}(X,V)\) be its discriminant locus (parameterizing the singular elements of \(| V| \)) and \(\phi_V(X)^\vee\) the dual variety of \(\phi_V(X)\
A. LANTERI, R. MUNOZ
openaire +3 more sources
GAN‐based deep neural networks for graph representation learning
Engineering Reports, 2022 Graph representation learning has attracted increasing attention in a variety of applications that involve learning on non‐Euclidean data. Recently, generative adversarial networks(GAN) have been increasingly applied to the field of graph representation ...
Ming Zhao, Yinglong Zhang
doaj +1 more source
Gautama and Almost Gautama Algebras and their associated logics [PDF]
Transactions on Fuzzy Sets and Systems, 2023 Recently, Gautama algebras were defined and investigated as a common generalization of the variety $\mathbb{RDBLS}\rm t$ of regular double Stone algebras and the variety $\mathbb{RKLS}\rm t$ of regular Kleene Stone algebras, both of which are, in ...
Juan M. Cornejo +1 more
doaj +1 more source
Decidable discriminator varieties from unary varieties [PDF]
Journal of Symbolic Logic, 1991 AbstractWe determine precisely those locally finite varieties of unary algebras of finite type which, when augmented by a ternary discriminator, generate a variety with a decidable theory.
Burris, Stanley +2 more
openaire +1 more source
Entropy, 2023 Generative Adversarial Nets (GANs) are a kind of transformative deep learning framework that has been frequently applied to a large variety of applications related to the processing of images, video, speech, and text.
Yang Zou, Yuxuan Wang, Xiaoxiang Lu
doaj +1 more source