Automata and logics over finitely varying functions

We extend some of the classical connections between automata and logic due to Büchi (1960) [5] and McNaughton and Papert (1971) [12] to languages of finitely varying functions or “signals”. In particular, we introduce a natural class of automata for generating finitely varying functions called View the MathML source’s, and show that it coincides in terms of language definability with a natural monadic second-order logic interpreted over finitely varying functions Rabinovich (2002) [15]. We also identify a “counter-free” subclass of View the MathML source’s which characterise the first-order definable languages of finitely varying functions. Our proofs mainly factor through the classical results for word languages. These results have applications in automata characterisations for continuously interpreted real-time logics like Metric Temporal Logic (MTL) Chevalier et al. (2006, 2007) [6] and [7].

A Slotted Aloha joint MAC-cum-Routing protocol for data gathering sensor network applications

In this paper we have proposed and implemented a joint Medium Access Control (MAC) -cum- Routing scheme for environment data gathering sensor networks. The design principle uses node 'battery lifetime' maximization to be traded against a network that is capable of tolerating: A known percentage of combined packet losses due to packet collisions, network synchronization mismatch and channel impairments Significant end-to-end delay of an order of few seconds We have achieved this with a loosely synchronized network of sensor nodes that implement Slotted-Aloha MAC state machine together with route information. The scheme has given encouraging results in terms of energy savings compared to other popular implementations. The overall packet loss is about 12%. The battery life time increase compared to B-MAC varies from a minimum of 30% to about 90% depending on the duty cycle.

Eye-view: A retinal image acquisition system

This paper presents a low cost but high resolution retinal image acquisition system of the human eye. The images acquired by a CMOS image sensor are communicated through the Universal Serial Bus (USB) interface to a personal computer for viewing and further processing. The image acquisition time was estimated to be 2.5 seconds. This system can also be used in telemedicine applications.

Simulation blocks for TOSSIM-T2

We develop several hardware and software simulation blocks for the TinyOS-2 (TOSSIM-T2) simulator. The choice of simulated hardware platform is the popular MICA2 mote. While the hardware simulation elements comprise of radio and external flash memory, the software blocks include an environment noise model, packet delivery model and an energy estimator block for the complete system. The hardware radio block uses the software environment noise model to sample the noise floor. The packet delivery model is built by establishing the SNR-PRR curve for the MICA2 system. The energy estimator block models energy consumption by Micro Controller Unit(MCU), Radio, LEDs, and external flash memory. Using the manufacturerpsilas data sheets we provide an estimate of the energy consumed by the hardware during transmission, reception and also track several of the MCUs states with the associated energy consumption. To study the effectiveness of this work, we take a case study of a paper presented in [1]. We obtain three sets of results for energy consumption through mathematical analysis, simulation using the blocks built into PowerTossim-T2 and finally laboratory measurements. Since there is a significant match between these result sets, we propose our blocks for T2 community to effectively test their application energy requirements and node life times.

A novel iterative frequency offset estimation in an OFDM system

The Orthogonal Frequency Division Multiplexing (OFDM) is a form of Multi-Carrier Modulation where the data stream is transmitted over a number of carriers which are orthogonal to each other i.e. the carrier spacing is selected such that each carrier is located at the zeroes of all other carriers in the spectral domain. This paper proposes a new novel iterative frequency offset estimation algorithm for an OFDM system in order to receive the OFDM data symbols error-free over the noisy channel at the receiver and to achieve frequency synchronization between the transmitter and the receiver. The performance of this algorithm has been studied in AWGN, ADSL and SUI channels successfully.

A novel fractional sampling offset estimation in an OFDM system

The Orthogonal Frequency Division Multiplexing (OFDM) is a form of Multi-Carrier Modulation where the data stream is transmitted over a number of carriers which are orthogonal to each other i.e. the carrier spacing is selected such that each carrier is located at the zeroes of all other carriers in the spectral domain. This paper proposes a new novel sampling offset estimation algorithm for an OFDM system in order to receive the OFDM data symbols error-free over the noisy channel at the receiver and to achieve fine timing synchronization between the transmitter and the receiver. The performance of this algorithm has been studied in AWGN, ADSL and SUI channels successfully.

Sensor network deployment for agronomical data gathering in semi-arid regions

We share our experience in planning, designing and deploying a wireless sensor network of one square kilometre area. Environmental data such as soil moisture, temperature, barometric pressure, and relative humidity are collected in this area situated in the semi-arid region of Karnataka, India. It is a hope that information derived from this data will benefit the marginal farmer towards improving his farming practices. Soon after establishing the need for such a project, we begin by showing the big picture of such a data gathering network, the software architecture we have used, the range measurements needed for determining the sensor density, and the packaging issues that seem to play a crucial role in field deployments. Our field deployment experiences include designing with intermittent grid power, enhancing software tools to aid quicker and effective deployment, and flash memory corruption. The first results on data gathering look encouraging.

A novel fractional sampling offset estimation in an OFDM system

The Orthogonal Frequency Division Multiplexing (OFDM) is a form of Multi-Carrier Modulation where the data stream is transmitted over a number of carriers which are orthogonal to each other i.e. the carrier spacing is selected such that each carrier is located at the zeroes of all other carriers in the spectral domain. This paper proposes a new novel sampling offset estimation algorithm for an OFDM system in order to receive the OFDM data symbols error-free over the noisy channel at the receiver and to achieve fine timing synchronization between the transmitter and the receiver. The performance of this algorithm has been studied in AWGN, ADSL and SUI channels successfully.

Cerimetry in non-aqueous media - Oxidation of oxalic acid through the intermediate formation of ceric oxalate

It was found that ceric oxalate is an intermediate product in the oxidation of oxalic acid by ammonium hexanitrato cerate in solvents such as acetonitrile, and a mixture of acetonitrile and glacial acetic acid. Conditions for the formation of ceric oxalate and its decomposition into carbon dioxide and cerous oxalate have been studied. An analytical method for the estimation of oxalic acid in non-aqueous media has been evolved based on this reaction.

Cerimetry in nonaqueous media - Oxidation of ascorbic acid

The reaction between ascorbic acid and ammonium hexa nitrato cerate was studied potentiometrically in the mixed solvent glacial acetic acid acetonitrile medium. It was found that one mole of ascorbic acid consumes four equivalents of cerate in non-aqueous medium. This reaction can be made use of to estimate potentiometrically ascorbic acid with ammonium nitrato cerate in non-aqueous media, using either glass or antimony as reference electrode and platinum as indicator electrode.

Potentiometric titrations in nonaqueous cerimetry

Potassium iodide and hydroquinone can be estimated potentiometrically in nonaqueous medium using ammonium nitrato cerate as oxidant. A platinum indicator electrode coupled with either a glass electrode or an antimony electrode as reference electrode, can be used in nonaqueous medium satisfactorily, for following the potentiometric titration. Direct potentiometric titration of xanthate with ammonium nitrato cerate in nonaqueous medium yields slightly lower values than the actual values in presence of platinum indicator electrode.

X-ray Crystallographic Analysis of the Complexes of Enoyl Acyl Carrier Protein Reductase of Plasmodium falciparum with Triclosan Variants to Elucidate the Importance of Different Functional Groups in Enzyme Inhibition

Triclosan, a well-known inhibitor of Enoyl Acyl Carrier Protein Reductase (ENR) from several pathogenic organisms, is a promising lead compound to design effective drugs. We have solved the X-ray crystal structures of Plasmodium falciparum ENR in complex with triclosan variants having different substituted and unsubstituted groups at different key functional locations. The structures revealed that 4 and 2' substituted compounds have more interactions with the protein, cofactor, and solvents when compared with triclosan. New water molecules were found to interact with some of these inhibitors. Substitution at the 2' position of triclosan caused the relocation of a conserved water molecule, leading to an additional hydrogen bond with the inhibitor. This observation can help in conserved water-based inhibitor design. 2' and 4' unsubstituted compounds showed a movement away from the hydrophobic pocket to compensate for the interactions made by the halogen groups of triclosan. This compound also makes additional interactions with the protein and cofactor which compensate for the lost interactions due to the unsubstitution at 2' and 4'. In cell culture, this inhibitor shows less potency, which indicates that the chlorines at 2' and 4' positions increase the ability of the inhibitor to cross multilayered membranes. This knowledge helps us to modify the different functional groups of triclosan to get more potent inhibitors. (C) 2010 IUBMB IUBMB Life, 62(6): 467-476.