Scientific discoveries are increasingly dependent upon the analysis of large volumes of data from observations and simulations of complex phenomena. Scientists compose the complex analyses as workflows and execute them on largescale HPC systems. The workflow structures are in contrast with monolithic single simulations that have often been the primary use case on HPC systems. Simultaneously, ne...

HEALERS is a practical, high-performance toolkit that can enhance the robustness and security of existing applications. For any shared library, it can find all functions defined in that library and automatically derives properties for those functions. Through automated faultinjection experiments, it can detect arguments that cause the library to crash and derive safe argument types for each fun...

In 1957, Poulik (I) described a modification of Smithies’ (2) method of starch gel electrophoresis incorporating a discontinuous buffer system. In his original presentation, Poulik described a peculiar and as yet not fully explained phenomenon of an advancing borate “front” which seemed to be a major factor responsible for the high degree of separation and resolution. In 1960, Ferguson and Wall...

In this paper, a highly parallel deblocking filter architecture for H.264/AVC is proposed to process one macroblock in 48 clock cycles and give real-time support to QFHD@60 fps sequences at less than 100 MHz. 4 edge filters organized in 2 groups for simultaneously processing vertical and horizontal edges are applied in this architecture to enhance its throughput. While parallelism increases, pi...

An ionic current model of the retinal horizontal cell is constructed. The horizontal cell models are interconnected by gap junctions to form a horizontal cell layer. The light response properties of the L-type horizontal cell are analyzed using this model. We demonstrate the functional role of each ionic current and the role of the feedback loop between cones and horizontal cells. The present s...

We describe a stochastic birth-and-death model of evolution of horizontally transferred genes in microbial populations. The model is a generalization of the stochastic model described by Berg and Kurland and includes five parameters: the rate of mutational inactivation, selection coefficient, invasion rate (i.e., rate of arrival of a novel sequence from outside of the recipient population), wit...