Objective: The main objective of this research is to explain the accrual anomaly using accruals factor (CMA) and accrual-based factor-mimicking portfolios as well as checking whether accrual anomaly is risk-based or mispricing. According to rational frictionless asset pricing model, the ability of accruals to predict returns should come from the loadings on this accrual factor loading that pred...

Academic achievement is a function of many factors among which the school entry age has been controversial. Although the impact of the age factor is rather obvious, its effect is mediated by factors such a spiritual intelligence, social skills, and creativity. In order to devise a structural model by which the academic achievement can be predicted, a sample of 250 female 10th graders was select...

According to a theorem of Treves [11], the conserved functionals of the AKNS equation vanish on all pairs of formal Laurent series (q̃, r̃) of a specified form, both of them with a pole of the first order. We propose a new and very simple proof for this statement, based on the theory of Bäcklund transformations; using the same method, we prove that the AKNS conserved functionals vanish on other p...

Software model-checking based on the CEGAR framework can be made more precise by separating non-determinism from the lack of information due to abstraction. The two can be modeled individually using four-valued Belnap logic. In addition, this logic allows reasoning about negations effectively and thus enables checking of full CTL. In this paper, we present YASM – a new symbolic software model-c...