Animals often use alternative strategies when they compete for resources, but it is unclear in most cases what factors determine the actual tactic followed by individuals. Although recent models suggest that the internal state of animals may be particularly important in tactic choice, the effects of state variables on the use of alternative behavioural forms have rarely been demonstrated. In th...

A Search Engine for Finding and Reusing Architecturally Significant Code Ibrahim Jameel Mujhid Supervising Professor: Dr. Mehdi Mirakhorli Architectural tactics are the building blocks of software architecture. They describe solutions for addressing specific quality concerns, and are prevalent across many software systems. Once a decision is made to utilize a tactic, the developer must generate...

Alternative behavioral and life-history tactics are common in animal populations. The conditional strategy model provides a powerful explanation for the evolution and persistence of such tactics, as it allows alternative tactics to be perpetuated even if there is tactic inheritance and tactics yield unequal mean fitness. In many biological systems negative maternal or paternal effects complicat...

We introduce and study a tactic language, Hitac, for constructing hierarchical proofs, known as hiproofs. The idea of hiproofs is to superimpose a labelled hierarchical nesting on an ordinary proof tree. The labels and nesting are used to describe the organisation of the proof, typically relating to its construction process. This can be useful for understanding and navigating the proof. Tactics...

We propose and examine a self-regulatory framework focused on understanding the dynamics of job search intensity and mental health over the first several months of unemployment. We use a repeated-measures design, surveying newly unemployed individuals weekly for 20 weeks. Through the lens of our framework, we test relationships pertaining to the role of motivational “traits” (i.e., temporally s...