Admissibility of Cut in <Emphasis Type="Italic">LC</Emphasis> with Fixed Point Combinator

The fixed point combinator (Y) is an important non-proper combinator, which is defhable from a combinatorially complete base. This combinator guarantees that recursive equations have a solution. Structurally free logics (LC) turn combinators into formulas and replace structural rules by combinatory ones. This paper introduces the fixed point and the dual fixed point combinator into structurally free logics. The admissibility of (multiple) cut in the resulting calculus is not provable by a simple adaptation of the similar proof for LC with proper combinators. The novelty of our proof—beyond proving the cut for a newly extended calculus–is that we add a fourth induction to the by-and-large Gentzen-style proof. Presented by Robert Goldblatt     

Tinnitus als soziale Infektion?

Background

11 out of 35 male employees of a central alert team with rescue coordination function developed a tinnitus disorder. This clinical case-study highlights the psychodynamic background of this accumulation.

Methods

Employees were investigated by psychometric questionnaires and semistructured psychodynamic biografical interviews. Additionally aspects of group dynamics and organisational structure were assessed.

Results

All staff members reported adverse work conditions. Medical and psychometric examination of the tinnitus patients did not reveal severe pathological findings. The interviews identified psychodynamic conflicts dealing with autonomy and regulation of self-esteem. All tinnitus patients reported a very adverse or punitive father relation and difficulties in performing a stabile male role and self-image. Group dynamics was dominated by paranoid and regressive tendencies complicated by maladaptive coping, crude perception of external facts and a pronounced experience of aggressive impulses.

Conclusion

The remobilisation of infantile powerlessness, ineffectiveness and helplessness triggered by adverse work conditions and the introduction of a new culture of personal responsibility within the work organisation together with an impaired coping of separation conflicts enforced by traumatic aspects of the relation with the father may have promoted the tinnitus symptomatology. Additionally, due to the missing awareness of the importance of such group dynamical processes the employers contributed to an increasing psychosocial distress, which promoted the accumulated manifestation of tinnitus as a conflict expressive symptom.     

Encoding multielement scenes: statistical learning of visual feature hierarchies

The authors investigated how human adults encode and remember parts of multielement scenes composed of recursively embedded visual shape combinations. The authors found that shape combinations that are parts of larger configurations are less well remembered than shape combinations of the same kind that are not embedded. Combined with basic mechanisms of statistical learning, this embeddedness constraint enables the development of complex new features for acquiring internal representations efficiently without being computationally intractable. The resulting representations also encode parts and wholes by chunking the visual input into components according to the statistical coherence of their constituents. These results suggest that a bootstrapping approach of constrained statistical learning offers a unified framework for investigating the formation of different internal representations in pattern and scene perception.     

Human listeners are able to classify dog (Canis familiaris) barks recorded in different situations

The authors investigated whether human listeners could categorize played-back dog (Canis familiaris) barks recorded in various situations and associate them with emotional ratings. Prerecorded barks of a Hungarian herding dog breed (Mudi) provided the sample. Human listeners were asked to rate emotionality of the vocalization and to categorize the situations on the basis of alternative situations provided on a questionnaire. The authors found almost no effect of previous experience with the given dog breed or of owning a dog. Listeners were able to categorize bark situations high above chance level. Emotionality ratings for particular bark samples correlated with peak and fundamental frequency and interbark intervals. The authors did not find a significant effect of tonality (harmonic-to-noise ratio) on either the emotionality rating or situation categorization of the human listeners. Humans' ability to recognize meaning suggests that barks could serve as an effective means of communication between dog and human.     

Studying individual aging in an interindividual context: typical paths of age-related, dementia-related, and mortality-related cognitive development in old age

This study has 2 objectives: (a) to explore typical paths of cognitive development associated with aging, terminal decline, and dementia and (b) to promote and illustrate an individual-oriented approach to the study of cognitive aging based on longitudinal panel data from a population-based sample (N = 500; age range-sub(T1)= 60-80, where T refers to time) tested at 3 occasions 5 years apart. Results document interindividual differences in multivariate patterns of change. Although cognitive changes generally covary, the present study indicates that subgroups of individuals develop along different paths characterized by selective changes in subsets of cognitive functions. Typical progression of dementia followed a developmental cascade from low declarative memory, via low functioning across all observed cognitive measures, to dementia diagnosis, and finally, death.     

The role of working memory in attentional capture

Much previous research has demonstrated that visual search is typically disrupted by the presence of a unique “singleton” distractor in the search display. Here we show that attentional capture by an irrelevant color singleton during shape search critically depends on availability of working memory to the search task: When working memory is loaded in a concurrent yet unrelated verbal short-term memory task, capture increases. These findings converge with previous demonstrations that increasing working memory load results in greater distractor interference in Stroop-like tasks (de Fockert, Rees, Frith, & Lavie, 2001; Lavie, Hirst, de Fockert, & Viding, 2004), which support the hypothesis that working memory provides goal-directed control of visual selective attention allowing to minimize interference by goal-irrelevant distractors.     

Relationship between short- and long-term memory and short- and long-term extinction

Both the acquisition and the extinction of memories leave short- and long-term mnemonic traces. Here, we show that in male Wistar rats, the short-term memory for a step-down inhibitory avoidance task (IA) is resistant to extinction, and that its expression does not influence retrieval or extinction of long-term memory. It has been known for some time that short- and long-term inhibitory avoidance memory involve separate and parallel processes. Here we show that, instead, short-term extinction of IA long-term memory is the first step towards its long-term extinction, and that this link requires functional NMDA receptors and protein synthesis in the CA1 region of the dorsal hippocampus at the time of the first CS-no US presentation.     

Psychosocial adaptation in relatives of critically injured patients admitted to an intensive care unit

The aim of this study is to analyze how the length of time a patient spends in an Intensive Care Unit (ICU) affects close relatives, with regard to specific clinical variables of personality, family relationships and fear of death. The study group consisted of 57 relatives of seriously ill patients admitted to the ICU of "Virgen del Rocío" Rehabilitation and Trauma Hospital (Seville, Spain). The instruments applied were: a psychosocial questionnaire, clinical analysis questionnaire, family environment scale and fear of death scale. The relatives of patients admitted to ICU obtained higher scores in hypochondria, suicidal depression, agitation, anxious depression, guilt-resentment, paranoia, psychasthenia, psychological maladjustment and self-expression, and less in fear of their own death, as when compared to interviews with the same relatives 4 years later. The length of time a patient spent in the ICU influenced relatives in some clinical variables of personality, family relationships and fear of death     

Fitting Rasch model using appropriateness measure statistics

In this paper, the distributional properties and power rates of the Lz, Eci2z, and Eci4z statistics when they are used as item fit statistics were explored. The results were compared to t-transformation of Outfit and Infit mean square. Four sample sizes were selected: 100, 250, 500, and 1000 examinees. The abilities were uniform and normal with mean 0 and standard deviation 1, and uniform and normal with mean -1 and standard deviation 1. The pseudo-guessing parameter was fixed at .25. Two ranges of difficulty parameters were selected: +/- 1 logits and +/- 2 logits. Two test lengths were selected: 15 and 30 items. The results showed important differences between the T-infit, T-outfit, Lz, Eci2z, and Eci4z statistics. The T-oufit, T-infit, and Lz statistics showed poor standardization with estimated parameters because their distributional properties were not close to the expected values. However, the Eci2z and Eci4z statistics showed satisfactory standardization on all conditions. Further, the power rates of Eci2z and Eci4z were 5% to 10% higher than the power rates of Lz, T-outfit, and T-infit to detect items that do not fit Rasch model.