Classical logic, continuation semantics and abstract machines

One of the goals of this paper is to demonstrate that denotational semantics is useful for operational issues like implementation of functional languages by abstract machines. This is exemplified in a tutorial way by studying the case of extensional untyped call-by-name λ-calculus with Felleisen's control operator 𝒞. We derive the transition rules for an abstract machine from a continuation semantics which appears as a generalization of the ¬¬-translation known from logic. The resulting abstract machine appears as an extension of Krivine's machine implementing head reduction. Though the result, namely Krivine's machine, is well known our method of deriving it from continuation semantics is new and applicable to other languages (as e.g. call-by-value variants). Further new results are that Scott's D∞-models are all instances of continuation models. Moreover, we extend our continuation semantics to Parigot's λμ-calculus from which we derive an extension of Krivine's machine for λμ-calculus. The relation between continuation semantics and the abstract machines is made precise by proving computational adequacy results employing an elegant method introduced by Pitts

Exploratory shopping: attention affects in-store exploration and unplanned purchasing

A fundamental function of retailing is to bring products into the view of shoppers, because viewing products can activate forgotten or new needs. Retailers thus employ various strategies to entice shoppers to explore the product assortment and store environment, in the hopes of stimulating unplanned purchasing. Here we investigate consumers’ breadth of attention as a mechanism of such in-store exploration and hence of unplanned purchasing. Specifically, attentional breadth is the focus that is directed to a wider or more limited area in processing visual scenes. In a series of lab and field experiments we show that shoppers’ attentional breadth activates an exploratory mindset that stimulates visual and physical exploration of shopping environments, ultimately affecting their product choices and unplanned purchasing. We also show that more impulsive buyers are more susceptible to these effects. These results complement and constrain prior theorizing on mindset theory, attention, store exploration, and unplanned purchasing, all of which are of practical importance to both retailers and consumers

First Application of Pulse-Shape Analysis to Silicon Micro-Strip Detectors

The method of pulse-shape analysis (PSA) for particle identification (PID) was applied to a double-sided silicon strip detector (DSSD) with a strip pitch of 300 \{mu}m. We present the results of test measurements with particles from the reactions of a 70 MeV 12C beam impinging on a mylar target. Good separation between protons and alpha particles down to 3 MeV has been obtained when excluding the interstrip events of the DSSD from the analysis.Comment: 7 pages, 6 figures, submitted to Nuclear Inst. and Methods in Physics Research

Xenopus fraseri: Mr. Fraser, where did your frog come from?

A comprehensive, accurate, and revisable alpha taxonomy is crucial for biodiversity studies, but is challenging when data from reference specimens are difficult to collect or observe. However, recent technological advances can overcome some of these challenges. To illustrate this, we used modern approaches to tackle a centuries-old taxonomic enigma presented by Fraser’s Clawed Frog, Xenopus fraseri, including whether X. fraseri is different from other species, and if so, where it is situated geographically and phylogenetically. To facilitate these inferences, we used high-resolution techniques to examine morphological variation, and we generated and analyzed complete mitochondrial genome sequences from all Xenopus species, including >150-year-old type specimens. Our results demonstrate that X. fraseri is indeed distinct from other species, firmly place this species within a phylogenetic context, and identify its minimal geographic distribution in northern Ghana and northern Cameroon. These data also permit novel phylogenetic resolution into this intensively studied and biomedically important group. Xenopus fraseri was formerly thought to be a rainforest endemic placed alongside species in the amieti species group; in fact this species occurs in arid habitat on the borderlands of the Sahel, and is the smallest member of the muelleri species group. This study illustrates that the taxonomic enigma of Fraser’s frog was a combined consequence of sparse collection records, interspecies conservation and intraspecific polymorphism in external anatomy, and type specimens with unusual morphology