INTRODUCTION Whether patterns of physical activity in different communities can be attributed to the built environment or instead reflect self-selection is not well understood. The objective of this study was to examine neighborhood preferences and behavior-specific physical activity among residents who moved to a new urbanist-designed community. METHODS We used data from a 2009 survey (n = 4...

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...