A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers

Olivier Danvy and others have shown the syntactic correspondence between reduction semantics (a small-step semantics) and abstract machines, as well as the functional correspondence between reduction-free normalisers (a big-step semantics) and abstract machines. The correspondences are established by program transformation (so-called interderivation) techniques. A reduction semantics and a reduction-free normaliser are interderivable when the abstract machine obtained from them is the same. However, the correspondences fail when the underlying reduction strategy is hybrid, i.e., relies on another sub-strategy. Hybridisation is an essential structural property of full-reducing and complete strategies. Hybridisation is unproblematic in the functional correspondence. But in the syntactic correspondence the refocusing and inlining-of-iterate-function steps become context sensitive, preventing the refunctionalisation of the abstract machine. We show how to solve the problem and showcase the interderivation of normalisers for normal order, the standard, full-reducing and complete strategy of the pure lambda calculus. Our solution makes it possible to interderive, rather than contrive, full-reducing abstract machines. As expected, the machine we obtain is a variant of Pierre Crégut s full Krivine machine KN.

Close correspondence between the action spectra for the blue light responses of the guard cell and coleoptile chloroplasts, and the spectra for blue light-dependent stomatal opening and coleoptile phototropism.

Fluorescence spectroscopy was used to characterize blue light responses from chloroplasts of adaxial guard cells from Pima cotton (Gossypium barbadense) and coleoptile tips from corn (Zea mays). The chloroplast response to blue light was quantified by measurements of the blue light-induced enhancement of a red light-stimulated quenching of chlorophyll a fluorescence. In adaxial (upper) guard cells, low fluence rates of blue light applied under saturating fluence rates of red light enhanced the red light-stimulated fluorescence quenching by up to 50%. In contrast, added blue light did not alter the red light-stimulated quenching from abaxial (lower) guard cells. This response pattern paralleled the blue light sensitivity of stomatal opening in the two leaf surfaces. An action spectrum for the blue light-induced enhancement of the red light-stimulated quenching showed a major peak at 450 nm and two minor peaks at 420 and 470 nm. This spectrum matched closely an action spectrum for blue light-stimulated stomatal opening. Coleoptile chloroplasts also showed an enhancement by blue light of red light-stimulated quenching. The action spectrum of this response, showing a major peak at 450 nm, a minor peak at 470 nm, and a shoulder at 430 nm, closely matched an action spectrum for blue light-stimulated coleoptile phototropism. Both action spectra match the absorption spectrum of zeaxanthin, a chloroplastic carotenoid recently implicated in blue light photoreception of both guard cells and coleoptiles. The remarkable similarity between the action spectra for the blue light responses of guard cells and coleoptile chloroplasts and the spectra for blue light-stimulated stomatal opening and phototropism, coupled to the recently reported evidence on a role of zeaxanthin in blue light photoreception, indicates that the guard cell and coleoptile chloroplasts specialize in sensory transduction.

Correspondence between long-range and short-range spin glasses

We compare the critical behavior of the short-range Ising spin glass with a spin glass with long-range interactions which fall off as a power σ of the distance. We show that there is a value of σ of the long-range model for which the critical behavior is very similar to that of the short range model in four dimensions. We also study a value of σ for which we find the critical behavior to be compatible with that of the three-dimensional model, although we have much less precision than in the four-dimensional case.

Responses to Domestic Violence Public Service Ads: Memory, Attitudes, Affect, and Individual Differences

Public service ads (PSAs) are an increasingly visible part of efforts to decrease the occurrence and consequences of domestic violence. Like other advertising, domestic violence PSAs are designed to grab attention, influence attitudes, and enhance memory for ad content. Over the years, images in domestic violence PSAs have changed substantially; agencies have started using pictures that generate emotions - either vivid negative images (bruised faces or body parts), or positive images (smiling faces) that contrast with the negative text. It is not clear, however, how different types of ad images influence memory for the message and attitudes about domestic violence, and what role affect may play in such responses. Moreover, the extent to which individual differences (trauma history, posttraumatic distress - PTSD symptoms) influence outcomes is not known. In three studies with undergraduate and community samples, using methods ranging from psychophysiology to self-report, the impact of images on attitudes and memory for ad content are investigated, also considering affect and individual differences. Results indicate graphic negative images enhanced memory for ad content, are rated as more persuasive, and are more likely to compel the viewer to act. Affective responses to ads also differed based on image type, and in some cases, partially mediated the relationship between ads and outcomes. Trends in the data suggest further study of the role of individual differences (trauma history, PTSD symptoms) is needed. This research provides information specifically relevant to the design of domestic violence public service campaigns and broadly relevant to understanding the role of emotional responses and individual differences on outcomes associated with public service ads.

Correspondence and documents of the Bigelow and Whitwell families,

Correspondence and documents related to the Scollay and Whitwell families, including cancelled checks and legal materials.

Twentieth century manuscript copies of correspondence between Thaddeus William Harris and Edward Everett, 1847 August

One letter from Harris, the University Librarian, to President Everett, enclosed with a historical account of the Great Salt and its donor, Richard Harris, and sketches of the new engravings on the Great Salt, Stoughton Cup, and Browne Cup bearing donor names. Harris writes that he hopes to have his account of the Great Salt published in the Cambridge Chronicle and is gratified to hear of Everett’s plans to use an excerpt in his Commencement dinner speech. In a short note of reply, Everett writes that Harris’ account of the silver was "received with great favor" during the dinner.

Transcriptions and photostat copies of John Winthrop correspondence, undated

Typed transcriptions and photostat copies, created by an unknown individual, of correspondence with Richard Odell, Sam Stone, and Daniell Clarke; the original correspondence is in Series I.

Diplomatic history of the Panama Canal. Correspondence relating to the negotiation and application of certain treaties on the subject of the construction of an interoceanic canal, and accompanying papers.

Includes a report of the secretary of state, with papers relative to the construction of the Panama Canal.