We present a simple, efficient, and self-contained construction of a wait-free regular register from Byzantine storage components. Our construction utilizes a novel building block, called 1-regular register, which can be ...

Part I of this paper describes some of the new functions in the system. The discussion is seasoned here and there with parenthetical code fragments that may be ignored by readers unfamiliar with PLANNER. Part II discussed ...

In this thesis, we detail an approach to extracting key information in medical discharge summaries. Starting with a narrative patient report, we first identify and remove information that compromises privacy (de-identifi ...

The Kennet and Avon Canal in southern England is experiencing severe water quality problems caused by inorganic sediment and algae. These water quality problems are affecting the angling sport of fishermen downstream of ...

As a means of characterizing the diffusion parameters of fiber reinforced polymer (FRP) composites within a relatively short time frame, the potential use of short term tests on epoxy films to predict the long-term behavior ...

Waterflooding is a secondary recovery process in which water compatible with the reservoir of interest is injected into the reservoir to displace residual oil. The goal of waterflood management is to maximize oil recovery ...

Applications that combine live data streams with embedded, parallel,and distributed processing are becoming more commonplace. WaveScriptis a domain-specific language that brings high-level, type-safe,garbage-collected ...

The work of Osilike and Isiogugu, Nonlinear Analysis, 74 (2011), 1814-1822 on weak and strong convergence theorems for a new class of k-strictly pseudononspreading mappings in real Hilbert spaces is reviewed. We studied ...

The closure of the European airspace due to the eruption of the Icelandic volcano Eyjafjallajokull in 2010 proved a major challenge for airlines and aviation authorities on a global scale. In contrast, more seasonal adverse ...

The simulation of packet switched networks depends on accurate web workload models as input for network models. We derived a workload model for traffic generated by an individual browsing the web. We derived the workload ...

Data discovery and data handling often presents serious challenges to organizations that manage huge archives of raster datasets such as those generated by satellite remote sensing. Satellite remote sensing produces a ...

The practical application of various production parameters and relations to predict the well performance analysis of a solution gas drive reservoir is the primary objective of this study. These parameters include: IPR ...

Excerpts from a talk given by Tomaso Poggio in Tübingen on the opening ofthe Werner Reichardt Centrun für Integrative Neurowissenschaften, December 8, 2008.

Decentralized systems, such as distributed hash tables, are subject to the Sybil attack, in which an adversary creates many false identities to increase its influence. This paper proposes a routing protocol for a distributed ...

We have implemented in simulation a prototype language for the Connection Machine called CL1. CL1 is an extrapolation of serial machine programming language technology: in CL1 one programs the individual processors ...

What plans are like depends on how they're used. We contrast two views of plan use. On the plan-as-program-view, plan use is the execution of an effective procedure. On the plan-as-communication view, plan use is like ...

An algorithm is presented which provides a way of telling what a given trihedral corner will look like if viewed from a particular angle. The resulting picture is a junction of two or more lines each labelled according to ...

We prove several decidability and undecidability results for the satisfiability/validity problem of formulas over a language of finite-length strings and integers (interpreted as lengths of strings). The atomic formulas ...

Despite two decades of work on mechanical manipulators and their associated controls, we do not see wide-spread application of these devices to many of the tasks to which they seem so obviously suited. Somehow, a variety ...

Using a Bayesian framework, we place bounds on just what features are worth computing if inferences about the world properties are to be made from image data. Previously others have proposed that useful features reflect ...