Learn More
We present a novel set of tools for performing symbolic timing verificationof timing diagrams. The tools are multi-purpose with usesin verification, derivation of synthesis constraints, and design evaluation.Our methodology is based on using techniques for manipulatingPresburger formulas. We demonstrate using several interestingexamples that the method is(More)
We demonstrate that nitrogen doped, multi-walled carbon nanotubes (CN(x)-MWNT) result in photo-ablative destruction of kidney cancer cells when excited by near infrared (NIR) irradiation. Further, we show that effective heat transduction and cellular cytotoxicity depends on nanotube length: effective NIR coupling occurs at nanotube lengths that exceed half(More)
Large-scale and vertically aligned nitrogen-doped carbon nanotubes were synthesized by pyrolysis of pyridine with ferrocene as the catalysts under either pure NH3 or a mixture of NH3 and argon atmosphere using injection chemical vapor deposition method. Nitrogen content ranges from 4.8 at. % to 8.8 at. % and changes as a function of growth temperature and(More)
OBJECTIVE The aim of this study was to examine the independent and joint effect of insomnia and objective sleep duration on poor work ability. METHODS In this cross-sectional study, a total of 2820 Chinese manufacturing workers were categorized as insomnia patients and individuals with normal sleeping pattern by interview according to DSM-IV criteria.(More)
OBJECTIVE To study the relationship between occupational stress and psychological health state among oil workers. METHODS 1,230 oil workers in 122 work types of oil industry were selected and written occupational stress questionary(OSQ) and symptom check list (SCL-90). RESULTS Petroleum workers' psychological health states were poor with increasing(More)
Outward delayed rectifier potassium channel and outward transient potassium channel have multiple important roles in maintaining the excitability of hippocampal neurons. The present study investigated the effects of two bufadienolides, Resibufogenin (RBG) and Cinobufagin (CBG), on the outward delayed rectifier potassium current (IK) and outward transient(More)
AIM A cross-section study was conducted to explore the association between polymorphism of delta-aminolevulinic acid dehydratase (ALAD) and lead poisoning in Uygur and Han children in China. METHODS The ALAD genotyping was determined by PCR-RFLP in 443 Uygur and 469 Han children aged 6-10 years from Urumqi in Xinjiang province. RESULTS The blood lead(More)
BACKGROUND It is debatable whether or not glucocorticoid receptor (GR) polymorphisms moderate susceptibility to PTSD. Our objective was to examine the effects of stressful life events, social support, GR genotypes, and gene-environment interactions on the etiology of PTSD. METHODS Three tag single nucleotide polymorphisms, trauma events, stressful life(More)
Stress has been shown to suppress immune function and increase susceptibility to inflammatory and psychiatric diseases. This study sought to investigate the changes in erythrocyte immune functions and T-lymphocyte subsets and to explore the mechanism implicated in the process of stress-induced depression by employing a rat depression model induced by(More)
OBJECTIVE To study the effects of occupational stress on immunological function, glucose, and blood lipid of female workers in oil-field. METHODS 900 female workers working in oil-field as observation group and 220 female not working in oil-field in 11 work types of oil industry in oil-field were selected as control group randomly, occupational role,(More)