Our study investigated the epidemiology of respiratory viruses in adult patients with upper respiratory tract infection (URTI) between August 2009 and September 2010 in Jinan, northern China. Nasal and throat swabs (n = 596) were collected from adult patients with URTIs. Nine respiratory-related viruses, including IFV, PIV, HRV, HMPV, HBoV, HCoV, ADV, RSV,… (More)
The level of histone deacetylation is closely associated with the genesis and development of tumors, but the antitumor effect and mechanism of the class I histone deacetylase inhibitor (HDACI) valproate acid sodium (VPA) on hepatocellular carcinoma cells has not been clearly demonstrated. In the present study, the antitumor effect and mechanism of VPA were… (More)
This paper gives a brief overview of version 3.3 of PRISM, a tool for the automatic formal verification of probabilistic systems, and some of the case studies to which it has already been applied to date.