A proof is presented to show that, when fitnesses from alternative tactics within a population depend on both their frequency and the phenotypic condition of individuals, there will be a unique ESS switchpoint s* that determines both the condition at which an individual will switch between tactics and the resulting frequency of the tactics in the population. For an individual at the ESS s*, the...

Mand training is an essential component of verbal behavior training for any individual who lacks this skill. The current study replicates and extends, with some procedural differences, the work of Hall and Sundberg (1987) by using an interrupted chain procedure to teach mands for missing items to children with autism. The participants were 3 children with autism, ranging between 5 and 8 years o...

abstract aim and background: conflict theory is one of the most use approaches in the field of marital discords that is widely has been used for the investigating of methods to cope with conflicts in relationships. the purpose of this study was comparing of women applying for divorce and normal women in conflict resolve tactics. methods and materials: in an ex post facto study 60 women who refe...

The number of countries that censor and monitor their citizens’ use of the Internet is increasing. While it is no secret that China and Iran censor the Internet, at least 25 countries, including Pakistan, Ethiopia, Thailand and Uzbekistan, also have technical filtering regimes in place. Some of the technology is even exported by western companies: search engines, blog hosting providers and emai...

This paper introduces the concept of controlled automation as a balanced medium between high-level automated reasoning and low-level primitive tactics in HOL. We created a new tactic that subsumes many existing low-level tactics for logical operations and three new tactics that simplify common uses of term rewriting: definition expansion, simplification, and equational rewriting. To implement t...

The type of tactics in all (procedural) proof assistants is (a variant of) that introduced in LCF. We discuss why this is inconvenient and we propose a new type for tactics that 1) allows the implementation of more clever tactics; 2) improves the implementation of declarative languages on top of procedural ones; 3) allows for better proof structuring; 4) improves proof automation; 5) allows tac...