This paper studies abstraction and refinement techniques in the setting of multi-valued model checking for the μ-calculus. Two dimensions of abstractions are identified and studied: Abstraction by joining states of the underlying multi-valued Kripke structure as well as abstraction of truth values, for each following both an optimistic and pessimistic account. It is shown that our notion of abs...

This study examined the relationship between depressive symptoms and bias in the prediction of future life events. Responding to internet announcements, 153 participants varying widely in self-reported depression symptom severity estimated the probability of 40 events occurring over the succeeding 30 days. After the 30-day period, participants reported which events occurred. Optimistic/pessimis...

the large number of applications manages time varying data. existing databasetechnology seldom supports temporal database, tdb, according to time aspects.these intrinsic temporal database applications rely on such database which storesand retrieves time referenced data. moreover, applications need to be managed oncommon data items access simultaneously and to be precluded from inconsistencyas s...

objectives: the aim of this study was to investigate the effectiveness of verbal self-instruction on pessimistic attribution style about negative events in children with dyslexia. methods: the study was experimental with pre-test-post-test and control group. the statistical population consists of all dyslexic students of maktab ali school in tehran city. forty students were selected by convenie...

Stagnation as the new norm and fiscal policy are examined in a New Keynesian model with adaptive learning determining expectations. We impose inflation and consumption lower bounds, which can be relevant when agents are pessimistic. The inflation target is locally stable under learning. Pessimistic initial expectations may sink the economy into steady-state stagnation with deflation. The deflat...

The Pessimistic Induction from falsity of past theories forms a perennial argument against scientific realism. This paper considers and rebuts two recent arguments due to Lewis (2001) and Lange (2002) to the conclusion that the argument from Pessimistic Induction (in its best known form) is actually fallacious. With this I want to re-establish the dignity of the Pessimistic Induction by calling...

    In this paper, a new revenue efficiency data envelopment analysis (RE-DEA) approach is considered for finding the most revenue efficient unit with price uncertainty in both optimistic and pessimistic perspectives. The optimistic and pessimistic perspectives use efficient frontier and inefficient frontier, respectively. An integrated model is introduced to find decision making units (DMUs) t...

Two university varsity swimming teams took the Attributional Style Questionnaire (ASQ) at the start of the season. Swimmers with a pessimistic explanatory style wellt on to show more unexpected poor performances during competition titan optimistic swimmers. We then tested the purported mechanism of this effect by experimentally simulating defeat, giving each swimmer falsely negative' times. Per...