In the past, research examining the determinants of job satisfaction in programmer/analysts has focused on the relationship between characteristics of the job itself such as skill variety, task identity, task significance, autonomy, and feedback from the job and job satisfaction. This paper extends the previous research by examining the effects on job satisfaction of certain aspects of programm...

The present study examined the effect of applicant influence-tactic use on recruiter perceptions of fit. Two tactics, ingratiation and self-promotion, were expected to have positive effects on recruiter perceptions of fit and on recruiter hiring recommendations. In addition, the authors expected recruiter fit perceptions to mediate the relationship between applicant influence tactics and recrui...

We present a Coq reflexive tactic for deciding equalities or inequalities in Kleene algebras. This tactic is part of a larger project, whose aim is to provide tools for reasoning about binary relations in Coq: binary relations form a Kleene algebra, where the star operation is the reflexive transitive closure. Our tactic relies on an initiality theorem, whose proof goes by replaying finite auto...

Competition among males for a limited number of females may result in the expression of condition-dependent alternative mating tactics. In such cases, decision rules mediating mating tactic expression are likely to be influenced by a male's external as well as internal environment. For example, experimental studies with anuran amphibians (frogs and toads) indicate that changes in the social-aco...

We present a Coq reflexive tactic for deciding equalities or inequalities in Kleene algebras. This tactic is part of a larger project, whose aim is to provide tools for reasoning about binary relations in Coq: binary relations form a Kleene algebra, where the star operation is the reflexive transitive closure. Our tactic relies on an initiality theorem, whose proof goes by replaying finite auto...