Learn More
SUMMARY Tail distribution bounds play a major role in the estimation of failure probabilities in performance and reliability analysis of systems. They are usually estimated using Markov's and Chebyshev's inequalities, which represent tail distribution bounds for a random variable in terms of its mean or variance. This paper presents the formal verification(More)
Hepatitis B virus (HBV) and hepatitis C virus (HCV) infection are the major causes of chronic liver disease, cirrhosis and hepatocellular carcinoma (HCC). The resolution or chronicity of acute infection is dependent on a complex interplay between virus and innate/adaptive immunity. The mechanisms that lead a significant proportion of patients to more severe(More)
Protein fold classification is a challenging task strongly associated with the determination of proteins' structure. In this work, we tested an optimization strategy on a Markov chain and a recently introduced Hidden Markov Model (HMM) with reduced state-space topology. The proteins with unknown structure were scored against both these models. Then the(More)
  • 1