The links of minority stressors (workplace discrimination, expectations of stigma, internalized heterosexism, and identity management strategies) with psychological distress and job satisfaction were examined in a sample of 326 sexual minority employees. Drawing from minority stress theory and the literature on the vocational experiences of sexual minority people, patterns of mediation and mode...

Tupling transformation strategy can be applied to eliminate redundant calls in a program and also to eliminate multiple traversals of data structures. While the former application can produce super-linear speedup in the transformed program, the eeectiveness of the latter has yet to be appreciated. In this paper, we investigate the pragmatic issues behind elimination of multiple data traversal i...

In Dafny, the program text is used to both specify and implement programs in the same language [24]. It then uses a fully automated theorem prover to verify that the implementation satisfies the specification. However, the prover often needs further guidance from the user, and another role of the language is to provide such necessary hints and guidance. In this paper, we present a set of verifi...

We describe some features of the tactic language implemented in the theorem prover Ergo 5. This is a variant of the generic tactic language Angel. We have adapted the language by changing the semantics of its parallel composition operator, the operator by which diierent tactics are applied to diierent branches in a proof tree. The paper includes a denotational semantics for this operator, and a...

The high demand for conservation work is creating a need for conservation-focused training of scientists. Although many people with postsecondary degrees in biology are finding careers outside academia, many programs and mentors continue to prepare students to follow-in-the-footsteps of their professors. Unfortunately, information regarding how to prepare for today's conservation-based job mark...

This paper is focused on the allocation of vacant jobs to job seekers from a demand side perspective by studying the recruitment behaviour of employers. A model is developed to analyze the role of search and selection methods of employers as determinants of the re-employment probabilities of the unemployed. In an empirical application for the Dutch labour market, we have examined the effect of ...

This research examined reports of the real-world use of reverse psychology, or what we term strategic self-anticonformity (SSA). In Study 1, participants reported examples in which they engaged in SSA and rated the success and frequency of use of this influence tactic. These data suggested the existence of two forms of SSA, one used as a general persuasion tactic and one used specifically to ga...