We propose a new tactic language for the system Coq, which is intended to enrich the current tactic combinators (tacticals). This language is based on a functional core with recursors and matching operators for Coq terms but also for proof contexts. It can be used directly in proof scripts or in toplevel de nitions (tactic de nitions). We show that the implementation of this language involves c...

There is a general agreement that homework plays an important role in students' learning. We argue that without examining and re-examining the potential benefits of homework assignments and whether they are achieved, we miss the opportunity to support students' learning. In this paper we describe an instructional tactic of individually assigned homework that promotes and strengthens individual ...

This study investigated the effects of mate switching on the reproductive performance of the severum cichlid, Herosseverus, by advancing the egg and larval production in hatcheries. Two reproductive tactic treatments of “monogamous pair” and “mate switching” were used for evaluating 4 reproductive traits of egg production, hatching rate, spawning intervals, and starvation tolerance of the larva...

This study investigated the effects of mate switching on the reproductive performance of the severum cichlid, Herosseverus, by advancing the egg and larval production in hatcheries. Two reproductive tactic treatments of “monogamous pair” and “mate switching” were used for evaluating 4 reproductive traits of egg production, hatching rate, spawning intervals, and starvation tolerance of the larva...

People devote considerable effort to retaining their mates. Mate retention tactics range from vigilance to violence, and are linked to variables such as marital satisfaction and relationship aggression. The Mate Retention Inventory (MRI; 104 items comprising 19 tactics) has proven to be reliable and valid. Given the importance of assessing mate retention in various contexts, there is a need for...

Animals foraging in groups can either search for food themselves (producing) or search for the food discoveries of other individuals (scrounging). Tactic use in producer-scrounger games is partly flexible but individuals tend to show consistency in tactic use under different conditions suggesting that personality might play a role in tactic use in producer-scrounger games. Here we studied the u...

An important way that the reliability of a software system is enhanced is through the implementation of specific run-time measures called runtime tactics. Because reliability is a system-wide property, tactic implementations affect the software structure and behavior at the system, or architectural level. For a given architecture, different tactics may be a better or worse fit for the architect...

SUMMARY Adequate neck contour is one of the goals in facial rejuvenation. In some patients, treating the submandibular salivary gland (SMSG) ensures a satisfying result. Hematoma, sialoma, and paralysis of the depressors of the lower lip may occur when the deep neck is approached. The objective of this work is to present a new tactic to prevent the aforementioned complications. Two hundred fort...