Death-defying tact ics T here may be 101 ways to kill a cell, but for each there is an escape route. Cells that escape apoptosis, report Anna Colell (Institut d’Investigacions Biomediques de Barcelona, Spain), Jean-Ehrland Ricci (Université de Nice Sophia-Antipolis, France), Douglas Green (St Jude’s Children’s Research Hospital, Memphis, TN), and colleagues, also have a way to escape the back-u...

This paper presents a fuzzy implementation for the tactics of the game of chess. Chess as been traditionally used for explaining fuzzy reasoning, and is often considered a platform of choice to test intelligent systems. However, an extensive search for applications of fuzzy sets, inference or reasoning to the game of chess, gives hardly any concrete results. One can find fuzzy improvements to c...

In this study, the authors investigated the effect of an individual's political skill on the relationships between 5 different impression management tactics (intimidation, exemplification, ingratiation, self-promotion, and supplication) and supervisor evaluations of performance. To test these relationships, the authors used a matched sample of 173 supervisor-subordinate dyads who worked full ti...

This research had three basic goals: (a) to identify manipulation tactics used in close relationships; (b) to document empirically the degree of generality and specificity of tactical deployment across relationship types (mates, friends, parents); and (c) to identify links between five major personality dimensions and the usage of manipulation tactics. Twelve manipulation tactics were identifie...

Mate retention is an important problem in romantic relationships because of mate poachers, infidelity, and the risk of outright defection. The current study (N=892) represents the first study of mate retention tactics conducted in Spain. We tested hypotheses about the effects of gender, relationship commitment status, and personality on mate retention tactics. Women and men differed in the use ...

Two studies tested evolutionary hypotheses about the use and perceived effectiveness of specific mate attraction tactics as a function of sexual strategy pursued. Participants and a close same-sex friend of each participant reported on the participant’s sexual strategy and deployment of attraction tactics. In Study 1, participants’ mate attraction tactics differed predictably depending on wheth...

The tobacco industry's strong-arm tactics have been used consistently over many years. These tactics include: using the industry's size, wealth, and legal resources to intimidate individuals and local governmental bodies; setting up 'front groups' to make it appear that it has more allies than it really does; spending large sums of money to frame the public debate about smoking regulations arou...

Proof tools in interactive theorem provers are usually developed within and tied to a specific system, which leads to a duplication of effort to make the functionality available in different systems. Many verification projects would benefit from access to proof tools developed in other systems. Using OpenTheory as a language for communicating between systems, we show how to turn a proof tool im...

There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive logical inferences. Meanwhile, high-level human inputs are lexically structured formal texts which include tactics describing search procedures. The proof checking process maps from the high-level to low-level, but after that,...