One of the most fundamental problems in vision is segmentation; the way in which parts of an image are perceived as a meaningful whole. Recent work has shown how to calculate images of physical parameters from raw intensity data. Such images are known as intrinsic images, and examples are images of velocity (optical flow), surface orientation, occluding contour, and disparity. While intrinsic i...

We develop a definition of protocol security relying on game-theoretic notions of implementation. We show that a natural special case of this this definition is equivalent to a variant of the traditional cryptographic definition of protocol security; this result shows that, when taking computation into account, the two approaches used for dealing with “deviating” players in two different commun...

Outbreaks of hemorrhagic syndrome-like disease with high mortality rates have frequently occurred in Pelodiscus sinensis farms. The purpose of this study was to investigate the pathogen through challenge infection assays and partial sequencing of the genome of the pathogen. A 453-bp amplicon was obtained by random PCR using the nucleic acid extracted from the tissue homogenate filtrate and show...

Ghost images are obtained by correlating the output of a single-pixel (bucket) photodetector—which collects light that has been transmitted through or reflected from an object—with the output from a high spatial-resolution scanning photodetector or photodetector array whose illumination has not interacted with that object. The term “ghost image” is apt because neither detector’s output alone ca...

This study evaluates if verbally oriented scales are as effective as the visual instruments of self-figure drawing and video interpretation in detecting treatment responses after 6 months of dance/movement therapy in fibromyalgia patients. The self-figure drawing and video interpretation technique captured treatment effects that were not seen on verbal scales. In the self-figure drawings, signi...

Effective numerical simulation of many EOR problems requires very accurate approximation of the Darcy velocities of the respective fluids. In this paper we describe a new method for the accurate determination of the Darcy velocity of the total fluid in the miscible displacement of one incompressible fluid by another in a porous medium. The new mixed finite-element procedure solves for both the ...

An immersion of a graph H into a graph G is a one-to-one mapping f : V (H) → V (G) and a collection of edge-disjoint paths in G, one for each edge of H , such that the path Puv corresponding to edge uv has endpoints f(u) and f(v). The immersion is strong if the paths Puv are internally disjoint from f(V (H)). It is proved that for every positive integer t, every simple graph of minimum degree a...

We prove the conjecture of Albertson stating that every planar graph can be 5-list-colored, even if it contains precolored vertices, as long as they are sufficiently far apart from each other. In order to prove this claim, we also give bounds on the sizes of graphs critical with respect to 5-list coloring. In particular, if G is a planar graph, H is a connected subgraph of G and L is an assignm...

Database management systems (DBMSs) have been increasingly used for advanced application domains, such as software development environments, network management, work ow management systems, computer-aided design and manufacturing, and managed healthcare. In these domains, the standard correctness model of serializability is often too restrictive. We introduce the notion of a Concurrency Control ...