Counter-free input-determined timed automata

We identify a class of timed automata, which we call counter-free input-determined automata, which characterize the class of timed languages definable by several timed temporal logics in the literature, including MTL. We make use of this characterization to show that MTL+Past satisfies an “ultimate stability” property with respect to periodic sequences of timed words. Our results hold for both the pointwise and continuous semantics. Along the way we generalize the result of McNaughton-Papert to show a counter-free automata characterization of FO-definable finitely varying functions.

Iodine-Catalyzed Amination of Benzoxazoles: A Metal-Free Route to 2-Aminobenzoxazoles under Mild Conditions

A facile metal-free route of oxidative amination of benzoxazole by activation of C-H bonds with secondary or primary amines in the presence of catalytic iodine in aqueous tert-butyl hydroperoxide proceeds smoothly at ambient temperature under neat reaction condition to furnish the high yield of the aminated product. This user-friendly method to form C-N bonds produces tertiary butanol and water as the byproduct, which are environmentally benign. The application of the methodology is demonsrated by synthesizing therapeutically active benzoxazoles.

Evolution of crystallinity of free gold agglomerates and shape transformation

We report the shape evolution of free gold agglomerates with different morphologies that transform to ellipsoidal and then to spherical shapes during the heating cycle. The shape transformation is associated with a structural transition from polycrystalline to single crystalline. The structural transition temperature is shown to be dependent on the final size of the particles and not on the initial morphologies of the agglomerates. It is also shown that the transition occurs well below the melting temperature which is in contrast with the melt-freeze process reported in the literature.

Transient electric field distribution within the working volume of an NEMP simulator

Nuclear electro-magnetic pulse (NEMP) simulators which are used in the simulation of transient electromagnetic fields due to a high altitude nuclear detonation are generally excited with a double exponential high voltage pulse. This results in a current distribution on the wires of the simulator and hence a transient electric field in the working volume of the simulator where the test object is kept. It is found that for the simulator under study, the current distribution is non-uniform and so is the field distribution along the width of the simulator in the working volume. To make the current distribution uniform, several methods have been suggested and the results of these methods are analyzed and suitable conclusions are arrived at from those results.

Sol-Gel Transition in Dispersions of Layered Double-Hydroxide Nanosheets

Surfactant-intercalated layered double-hydroxide solid Mg-Al LDH-dodecyl sulfate (DDS) undergoes rapid and facile delamination to its ultimate constituent, single sheets of nanometer thickness and micrometer size, in a nonpolar solvent such as toluene to form stable dispersions. The delaminated nanosheets are electrically neutral because the surfactant chains remain tethered to the inorganic layer even on exfoliation. With increasing volume fraction of the solid, the dispersion transforms from a free-flowing sol to a solidlike gel. Here we have investigated the sol-gel transition in dispersions of the hydrophobically modified Mg-Al LDH-DDS in toluene by rheology, SAXS, and (1)H NMR measurements. The rheo-SAXS measurements show that the sharp rise in the viscosity of the dispersion during gel formation is a consequence of a tactoidal microstructure formed by the stacking of the nanosheets with an intersheet separation of 3.92 nm. The origin and nature of the attractive forces that lead to the formation of the tactoidal structure were obtained from 1D and 2D (1)H NMR measurements that provided direct evidence of the association of the toluene solvent molecules with the terminal methyl of the tethered DDS surfactant chains. Gel formation is a consequence of the attractive dispersive interactions of toluene molecules with the tails of DDS chains anchored to opposing Mg-Al LDH sheets. The toluene solvent molecules function as molecular ``glue'' holding the nanosheets within the tactoidal microstructure together. Our study shows how rheology, SAXS, and NMR measurements complement each other to provide a molecular-level description of the sol-gel transition in dispersions of a hydrophobically modified layered double hydroxide.

Docking and free energy simulations to predict conformational domains involved in hCG-LH receptor interactions using recombinant antibodies

Single chain fragment variables (ScFvs) have been extensively employed in studying the protein-protein interactions. ScFvs derived from phage display libraries have an additional advantage of being generated against a native antigen, circumventing loss of information on conformational epitopes. In the present study, an attempt has been made to elucidate human chorionic gonadotropin (hCG)-luteinizing hormone (LH) receptor interactions by using a neutral and two inhibitory ScFvs against hCG. The objective was to dock a computationally derived model of these ScFvs onto the crystal structure of hCG and understand the differential roles of the mapped epitopes in hCG-LH receptor interactions. An anti-hCG ScFv, whose epitope was mapped previously using biochemical tools, served as the positive control for assessing the quality of docking analysis. To evaluate the role of specific side chains at the hCG-ScFv interface, binding free energy as well as residue interaction energies of complexes in solution were calculated using molecular mechanics Poisson-Boltzmann/surface area method after performing the molecular dynamic simulations on the selected hCG-ScFv models and validated using biochemical and SPR analysis. The robustness of these calculations was demonstrated by comparing the theoretically determined binding energies with the experimentally obtained kinetic parameters for hCG-ScFv complexes. Superimposition of hCG-ScFv model onto a model of hCG complexed with the 51-266 residues of LH receptor revealed importance of the residues previously thought to be unimportant for hormone binding and response. This analysis provides an alternate tool for understanding the structure-function analysis of ligand-receptor interactions. Proteins 2011;79:3108-3122. (C) 2011 Wiley-Liss, Inc.

Gibbs free energies of formation of ZnAl2O4 and ZnCr2O4

The standard free energies of formation of zinc aluminate and chromite were determined by measuring the oxygen potential over a solid CuZn alloy, containing 10 at.−% Zn, in equilibrium with ZnO, ZnAl2O4+Al2O3(χ) and ZnCr2O4+Cr2O3, in the temperature range 700–900°C. The oxygen potential was monitored by means of a solid oxide galvanic cell in which a Y2O3 ThO2 pellet was sandwiched between a CaOZrO2 crucible and tube. The temperature dependence of the free energies of formation of the interoxidic compounds can be represented by the equations, The heat of formation of the spinels calculated from the measurements by the “Second Law method” is found to be in good agreement with calorimetrically determined values. Using an empirical correlation for the entropy of formation of cubic spinel phases from oxides with rock-salt and corundum structures and the measured high temperature cation distribution in ZnAl2O4, the entropy of transformation of ZnO from wurtzite to rock-salt structure is evaluated.

Potentiometric determination of the Gibbs free energy of formation of cadmium and magnesium chromites

The standard Gibbs free energy of formation of magnesium and cadmiumchromites have been determined by potentiometric measurements on reversiblesolid-state electrochemical cells [dformula (Au-5%Cd, , Au-5%Cd; Pt, + , CaO-ZrO[sub 2], + ,Pt; CdO, , CdCr[sub 2]O[sub 4] + Cr[sub 2]O[sub 3])] in the temperature range 500°–730°C, and [dformula Pt, Cr + Cr[sub 2]O[sub 3]/Y[sub 2]O[sub 3]-ThO[sub 2]/Cr + MgCr[sub 2]O[sub 4] + MgO, Pt] in the temperature range 800°–1200°C. The temperature dependence of the freeenergies of formation of the ternary compounds can be represented by theequations [dformula CdO(r.s.) + Cr[sub 2]O[sub 3](cor) --> CdCr[sub 2]O[sub 4](sp)] [dformula Delta G[sup 0] = - 42,260 + 7.53T ([plus-minus]400) J] and [dformula MgO(r.s.) + Cr[sub 2]O[sub 3](cor) --> MgCr[sub 2]O[sub 4](sp)] [dformula Delta G[sup 0] = - 45,200 + 5.36T ([plus-minus]400) J] The entropies of formation of these spinels are discussed in terms of cationdisorder and extent of reduction of Cr3+ ions to Cr2+ ions. Thermodynamicdata on the chromates of cadmium and magnesium are derived by combiningthe results obtained in this study with information available in the literatureon high temperature, high pressure phase equilibria in the systems CdO-Cr2O3-O2 and MgO-Cr2O3-O2.

Gibbs free energy of formation of magnesium stannate

he thermodynamic properties of the spinel Mg2SnO4 have been determined by emf measurements on the solid oxide galvanic cell,View the MathML source in the temperature range 600 to 1000°C. The Gibbs' free energy of formation of Mg2SnO4 from the component oxides can be expressed as View the MathML source,View the MathML source These values are in good agreement with the information obtained by Jackson et al. [Earth Planet. Sci. Lett.24, 203 (1974)] on the high pressure decomposition of magnesium stannate into component oxides at different temperatures. The thermodynamic data suggest that the spinel phase is entropy stabilized, and would be unstable below 207 (±25)°C at atmospheric pressure. Based on the information obtained in this study and trends in the stability of aluminate and chromite spinels, it can be deduced that the stannates of nickel and copper(II) are unstable.

Gibbs free energies of formation of indium (III) oxide and sulphate

Emf measurements on the galvanic cell Pt, Ta, In + In,O, / Tho,-Y,03 / Cu + C+O, Pt were used to obtain the standard free energy of formation of 1%03fr om 600 to 900°C. Differential thermal analysis was used to detect the decomposition of In2(S0,), under controlled SO2 + O2 + Ar mixtures in thqtemperature range 640-8wC. X-ray diffraction analysis indicated that the decomposition product was 1%03 without an oxywlphate intermediate. The following equations were obtained for the variation of the standard free-energy change(Jlmole) with temperature:

Solubility and activity of oxygen in liquid antimony

The solubility limit of oxygen in liquid antimony has been measured by a novel isopiestic technique in the temperature range 995--1175 deg K. The results can be expressed by the equation log c = --5500/T + 3.754 ( plus/minus 0.04) with c in at.% O and T in deg K. The oxygen potential over Sb + O alloys equilibrium with Sb2O3 has been measured by a solid state cell using a fully stabilized CaO.ZrO2 electrolyte. The cell was designed to contain the Sb + Sb2O3 mixture in a closed volume, that the vaporization of the oxide can be minimized and true equilibrium attained. The Gibbs free energy of the reaction 2 Sb(s) + 3/2 O2 = Sb2O3(s) is Delta G deg = --719560 + 274.51 T( plus/minus 500) and Sb(l) + 3/2 O2 = Sb2O3(l), Delta G deg = --704711 + ( plus/minus 500) ( Delta G deg in J/mole, T in deg K). The combination of these results with Sieverts' law yields the standard free energy of solution of oxygen in liquid antimony according to the reaction 1/2 O2 = \O\Sb,at.% as Delta G deg = --129620 + 14.23 T ( plus/minus 950). The standard enthalopy and entropy of the solution of oxygen in Sb are compared with values for other metal- oyxgen systems, and with the standard enthalpies of formation of corresponding oxides. The resulting correlations permit the estimation of the standard free energy of solution of oxygen in pure metals for which experimental information is lacking. 24 ref.--AA