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].

Spontaneous and reversible self-assembly of a polypeptide fragment of insulin-like growth factor binding protein-2 into fluorescent nanotubular structures

In this communication, we report the spontaneous and reversible in vitro self-assembly of a polypeptide fragment derived from the C-terminal domain of Insulin-like Growth Factor Binding Protein (IGFBP-2) into soluble nanotubular structures several micrometres long via a mechanism involving inter-molecular disulfide bonds and exhibiting enhanced fluorescence.

lac Repressor Is an Antivirulence Factor of Salmonella enterica: Its Role in the Evolution of Virulence in Salmonella

The genus Salmonella includes many pathogens of great medical and veterinary importance. Bacteria belonging to this genus are very closely related to those belonging to the genus Escherichia. lacZYA operon and lacI are present in Escherichia coli, but not in Salmonella enterica. It has been proposed that Salmonella has lost lacZYA operon and lacI during evolution. In this study, we have investigated the physiological and evolutionary significance of the absence of lacI in Salmonella enterica. Using murine model of typhoid fever, we show that the expression of Lacl causes a remarkable reduction in the virulence of Salmonella enterica. Lacl also suppresses the ability of Salmonella enterica to proliferate inside murine macrophages. Microarray analysis revealed that Lacl interferes with the expression of virulence genes of Salmonella pathogenicity island 2. This effect was confirmed by RT-PCR and Western blot analysis. Interestingly, we found that SBG0326 of Salmonella bongori is homologous to lacI of Escherichia coli. Salmonella bongori is the only other species of the genus Salmonella and it lacks the virulence genes of Salmonella pathogenicity island 2. Overall, our results demonstrate that Lacl is an antivirulence factor of Salmonella enterica and suggest that absence of lacI has facilitated the acquisition of virulence genes of Salmonella pathogenicity island 2 in Salmonella enterica making it a successful systemic pathogen.

EIT as a tool to observe dual wavelength operation of a semiconductor laser

We propose a simplified technique for dual wavelength operation of an extended cavity semiconductor laser, and its characterization using electromagnetically induced transparency (EIT). In this laser cavity scheme light beam is made converging before it incidences on the cavity grating. The converging angle of the beam creates two longitudinal oscillating modes of resonating cavity. Frequency separation between the longitudinal modes are measured with the help of beat frequency generation in a photodiode and creating pair of EIT spectra in Rb vapor. The pair of EIT dips that are generated due to dual wavelength of this laser (that is used as control laser) can be used to estimate frequency difference between the generated wavelengths. Width of EIT spectra can be used to estimate line width of individual wavelength components.

Regulation of human CD4(+) alphabeta T-cell-receptor-positive (TCR(+)) and gammadelta TCR(+) T-cell responses to Mycobacterium tuberculosis by interleukin-10 and transforming growth factor beta.

Mycobacterium tuberculosis is the etiologic agent of human tuberculosis and is estimated to infect one-third of the world's population. Control of M. tuberculosis requires T cells and macrophages. T-cell function is modulated by the cytokine environment, which in mycobacterial infection is a balance of proinflammatory (interleukin-1 [IL-1], IL-6, IL-8, IL-12, and tumor necrosis factor alpha) and inhibitory (IL-10 and transforming growth factor beta [TGF-beta]) cytokines. IL-10 and TGF-beta are produced by M. tuberculosis-infected macrophages. The effect of IL-10 and TGF-beta on M. tuberculosis-reactive human CD4(+) and gammadelta T cells, the two major human T-cell subsets activated by M. tuberculosis, was investigated. Both IL-10 and TGF-beta inhibited proliferation and gamma interferon production by CD4(+) and gammadelta T cells. IL-10 was a more potent inhibitor than TGF-beta for both T-cell subsets. Combinations of IL-10 and TGF-beta did not result in additive or synergistic inhibition. IL-10 inhibited gammadelta and CD4(+) T cells directly and inhibited monocyte antigen-presenting cell (APC) function for CD4(+) T cells and, to a lesser extent, for gammadelta T cells. TGF-beta inhibited both CD4(+) and gammadelta T cells directly and had little effect on APC function for gammadelta and CD4(+) T cells. IL-10 down-regulated major histocompatibility complex (MHC) class I, MHC class II, CD40, B7-1, and B7-2 expression on M. tuberculosis-infected monocytes to a greater extent than TGF-beta. Neither cytokine affected the uptake of M. tuberculosis by monocytes. Thus, IL-10 and TGF-beta both inhibited CD4(+) and gammadelta T cells but differed in the mechanism used to inhibit T-cell responses to M. tuberculosis.

Metamodeling approach to predict friction factor of alluvial channel

The flow resistance of an alluvial channel flow is not only affected by the Reynolds number and the roughness conditions but also the Froude number. Froude number is the most basic parameter in the case of the alluvial channel, thus effect of Froude number on resistance to flow should be considered in the formulation of the friction factor, which is not in the case of present available resistance equations. At present, no generally acceptable quantitative description of the effects of the Froude number on hydraulic resistance has been developed. Metamodeling technique, which is particularly useful in modeling a complex processes or where knowledge of the physics is limited, is presented as a tool complimentary to modeling friction factor in alluvial channels. Present work uses, a radial basis metamodel, which is a type of neural network modeling, to find the effect of Froude number on the flow resistance. Based on the experimental data taken from different sources, it has been found that the predicting capability of the present model is on acceptable level. Present work also tries in formulating an empirical equation for resistance in alluvial channel comprising all the three majorm, parameters, namely, roughness parameter, Froude number and Reynolds number. (C) 2009 Elsevier B.V. All rights reserved.

A Single Mammalian Mitochondrial Translation Initiation Factor Functionally Replaces Two Bacterial Factors

The mechanism of translation in eubacteria and organelles is thought to be similar. In eubacteria, the three initiation factors IF1, IF2, and IF3 are vital. Although the homologs of IF2 and IF3 are found in mammalian mitochondria, an IF1 homolog has never been detected. Here, we show that bovine mitochondrial IF2 (IF2mt) complements E. coli containing a deletion of the IF2 gene (E. coli ΔinfB). We find that IF1 is no longer essential in an IF2mt-supported E. coli ΔinfB strain. Furthermore, biochemical and molecular modeling data show that a conserved insertion of 37 amino acids in the IF2mt substitutes for the function of IF1. Deletion of this insertion from IF2mt supports E. coli for the essential function of IF2. However, in this background, IF1 remains essential. These observations provide strong evidence that a single factor (IF2mt) in mammalian mitochondria performs the functions of two eubacterial factors, IF1 and IF2.

Assessment of SET Logic Robustness Through Noise Margin Modeling

A compact model for noise margin (NM) of single-electron transistor (SET) logic is developed, which is a function of device capacitances and background charge (zeta). Noise margin is, then, used as a metric to evaluate the robustness of SET logic against background charge, temperature, and variation of SET gate and tunnel junction capacitances (CG and CT). It is shown that choosing alpha=CT/CG=1/3 maximizes the NM. An estimate of the maximum tolerable zeta is shown to be equal to plusmn0.03 e. Finally, the effect of mismatch in device parameters on the NM is studied through exhaustive simulations, which indicates that a isin [0.3, 0.4] provides maximum robustness. It is also observed that mismatch can have a significant impact on static power dissipation.

Fuzzy-logic-based health monitoring and residual-life prediction for composite helicopter rotor

A health-monitoring and life-estimation strategy for composite rotor blades is developed in this work. The cross-sectional stiffness reduction obtained by physics-based models is expressed as a function of the life of the structure using a recent phenomenological damage model. This stiffness reduction is further used to study the behavior of measurable system parameters such as blade deflections, loads, and strains of a composite rotor blade in static analysis and forward flight. The simulated measurements are obtained using an aeroelastic analysis of the composite rotor blade based on the finite element in space and time with physics-based damage modes that are then linked to the life consumption of the blade. The model-based measurements are contaminated with noise to simulate real data. Genetic fuzzy systems are developed for global online prediction of physical damage and life consumption using displacement- and force-based measurement deviations between damaged and undamaged conditions. Furthermore, local online prediction of physical damage and life consumption is done using strains measured along the blade length. It is observed that the life consumption in the matrix-cracking zone is about 12-15% and life consumption in debonding/delamination zone is about 45-55% of the total life of the blade. It is also observed that the success rate of the genetic fuzzy systems depends upon the number of measurements, type of measurements and training, and the testing noise level. The genetic fuzzy systems work quite well with noisy data and are recommended for online structural health monitoring of composite helicopter rotor blades.

Dual-frequency characteristics of Minkowski-square ring antennas

Fractal Minkowski curves to design a compact dual-frequency microstrip ring antenna are proposed. Sides of a square ring have been selectively replaced with first and second iterations of the generalised fractal geometry to design a smaller antenna with dual-frequency operation. This behaviour has been explained based on current distributions on the antenna structure. Measured results compare well with electromagnetic simulations.

Paired electromagnetically induced transparency with dual mode laser: A step towards EIT-Comb

Coupled electromagnetically induced transparency (EIT) has been observed with a dual mode control laser. The technique can be used for generating EIT-comb from optical frequency comb.

Modeling and Analysis of Noise Margin in SET Logic

In this paper the static noise margin for SET (single electron transistor) logic is defined and compact models for the noise margin are developed by making use of the MIB (Mahapatra-Ionescu-Banerjee) model. The variation of the noise margin with temperature and background charge is also studied. A chain of SET inverters is simulated to validate the definition of various logic levels (like VIH, VOH, etc.) and noise margin. Finally the noise immunity of SET logic is compared with current CMOS logic.

Host factor Ebp1 inhibits rinderpest virus transcription in vivo

ErbB3 binding protein Ebp1 has been shown to downregulate ErbB3 receptor-mediated signaling to inhibit cell proliferation. Rinderpest virus belongs to the family Paramyxoviridae and is characterized by the presence of a non-segmented negative-sense RNA genome. In this work, we show that rinderpest virus infection of Vero cells leads to the down-regulation of the host factor Ebp1, at both the mRNA and protein levels. Ebp1 protein has been shown to co-localize with viral inclusion bodies in infected cells, and it is packaged into virions, presumably through its interaction with the N protein or the N-RNA itself. Overexpression of Ebp1 inhibits viral transcription and multiplication in infected cells, suggesting that a mutual antagonism operates between host factor Ebp1 and the virus.

A fast dual algorithm for kernel logistic regression

This paper gives a new iterative algorithm for kernel logistic regression. It is based on the solution of a dual problem using ideas similar to those of the Sequential Minimal Optimization algorithm for Support Vector Machines. Asymptotic convergence of the algorithm is proved. Computational experiments show that the algorithm is robust and fast. The algorithmic ideas can also be used to give a fast dual algorithm for solving the optimization problem arising in the inner loop of Gaussian Process classifiers.

Characterization of the human SLC22A18 gene promoter and its regulation by the transcription factor Sp1

SLC22A18, a poly-specific organic cation transporter, is paternally imprinted in humans and mice. It shows loss-of-heterozygosity in childhood and adult tumors, and gain-of-imprinting in hepatocarcinomas and breast cancers. Despite the importance of this gene, its transcriptional regulation has not been studied, and the promoter has not yet been characterized. We therefore set out to identify the potential cis-regulatory elements including the promoter of this gene. The luciferase reporter assay in human cells indicated that a region from -120 by to +78 by is required for the core promoter activity. No consensus TATA or CHAT boxes were found in this region, but two Sp1 binding sites were conserved in human, chimpanzee, mouse and rat. Mutational analysis of the two Sp1 sites suggested their requirement for the promoter activity. Chromatin-immunoprecipitation showed binding of Sp1 to the promoter region in vivo. Overexpression of Sp1 in Drosophila Sp1-null SL2 cells suggested that Sp1 is the transactivator of the promoter. The human core promoter was functional in mouse 3T3 and monkey COS7 cells. We found a CpG island which spanned the core promoter and exon 1. COBRA technique did not reveal promoter methylation in 10 normal oral tissues, 14 oral tumors, and two human cell lines HuH7 and A549. This study provides the first insight into the mechanism that controls expression of this imprinted tumor suppressor gene. A COBRA-based assay has been developed to look for promoter methylation in different cancers. The present data will help to understand the regulation of this gene and its role in tumorigenesis. (C) 2008 Elsevier B.V. All rights reserved.