The goal of this thesis is to present one concrete example of how a system can interpret and handle cultural differences in human-provided interpretations. In doing so, this thesis utilizes pictograms, a well-known iconic medium of communication which contains both the implicit cultural interpretations as well as explicit semantic interpretations. Cross-cultural pictogram interpretations are co...

structure in need of content. Different interpretations flesh out this content in different ways. The interpretations are not necessarily incompatible, although it is possible that some are ill-defined, or rest on false presuppositions. The relations between these interpretations, however, are not well-understood. The main project of this paper is to explore the different ways in which a twodim...

We discuss the discovery of ‘notch-like’ features in the mean pulse profile of the nearby, bright pulsar B0950+08. We compare these low-level features with those previously seen in the pulse profiles of pulsars J0437−4715 and B1929+10. While J0437−4715 is a binary millisecond pulsar and B0950+08 and B1929+10 are isolated, slow pulsars, all three pulsars are nearby and very bright. Furthermore, ...

On page 335 in his lost notebook, Ramanujan recorded without proofs two identities involving finite trigonometric sums and doubly infinite series of Bessel functions. In each case, there are three possible interpretations for the double series. In an earlier paper, two of the present authors proved the first identity under one possible interpretation. In the present paper, the second identity i...

We present three functional interpretations of intuitionistic linear logic and show how these correspond to well-known functional interpretations of intuitionistic logic via embeddings of IL into ILL. The main difference from previous work of the second author is that in intuitionistic linear logic the interpretations of !A are simpler (at the cost of an asymmetric interpretation of pure ILL) a...