The thermal stability of AlN

The thermal stability of AlN powders and thin films has been investigated using reflection high-energy electron diffraction (RHEED) and X-ray diffraction. AlN powder was treated thermally and chemically to assess the oxidation resistance of this compound and to identify the phases formed. The results show that AlN is stable up to 1000° C in air and remains stable up to 1400° Cin vacuo. -AIOOH is formed when AlN is treated with water at 100° C but AlN does not react readily with atmospheric moisture at room temperature. The thermal stability of thin films of AlN on GaAs has been evaluated at temperatures between 900 and 1100° C in a nitrogen atomosphere. It was found that AlN did not oxidize under these conditions. Pure AlN is a suitable encapsulant for GaAs at high annealing temperatures in an inert atmosphere.     

Designing autonomous robots

Autonomous robots are complex systems that require the interaction or cooperation of numerous heterogeneous software components. Nowadays, robots are getting closer to humans and as such are becoming critical systems that must meet safety properties including logical, temporal, and real-time constraints.     

Property preserving abstractions for the verification of concurrent systems

We study property preserving transformations for reactive systems. The main idea is the use of simulations parameterized by Galois connections (, ), relating the lattices of properties of two systems. We propose and study a notion of preservation of properties expressed by formulas of a logic, by a function mapping sets of states of a systemS into sets of states of a systemS'. We give results on the preservation of properties expressed in sublanguages of the branching time -calculus when two systemsS andS' are related via (, )-simulations. They can be used to verify a property for a system by verifying the same property on a simpler system which is an abstraction of it. We show also under which conditions abstraction of concurrent systems can be computed from the abstraction of their components. This allows a compositional application of the proposed verification method.This is a revised version of the papers [2] and [16]; the results are fully developed in [28].This work was partially supported by ESPRIT Basic Research Action REACT.Verimag is a joint laboratory of CNRS, Institut National Polytechnique de Grenoble, Université J. Fourier and Verilog SA associated with IMAG.     

Contribution of laser microdissection-based technology to proteomic analysis in hepatocellular carcinoma developing on cirrhosis

Hepatocellular carcinoma (HCC) is a major cause of cancer worldwide. Proteomic studies provide opportunities to uncover targets for the diagnosis and treatment of this disease. However, in HCC developing in a setting of cirrhosis, the detection of proteome alterations may be hampered by the increased cellular heterogeneity of tissue when analysing global liver homogenates. The aim of this study was to evaluate whether the identification of proteome alterations in these HCC cases was improved when the differential protein profile between tumour and non-tumour areas of liver was determined using hepatocytes isolated by laser microdissection (LM). Differential profiles established with LM-hepatocytes and liver section homogenates using 2-DE and MS exhibited noticeable differences: 30% of the protein spots with deregulated expression in tumorous LM-samples did not display any modification in homogenates; conversely 15% of proteins altered in tumorous homogenates were not impaired in LM-hepatocytes. These alterations resulted from the presence in cirrhotic liver of fibrotic stroma which displayed a protein pattern different from that determined in LM-hepatocytes. In conclusion, our data demonstrate the interest of LM in distinguishing between fibrotic and hepatocyte proteome alterations and thus the benefit of LM to proteome studies of HCC developing in a context of cirrhosis.     

Intracellular localization of samarium in the lactating mammary gland cells: ultrastructural and microanalytical study

The frequent use of some rare earths in the medical and industrial domains make us worry about their intracellular behavior into the body. Reason for which we have investigated the subcellular localization of one of these elements, the samarium, in the mammary gland of lactating female wistar rats using two very sensitive methods of observation and microanalysis, the transmission electron microscopy and the secondary ion mass spectrometry. The ultrastructural study showed the presence of electron dense deposits in the lactating mammary glandular epithelial cell lysosomes of the samarium-treated rats, but no loaded lysosomes were observed in those of control rats. The microanalytical study allowed both the identification of the chemical species present in those deposits as samarium isotopes ((152) Sm(+)) and the cartography of its distribution. Our results confirm the previous ones showing that lysosomes of the glandular epithelial cells are the site of the intracellular concentration of foreign elements such as gallium. The intralysosomal deposits observed in the mammary glandular cells of the samarium-treated rats are similar in their form and density to those observed with the same element in other varieties of cells, such as liver, bone marrow, and spleen cells. Our ultrastructural and microanalytical results and those obtained in previous studies allow deducing that the intralysosomal deposits are very probably composed of an insoluble samarium phosphate salt.     

A direct synthetic route to allyl sulfides from cyclic Morita–Baylis–Hillman alcohols

p-TsOH-mediated the direct α-substitution of cyclic Morita–Baylis–Hillman alcohols with aliphatic and aromatic thiols in refluxing THF. The reaction proceeded with complete α-regioselectivity and provided the corresponding allyl sulfides in moderate to good yields.     

CMRH method as iterative solver for boundary element acoustic systems

Disceretization of boundary integral equations leads to complex and fully populated linear systems. One inherent drawback of the boundary element method (BEM) is that, the dense linear system has to be constructed and solved for each frequency. For large-scale problems, BEM can be more efficient by improving the construction and solution phases of the linear system. For these problems, the application of common direct solver is inefficient. In this paper, the corresponding linear systems are solved more efficiently than common direct solvers by using the iterative technique called CMRH (Changing Minimal Residual method based on Hessenberg process). In this method, the generation of the basis vectors of the Krylov subspace is based on the Hessenberg process instead of Arnoldi's one that the most known GMRES (Generalized Minimal RESidual) solver uses. Compared to GMRES, the storage requirements are considerably reduced in CMRH.