Results 21 to 30 of about 3,865 (225)

Uniform interpolation and coherence [PDF]

, 2018
A variety V is said to be coherent if any finitely generated subalgebra of a finitely presented member of V is finitely presented. It is shown here that V is coherent if and only if it satisfies a restricted form of uniform deductive interpolation: that ...
Alizadeh, Bauer, Bílková, Choo, Czelakowski, Czelakowski, D'Agostino, D'Agostino, Eklof, Esakia, Galatos, Galatos, Gehrke, Gehrke, George Metcalfe, Ghilardi, Ghilardi, Ghilardi, Ghilardi, Ghilardi, Gould, Higman, Jónsson, Jónsson, Kharlampovich, Kowalski, Kowalski, Kowalski, Kowalski, Lutz, Maksimova, Marti, Metcalfe, Nelson, Ono, Pigozzi, Pitts, Schmidt, Shavrukov, Taylor, Taylor, Tomasz Kowalski, van Gool, Visser, Wheeler, Wheeler, Wroński   +46 more
core   +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

Test of airborne fluorometer over land surfaces and geologic materials [PDF]

, 1970
Response of an experimental Fraunhofer line discriminator to a wide range of surficial deposits common in deserts and semideserts was tested in the laboratory and from an H-19 helicopter.
Hemphill, W. R., Stoertz, G. E.
core   +2 more sources

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

Canonical varieties with no canonical axiomatisation

, 2005
Accepted ...
Hodkinson, I, Venema, Y
core   +5 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

Genome-Wide Association Study and Candidate Gene Identification for Resistance to Bacterial Stem and Root Rot in Sweetpotato

Biology
Bacterial stem and root rot (BSRR), caused by Dickeya dadantii, poses a severe threat to global sweetpotato production, yet the genetic architecture underlying resistance remains elusive. To dissect these mechanisms, we conducted a high-resolution genome-
Xiangsheng Lin, Xiawei Ding, Shixu Zhou, Hongda Zou, Zhangying Wang, Xuelian Liang, Xiangbo Zhang, Lifei Huang   +7 more
doaj   +1 more source

Complex Algebras of Arithmetic

, 2009
An 'arithmetic circuit' is a labeled, acyclic directed graph specifying a sequence of arithmetic and logical operations to be performed on sets of natural numbers.
Düntsch, Ivo, Pratt-Hartmann, Ian
core   +2 more sources

Evaluating the Utility of Paired Tumor and Germline Targeted DNA Sequencing for Pediatric Oncology Patients: A Single Institution Report

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Objective To evaluate the diagnostic yield and utility of universal paired tumor–normal multigene panel sequencing in newly diagnosed pediatric solid and central nervous system (CNS) tumor patients and to compare the detection of germline pathogenic/likely pathogenic variants (PV/LPVs) against established clinical referral criteria for cancer ...
Natalie Waligorski, Rebecca Ronsley, Shannon M. Stasi, Jeffrey Stevens, Erin R. Rudzinski, Christina M. Lockwood, Sarah E. S. Leary, Bonnie L. Cole, Michelle A. Ting, Vera Paulson   +9 more
wiley   +1 more source

Self Adversarial Training for Human Pose Estimation

, 2017
This paper presents a deep learning based approach to the problem of human pose estimation. We employ generative adversarial networks as our learning paradigm in which we set up two stacked hourglass networks with the same architecture, one as the ...
arjovsky, belagiannis, berthelot, bulat, cao, carreira, chen, chen, chu, gkioxari, gong, goodfellow, gulrajani, insafutdinov, isola, ledig, lifshitz, luc, mirza, newell, pan, pishchulin, radford, rafi, ramakrishna, tompson, wei, zhao   +27 more
core   +1 more source