Modeling a Heterogeneous Embedded System in Coloured Petri Nets by Huafeng Zhang, Hehua Zhang, Ming Gu, Jiaguang Sun

Get full text

A Unified Framework for DPLL(T) + Certificates by Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun

Get full text

Rhein Reduces Fat Weight in db/db Mouse and Prevents Diet-Induced Obesity in C57Bl/6 Mouse through the Inhibition of PPARγ Signaling by Yu Zhang, Shengjie Fan, Na Hu, Ming Gu, Chunxiao Chu, Yiming Li, Xiong Lu, Cheng Huang

Get full text

Traditional Chinese Mind and Body Exercises for Neck Pain: A Meta-Analysis of Randomized Controlled Trials by Yu-Hua Xie, Man-Xia Liao, Mao-Yuan Wang, W. C. Hewith A. Fernando, Yue-Ming Gu, Xue-Qiang Wang, Lin-Rong Liao

Get full text

Effects of Dietary Nano-Composite of Copper and Carbon on Antioxidant Capacity, Immunity, and Cecal Microbiota of Weaned Ira White Rabbits by Ying-Huan Zhou, Xiao-Ping Liu, Xiao-Ming Gu, Hai-Xuan Lv, Yun Yang, Zai-Xing Cai, Bin Di, Chang-Kang Wang, Yu-Yun Gao, Ling Jin

Get full text

Association between Red Blood Cell Distribution Width and In-Hospital Mortality among Congestive Heart Failure Patients with Diabetes among Patients in the Intensive Care Unit: A R... by Kai Zhang, Yu Han, Yu Xuan Gao, Fang Ming Gu, Tianyi Cai, Rui Hu, Zhao Xuan Gu, Jia Ying Liang, Jia Yu Zhao, Min Gao, Bo Li, Dan Cui

Get full text