B. Xia

Learn More
In this paper we deal with the problem of computing Lya-punov functions for stability verification of differential systems. We concern on symbolic methods and start the discussion with a classical quantifier elimination model for computing Lyapunov functions in a given polynomial form, especially in quadratic forms. Then we propose a new semi-algebraic(More)
Rhizoma Atractylodes macrocephala polysaccharides (RAMP) have been reported to have a variety of important biological activities. In this study, an ultrasonic-assisted enzymatic extraction (UAEE) was employed to obtain the highest extraction yield and strongest antioxidant activity of RAMP and optimized by a multi-response optimization process. A(More)
Mutations in mitochondrial DNA (mtDNA) are one of the most important causes of hearing loss. Of these, the homoplasmic A1555G and C1494T mutations at the highly conserved decoding site of the 12S rRNA gene are well documented as being associated with either aminoglycoside-induced or nonsyndromic hearing loss in many families worldwide. Moreover, five(More)
  • 1