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...
Yu Bing Zhu Zhixiu Lin Haifa Qiao Jian Kong Xinyan Gao
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...
Information Technology, Beijing Jiaotong University, Beijing 100044, China Received 28 January 2014; Accepted 27 April 2014; Published 12 June 2014 Academic Editor: Xiaoyu Song Copyright © 2014 Xinyan Gao
Yongfa Qiao,3 Xinyan Gao,2 Huijuan Yu,1 Bing Zhu,2 and Haifa Qiao1,2,4 1Neuroscience Program, Shandong University of Traditional Chinese Medicine, Changqing University Park, Jinan 250355, China
: Gerhard Litscher Copyright © 2012 Xinyan Gao et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and
University College of Medicine, Tallahassee, FL 32306, USA Received 12 July 2012; Revised 4 September 2012; Accepted 8 September 2012 Academic Editor: Ying Xia Copyright © 2012 Xinyan Gao et al. This is