Dr Temple Grandin, Colorado State University. Temple Grandin is a world renowned expert in animal welfare and behaviour, as well as a campaigner on autism. She has designed livestock handling facilities now used around the world, and devised an objective scoring system for assessing the handling of cattle and pigs at abattoirs. Temple Grandin is an inspirational speaker and in 2010, Time Magazi...

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

M any academic scientists reject the very idea of networking for a variety of reasons. Many feel that acquiring and using professional contacts is more appropriate for those in industry or business, but not in academia. Tenured faculty may feel that they have already achieved the peak of their career and no longer need to put forth the effort to get to know new people. Younger scientists may sh...

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