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.

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:

Highly efficient dialkylphosphate-mediated syntheses of hydantoins and a bicyclohydantoin under solvent-free conditions

Diversely substituted hydantoins have been synthesized by new strategy from cyanamide based precursor, that is, methyl N-cyano-N-alkyl/arylaminoacetate. Dialkylphosphates were employed as the mild reagent to hydrolyze and cyclize the substrate in one step to give quantitative yields of the desired products. Syntheses of multivalent hydantoins viz bis-hydantoin, bicyclohydantoin have potentially widened the scope and applicability of the present method. Solvent-free conditions and very easy work-up procedure make the reaction convenient and eco-friendly. Single crystal structures of some of the representative compounds are also reported. (C) 2011 Elsevier Ltd. All rights reserved.

Gibbs’ free energies of formation of Cu2Ln2O5 (Ln = Tb, Dy, Er, Yb) compounds

The standard Gibbs' free energies of formation of compounds of type Cu2L%05 (Ln = Tb,Dy,Er,Yb) were measured using the solid state cell in the temperature range of 970 to 1323 K For formation of Cu2L?O5 compounds from their binary component oxides according to the reaction 2 CUO (s) + L%03 (s) -, Cu,,L%05 (s),the Gibbs' free energy changes can be represented by the following equations:AGO = 13 080 - 13.70 'I" (+80) J mol-' (Ln = Tb)AGq = 11 480 - 13.51 T (260) J mol-I (Ln = Dy)AGO = 10 750 - 13.99 T (260) J mol-I (Ln = Er)AGO = 9 920 - 13.90 T (260) J mol-' (Ln = Yb) Since formation of the compounds is endothermic, the compounds become thermodynamically unstable with respect to their component oxides below 955 K for Cu2Tb205, 850 K for Cu2Dy205, 768 K for Cu2Er205 and 714 K for Cu2Yb2OS When the oxygen partial pressure over Cu2L%05 is lowered, they decompose according to the scheme, 2 CU,L%O, (s) -r 2 L%03 (s) +2 cu20 (s) + 02(g)The equilibrium chemical potentials of oxygen corresponding to the dissociation reactions are computed from the emf data and auxiliary information on Cu20 and CuO. The computed decomposition temperatures at an oxygen partial pressure of 5.0 x ld Pa are compared with those obtained directly from combined thermogravimetric (TGA) and differential thermal analyses (DTA).The free energy, enthalpy and entropy of formation of Cu2Ln205 compounds show systematic variation with the ionic radius of the trivalent lanthanide ion. The trends obtained in this study are compared with information available in the literature. The staZbility of Cu2Ln205 compounds increases with the decrease in ionic radii of the ~ n ion~. +

Temperature dependence of the energy gap and free carrier absorption in bulk InAs0.05Sb0.95 single crystals

Temperature dependence of the energy gap and free carrier absorption in a high-quality InAs0.05Sb0.95 single crystal was studied between 90 K and 430 K through the absorption spectra. At this alloy concentration, the room-temperature energy gap was measured to be 0.15 eV. Varshni- and the Bose–Einstein-type fit parameters were obtained from the measured temperature dependence of the energy gap, and the latter gave the zero-temperature gap to be 0.214 eV. It was found that although Weider’s empirical formula for the dependence of the energy gap on temperature and the alloy concentration agrees with the value of the gap at room temperature, it is inaccurate in describing its temperature dependence. From the free carrier absorption measurements, the phonon limited cross section of 7.35×10−16 cm2 at 15 μm was deduced at room temperature.

Influence of two photon absorption induced free carriers on coherent polariton and phonon generation in ZnTe crystals

Combination of femtosecond Kerr, two photon absorption, and impulsive stimulated Raman scattering (ISRS) experiments have been carried out to investigate the effect of pulse energy and crystal temperature on the generation of coherent polaritons and phonons in 〈110〉 cut ZnTe single crystals of three different resistivities. We demonstrate that the effect of two photon induced free carriers on the creation of both the polaritons and phonons is largest at 4 K where the free carrier lifetime is enhanced. The temperature dependant ISRS on high and low purity ZnTe crystals allows us to unambiguously assign the phonon mode at 3.5 THz to the longitudinal acoustic mode at X-point in the Brillouin zone, LA(X).