Toward a social psychophysiology of vagally mediated heart rate variability: Concepts and methods in self‐regulation,emotion, and interpersonal processes

Theory and research on self‐regulation, emotional adjustment, and interpersonal processes focus increasingly on parasympathetic functioning, using measures of vagally mediated heart rate variability (vmHRV) or respiratory sinus arrhythmia (RSA). This review describes models of vmHRV in these areas, and issues in measurement and analysis. We propose a framework organizing theory and research as examining (a) vmHRV as an individual difference or a situational response, and (b) resting, reactive, or recovery levels. Evidence supports interpretation of individual differences in resting vmHRV as a broad biomarker for adaptive functioning, but its specificity and underlying mechanisms require elaboration. Individual differences in vagal reactivity (i.e., trait‐like differences in vmHRV decreases during challenge or stress) are less commonly studied in adults and results are mixed. Many stressors and challenges evoke temporary decreases in vmHRV, and in some research self‐regulatory effort evokes increases. In a smaller literature, positive interpersonal experiences and some restorative processes increase resting vmHRV, whereas depletion of self‐regulatory capacity through related effort decreases it. Greater attention to conceptual distinctions regarding vmHRV constructs and several methodological issues will strengthen future research. Importantly, researchers should exercise caution in equating vmHRV with specific psychosocial constructs, especially in the absence of converging assessments and precise experimental manipulations.     

Mediating factors in chick social pecking: II. effects of exposure to movement

Unfamiliarity with movement may lead isolated chicks to respond aggressively when tested with live, moving conspecifics. This hypothesis was tested by comparing the number and locus of pecks by isolated chicks to a stationary or moving model of a chick, and to a live chick. In a second test of the hypothesis chicks that viewed a moving object during isolation and chicks isolated without movement were tested with a live con-specific and their number and locus of pecks were compared. Neither experiment supported the hypothesis. Movement alone failed to excite aggressive pecks and prior experience with movement failed to suppress aggressive pecks. In the first experiment imlated chicks treated the live testmate more aggressively than the moving or stationary model. In the second experiment aggressive pecking of chicks was unaffected by prior experience with movement, These fmdmgs do not support the hypothesis that movement excites aggression in isolated chicks. Nonetheless the results focus attention on the generally neglected problem of emotional and motivational states produced by isolation.     

Thought-shape fusion in anorexia nervosa: an experimental investigation

Cognitive biases and cognitive distortions have been implicated as important factors in the development and maintenance of many disorders. The concept of thought-shape fusion (TSF) in eating disorders was developed by Shafran, Teachman, Kerry, and Rachman (British Journal of Clinical Psychology 38 (1999) 167) as a variant of thought-action fusion, described by Shafran, Thordarson and Rachman (Journal of Anxiety Disorders 10 (1996) 379). TSF occurs when thinking about eating certain types of food increases a person's estimate of their shape and/or weight, elicits a perception of moral wrongdoing, and/or makes the person feel fat. Shafran et al. (1999) examined both the psychometric and experimental properties of TSF in an undergraduate sample. This paper reports an extension of this work to a clinical group (N=20) of patients with anorexia nervosa. After completing a set of relevant questionnaires, participants were asked to think about a food which they considered extremely fattening. They were then asked to write out the sentence, "I am eating--.", inserting the name of the fattening food in the blank. After being asked to rate their anxiety, guilt, feelings about their weight, morality, etc., participants were given the opportunity to neutralize their statement in any way they chose. The majority of the participants neutralized in ways consistent with the findings of Shafran et al. (1999). The results are discussed in terms of cognitive-behavioural formulations of eating disorders, and of the influence of cognitive biases and cognitive distortions on the processing of information relevant to food, weight and shape in anorexia nervosa.     

Age,gender, race,socioeconomic status,and birth cohort differences on the children's depression inventory: a meta-analysis

A within-scale meta-analysis was performed on 310 samples of children (ages 8-16; N = 61,424) responding to the Children's Depression Inventory (CDI). Girls' depression scores stayed steady from ages 8 to 11 and then increased between ages 12 and 16. Boys' CDI scores were stable from ages 8 to 16 except for a high CDI score at age 12. Girls' scores were slightly lower than boys' during childhood, but girls scored higher beginning at age 13. There were no socioeconomic status effects and no differences between White and Black samples. However, Hispanic samples scored significantly higher on the CDI. Analyses for birth cohort showed a slight decrease in boys' CDI scores over time and no change for girls. Longitudinal studies demonstrated a marked testing effect.     

The Infrequency-Posttraumatic Stress Disorder scale (Fptsd) for the MMPI-2: development and initial validation with veterans presenting with combat-related PTSD

Researchers have identified difficulties associated with the use of traditional Minnesota Multiphasic Personality Inventory-2 (MMPI-2; Butcher, Dahlstrom, Graham, Tellegen, & Kaemmer, 1989) validity scales with survivors of traumatic events. A new scale, the Infrequency-Posttraumatic Stress Disorder scale (Fptsd), was created from MMPI-2 items that were infrequently endorsed by 940 male combat veterans presenting for treatment at the posttraumatic stress disorder (PTSD) clinics of 2 Veterans Affairs Medical Centers. A variety of statistical methods were implemented that preliminarily established Fptsd's validity with a validation sample of 323 additional PTSD-diagnosed combat veterans. Results indicate that, relative to previously established validity and overreporting scales (F, Fb, and Fp), Fptsd was significantly less related to psychopathology and distress and better at discriminating simulated from genuinely reported PTSD. Clinical implications are discussed concerning the use of Fptsd to assess disability-seeking veterans suspected of overreporting PTSD symptoms.     

Classical Non-Associative Lambek Calculus

We introduce non-associative linear logic, which may be seen as the classical version of the non-associative Lambek calculus. We define its sequent calculus, its theory of proof-nets, for which we give a correctness criterion and a sequentialization theorem, and we show proof search in it is polynomial.     

Satisfiability Testing for Boolean Formulas Using Δ-trees

The tree-based data structure of -tree for propositional formulas is introduced in an improved and optimised form. The -trees allow a compact representation for negation normal forms as well as for a number of reduction strategies in order to consider only those occurrences of literals which are relevant for the satisfiability of the input formula. These reduction strategies are divided into two subsets (meaning- and satisfiability-preserving transformations) and can be used to decrease the size of a negation normal form A at (at most) quadratic cost. The reduction strategies are aimed at decreasing the number of required branchings and, therefore, these strategies allow to limit the size of the search space for the SAT problem.