A functional style of programming with CSP-like communication mechanisms

This paper introduces CSP-like communication mechanisms into Backus’ Functional Programming (FP) systems extended by nondeterministic constructs. Several new functionals are used to describe nondeterminism and communication in programs. The functionals union and restriction are introduced into FP systems to develop a simple algebra of programs with nondeterminism. The behaviour of other functionals proposed in this paper are characterized by the properties of union and restriction. The axiomatic semantics of communication constructs are presented. Examples show that it is possible to reason about a communicating program by first transforming it into a non-communicating program by using the axioms of communication, and then reasoning about the resulting non-communicating version of the program. It is also shown that communicating programs can be developed from non-communicating programs given as specifications by using a transformational approach.

Study of stress Relief Patterns In Diamond-Like Carbon-Films

An optical microscopy study of stress relief patterns in diamondlike carbon films is presented. Interesting stress relief patterns are observed which include the well known sinusoidal type, branching pattern and string of beads pattern. The last one is shown to relieve stresses under marginal conditions. Two new stress relief patterns are noted in the present study. One of them is of a sinusoidal shape with two extra branches at every peak position. The distribution of different stress relief forms from the outer edge of the films towards the interior is markedly dependent on film thickness. Our new patterns support the approach in which the stress relief forms have been analysed earlier using the theory of plate buckling.

Synthesis and characterization of spherical and rod like nanocrystalline Nd2O3 phosphors

Spherical and rod like nanocrystalline Nd2O3 phosphors have been prepared by solution combustion and hydrothermal methods respectively The Powder X-ray diffraction (PXRD) results confirm that hexagonal A-type Nd2O3 has been obtained with calcination at 900 C for 3 h and the lattice parameters have been evaluated by Rietveld refinement Surface morphology of Nd2O3 phosphors show the formation of nanorods in hydrothermal synthesis whereas spherical particles in combustion method TEM results also confirm the same Raman studies show major peaks which are assigned to F-g and combination of A(g) + E-g modes The PL spectrum shows a series of emission bands at similar to 326-373 nm (UV) 421-485 nm (blue) 529-542 nm (green) and 622 nm (red) The UV blue green and red emission in the PL spectrum indicates that Nd2O3 nanocrystals are promising for high performance materials and white light emitting diodes (LEDs) (C) 2010 Elsevier B V All rights reserved

Phenomenological Ginzburg-Landau-like theory for superconductivity in the cuprates

We propose and develop here a phenomenological Ginzburg-Landau-like theory of cuprate high-temperature superconductivity. The free energy of a cuprate superconductor is expressed as a functional F of the complex spin-singlet pair amplitude psi(ij) equivalent to psi(m) = Delta(m) exp(i phi(m)), where i and j are nearest-neighbor sites of the square planar Cu lattice in which the superconductivity is believed to primarily reside, and m labels the site located at the center of the bond between i and j. The system is modeled as a weakly coupled stack of such planes. We hypothesize a simple form FDelta, phi] = Sigma(m)A Delta(2)(m) + (B/2)Delta(4)(m)] + C Sigma(< mn >) Delta(m) Delta(n) cos(phi(m) - phi(n)) for the functional, where m and n are nearest-neighbor sites on the bond-center lattice. This form is analogous to the original continuum Ginzburg-Landau free-energy functional; the coefficients A, B, and C are determined from comparison with experiments. A combination of analytic approximations, numerical minimization, and Monte Carlo simulations is used to work out a number of consequences of the proposed functional for specific choices of A, B, and C as functions of hole density x and temperature T. There can be a rapid crossover of from small to large values as A changes sign from positive to negative on lowering T; this crossover temperature T-ms(x) is identified with the observed pseudogap temperature T*(x). The thermodynamic superconducting phase-coherence transition occurs at a lower temperature T-c(x), and describes superconductivity with d-wave symmetry for positive C. The calculated T-c(x) curve has the observed parabolic shape. The results for the superfluid density rho(s)(x, T), the local gap magnitude , the specific heat C-v(x, T) (with and without a magnetic field), as well as vortex properties, all obtained using the proposed functional, are compared successfully with experiments. We also obtain the electron spectral density as influenced by the coupling between the electrons and the correlation function of the pair amplitude calculated from the functional, and compare the results successfully with the electronic spectrum measured through angle resolved photoemission spectroscopy (ARPES). For the specific heat, vortex structure, and electron spectral density, only some of the final results are reported here; the details are presented in subsequent papers.

Improved mechanical properties of polymer nanocomposites incorporating graphene-like BN: Dependence on the number of BN layers

The mechanical properties of composites of polymethylmethacrylate (PMMA) with two-dimensional graphene-like boron nitride (BN) have been investigated to explore the dependence of the properties on the number of BN layers. This study demonstrates that significantly improved mechanical properties are exhibited by the composite with the fewest number of BN layers. Thus, with incorporation of three BN layers, the hardness and elastic modulus of the composite showed an increase of 125% and 130%, respectively, relative to pure PMMA. (C) 2010 Acta Materialia Inc. Published by Elsevier Ltd. All rights reserved.

Diamond-like carbon coating for optical windows

Hard, low stress diamond-like carbon films have been deposited by plasma assisted chemical vapour deposition technique, The various substrates include soft IR components like ZnS and ZnSe windows, Gaseous precursors such as propene, ethyl alcohol and acetone have been used to synthesize the films to study the nature of precursors in determining the film compatibility with the underlying component (substrate), The residual compressive stresses, the Young's modulus and the adhesion energy of the films have been estimated to be 10(10) dynes/cm(2), 10(10) N/m(2) and 1000 ergs/cm(2) respectively. To alleviate film failure, a study on the effects of additive gases such as hydrogen and the use of buffer layers such as ZrO2, has been undertaken, The diamond-like carbon films produced here are hard (5000 kg/mm(2)), specularly smooth in the wavelength region from 2.5 mu m to 20 mu m, with no microstructural features and have excellent adhesion on ZnS and ZnSe windows. The figure of merit of these films for aero-space applications has been evaluated by subjecting the film-buffer layer ZnS or ZnSe composite stack to wind, dust and rain erosion studies and by establishing the integrity of the specular IR transmittance of the stack upto 16 or 20 mu m as the case may be.

Cardiac remodeling in Drosophila arises from changes in actin gene expression and from a contribution of lymph gland-like cells to the heart musculature

Understanding the basis of normal heart remodeling can provide insight into the plasticity of the cardiac state, and into the potential for treating diseased tissue. In Drosophila, the adult heart arises during metamorphosis from a series of events, that include the remodeling of an existing cardiac tube, the elaboration of new inflow tracts, and the addition of a layer of longitudinal muscle fibers. We have identified genes active in all these three processes, and studied their expression in order to characterize in greater detail normal cardiac remodeling. Using a Transglutaminase-lacZ transgenic line, that is expressed in the inflow tracts of the larval and adult heart, we confirm the existence of five inflow tracts in the adult structure. In addition, expression of the Actin87E actin gene is initiated in the remodeling cardiac tube, but not in the longitudinal fibers, and we have identified an Act87E promoter fragment that recapitulates this switch in expression. We also establish that the longitudinal fibers are multinucleated, characterizing these cells as specialized skeletal muscles. Furthermore, we have defined the origin of the longitudinal fibers, as a subset of lymph gland cells associated with the larval dorsal vessel. These studies underline the myriad contributors to the formation of the adult Drosophila heart, and provide new molecular insights into the development of this complex organ. (C) 2011 Elsevier Ireland Ltd. All rights reserved.

Synthesis of Cuprates of Perovskite Structure in the Ba-Pb-Cu-O, Ba-Bi-Cu-O, and Ba-Pb-Tl-Cu-O Systems: Possible High Tc Superconductivity in a Perovskite-like Phase in the Ba-Pb-Tl-Cu-O System

Cubic cuprates (a not, vert, similar 18.6 Å) with a BaCuO2-type structure were obtained in the Ba-Pb-Cu-O and Ba-Bi-Cu-O systems by the reaction of the component oxides at a high temperature (1370-1420 K), followed by quenching. By annealing these phases in oxygen at 1070-1120 K, perovskite-like phase (a not, vert, similar 4.3 Å) of the formulae BaPb1-xCuxO3-y and BaBi1-xCuxO3-y (0 < x ? 0.5) were obtained. A perovskite of nominal composition BaPb0.25Tl0.25 Cu0.5O3-y, prepared by a similar procedure, was found to be superconducting with a Tc of not, vert, similar 70 K.

Buckling patterns in diamond-like carbon films

An optical microscopy study of stress relief patterns in diamond-like carbon films is presented. Interesting stress relief patterns are observed which include the well-known sinusoidal type, branching pattern and string-of-beads pattern. The last one is shown to relieve stresses under marginal conditions. Two new stress relief patterns are noted in the present study. One of them is of sinusoidal shape with two extra branches at every peak position. The distribution of different stress relief forms from the outer edge of the films towards the interior is markedly dependent on the film thickness. Our new patterns support the approach in which the stress relief forms have been analysed earlier using the theory of plate buckling.

Structural ordering of diamond like carbon films by applied electric field

Diamond like carbon films deposited by RF magnetron sputter deposition technique contain both SP2 and SP3 hybridized carbons. These films are structurally disordered and inhomogeneous. By the application of electric field across the film, these films are transformed to a more orderly structured diamond like carbon, bringing homogenity in the film. This transformation has resulted in the increase of the reflectivity of the metal(Aluminum), which is used as one of the electrodes for applying the electric field, by 5 times.

Lattice model for rapidly folding protein-like heteropolymers

Protein folding is a relatively fast process considering the astronomical number of conformations in which a protein could find itself. Within the framework of a lattice model, we show that one can design rapidly folding sequences by assigning the strongest attractive couplings to the contacts present in a target native state, Our protein design can be extended to situations with both attractive and repulsive contacts. Frustration is minimized by ensuring that all the native contacts are again strongly attractive. Strikingly, this ensures the inevitability of folding and accelerates the folding process by an order of magnitude, The evolutionary implications of our findings are discussed.

Primary structure of a cytotoxin-like basic protein from Naja naja naja (Indian Cobra) venom

The complete amino acid sequence of a cytotoxin-like basic protein (CLBP) from the venom of Naja naja naja (Indian Cobra) was determined by manual degradation using a 4-dimethylaminoazobenzene-4'-isothiocyanate double-coupling method. Peptide fragments obtained by chemical cleavage with cyanogen bromide and enzymic cleavages with trypsin and Staphylococcus aureus proteases for sequence analysis were purified by reversed-phase chromatography. The total number of amino acid residues was 61, with leucine as the C-terminal residue. (C) Munksgaard 1995.