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

[B4O9H2] Cyclic Borate Units as the Building Unit in a Family of Zinc Borate Structures

A solvothermal reaction of ZnO, boric acid (B(OH)(3)), and aliphatic airlines in a water-pyridine mixture gave four zinc borate phases of different dimensionalities: [Zn(B4O8H2)(C3H10N2)], I (one-dimensional); [Zn(B4O8H2)(C3H10N2)] H2O, II (two-dimensional); [Zn(B5O10H3)(C10H24N4)]center dot H2O, III (two-dimensional): and [Zn-2(B8O15H2)(C3H10N2)(2)], IV (three-dimensional). The structures are formed by the connectivity involving polyborate chains and layers with Zn2+ species. In all the compounds, the amine molecules act its file ligand binding either the same or different zn centers. The formation of two different structures, II and IV, from the same amine by varying the reaction time is noteworthy. Transformation studies on II indicate that the formation of IV. from II, is facile and has been investigated for the first time. Two of file compounds, I and III, exhibit activity for second-order nonlinear optical behavior. The UV exposure of the sample indicates the absorption of all the UV radiation suggesting that the zinc borate compounds could be exploited for UV-blocking applications. The compounds have been characterized by powder X-ray diffraction, infrared spectroscopy, thermogravimetric analysis, UV-vis, photoluminescence, and NMR studies.

The homologous recombination system of phage lambda. Pairing activities of beta protein

The red genes of phage lambda specify two proteins, exonuclease and beta protein, which are essential for its general genetic recombination in recA- cells. These proteins seem to occur in vivo as an equimolar complex. In addition, beta protein forms a complex with another polypeptide, probably of phage origin, of Mr 70,000. The 70-kDa protein appears to be neither a precursor nor an aggregated form of either exonuclease or beta protein, since antibodies directed against the latter two proteins failed to react with 70-kDa protein on Ouchterlony double diffusion analysis. beta protein promotes Mg2+-dependent renaturation of complementary strands (Kmiec, E., and Holloman, W. K. (1981) J. Biol. Chem. 256, 12636-12639). To look for other pairing activities of beta protein, we developed methods of purification to free it of associated exonuclease. Exonuclease-free beta protein appeared unable to cause the pairing of a single strand with duplex DNA; however, like Escherichia coli single strand binding protein (SSB), beta protein stimulated formation of joint molecules by recA protein from linear duplex DNA and homologous circular single strands. Like recA protein, but unlike SSB, beta protein promoted the joining of the complementary single-stranded ends of phage lambda DNA. beta protein specifically protected single-stranded DNA from digestion by pancreatic DNase. The half-time for renaturation catalyzed by beta protein was independent of DNA concentration, unlike renaturation promoted by SSB and spontaneous renaturation, which are second order reactions. Thus, beta protein resembles recA protein in its ability to bring single-stranded DNA molecules together and resembles SSB in its ability to reduce secondary structure in single-stranded DNA.

Abatement of fluoride from water using manganese dioxide-coated activated alumina

Batch adsorption of fluoride onto manganese dioxide-coated activated alumina (MCAA) has been studied. Adsorption experiments were carried out at various pH (3–9), time interval (0–6 h), adsorbent dose (1–16 g/l), initial fluoride concentration (1–25 mg/l) and in the presence of different anions. Adsorption isotherms have been modeled using Freundlich, Langmuir and Dubinin–Raduskevich isotherms and adsorption followed Langmuir isotherm model. Kinetic studies revealed that the adsorption followed second-order rate kinetics. MCAA could remove fluoride effectively (up to 0.2 mg/l) at pH 7 in 3 h with 8 g/l adsorbent dose when 10 mg/l of fluoride was present in 50 ml of water. In the presence of other anions, the adsorption of fluoride was retared. The mechanism of fluoride uptake by MCAA is due to physical adsorption as well as through intraparticle diffusion which was confirmed by kinetics, Dubinin–Raduskevich isotherm, zeta-potential measurements and mapping studies of energy-dispersive analysis of X-ray.

Boundary-layer effects on internal flow choking in dual-thrust solid rocket motors

Theoretical studies have been carried out to examine internal flow choking in the inert simulators of a dual-thrust motor. Using a two-dimensional k-omega turbulence model, detailed parametric studies have been carried out to examine aerodynamic choking and the existence of a fluid throat at the transition region during the startup transient of dual-thrust motors. This code solves standard k-omega turbulence equations with shear flow corrections using a coupled second-order-implicit unsteady formulation. In the numerical study, a fully implicit finite volume scheme of the compressible, Reynolds-averaged, Navier-Stokes equations is employed. It was observed that, at the subsonic inflow conditions, there is a possibility of the occurrence of internal flow choking in dual-thrust motors due to the formation of a fluid throat at the beginning of the transition region induced by area blockage caused by boundary-layer-displacement thickness. It has been observed that a 55% increase in the upstream port area of the dual-thrust motor contributes to a 25% reduction in blockage factor at the transition region, which could negate the internal How choking and supplement with an early choking of the dual-thrust motor nozzle. If the height of the upstream port relative to the motor length is too small, the developing boundary layers from either side of the port can interact, leading to a choked,flow. On the other hand, if the developing boundary layers are far enough apart, then choking does not occur. The blockage factor is greater in magnitude for the choked case than for the unchoked case. More tangible explanations are presented in this paper for the boundary-layer blockage and the internal flow choking in dual-thrust motors, which hitherto has been unexplored.

Charge transport in a Tomonaga-Luttinger liquid: Effects of pumping and bias

We study the current produced in a Tomonaga-Luttinger liquid by an applied bias and by weak, pointlike impurity potentials which are oscillating in time. We use bosonization to perturbatively calculate the current up to second order in the impurity potentials. In the regime of small bias and low pumping frequency, both the dc and ac components of the current have power-law dependences on the bias and pumping frequencies with an exponent 2K-1 for spinless electrons, where K is the interaction parameter. For K < 1/2, the current grows large for special values of the bias. For noninteracting electrons with K=1, our results agree with those obtained using Floquet scattering theory for Dirac fermions. We also discuss the cases of extended impurities and of spin-1/2 electrons.

Amine-Templated Aluminoborates Exhibiting Graphite and Diamond Nets

A solvothermal reaction of Al2O3, H3BO3, pyridine, and H2O at 180 degrees C/7 days in the presence of organic amine molecules gave rise to four new aluminoborates, [(C6H18N2)(AlB6O13H3)], I; [(C5H16N2) (AlB5O10)]center dot 2H(2)O, II; [(C5H16N2)-(AlB5O10)], III; and [(C5H17N3)(AlB5O10)] center dot H2O, IV, with two- and three-dimensional structures. All the structures have been formed by the connectivity involving Al3+ ions and [B5O10] cyclic pentaborate units. In 1, the 3-connected trigonal nodes form a layer that resembles a graphite structure has been observed. The compounds II, III, and IV, have 4-connected nodes that forms a diamond related three-dimensional structure. The formation of solvatomorphs in II and III is noteworthy and has been observed first time in a family of amine template aluminoborates. A comparison of the various aluminoborate structures reveals subtle relationships between the organic amines (length of the amines) and the final framework structures. The compounds have been characterized using a variety of techniques including IR, second-order optical behavior, and MAS NMR studies.

Network flow-control using asynchronous stochastic approximation

We propose several stochastic approximation implementations for related algorithms in flow-control of communication networks. First, a discrete-time implementation of Kelly's primal flow-control algorithm is proposed. Convergence with probability 1 is shown, even in the presence of communication delays and stochastic effects seen in link congestion indications. This ensues from an analysis of the flow-control algorithm using the asynchronous stochastic approximation (ASA) framework. Two relevant enhancements are then pursued: a) an implementation of the primal algorithm using second-order information, and b) an implementation where edge-routers rectify misbehaving flows. Next, discretetime implementations of Kelly's dual algorithm and primaldual algorithm are proposed. Simulation results a) verifying the proposed algorithms and, b) comparing the stability properties are presented.

Quantum spin nematics, dimerization, and deconfined criticality in Quasi-1D spin-one magnets

We study theoretically the destruction of spin nematic order due to quantum fluctuations in quasi-one-dimensional spin-1 magnets. If the nematic ordering is disordered by condensing disclinations, then quantum Berry phase effects induce dimerization in the resulting paramagnet. We develop a theory for a Landau-forbidden second order transition between the spin nematic and dimerized states found in recent numerical calculations. Numerical tests of the theory are suggested.

Phases and transitions in the spin-1 Bose-Hubbard model: Systematics of a mean-field theory

We generalize the mean-field theory for the spinless Bose-Hubbard model to account for the different types of superfluid phases that can arise in the spin-1 case. In particular, our mean-field theory can distinguish polar and ferromagnetic superfluids, Mott insulator, that arise at integer fillings at zero temperature, and normal Bose liquids into which the Mott insulators evolve at finite temperatures. We find, in contrast to the spinless case, that several of the superfluid-Mott insulator transitions are of first order at finite temperatures. Our systematic study yields rich phase diagrams that include first-order and second-order transitions and a variety of tricritical points. We discuss the possibility of realizing such phase diagrams in experimental systems.

Predicting spin of compact objects from their QPOs: A global QPO model

We establish a unified model to explain Quasi-Periodic-Oscillation (QPO) observed from black hole and neutron star systems globally. This is based on the accreting systems thought to be damped harmonic oscillators with higher order nonlinearity. The model explains multiple properties parallelly independent of the nature of the compact object. It describes QPOs successfully for several compact sources. Based on it, we predict the spin frequency of the neutron star Sco X-1 and the specific angular momentum of black holes GRO J1655-40, GRS 1915+105.

On Guo and Nixon's Criterion for Feature Subset Selection: Assumptions, Implications,and Alternative Options

Guo and Nixon proposed a feature selection method based on maximizing I(x; Y),the multidimensional mutual information between feature vector x and class variable Y. Because computing I(x; Y) can be difficult in practice, Guo and Nixon proposed an approximation of I(x; Y) as the criterion for feature selection. We show that Guo and Nixon's criterion originates from approximating the joint probability distributions in I(x; Y) by second-order product distributions. We remark on the limitations of the approximation and discuss computationally attractive alternatives to compute I(x; Y).

Adsorption of anionic dyes on chitosan grafted poly(alkyl methacrylate)s

Chitosan grafted poly(alkyl methacrylate)s (namely chitosan grafted poly(methyl methacrylate) (ChgPMMA), chitosan grafted poly(ethyl methacrylate)(ChgPEMA), chitosan grafted poly(butyl methacrylate) (ChgPBMA) and chitosan grafted poly(hexyl methacrylate) (ChgPHMA)) were synthesized and characterized by using FT-IR and C-13 NMR techniques. The adsorption batch experiments on these grafted copolymers were conducted by using an anionic sulfonated dye. Orange-G. A pseudo-second-order kinetic model was used to determine the kinetics of adsorption. The effect of grafting, effect of process variables and the effect of different sulfonated anionic dyes (Orange-C, Congo Red, Remazol Brill Blue R and Methyl Blue) on the adsorption kinetics was determined. The Langmuir and Freundlich models were used to fit the adsorption isotherms and from the values of correlation coefficients (R-2), it was observed that the experimental data fits very well to the Langmuir model. The values of the maximum adsorption capacity of the adsorbents follow the order: ChgPMMA > ChgPEMA > ChgPBMA > ChgPHMA > chitosan. (C) 2010 Elsevier B.V. All rights reserved.

Spectral and kinetic characterization of 7,8-diaminopelargonic acid synthase from Mycobacterium tuberculosis

The indispensability of biotin for crucial processes like lipid biosynthesis coupled to the absence of the biotin biosynthesis pathway in humans make the enzymes of this pathway, attractive targets for development of novel drugs against numerous pathogens including M. tuberculosis. We report the spectral and kinetic characterization of the Mycobacterium tuberculosis 7,8-Diamino-pelargonic acid (DAPA) synthase, the second enzyme of the biotin biosynthesis pathway. In contrast to the E. coli enzyme, no quinonoid intermediate was detected during the steady state reaction between the enzyme and S-adenosyl-L-methionine (SAM). The second order rate constant for this half of the reaction was determined to be 1.75 +/- 0.11 M-1 s(-1). The K-m values for 7-keto-8-aminopelargonic acid (KAPA) and SAM are 2.83 mu M and 308.28 mu M, respectively whereas the V-max and k(cat) values for the enzyme are 0.02074 mu moles/min/ml and 0.003 s(-1), respectively. Our initial studies pave the way for further detailed mechanistic and kinetic characterization of the enzyme.

Thermodynamic and kinetic studies on the mechanism of binding of methylumbelliferyl glycosides to jacalin

The binding of Artocarpus integrifolia lectin (jacalin) to 4-methylumbelliferyl (Meumb)-glycosides, Gal alpha Meumb, Gal beta Meumb, GalNAc alpha Meumb, GalNAc beta-Meumb, and Gal beta 3GalNAc beta Meumb was examined by extrinsic fluorescence quenching titration and stopped flow spectrofluorimetry. The binding was characterized by 100% quenching of fluorescence of Meumb-glycosides. Their association constants range from 2.0 x 10(4) to 1.58 x 10(6) M-1 at 15 degrees C. Entropic contribution is the major stabilizing force for avid binding of Meumb-glycosides indicating the existence of a hydrophobic site that is complementary to their methylumbelliferyl group. The second order association rate constants for interaction of these sugars with lectin at 15 degrees C vary from 8.8 x 10(5) to 3.24 x 10(6) M-1 S-1, at pH 7.2. The first order dissociation rate constants range from 2.30 to 43.0 S-1 at 15 degrees C. Despite the differences in their association rate constants, the overall values of association constants for these saccharides are determined by their dissociation rate constants. The second order rate constant for the association of Meumb-glycosides follows a pattern consistent with the magnitude of the activation energies involved therin. Activation parameters for association of all ligands illustrate that the origin of the barrier between binding of jacalin to Meumb-glycosides is entropic, and the enthalpic contribution is small. A correlation between these parameters and the structure of the ligands on the association rates underscores the importance of steric factors in determining protein saccharide recognitions.