Results from several studies have suggested that people with HIV have an increased risk of cardiovascular disease, especially coronary heart disease, compared with people not infected with HIV. People living with HIV have an increased prevalence of traditional cardiovascular disease risk factors, and HIV-specific mechanisms such as immune activation. Although older, more metabolically harmful a...

The success of applying model-checking to large systems depends crucially on the choice of good abstractions. In this work we present an approach for constructing abstractions when checking Nextfree universal CTL properties. It is known that functional abstractions are safe and that Next-free universal CTL is insensitive to finite stuttering. We exploit these results by introducing a safe Next-...

This article offers a dynamic model of opaque over-the-counter markets. A seller searches for an attractive price by visiting multiple buyers, one at a time. The buyers do not observe contacts, quotes, or trades elsewhere in the market. A repeat contact with a buyer reveals the seller’s reduced outside options and worsens the price offered by the revisited buyer. When the asset value is uncerta...

Construal Level Theory (CLT; Trope & Liberman, 2003) proposes that pro-arguments (pros) constitute high-level construals and counter-arguments (cons) low-level construals. Therefore, pros are more salient for distant-future actions than are cons and the reverse holds for near-future actions (Eyal, Liberman, Trope, & Walther, 2004). We further predicted and results from one experiment show that ...

Who is in favour of domination? Surely some people have a strong interest in preserving it, but as this is not publicly confessable and people enjoy picturing themselves as moral, everyone will officially support a non-domination programme. What is more, Ian Shapiro suggests, in circumstances where ‘you cannot be confident of your ability to dominate others’, it is in your interest ‘to create a...

While in the past design focused on products, our new challenge is to focus on people. An understanding of perceptions and the emotional connections people form with products and services is critical factors in advancing the practice of design. This paper will begin by discussing our background at Smart Design in exploring design and perception. It will then discuss our current methods that hel...

People are often more confident than accurate. Past accounts of this overconfidence effect have focused on social-cognitive mechanisms, such as the biasing effects of judgmental heuristics and the faulty integration of relevant information. The current studies tested the idea that overconfidence is also a product of dissonance reduction. Specifically, we argue that overconfidence can result fro...

Previous research has indicated that children display gender-typed musical instrument preferences. Two studies were conducted to determine (a) whether these preferences can be modified by presenting counter-examples (i.e., instruments played by gender-inappropriate musicians) and (b) whether child gender or age (kindergarten vs. 4th grade) influences the efficacy of such interventions. A videot...