Computational approaches to reference resolution , like Centering Theory, are best at resolving referring expressions which denote familiar referents. We demonstrate how, by taking a proof-theoretic approach to reference resolution within a Centering-type framework, we are able to make sense of referring expressions for unfamiliar referents. These include, in addition to bridging descriptions, ...

This paper describes preliminary work relating tense to implicit role reference. Past work has shown that tense affects the resolution of other reference types such as pronouns as well as discourse structure (Webber, 1988; Hwang and Schubert, 1992). We extend this claim to the reference of implicit roles. We annotated a small corpus for NPs and VPs and tense information and show, in some cases,...

Recent studies have demonstrated that establishing figure-ground organization influences other perceptual processes. Specifically, figures undergo perceptual processing earlier than ground regions (Lester, Hecht, & Vecera, 2009), and they are processed for longer durations relative to ground regions (Hecht & Vecera, 2011). One potential consequence of figures' extended processing is degraded te...

Computational approaches to reference resolution, like Centering Theory, are best at resolving referring expressions which denote familiar referents. We demonstrate how, by taking a proof-theoretic approach to reference resolution within a Centering-type framework, we are able to make sense of referring expressions for unfamiliar referents. These include, in addition to bridging descriptions, d...

Argumentation can serve as a useful abstraction for various agent activities and in particular for agent reasoning. In this paper we further support this claim by mapping a form of normative BDI agents onto assumption-based argumentation. By way of this mapping we equip our agents with the capability of resolving con icts amongst norms, beliefs, desires and intentions. This con ict resolution i...

We offer a new understanding of some aspects of practical SAT-solvers that are based on DPLL with unit-clause propagation, clause-learning, and restarts. We do so by analyzing a concrete algorithm which we claim is faithful to what practical solvers do. In particular, before making any new decision or restart, the solver repeatedly applies the unit-resolution rule until saturation, and leaves n...

Using a blue light-emitting diode (LED) it is shown that lensless Digital In-line Holography Microscopy (DIHM) with spherical waves can yield micrometer resolution, even when large objects, such as the head of a fruit fly (Drosophila melanogaster), are imaged. By changing the size of the pinhole, the influence of spatial coherence of the spherical wave at the plane of the sample on the resoluti...

We generalize an integral representation for the ruin probability in a Crámer-Lundberg risk model with shifted (or also called US-)Pareto claim sizes, obtained by Ramsay [14], to classical Pareto(a) claim size distributions with arbitrary real values a > 1 and derive its asymptotic expansion. Furthermore an integral representation for the tail of compound sums of Pareto-distributed claims is ob...

A wide variety of digital alternatives have been presented to replace traditional film emulsion as detection medium in βAutoradiography. The main claim of most of the alternatives is higher sensitivity. On the other hand, spatial resolution remains the main problem to solve to be able to offer a sensible alternative to film. Solid state detectors, mainly made of silicon, are being used very act...

Since its inaugural issue in the spring of 1977, each issue of Isaac Asimov's Science Fiction Magazine has contained a puzzle from Martin Gardner, dressed up as a brief science ction tale. This book collects the rst thirty-six. Most of them are mathematical, covering a variety of topics | numbers, geometry, games of strategy, combinatorics, simple logic | but a few involve word play and trivia ...