A GPU framework for parallel segmentation of volumetric images using discrete deformable models

Despite the ability of current GPU processors to treat heavy parallel computation tasks, its use for solving medical image segmentation problems is still not fully exploited and remains challenging. A lot of difficulties may arise related to, for example, the different image modalities, noise and artifacts of source images, or the shape and appearance variability of the structures to segment. Motivated by practical problems of image segmentation in the medical field, we present in this paper a GPU framework based on explicit discrete deformable models, implemented over the NVidia CUDA architecture, aimed for the segmentation of volumetric images. The framework supports the segmentation in parallel of different volumetric structures as well as interaction during the segmentation process and real-time visualization of the intermediate results. Promising results in terms of accuracy and speed on a real segmentation experiment have demonstrated the usability of the system.     

The Asynchronous Bounded-Cycle model

This paper shows how synchrony conditions can be added to the purely asynchronous model in a way that avoids any reference to message delays and computing step times, as well as system-wide constraints on execution patterns and network topology. Our Asynchronous Bounded-Cycle (ABC) model just bounds the ratio of the number of forward- and backward-oriented messages in certain (“relevant”) cycles in the space-time diagram of an asynchronous execution. We show that clock synchronization and lock-step rounds can be implemented and proved correct in the ABC model, even in the presence of Byzantine failures. Furthermore, we prove that any algorithm working correctly in the partially synchronous Θ-Model also works correctly in the ABC model. In our proof, we first apply a novel method for assigning certain message delays to asynchronous executions, which is based on a variant of Farkas’ theorem of linear inequalities and a non-standard cycle space of graphs. Using methods from point-set topology, we then prove that the existence of this delay assignment implies model indistinguishability for time-free safety and liveness properties. We also introduce several weaker variants of the ABC model, and relate our model to the existing partially synchronous system models, in particular, the classic models of Dwork, Lynch and Stockmayer and the query-response model by Mostefaoui, Mourgaya, and Raynal. Finally, we discuss some aspects of the ABC model’s applicability in real systems, in particular, in the context of VLSI Systems-on-Chip.     

Performance Analysis of Periodic Control for l1 and l∞ Disturbance Rejection

This paper presents a performance analysis of discrete time periodically time varying controllers for the rejection of l_p specific and uniform disturbances. Earlier results on l₂ performance are extended to l₁ and l_∞ performance to present a unified treatment of l_p performance for all p ε [1, ∞]. For a given linear time varying periodic controller, a linear time invariant controller is constructed and necessary and sufficient conditions are presented under which the linear time invariant controller gives strictly better l_p disturbance rejection performance than the time varying periodic controller.     

The Geometry and Matching of Lines and Curves Over Multiple Views

This paper describes the geometry of imaged curves in two and three views. Multi-view relationships are developed for lines, conics and non-algebraic curves. The new relationships focus on determining the plane of the curve in a projective reconstruction, and in particular using the homography induced by this plane for transfer from one image to another. It is shown that given the fundamental matrix between two views, and images of the curve in each view, then the plane of a conic may be determined up to a two fold ambiguity, but local curvature of a curve uniquely determines the plane. It is then shown that given the trifocal tensor between three views, this plane defines a homography map which may be used to transfer a conic or the curvature from two views to a third. Simple expressions are developed for the plane and homography in each case.A set of algorithms are then described for automatically matching individual line segments and curves between images. The algorithms use both photometric information and the multiple view geometric relationships. For image pairs the homography facilitates the computation of a neighbourhood cross-correlation based matching score for putative line/curve correspondences. For image triplets cross-correlation matching scores are used in conjunction with line/curve transfer based on the trifocal geometry to disambiguate matches. Algorithms are developed for both short and wide baselines. The algorithms are robust to deficiencies in the segment extraction and partial occlusion.Experimental results are given for image pairs and triplets, for varying motions between views, and for different scene types. The methods are applicable to line/curve matching in stereo and trinocular rigs, and as a starting point for line/curve matching through monocular image sequences.     

Analysis of the human immune response to vaccinia by use of a novel protein microarray suggests that antibodies recognize less than 10% of the total viral proteome

Control of smallpox by mass vaccination was one of the most effective public health measures ever employed for eradicating a devastating infectious disease. However, new methods are needed for monitoring smallpox immunity within current vulnerable populations, and for the development of replacement vaccines for use by immunocompromized or low-responding individuals. As a measure for achieving this goal, we developed a protein microarray of the vaccinia virus proteome by using high-throughput baculovirus expression and purification of individual elements. The array was validated with therapeutic-grade, human hyperimmune sera, and these data were compared to results obtained from individuals vaccinated against smallpox using Dryvax. A high level of reproducibility with a very low background were apparent in repetitive assays that confirmed previously reported antigens and identified new proteins that may be important for neutralizing viral infection. Our results suggest that proteins recognized by antibodies from all vaccinees constituted <10% of the total vaccinia proteome.     

On techniques for angle compensation in nonideal iris recognition.

The popularity of the iris biometric has grown considerably over the past two to three years. Most research has been focused on the development of new iris processing and recognition algorithms for frontal view iris images. However, a few challenging directions in iris research have been identified, including processing of a nonideal iris and iris at a distance. In this paper, we describe two nonideal iris recognition systems and analyze their performance. The word "nonideal" is used in the sense of compensating for off-angle occluded iris images. The system is designed to process nonideal iris images in two steps: 1) compensation for off-angle gaze direction and 2) processing and encoding of the rotated iris image. Two approaches are presented to account for angular variations in the iris images. In the first approach, we use Daugman's integrodifferential operator as an objective function to estimate the gaze direction. After the angle is estimated, the off-angle iris image undergoes geometric transformations involving the estimated angle and is further processed as if it were a frontal view image. The encoding technique developed for a frontal image is based on the application of the global independent component analysis. The second approach uses an angular deformation calibration model. The angular deformations are modeled, and calibration parameters are calculated. The proposed method consists of a closed-form solution, followed by an iterative optimization procedure. The images are projected on the plane closest to the base calibrated plane. Biorthogonal wavelets are used for encoding to perform iris recognition. We use a special dataset of the off-angle iris images to quantify the performance of the designed systems. A series of receiver operating characteristics demonstrate various effects on the performance of the nonideal-iris-based recognition system.     

Novel combination of orientation measurements and transmission microscopy for experimental determination of grain boundary miller indices in silicon and other semiconductors

The determination of grain boundary planes in multicrystalline material has only been restricted to transmission electron microscope investigations (Jang et al., 1992; Elgat et al., 1985) or to metallograpical investigations of the grain boundary (Randle et al., 1993). The first method is expensive, and both are complex and time consuming in grain boundary preparation. This paper proposes the determination of grain boundary planes in semiconductor wafer by a combined application of Electron Back Scatter Diffraction and Infrared Transmission Microscopy. In particular, the new method is demonstrated with directional solidificated multicrystalline silicon.     

Upper-bound modelization of an ironed three-layered polymer-coated steel strip

Global beverage can and food container consumption is very high, with billions of cans produced annually worldwide. There are several steps in can manufacturing, but ironing is the most crucial. In a previous work (Sellés et al., J Mater Process Technol 202:7–14, 2008), a series of ironing experiments were reported using a new material and an ironing simulator. This material was a three-layered polymer-coated steel, and it was seen that under some process conditions, it survived the ironing process with no damage in any of the three layers. The critical die angle was determined as well as specimen quality surface tests. In this paper, an associated theoretical ironing model is described, using the upper-bound theorem and considering the cases of successful ironing or shaving. It is possible to give insight into how to design a material that irons well. For example, the optimal layer thicknesses are also found.