Results 1 to 10 of about 10,467 (213)

Encoding Monomorphic and Polymorphic Types [PDF]

open access: yesLogical Methods in Computer Science, 2017
Many automatic theorem provers are restricted to untyped logics, and existing translations from typed logics are bulky or unsound. Recent research proposes monotonicity as a means to remove some clutter when translating monomorphic to untyped first-order
Jasmin Christian Blanchette   +3 more
doaj   +15 more sources

Associations between polymorphisms in the growth hormone locus and reproductive efficiency in dairy cattle in Pujon [PDF]

open access: yesBIO Web of Conferences, 2023
Selection using genetic markers (MAS) is carried out in an effort to accelerate livestock breeding programs, through molecular studies individual superior livestock can be detected earlier so that the selection program can be directed and controlled ...
Dzikrullah A.   +2 more
doaj   +1 more source

Molecular characterization of ginger genotypes using RAPD and SSR markers

open access: yesJournal of Horticultural Sciences, 2022
Genetic diversity among ginger genotypes collected from different parts of the country was studied using molecular markers (30 RAPD and 55 SSR). Compared to RAPD primers SSR primers were efficient in distinguishing the genotypes.
Akshitha HJ   +4 more
doaj   +1 more source

The Occurrence of Malignancy in Trypanosoma brucei brucei by Rapid Passage in Mice

open access: yesFrontiers in Microbiology, 2022
Pleomorphic Trypanosoma brucei are best known for their tightly controlled cell growth and developmental program, which ensures their transmissibility and host fitness between the mammalian host and insect vector.
Xiao-Li Cai   +6 more
doaj   +1 more source

k-Spectrally monomorphic tournaments [PDF]

open access: yesDiscrete Mathematics, 2022
A tournament is $k$-spectrally monomorphic if all the $k\times k$ principal submatrices of its adjacency matrix have the same characteristic polynomial. Transitive $n$-tournaments are trivially $k$-spectrally monomorphic. We show that there are no other for $k\in \{3,\ldots,n-3\} $.
Abderrahim Boussaïri   +3 more
openaire   +3 more sources

Monomorphism and heterozygosity [PDF]

open access: yesHeredity, 1975
A myth about the relation between monomorphism and heterozygosity is dispelled: the observed relation provided no evidence for (or against) neutral mutations.
N E, Morton, D C, Rao
openaire   +2 more sources

The Polymorphism in Various Milk Protein Genes in Polish Holstein-Friesian Dairy Cattle

open access: yesAnimals, 2021
The aim of the present study was to evaluate the genotype and allele frequencies of 24 polymorphisms in casein alpha S1 (CSN1S1), casein alpha S2 (CSN1S2), beta-casein (CSN2), kappa-casein (CSN3), and progestagen-associated endometrial protein (PAEP ...
Magdalena Kolenda, Beata Sitkowska
doaj   +1 more source

Sexing Adult Pale-Winged Starlings Using Morphometric and Discriminant Function Analysis. [PDF]

open access: yesPLoS ONE, 2015
Accurate sexing of birds is vital for behavioral studies but can be a real problem in the field, especially for monomorphic species. Our goal here was to characterize the morphology of male and female monomorphic pale-winged starlings (Onychognathus ...
Laurence Henry   +3 more
doaj   +1 more source

On Monomorphisms and Subfields [PDF]

open access: yesFormalized Mathematics, 2019
Summary This is the second part of a four-article series containing a Mizar [2], [1] formalization of Kronecker’s construction about roots of polynomials in field extensions, i.e. that for every field F and every polynomial p ∈
openaire   +2 more sources

THE GENOMIC-DNA RELATIONSHIP OF SOME WILD ACCESSIONS OF COWPEA (VIGNASPP) USING UN-WEIGHTED PAIR GROUP METHOD OF ARITHMETIC MEANS (UPGMA) [PDF]

open access: yesActa Scientifica Malaysia
The Genomic-DNA of five wild accessions (TVnu-59, TVnu-561, TVnu-563, TVnu-1148 and TVnu-1395) of Cowpea (Vigna species) using Un-weighted Pair Group Method of Arithmetic Means (UPGMA) was carried out at African Bioscience Laboratory, Ibadan, Oyo State ...
V.J. Adavbiele   +2 more
doaj   +1 more source

Home - About - Disclaimer - Privacy