In this paper, we present a trace semantics based on graphs: nodes represent the events of a program’s execution, and edges represent dependencies among the events. The style is reminiscent of partially ordered models [Pra84, Win86], though we do not generally require properties like transitivity or acyclicity. Concurrency and sequentiality are defined using variations on separating conjunction...

For humans, the threat of painful shock greatly potentiates the reflexive startle blink. Moreover, viewing unpleasant, compared with pleasant, pictures also prompts heightened startle reflexes, suggesting that the startle reflex indexes general defensive activation. In this study, pleasant or unpleasant pictures were used to signal shock threat in order to explore how previous affective associa...

Two daily pulsar monitoring programs are progressing at the Mount Pleasant Observatory, Hobart, Tasmania, Australia. A new system involving the 26-metre radio telescope monitors 10 young pulsars daily and is focussed on near-real-time glitch finding. This will allow Target of Opportunity observations to measure post-glitch heating of the neutron star surface (Helfand, Gotthelf, & Halpern 2001)....

The paper has refracted a love and lust blaze of modern people from modern product design which have sex consciousness in nowadays industrialized society and modern people’s life. People are animals full of fancy, and always good at making link between dream and reality. In fact, the culture of pleasant sensation in modern life conveys people’s lust consciousness. Industrial design really is a ...

This event-related functional magnetic resonance imaging (fMRI) study investigated brain activity elicited by emotional adjectives during silent reading without specific processing instructions. Fifteen healthy volunteers were asked to read a set of randomly presented high-arousing emotional (pleasant and unpleasant) and low-arousing neutral adjectives. Silent reading of emotional in contrast t...

The current study prospectively examined the impact of social support on symptom severity and recovery from episodes in bipolar disorder, both as a direct influence and as a buffer of life events. Fifty-nine individuals with Bipolar I disorder were followed longitudinally with monthly symptom severity interviews. Social support was measured by the Interpersonal Support Evaluation List and the I...

Numerous studies have demonstrated the capacity of music to modulate pain. However, the neurophysiological mechanisms responsible for this phenomenon remain unknown. In order to assess the involvement of descending modulatory mechanisms in the modulation of pain by music, we evaluated the effects of musical excerpts conveying different emotions (pleasant-stimulating, pleasant-relaxing, unpleasa...