FIRE: a fault-independent combinational redundancy identificationalgorithm

FIRE is a novel Fault-Independent algorithm for combinational REdundancy identification. The algorithm is based on a simple concept that a fault which requires a conflict as a necessary condition for its detection is undetectable and hence redundant. FIRE does not use the backtracking-based exhaustive search performed by fault-oriented automatic test generation algorithms, and identifies redundant faults without any search. Our results on benchmark and real circuits indicate that we find a large number of redundancies (about 80% of the combinational redundancies in benchmark circuits), much faster than a test-generation-based approach for redundancy identification. However, FIRE is not guaranteed to identify all redundancies in a circuit     

Birefringence of native cellulosic fibers. I. Untreated cotton and ramie

The Rayleigh-Gans theory of light scattering by a homogeneous cylinder has been applied to the case of scattering by a pad of fibers immersed in a liquid. The theory enables one to locate precisely the matching wavelength at which the mean refractive index of a sample of optically heterogeneous fibers coincides with that of an immersion medium. Thereby it offers a method of determining the mean refractive index. Besides, it facilitates a quantitative estimation of the variability of refractive index. The new technique has been used to study the birefringence of untreated cotton and ramie. The results are presented and discussed.     

Use of zeo-karb 226 and dowex a-l in the analysis of high-purity zinc and zinc-base alloys for Tl and In

Utility of Zeo-Karb 226 and Dowex A-l for the separation of Tl and In at 5-ppm level from high-purity zinc and zinc-base alloys has been investigated. With Zeo-Karb 226 (NH(4)(+)), T1(+) is conveniently separated from these materials and also from many other cations, with l.0M ammonium nitrate as the eluent. It is subsequently determined with Rhodamine B. This separation principle is also applied to the analysis of Pb-Tl alloys. Both Tl and In (along with Fe) are preconcentrated on Zeo-Karb 226(H(+)) from a solution of the sample at pH 3.0. Suitable methods of subsequent determination of Tl and In are described. In the case of Dowex A-1(H(+)), Tl(+), In(3+), Fe(3+) and Cu(2+) are retained from a solution of the sample at pH 2.0. An o-phenanthroline solution at pH 2.0 elutes all but traces of Cu(2+). In(3+) along with Fe(3+) is eluted with l.0M hydrochloric acid. Finally, Tl is eluted with 2.0M hydrochloric acid containing sulphurous acid.     

Pulse oximetry theory and calibration for low saturations

Pulse oximetry is a widely used technique in biomedical optics, but currently available pulse oximeters rely on empirical calibration approaches, which perform poorly at low saturations. We present an exact solution for pulse oximetry and show how this can be used as the basis for the development of a semiempirical calibration approach that may be useful, especially at low saturations and variable probe geometries. This new approach was experimentally tested against traditional empirical calibration techniques on transmission pulse oximetry for monitoring of fetal sheep using a minimally invasive spiral probe. The results open the way for the development of more accurate pulse oximetry.     

Developing novel activity-based fluorescent probes that target different classes of proteases

In this article, we report the design and synthesis of a group of novel activity-based probes that target different protease sub-classes based on their substrate specificities, rather than their enzymatic mechanisms. The feasibility of our approach has been demonstrated by using representative members of the different protease sub-classes.     

The Measurement of Ultrashort Light Pulses—Simple Devices,Complex Pulses

We review the state of the art of ultrashort-light-pulse measurement using frequency-resolved-optical-gating (FROG). Recent developments have extended the state of the art considerably. FROG devices for measuring the intensity and phase of ultrashort laser pulses have become so simple that almost no alignment is required. In addition, such devices not only operate single shot, but they also yield the two most important spatio-temporal distortions, spatial chirp and pulse-front tilt. With other FROG variations, it is now possible to measure more general ultrashort light pulses (i.e., pulses much more complex than common laser pulses), with time-bandwidth products as large as several thousand and as weak as a few hundred photons, and despite other difficulties such as random absolute phase and poor spatial coherence.     

The de Rham Bundle on a Compactification of Moduli Space of Abelian Varieties

In this paper, we show that the Chern classes c _k of the de Rham bundle defined on any good toroidal compactification of the moduli space of Abelian varieties of dimension g are zero in the rational Chow ring of , for g=4, 5 and k>0.     

Projective normality of abelian varieties

We show that ample line bundles on a -dimensional simple abelian variety , satisfying 2^g\cdot g!$">, give projective normal embeddings, for all .

     

Inner-Circle Consistency for Wireless Ad Hoc Networks

This paper proposes and evaluates strategies to build reliable and secure wireless ad hoc networks. Our contribution is based on the notion of inner-circle consistency, where local node interaction is used to neutralize errors/attacks at the source, both preventing errors/attacks from propagating in the network and improving the fidelity of the propagated information. We achieve this goal by combining statistical (a proposed fault-tolerant duster algorithm) and security (threshold cryptography) techniques with application-aware checks to exploit the data/computation that is partially and naturally replicated in wireless applications. We have prototyped an inner-circle framework and used it to demonstrate the idea of inner-circle consistency in two significant wireless scenarios: 1) the neutralization of black hole attacks in AODV networks and 2) the neutralization of sensor errors in a target detection/ localization application executed over a wireless sensor network