Local and semilocal density functional computations for crystals of 1-alkyl-3-methyl-imidazolium salts

The accuracy and reliability of popular density functional approximations for the compounds giving origin to room temperature ionic liquids have been assessed by computing the T=0 K crystal structure of several 1-alkyl-3-methyl-imidazolium salts. Two prototypical exchange-correlation approximations have been considered, i.e., the local density approximation (LDA) and one gradient corrected scheme [PBE-GGA, Phys. Rev. Lett. 77, 3865 (1996)]. Comparison with low-temperature x-ray diffraction data shows that the equilibrium volume predicted by either approximations is affected by large errors, nearly equal in magnitude (~10%), and of opposite sign. In both cases the error can be traced to a poor description of the intermolecular interactions, while the intramolecular structure is fairly well reproduced by LDA and PBE-GGA. The PBE-GGA optimization of atomic positions within the experimental unit cell provides results in good agreement with the x-ray structure. The correct system volume can also be restored by supplementing PBE-GGA with empirical dispersion terms reproducing the r-6 attractive tail of the van der Waals interactions.

General local and rectilinear vibrational coordinates consistent with Eckart's conditions

We present a general method to construct a set of local rectilinear vibrational coordinates for a nonlinear molecule whose reference structure does not necessarily correspond to a stationary point of the potential-energy surface. We show both analytically and with a numerical example that the vibrational coordinates satisfy Eckart's conditions. In addition, we find that the Watson Hamiltonian provides a fairly robust description even of highly excited vibrational states of triatomic molecules, except for a few states of large amplitude motion sampling the singular region of the Hamiltonian. These states can be identified through slow convergence.

Shell Model Study of Local and Global Energy Barriers in KDP

We perform a study of the energetics of KH2PO4 (KDP) by using a shell model (SM) which was constructed by adjusting the interaction parameters to ab initio calculations, and was fitted to reproduce phonons, polarization-inversion energies and structural properties. We calculate the energy profiles by performing global displacements and local distortions following the ferroelectric (FE) mode pattern in clusters of different sizes embedded in a paraelectric (PE) phase matrix. These properties are expected to be relevant to the PE-FE phase transition. The obtained SM results are compared to corresponding ab initio (AI) data. The global instabilities are found in good agreement for both KDP and DKDP. We also find qualitative good agreement in the KDP structure and even quantitative agreement in the expanded DKDP structure for the local distortions. The SM results reproduce well different trends like increasing instabilities as the cluster sizes grows, as the heavier atoms are included, and as the volume is increased, in accordance with the corresponding data from AI calculations.

Reasoning about orchestrations of web services using partial correctness

A service is a remote computational facility which is made available for general use by means of a wide-area network. Several types of service arise in practice: stateless services, shared state services and services with states which are customised for individual users. A service-based orchestration is a multi-threaded computation which invokes remote services in order to deliver results back to a user (publication). In this paper a means of specifying services and reasoning about the correctness of orchestrations over stateless services is presented. As web services are potentially unreliable the termination of even finite orchestrations cannot be guaranteed. For this reason a partial-correctness powerdomain approach is proposed to capture the semantics of recursive orchestrations.

Multiaxial Deformation of Polyethylene and Polyethylene/Clay Nanocomposites: In Situ Synchrotron Small Angle and Wide Angle X-Ray Scattering Study

A unique in situ multiaxial deformation device has been designed and built specifically for simultaneous synchrotron small angle X-ray scattering (SAXS) and wide angle X-ray scattering (WAXS) measurements. SAXS and WAXS patterns of high-density polyethylene (HDPE) and HDPE/clay nanocomposites were measured in real time during in situ multiaxial deformation at room temperature and at 55 degrees C. It was observed that the morphological evolution of polyethylene is affected by the existence of clay platelets as well as the deformation temperature and strain rate. Martensitic transformation of orthorhombic into monoclinic crystal phases was observed under strain in HDPE, which is delayed and hindered in the presence of clay nanoplatelets. From the SAXS measurements, it was observed that the thickness of the interlamellar amorphous region increased with increasing strain, which is due to elongation of the amorphous chains. The increase in amorphous layer thickness is slightly higher for the nanocomposites compared to the neat polymer. (C) 2011 Wiley Periodicals, Inc. J Polym Sci Part B: Polym Phys 49: 669-677, 2011

Evaluation of hepatic changes and local and systemic immune responses in goats immunized with recombinant Peroxiredoxin (Prx) and challenged with Fasciola hepatica

Protection against Fasciola hepatica in goats immunized with Peroxiredoxin (Prx) was assessed. The experimental trial consisted of three groups of seven animals: group 1 were unimmunized and uninfected, group 2 were immunized with adjuvant only and group 3 were immunized with recombinant Prx in adjuvant (immunized and infected). Immunization with Prx in Quil A adjuvant, group 3, induced a reduction in fluke burden of 33.04% when compared to adjuvant control, group 2, although this difference was not significant. The hepatic gross and microscopical morphometric study revealed lower damage in the Prx-immunized compared to group 2 (p