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

Mutational analysis of active-site residues in the Mycobacterium leprae RecA intein, a LAGLIDADG homing endonuclease: Asp(122) and Asp(193) are crucial to the double-stranded DNA cleavage activity whereas Asp(218) is not

Mycobacterium leprae recA harbors an in-frame insertion sequence that encodes an intein homing endonuclease (PI-MleI). Most inteins (intein endonucleases) possess two conserved LAGLIDADG (DOD) motifs at their ctive center. A common feature of LAGLIDADG-type homing endonucleases is that they recognize and cleave the same or very similar DNA sequences. However, PI-MleI is distinctive from other members of the family of LAGLIDADG-type HEases for its modular structure with functionally separable domains for DNA-binding and cleavage, each with distinct sequence preferences. Sequence alignment analyses of PI-MleI revealed three putative LAGLIDADG motifs; however, there is conflicting bioinformatics data in regard to their identity and specific location within the intein polypeptide. To resolve this conflict and to determine the active-site residues essential for DNA target site recognition and double-stranded DNA cleavage, we performed site-directed mutagenesis of presumptive catalytic residues in the LAGLIDADG motifs. Analysis of target DNA recognition and kinetic parameters of the wild-type PI-MleI and its variants disclosed that the two amino acid residues, Asp(122) (in Block C) and Asp(193) (in functional Block E), are crucial to the double-stranded DNA endonuclease activity, whereas Asp(218) (in pseudo-Block E) is not. However, despite the reduced catalytic activity, the PI-MleI variants, like the wild-type PI-MleI, generated a footprint of the same length around the insertion site. The D122T variant showed significantly reduced catalytic activity, and D122A and D193A mutations although failed to affect their DNA-binding affinities, but abolished the double-stranded DNA cleavage activity. On the other hand, D122C variant showed approximately twofold higher double-stranded DNA cleavage activity, compared with the wild-type PI-MleI. These results provide compelling evidence that Asp(122) and Asp(193) in DOD motif I and II, respectively, are bona fide active-site residues essential for DNA cleavage activity. The implications of these results are discussed in this report.

Structural and functional characteristics of homing endonucleases

Mobile genetic elements constitute a remarkably diverse group of nonessential selfish genes that provide no apparent function to the host. These selfish genes have been implicated in host extinction, speciation and architecture of genetic systems. Homing endonucleases, encoded by the open reading frames embedded in introns or inteins of mobile genetic elements, possess double-stranded DNA-specific endonuclease activity. They inflict sequence-specific double-strand breaks at or near the homing site in intron- or intein-less allele. Subsequently, through nonreciprocal exchange the insertion sequence (intron or intein) is transferred from an intein- or intron-containing allele to an intein- or intron-less allele. The components of host double-strand break repair pathway are thought to finish the "homing" process. Several lines of evidence suggest that homing endonucleases are capable of promoting transposition into ectopic sites within or across genomes for their survival as well as dispersal in natural populations. The occurrence of inteins at high frequencies serves as instructive models for understanding the mechanistic aspects of the process of homing and its evolution. This review focuses on genetic, biochemical, structural, and phylogenetic aspects of homing endonucleases, and their comparison with restriction endonucleases.

Functional transfer of Salmonella pathogenicity island 2 to Salmonella bongori and Escherichia coli.

The type III secretion system (T3SS) encoded by the Salmonella pathogenicity island 2 (SPI2) has a central role in systemic infections by Salmonella enterica and for the intracellular phenotype. Intracellular S. enterica uses the SPI2-encoded T3SS to translocate a set of effector proteins into the host cell, which modify host cell functions, enabling intracellular survival and replication of the bacteria. We sought to determine whether specific functions of the SPI2-encoded T3SS can be transferred to heterologous hosts Salmonella bongori and Escherichia coli Mutaflor, species that lack the SPI2 locus and loci encoding effector proteins. The SPI2 virulence locus was cloned and functionally expressed in S. bongori and E. coli. Here, we demonstrate that S. bongori harboring the SPI2 locus is capable of secretion of SPI2 substrate proteins under culture conditions, as well as of translocation of effector proteins under intracellular conditions. An SPI2-mediated cellular phenotype was induced by S. bongori harboring the SPI2 if the sifA locus was cotransferred. An interference with the host cell microtubule cytoskeleton, a novel SPI2-dependent phenotype, was observed in epithelial cells infected with S. bongori harboring SPI2 without additional effector genes. S. bongori harboring SPI2 showed increased intracellular persistence in a cell culture model, but SPI2 transfer was not sufficient to confer to S. bongori systemic pathogenicity in a murine model. Transfer of SPI2 to heterologous hosts offers a new tool for the study of SPI2 functions and the phenotypes of individual effectors.

Surface cathepsin B protects cytotoxic lymphocytes from self-destruction after degranulation.

The granule exocytosis cytotoxicity pathway is the major molecular mechanism for cytotoxic T lymphocyte (CTL) and natural killer (NK) cytotoxicity, but the question of how these cytotoxic lymphocytes avoid self-destruction after secreting perforin has remained unresolved. We show that CTL and NK cells die within a few hours if they are triggered to degranulate in the presence of nontoxic thiol cathepsin protease inhibitors. The potent activity of the impermeant, highly cathepsin B-specific membrane inhibitors CA074 and NS-196 strongly implicates extracellular cathepsin B. CTL suicide in the presence of cathepsin inhibitors requires the granule exocytosis cytotoxicity pathway, as it is normal with CTLs from gld mice, but does not occur in CTLs from perforin knockout mice. Flow cytometry shows that CTLs express low to undetectable levels of cathepsin B on their surface before degranulation, with a substantial rapid increase after T cell receptor triggering. Surface cathepsin B eluted from live CTL after degranulation by calcium chelation is the single chain processed form of active cathepsin B. Degranulated CTLs are surface biotinylated by the cathepsin B-specific affinity reagent NS-196, which exclusively labels immunoreactive cathepsin B. These experiments support a model in which granule-derived surface cathepsin B provides self-protection for degranulating cytotoxic lymphocytes.

An optimal dynamic inversion-based neuro-adaptive approach for treatment of chronic myelogenous leukemia

Combining the advanced techniques of optimal dynamic inversion and model-following neuro-adaptive control design, an innovative technique is presented to design an automatic drug administration strategy for effective treatment of chronic myelogenous leukemia (CML). A recently developed nonlinear mathematical model for cell dynamics is used to design the controller (medication dosage). First, a nominal controller is designed based on the principle of optimal dynamic inversion. This controller can treat the nominal model patients (patients who can be described by the mathematical model used here with the nominal parameter values) effectively. However, since the system parameters for a realistic model patient can be different from that of the nominal model patients, simulation studies for such patients indicate that the nominal controller is either inefficient or, worse, ineffective; i.e. the trajectory of the number of cancer cells either shows non-satisfactory transient behavior or it grows in an unstable manner. Hence, to make the drug dosage history more realistic and patient-specific, a model-following neuro-adaptive controller is augmented to the nominal controller. In this adaptive approach, a neural network trained online facilitates a new adaptive controller. The training process of the neural network is based on Lyapunov stability theory, which guarantees both stability of the cancer cell dynamics as well as boundedness of the network weights. From simulation studies, this adaptive control design approach is found to be very effective to treat the CML disease for realistic patients. Sufficient generality is retained in the mathematical developments so that the technique can be applied to other similar nonlinear control design problems as well.

Guessing based on length functions

Close relationships between guessing functions and length functions are established. Good length functions lead to good guessing functions. In particular, guessing in the increasing order of Lempel-Ziv lengths has certain universality properties for finite-state sources. As an application, these results show that hiding the parameters of the key-stream generating source in a private key crypto-system may not enhance the privacy of the system, the privacy level being measured by the difficulty in brute-force guessing of the key stream.

New rational interpolation functions for finite element analysis of rotating beams

A rotating beam finite element in which the interpolating shape functions are obtained by satisfying the governing static homogenous differential equation of Euler–Bernoulli rotating beams is developed in this work. The shape functions turn out to be rational functions which also depend on rotation speed and element position along the beam and account for the centrifugal stiffening effect. These rational functions yield the Hermite cubic when rotation speed becomes zero. The new element is applied for static and dynamic analysis of rotating beams. In the static case, a cantilever beam having a tip load is considered, with a radially varying axial force. It is found that this new element gives a very good approximation of the tip deflection to the analytical series solution value, as compared to the classical finite element given by the Hermite cubic shape functions. In the dynamic analysis, the new element is applied for uniform, and tapered rotating beams with cantilever and hinged boundary conditions to determine the natural frequencies, and the results compare very well with the published results given in the literature.

Novel window functions for digital filters

Window technique is one of the simplest methods to design Finite Impulse Response (FIR) filters. It uses special functions to truncate an infinite sequence to a finite one. In this paper, we propose window techniques based on integer sequences. The striking feature of the proposed work is that it overcomes all the problems posed by floating point numbers and inaccuracy, as the sequences are made of only integers. Some of these integer window sequences, yield sharp transition, while some of them result in zero ripple in passband and stopband.

Stiff-String Basis Functions for Vibration Analysis of High Speed Rotating Beams

A new rotating beam finite element is developed in which the basis functions are obtained by the exact solution of the governing static homogenous differential equation of a stiff string, which results from an approximation in the rotating beam equation. These shape functions depend on rotation speed and element position along the beam and account for the centrifugal stiffening effect. Using this new element and the Hermite cubic finite element, a convergence study of natural frequencies is performed, and it is found that the new element converges much more rapidly than the conventional Hermite cubic element for the first two modes at higher rotation speeds. The new element is also applied for uniform and tapered rotating beams to determine the natural frequencies, and the results compare very well with the published results given in the literature.

Time and Energy Complexity of Distributed Computation of a Class of Functions in Wireless Sensor Networks

We consider a scenario in which a wireless sensor network is formed by randomly deploying n sensors to measure some spatial function over a field, with the objective of computing a function of the measurements and communicating it to an operator station. We restrict ourselves to the class of type-threshold functions (as defined in the work of Giridhar and Kumar, 2005), of which max, min, and indicator functions are important examples: our discussions are couched in terms of the max function. We view the problem as one of message-passing distributed computation over a geometric random graph. The network is assumed to be synchronous, and the sensors synchronously measure values and then collaborate to compute and deliver the function computed with these values to the operator station. Computation algorithms differ in (1) the communication topology assumed and (2) the messages that the nodes need to exchange in order to carry out the computation. The focus of our paper is to establish (in probability) scaling laws for the time and energy complexity of the distributed function computation over random wireless networks, under the assumption of centralized contention-free scheduling of packet transmissions. First, without any constraint on the computation algorithm, we establish scaling laws for the computation time and energy expenditure for one-time maximum computation. We show that for an optimal algorithm, the computation time and energy expenditure scale, respectively, as Theta(radicn/log n) and Theta(n) asymptotically as the number of sensors n rarr infin. Second, we analyze the performance of three specific computation algorithms that may be used in specific practical situations, namely, the tree algorithm, multihop transmission, and the Ripple algorithm (a type of gossip algorithm), and obtain scaling laws for the computation time and energy expenditure as n rarr infin. In particular, we show that the computation time for these algorithms scales as Theta(radicn/lo- g n), Theta(n), and Theta(radicn log n), respectively, whereas the energy expended scales as , Theta(n), Theta(radicn/log n), and Theta(radicn log n), respectively. Finally, simulation results are provided to show that our analysis indeed captures the correct scaling. The simulations also yield estimates of the constant multipliers in the scaling laws. Our analyses throughout assume a centralized optimal scheduler, and hence, our results can be viewed as providing bounds for the performance with practical distributed schedulers.

Synthesis, Characterization and Evaluation of Cytotoxicity of New Aminophosphonic Acid Diesters in Human Leukemia Cells

A series of novel fluoroaminophosphates 4a-4j were synthesized by one-pot method in presence of tetramethylguanidine (TMG) as a catalyst and were characterized by elemental analysis, FTIR, H-1, C-13, P-31, F-19 NMR, and mass spectra. All the title compounds were evaluated forin vitro cytotoxicity against leukemic cell line derived from T-cells of leukemia patient (CEM cells) by Trypan blue exclusion and MTT assays, and these were found to exert concentration dependent cytotoxic effects. Among them 4f, 4g & 4j possessed marked cytotoxicity. 4g (with IC50 value of 6 mu M) had emerged as lead compound.

Heat-shock protein 70-2 (HSP70-2) expression in bladder urothelial carcinoma is associated with tumour progression and promotes migration and invasion

Purpose: Testis specific heat-shock protein 70-2 (HSP70-2), a member of HSP70 chaperone family, is essential for the growth of spermatocytes and cancer cells. We investigated the association of HSP70-2 expression with clinical behaviour and progression of urothelial carcinoma of bladder. Experimental design: We assessed the HSP70-2 expression by RT-PCR and HSP70-2 protein expression by immunofluorescence, flow cytometry, immunohistochemistry and Western blotting in urothelial carcinoma patient specimens and HTB-1, UMUC-3, HTB-9, HTB-2 and normal human urothelial cell lines. Further, to investigate the role of HSP70-2 in bladder tumour development, HSP70-2 was silenced in the high-grade invasive HTB-1 and UMUC-3 cells. The malignant properties of urothelial carcinoma cells were examined using colony formation, migration assay, invasion assay in vitro and tumour growth in vivo. Results: Our RT-PCR analysis and immunohistochemistry analysis revealed that HSP70-2 was expressed in both moderate to well-differentiated and high-grade invasive urothelial carcinoma cell lines studied and not in normal human urothelial cells. In consistence with these results, HSP70-2 expression was also observed in superficially invasive (70%) and muscle-invasive (90%) patient's tumours. Furthermore, HSP70-2 knockdown significantly suppressed cellular motility and invasion ability. An in vivo xenograft study showed that inhibition of HSP70-2 significantly suppressed tumour growth. Conclusions: In conclusion, our data suggest that the HSP70-2 expression is associated with early spread and progression of urothelial carcinoma of bladder cancer and that HSP70-2 can be the potential therapeutic target for bladder urothelial carcinoma. (C) 2009 Elsevier Ltd. All rights reserved.

Force constants and thermodynamic functions of iodine heptafluoride

Normal coordinate analysis of a molecule of the type XY7 (point group D5h) has been carried out using Wilson's FG, matrix method and the results have been utilized to calculate the force constants of IF7 from the available Raman and infrared data. Some of the assignments made previously by Lord and others have been revised and with the revised assignments the thermodynamic quantities of IF7 have been computed from 300°K to 1000°K under rigid rotator and harmonic oscillator approximation.

Potential functions for hydrogen bond interactions - III. Empirical Potential Function for the Peptide N-H...O=C Hydrogen Bond

A careful comparison of the distribution in the (R, θ)-plane of all NH ... O hydrogen bonds with that for bonds between neutral NH and neutral C=O groups indicated that the latter has a larger mean R and a wider range of θ and that the distribution was also broader than for the average case. Therefore, the potential function developed earlier for an average NH ... O hydrogen bond was modified to suit the peptide case. A three-parameter expression of the form {Mathematical expression}, with △ = R - Rmin, was found to be satisfactory. By comparing the theoretically expected distribution in R and θ with observed data (although limited), the best values were found to be p1 = 25, p3 = - 2 and q1 = 1 × 10-3, with Rmin = 2·95 Å and Vmin = - 4·5 kcal/mole. The procedure for obtaining a smooth transition from Vhb to the non-bonded potential Vnb for large R and θ is described, along with a flow chart useful for programming the formulae. Calculated values of ΔH, the enthalpy of formation of the hydrogen bond, using this function are in reasonable agreement with observation. When the atoms involved in the hydrogen bond occur in a five-membered ring as in the sequence[Figure not available: see fulltext.] a different formula for the potential function is needed, which is of the form Vhb = Vmin +p1△2 +q1x2 where x = θ - 50° for θ ≥ 50°, with p1 = 15, q1 = 0·002, Rmin = 2· Å and Vmin = - 2·5 kcal/mole. © 1971 Indian Academy of Sciences.