Molecular and activity-based cues acting together are thought to guide retinal axons to their terminal sites in vertebrate optic tectum or superior colliculus (SC) to form an ordered map of connections. The details of ...

A relatively new area of study that first received attention during the past decade explores how spatiotemporal data can be efficiently used in applications and stored in databases. Spatial data includes the locations or ...

A tool has been designed and implemented to use information extracted from photographs captured using uncalibrated cameras (so-called casual photographs) to fill the occlusions which occur in three-dimensional models of ...

Planning for and controlling a network of interacting devices requires a planner that accounts for the automatic timed transitions of devices while meeting deadlines and achieving durative goals. For example, a planner for ...

This dissertation explores virtual storytelling for conveying cultural stories effectively. We set out to investigate: (1) the strengths and/or weaknesses of VR as a storytelling medium; (2) the use of a culturally familiar ...

We present pDNA, a system for automatically transfer- ring correct code from donor applications into recipient applications to successfully eliminate errors in the recipient. Experimental results using six donor applications ...

We present pDNA, a system for automatically transfer- ring correct code from donor applications into recipient applications to successfully eliminate errors in the recipient. Experimental results using six donor applications ...

We present pDNA, a system for automatically transferring correct code from donor applications into recipient applications to successfully eliminate errors in the recipient. Experimental results using three donor applications ...

The lognormal forward-Libor and Swap market models were formulated to price caps and swaptions. However, the prices computed by these two models, under equivalent measures, are reported to be unequal. This study investigates ...

Programming shared-memory multiprocessor systems is becoming increasingly difficult as the gap between memory speed and processor speed increases. At the same time, this class of computer-based on standard microprocessors-is ...

This report describes the Analyst's Assistant, a software system for language-interactive, collaborative user-system interpretation of events, specifically targeting vehicle events that can be recognized on the basis of ...

We present Code Phage (CP), a system for automatically transferring correct code from donor applications into recipient applications to successfully eliminate errors in the recipient. Experimental results using six donor ...

Our goal is to present a completed, semantic formalization of the Jeeves privacy language evaluation engine, based on the original Jeeves constraint semantics defined by Yang et al at POPL12, but sufficiently strong to ...

Existing techniques (e.g., RCU) can achieve good multi-core scaling for read-mostly data, but for update-heavy data structures only special-purpose techniques exist. This paper presents OpLog, a general-purpose library ...

Presence is the sense of being in the computer-generated environment. It is regarded as the key to understanding the success of a virtual environment. In this research we focus on desktop virtual environment authoring ...

This research investigates the implementation of suitable garbage collection schemes for a persistent store. The store that formed the basis for these experiments was the one developed for a Java Virtual Machine known as ...

The last decade has seen a dramatic growth in the use of constraint solvers as a computational mechanism, not only for analysis and synthesis of software, but also at runtime. Solvers are available for a variety of logics ...

The now more rampant and severe droughts have become synonymous with Sub-Saharan Africa; they are a major contributor to the acute food insecurity in the Region. Though this scenario may be replicated in other regions in ...

We provide a sufficient condition for polarisations of Fano varieties to be K-stable in terms of Tian’s alpha invariant, which uses the log canonical threshold to measure singularities of divisors in the linear system ...

The emergence of virtual reality and related tools enables the fundamental infrastructure to begin building virtual cities, which can provide an interactive simulation and analysis environment for planning and management ...