Winter Temperature and UV Are Tightly Linked to Genetic Changes in the p53 Tumor Suppressor Pathway in Eastern Asia

The tumor suppressor p53 is a master sensor of stress. Two human-specific polymorphisms, p53 codon 72 and MDM2 SNP309, influence the activities of p53. There is a tight association between cold winter temperature and p53 Arg72 and between low UV intensity

STUDY OF MICROSTRUCTURE AND DEFECTS IN HYDROGENATED MICROCRYSTALLINE SILICON FILMS

Microcrystalline silicon films were deposited by very high frequency (VHF) plasma-enhanced chemical vapor deposition (PECVD) with different hydrogen dilution. The microstructure of these films was investigated using Raman spectroscopy and infrared absorption (IR) spectra. The crystalline, amorphous, and grain boundary volume fractions X-c, X-a and X-gb were estimated from Raman measurements. An interface structure factor (R-if) is proposed to characterize the grain boundary volume fractions in IR spectroscopy. The density of states (DOS) of the microcrystalline crystalline silicon films were studied by phase-shift analysis of modulated photocurrent (MPC) and photoconductivity spectroscopy. It was observed that DOS increases with increasing grain boundary volume fractions, while the values of electron mobility-lifetime product mu T-e(e) disease.

When is `partial' adequate? A logic-based proof technique using partial specifications

A technique is presented for ascertaining when a (finite-state) partial process specification is adequate, in the sense of being specified enough, for contexts in which it is to be used. The method relies on the automatic generation of a modal formula from the partial specification; if the remainder of the network satisfies this formula, then any process that meets the specification is guaranteed to ensure correct behavior of the overall system. Using the results, the authors develop compositional proof rules for establishing the correctness of networks of parallel processes and illustrate their use with several examples