Sunil K Manna €, , Julie S Bose , Vijay Gangan, Nune Raviprakash, Thota Navneetha, Pongali B Raghavendra, Banaganapalli Babajan, Chitta S Kumar, and Swatantra K Jain From the Laboratory of Immunology, Centre for DNA Fingerprinting & Diagnostics, Nampally, Hyderabad 500 001, India, Reliance Life Sciences Pvt. Ltd., Mumbai 400701, India; Department of Biochemistry, Sri Krishnadevaraya University,...

S. Krishnamurthy,1 V. Loreto,1 H. J. Herrmann,1,2 S. S. Manna,3 and S. Roux4 1P.M.M.H. Ecole Supérieure de Physique et Chimie Industrielles, 10, rue Vauquelin, 75231 Paris CEDEX 05, France 2ICA1, University of Stuttgart, Germany 3Satyendra Nath Bose National Centre for Basic Sciences, Block-JD, Sector III, Salt Lake, Calcutta 700091, India 4Laboratoire Surface du Verre et Interfaces, Unité Mixt...

We analyze congruence classes of S(n, k), the Stirling numbers of the second kind, modulo powers of 2. This analysis provides insight into a conjecture posed by Amdeberhan, Manna and Moll, which those authors established for k at most 5. We provide a framework that can be used to justify the conjecture by computational means, which we then complete for values of k between 5 and 20.

Heterotrophlc production rates of nattve manna planktomc bacteria were esbmated by Increases or direct cell counts in 3 pm-filtered seawater and also via mcotporation of tritiated thymldine tnto DNA Results indicated that about 25 percent of pnmaq production IS consumed by bacteria. suggesbnc they are a mafor component of manne food webs rhe SC/” indicates that this paper has been cttec in more...

We analyse the power spectra of avalanches in two classes of selforganized critical sandpile models, the Bak–Tang–Wiesenfeld model and the Manna model. We show that these decay with a 1/fα power law, where the exponent value α is significantly smaller than 2 and equals the scaling exponent relating the avalanche size to its duration. We discuss the basic ingredients behind this result, such as ...

SCI – Scalable Coherent Interface – is a new IEEE standard for specifying communicationbetween multiprocessors in a shared memory model. In this paper we model part of SCI by a program written in a UNITY-like programming language. This part of SCI is formally specified in Manna and Pnueli’s Linear Time Temporal Logic (LTL). We prove that the program satisfies its specification. The proof is car...