the renowned proverb “shāhnāma axarash xoš ast” has implicit question which its answer may change our understanding of the nature and function of shāhnāma. the end of shāhnāma contains numerous tragic events in sassanid age. also it does not seem to be normal if the iranians have deemed the bitter adventure of the shahs and pahlavāns as a happy ending like what firdausi narrates at the end of h...

ashura tragic event and the martyrdom of imam hussein (as) are considered the greatest events in the history of islam after ghadir event because imam (as) held the great epic in ashura day and sacrificed himself and his family, near kin and his companions for the survival of islam. this human event had influence on poets’ souls as they made an attempt to compose lyrics about imam (as). some of ...

This paper investigates the ex post implementation of a social choice set with two agents. A social choice set F is ex post imple-mentable with two agents if F satises the conditions of ex post incentive compatibility (EPIC) and ex post monotonicity (EM) in an environment that is economic and has a bad outcome. Furthermore, if F is a social choice function, (EPIC), (EM), and an economic environ...

Inclusion dependencies are one of the most important database constraints. In isolation their finite and unrestricted implication problems coincide, are finitely axiomatizable, PSPACE-complete, and fixed-parameter tractable in their arity. In contrast, finite and unrestricted implication problems for the combined class of functional and inclusion dependencies deviate from one another and are ea...

We present a method we call structure-based preferential bumping, a low-cost way to exploit formula structure in VSIDS-based SAT solvers. We show that the SAT solver Glucose, when modified with preferential bumping of certain easily identified structurally important variables, out-performs unmodified Glucose on the industrial formulas from recent SAT solver competitions.

The Erosion Productivity Impact Calculator (EPIC) model is validated using long-term data collected for two southwest Iowa watersheds that have been cropped in continuous corn under two different tillage systems. The annual hydrologic balance was calibrated during 1988-94 by adjusting the runoff curve numbers and residue effects on soil evaporation. Model validation was performed for 1976-87 us...

We made an econometric analysis on consonants and characters after the establishment of Gesar epic classic version HorLing corpus. Firstly, we set up a 2-million-consonants corpus for further verification and comparison of the character frequency of HorLing. Secondly, we established the theory of Tibetan consonants combination rules and Tibetan theory consonants and wish the Tibetan theory cons...