BACKGROUND Knowledge about important factors in reduction of burnout is needed, but there is a dearth of burnout intervention program studies and their effects among physicians. The present three-year follow-up study aimed to investigate the roles of coping strategies, job stress and personality traits in burnout reduction after a counselling intervention for distressed physicians. METHODS 22...

This study examined whether employees develop perceptions about 3 different types of fit: person-organization fit, needs-supplies fit, and demands-abilities fit. Confirmatory factor analyses of data from 2 different samples strongly suggested that employees differentiate between these 3 types of fit. Furthermore, results from a longitudinal design of 187 managers supported both the convergent a...

Switching between the formation flight tactic and the dynamic encirclement tactic for a team of Unmanned Aerial Vehicles (UAVs) is done using a decentralized approach. A team formed from N UAVs, accomplishes a line-of-breast formation then dynamic encirclement around a desired target. A high-level Linear Model Predictive Control (LMPC) policy is used to control the UAV team during the execution...

Article history: Received 11 February 2015 Available online 15 May 2015 Prior research on the benefits of modest self-presentation in organizational contexts has shown positive effects on several career-related outcomes, including employees' reputation, organizational support, and mentoring. However, little is known about the nature, mechanisms, and boundary conditions of this promising impress...

The syntax and semantics of user-supplied hypothesis names in tactic languages is a thorny problem, because the binding structure of a proof is a function of the goal at which a tactic script is executed. We contribute a new language to deal with the dynamic and interactive character of names in tactic scripts called Nominal LCF, and endow it with a denotational semantics in dI-domains. A large...

We present a proof rule and an effective tactic for proving properties about Haskell type classes by proving them for the available instance definitions. This is not straightforward, because instance definitions may depend on each other. The proof assistant Isabelle handles this problem for single parameter type classes by structural induction on types. However, this does not suffice for an eff...

http://dx.doi.org/10.1016/j.anbehav.2016.01.006 0003-3472/© 2016 The Association for the Study of A Reproductive and agonistic behaviours typically diverge between individuals pursuing alternative reproductive tactics (ARTs). When tactics are fixed for life, evolutionary theory predicts that the relative frequencies of alternative male genotypes are stabilized in a population by negative freque...

Polygynous males can change their mating tactics across their lifetime, but information is scarce on the flexibility of this trait within a given season and the relative costs and benefits of using different tactics. Here, we monitored individually marked male reindeer Rangifer tarandus and classified their mating tactics as harem-defense, sneaking, or mixed. The costs of the male reproductive ...

Prior research on the benefits of modest self-presentation in organizational contexts has shown positive effects on several career-related outcomes, including employees’ reputation, organizational support, and mentoring. However, little is known about the nature, mechanisms, and boundary conditions of this promising impression management tactic. Our study addresses this research gap by integrat...

This study attempted to integrate extant research on proand antisocial compliance-gaining tactic selection decisions with research about the effects of compliance-gaining tactic use Forty employees of a state-operated mental health institution rated an actor's (supervisor's) communication competence and task attractiveness: 20 subjects rated the actor's characteristics based on a videotaped ins...