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...

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...

Deep space climate observatory (DSCOVR) spacecraft drifts about the Lagrangian point ≈1.4–1.6 × 106 km from Earth, where its Earth polychromatic imaging camera (EPIC) observes sun-lit face of every 1 to 2 hours. At any instance, there is a preferred (specular) spot on globe, glint may be observed by EPIC. While monitoring reflectance at these spots (terrestrial glitter), we observe occasional i...