Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams

We present a methodology for the verification of multi-agent systems, whose properties are specified by means of a modal logic that includes a temporal, an epistemic, and a modal operator to reason about correct behaviour of agents. The verification technique relies on model checking via ordered binary decision diagrams. We present an implementation and report on experimental results for two scenarios: the bit transmission problem with faults and the protocol of the dining cryptographers.     

Cultural Differences in Physical Contact Between Hispanic and Anglo Mother–Infant Dyads Living in the United States

This is a study of differences in physical contact and tactile interpersonal behaviours between Hispanic and Anglo mothers and infants living in the United States. Infants were 9 months old and 52 mother–infant dyads, 26 Hispanic and 26 Anglo, were videotaped during free play without toys in a university laboratory playroom. Coders judged the interpersonal distance, physical contact and affectionate touch from the videotapes and mothers responded to a questionnaire about the importance of physical contact and affectionate touch in their relationship with their infant. From questionnaire data we found that Hispanic and Anglo mothers both touch their infants on a daily basis, although Hispanic mothers report touching more frequently, being more affectionate with their infants and having more skin-to-skin contact. From videotaped observations we found that there were no overall differences in mother–infant touch between the two cultures; however, the Hispanic mothers showed more close touch and more close and affectionate touch compared to Anglo mothers, who showed more distal touch. The results are discussed in terms of the role of touch in infant development and cultural differences in the evaluation of close physical contact and touch.     

Ferenczi's Clinical and Theoretical Conception of Trauma: A Brief Introductory Map

In this paper, I am going to limit myself to tracing a map of the principal points in Ferenczi's thinking concerning trauma. Ferenczi's contribution to trauma theory is fundamental, even though up to today--in spite of the recent "Ferenczian Renaissance"--it still remains for many psychoanalysts simply not acknowledged and not considered and, when it is acknowledged and considered, it is frequently misunderstood or reported only in part. Perhaps this is because passages of his theory are extrapolated without knowing his entire clinical theoretical way or because he is quoted through others without the authors having personally read his work. These last ones are typical habits, as we know, to project one's own ideas, especially our prejudices.     

THE DREAM'S NAVEL BETWEEN CHAOS AND THOUGHT3

The authors begin by drawing attention to the problem of the transition from the biological to the psychic, noting that Freud himself, with his background in the neurosciences, grappled with it throughout his career. Certain recent paradigms more commonly applied to the natural sciences, such as in particular chaos and complexity theory, can in their view prove fruitful in psychoanalysis too, and it is shown how these notions are inherent in some of Freud's conceptions. The unconscious is stated to operate like a neural network, performing the kind of parallel processing used in the computing of highly complex situations, whereas the conscious mind is sequential. Dreams, in the authors' opinion, are organisers of the mind, imparting order to the turbulence of the underlying wishes and unconscious fantasies and structuring them through the dream work. Through dreams, the structured linearity of conscious thought can emerge out of the non‐linear chaos of the drives. The dream's navel can be seen as the chaotic link, or interface, between the unconscious wish, which constitutes an attractor, and the conscious thought. The attractor may be visualised as having an hourglass or clepsydra shape, the narrow section being the dream's navel, and, being the same at any scale of observation, has the property of fractality.     

To master or perform? Exploring relations between achievement goals and conceptual change learning

Background. Research is needed to explore conceptual change in relation to achievement goal orientations and depth of processing. Aims. To address this need, we examined relations between achievement goals, use of deep versus shallow processing strategies, and conceptual change learning using a think‐aloud protocol. Sample and Method. Seventy‐three undergraduate students were assessed on their prior knowledge and misconceptions about Newtonian mechanics, and then reported their achievement goals and participated in think‐aloud protocols while reading Newtonian physics texts. Results. A mastery‐approach goal orientation positively predicted deep processing strategies, shallow processing strategies, and conceptual change. In contrast, a performance‐approach goal orientation did not predict either of the processing strategies, but negatively predicted conceptual change. A performance‐avoidance goal orientation negatively predicted deep processing strategies and conceptual change. Moreover, deep and shallow processing strategies positively predicted conceptual change as well as recall. Finally, both deep and shallow processing strategies mediated relations between mastery‐approach goals and conceptual change. Conclusions. Results provide some support for Dole and Sinatra's (1998) Cognitive Reconstruction of Knowledge Model of conceptual change but also challenge specific facets with regard to the role of depth of processing in conceptual change.