I explore the history of, and lessons learned from, eighteen years of assertional methods for specifying and verifying concurrent programs. I then propose a Utopian future in which mathematics prevails.

I explore the history of, and lessons learned from, eighteen years of assertional methods for specifying and verifying concurrent programs. I then propose a Utopian future in which mathematics prevails.

INTRODUCTION Traditionally, sexual desire is understood to occur spontaneously, but more recent models propose that desire responds to sexual stimuli. AIMS To experimentally assess whether sexual stimuli increased sexual desire; to compare how sexual arousal and desire responded to three modalities of sexual stimuli: erotic story, unstructured fantasy, and the Imagined Social Situation Exerci...

With an exploding global market and the recent introduction of online cash prize tournaments, fantasy sports contests are quickly becoming a central part of the social gaming and sports industries. For sports fans and online media companies, fantasy sports contests are an opportunity for large financial gains. However, they present a host of technical challenges that arise from the complexities...

The topic of an optimal or utopian life has received much attention across the humanities and the arts but not in psychology. The German concept of Sehnsucht captures individual and collective thoughts and feelings about one's optimal or utopian life. Sehnsucht (life longings; LLs) is defined as an intense desire for alternative states and realizations of life. Presenting a first effort at capt...

Abstract Although the Temple Scroll’s divinely-commanded temple plan has frequently been described as “utopian,” there no sustained attempt to analyze scroll in light of other texts that have utopias/utopian, or connection with utopian studies. This article aims start conversation, considering what insights about purpose and function Scroll might be gained from approaching it a utopia. Such an ...