On judging the credibility of climate predictions

Incorporating a prediction into future planning and decision making is advisable only if we have judged the prediction’s credibility. This is notoriously difficult and controversial in the case of predictions of future climate. By reviewing epistemic arguments about climate model performance, we discuss how to make and justify judgments about the credibility of climate predictions. We propose a new bounding argument that justifies basing such judgments on the past performance of possibly dissimilar prediction problems. This encourages a more explicit use of data in making quantitative judgments about the credibility of future climate predictions, and in training users of climate predictions to become better judges of credibility. We illustrate the approach using decadal predictions of annual mean, global mean surface air temperature.

Precise analysis of array usage in scientific programs

The automatic transformation of sequential programs for efficient execution on parallel computers involves a number of analyses and restructurings of the input. Some of these analyses are based on computing array sections, a compact description of a range of array elements. Array sections describe the set of array elements that are either read or written by program statements. These sections can be compactly represented using shape descriptors such as regular sections, simple sections, or generalized convex regions. However, binary operations such as Union performed on these representations do not satisfy a straightforward closure property, e.g., if the operands to Union are convex, the result may be nonconvex. Approximations are resorted to in order to satisfy this closure property. These approximations introduce imprecision in the analyses and, furthermore, the imprecisions resulting from successive operations have a cumulative effect. Delayed merging is a technique suggested and used in some of the existing analyses to minimize the effects of approximation. However, this technique does not guarantee an exact solution in a general setting. This article presents a generalized technique to precisely compute Union which can overcome these imprecisions.

Since we have been a dialogue: Blanchot's 'Entretiens'

At the turn of the 1960s, Maurice Blanchot began publishing texts that he named entretiens, this change in his writing responding to what deconstruction sees as the closure of logocentric or continuous discourse. Paradoxically, this closure does not prevent such discourse, in which philosophical enquiry and technological change are intertwined, from dominating the modern world. By changing his writing, and by reiterating the dialogical form so central to metaphysical tradition since Plato, Blanchot gives voice to the tensions between continuity and its ‘outside’, between philosophy and literature. This is one sense in which his entretiens do not engage in a representation of difference, but instead open themselves to the inflections of what Jean-Luc Nancy calls le partage des voix.