Flexible flow shop scheduling problem (FFS) with unrelated parallel machines contains sequencing in flow shop where, at any stage, there exists one or more processors. The objective consists of minimizing the maximum completion time. Because of NP-completeness of FFS problem, it is necessary to use heuristics method to address problems of moderate to large scale problem. Therefore, for assessme...

objective: this survey aimed at finding a model for determining the direct and indirect effects of spouse abuse on the psychological health of victimized women as well as analysis of the mediating roles of social support and coping mechanisms on the relationship between spouse abuse and psychological health condition. methods: a total of 192 women were selected by random sampling. they complete...

In this paper, we give a kind of Cauchy 1-completeness in probabilistic quasi-uniform spaces by using 1-filters. Utilizingthe relationships among probabilistic quasi-uniformities, classical quasi-uniformities and Hutton [0, 1]-quasi-uniformities,we show the relationships between their completeness. In fuzzy quasi-metric spaces, we establish the relationshipsbetween the completeness of induced p...

Objective: The present study was designed to examine the college student's mental health predication model based on religious faith mediated by happiness, ambivalent attachment style and ‎locus of control. Methods: The method of study was correlational.  The statistical population included all college students of the Shiraz University in the academic year of 2013-2014.  The sample included 240...

Abstract Uniform interpolants have been largely studied in non-classical propositional logics since the nineties; a successive research line within automated reasoning community investigated uniform quantifier-free (sometimes referred to as “covers”) first-order theories. This further is motivated by fact that offer an effective solution tackle quantifier elimination and symbol problems, which ...

This study investigates the effectiveness of online task support (the wizard type in particular) relative to instructor-led training, and explores the underlying cognitive process in terms of the development of mental models. Ninety-two novice users of Microsoft Access were either trained by an experienced instructor or performed exercises with online task support, and then completed a variety ...