Advanced search    

Search: authors:"Xinyan Gao"

2 papers found.
Use AND, OR, NOT, +word, -word, "long phrase", (parentheses) to fine-tune your search.

β1/2 or M2/3 Receptors Are Required for Different Gastrointestinal Motility Responses Induced by Acupuncture at Heterotopic or Homotopic Acupoints

Acupuncture at homotopic acupoints or heterotopic acupoints is known to either inhibit or facilitate gastrointestinal motility, depending on the acupoint location. However, little effort has been made to investigate the roles of specific receptors (such as adrenergic and muscarinic acetylcholine receptors) in mediating the effects of acupuncture at heterotopic and homotopic...

Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions

We introduce an approach exploiting the power of polynomial ring algebra to perform SystemVerilog assertion verification over digital circuit systems. This method is based on Groebner bases theory and sequential properties checking. We define a constrained subset of SVAs so that an efficient polynomial modeling mechanism for both circuit descriptions and assertions can be applied...