- Full text PDF available (3)
—According to the demand of credible property verification for complex information system, this paper presents a kind of until formula conditional probability property verification and analysis method acting on discrete probability model. A new more expressive probabilistic computation tree logic used to describe until formula conditional probability… (More)
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)
With the development of e-business, interactions between enterprise and customer have gone into a new phase which network technology is the core competitiveness. Network customer reviews as an important part of network reputation influent consumers ' purchasing decisions, and bring enterprise digital feedback. This paper studied the theoretical framework… (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.