static verification and software testing are not able to verify software single-handedly. therefore, another approach called run-time verification dealing with verifying software behavior against constraints at run-time received attention. however, the run-time verification faces the problem of verification of run-time activities against the constraints are specified in high-level and abstractl...

We investigated the genealogy of the in situ conservation nucleus of the Pantaneiro horse using DNA microsatellites by evaluating 101 horses, the group consisting of 71 adult horses (3 stallions, 40 male and 31 mares) and 27 foals (14 colts and 13 fillies). Genomic DNA was extracted from hair roots and genotyped using 12 microsatellite markers (AHT4, AHT5, ASB2, ASB17, ASB23, HMS3 HMS6, HMS7, H...

Reference 1. TungW-P, Chen Y-H, ChengW-C, Chuang M-F, HsuW-T, Kam Y-C, et al. (2015) Parentage of Overlapping Offspring of an Arboreal-Breeding Frog with No Nest Defense: Implications for Nest Site Selection and Reproductive Strategy. PLoS ONE 10(4): e0123221. doi: 10.1371/journal.pone.0123221 PMID: 25835716 Table 1. Parentage analyses of overlapping offspring of three consecutive years using C...

Genetic data from polymorphic microsatellite loci were employed to estimate paternity and maternity in a local population of nine-banded armadillos (Dasypus novemcinctus) in northern Florida. The parentage assessments took advantage of maximum likelihood procedures developed expressly for situations when individuals of neither gender can be excluded a priori as candidate parents. The molecular ...

Research has explored how multiracial individuals are categorized by monoracial individuals, but has not yet explored how they are categorized by multiracial individuals themselves. We examined how multiracial children (4-9 years) and adults categorized multiracial targets (presented with and without parentage information). When parentage information was provided, multiracial targets were more ...

Hybridization refers to the crossing breeding of two plants. Coefficient of Parentage (COP) is used by the plant breeders to determine the genetic diversity across various varieties so as to incorporate the useful characters of the two varieties to develop a new crop variety with particular useful characters. Genetic Diversity is the prerequisite for any cultivar development program. Genetic Di...

Estimation of short tandem repeat (STR) multilocus genotype frequencies for the identification of individuals and estimation of allele frequencies for parentage assignment both depend on (a) testing a lot of loci, (b) high levels of polymorphism at each locus tested, and (c) independence among alleles. Independence is critical, because the estimation of multilocus genotype and gamete frequencie...

Fifteen bovine microsatellites were evaluated for use in parentage testing in 725 bison from 14 public populations, 178 bison from two private ranches and 107 domestic cattle from five different breeds. The number of alleles per locus ranged from five to 16 in bison and from five to 13 in cattle. On average, expected heterozygosity, polymorphism information content (PIC) and probability of excl...