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

Get full text

Energy-aware feature and classifier for behaviour recognition of laying hens in an aviary system by X. Yang, Q. Hu, L. Nie, C. Wang

Get full text

Design and Experiment of Orchard Air-Assisted Sprayer with Airflow Graded Control by Fan Feng, Hanjie Dou, Changyuan Zhai, Yanlong Zhang, Wei Zou, Jianjun Hao

Get full text

Segmented evolution and exploration targets of the Cambrian platform margin in the Manxi area, Tarim Basin by Zongquan Hu, Fan Feng, Chengming Fang, Zicheng Cao, Tieyi Wang, Kangkang Guo, Yang Li, Shi Wang

Get full text

N-Acetylcysteine Attenuates Diabetic Myocardial Ischemia Reperfusion Injury through Inhibiting Excessive Autophagy by Sheng Wang, Chunyan Wang, Fuxia Yan, Tingting Wang, Yi He, Haobo Li, Zhengyuan Xia, Zhongjun Zhang

Get full text

A Practical Methodology for Production Data Analysis in Carbonate Reservoirs Using New Decline Type Curves by Zhihao Jia, Linsong Cheng, Peng Wang, Suran Wang, Pin Jia

Get full text

Blockchain enabled policy-based access control mechanism to restrict unauthorized access to electronic health records by Nadeem Yaqub, Jianbiao Zhang, Muhammad Irfan Khalid, Weiru Wang, Markus Helfert, Mansoor Ahmed, Jungsuk Kim

Get full text

The mechanism of X80 steel weld microstructure and mechanical properties optimization by induction heating technology by Shichao Zhang, Fulai Yang, Cuicui Chen, Zehua Niu, Yongbin Que, Haidong Jia, Lianshuang Dai, Zheng Zhang

Get full text

An Improved Fuzzy Neural Network Compound Control Scheme for Inertially Stabilized Platform for Aerial Remote Sensing Applications by Xiangyang Zhou, Yating Li, Yuan Jia, Libo Zhao

Get full text

Trajectory Tracking Control Study of a New Parallel Mechanism with Redundant Actuation by Haiqiang Zhang, Hairong Fang, Dan Zhang, Qi Zou, Xueling Luo

Get full text

Queue Length Estimation for Signalized Intersections under Partially Connected Vehicle Environment by Lu Wei, Jin-hong Li, Li-wen Xu, Lei Gao, Jian Yang

Get full text

An Online Interactive Experiment Management System for CMA Numerical Weather Prediction Models by Wang Bin, Hu Jiangkai, Cui Yingjie, Zhou Bin, Sun Jing, Zhao Chunyan, Lou Panxing

Get full text

Analysis of the Hybrid Power System for High-Altitude Unmanned Aircraft by Kangwen Sun, Ming Zhu, Lifeng Wang, Hu Liu

Get full text

Little Red Dots: Rapidly Growing Black Holes Reddened by Extended Dusty Flows by Zhengrong Li, Kohei Inayoshi, Kejian Chen, Kohei Ichikawa, Luis C. Ho

Get full text

Leiomyosarcomas of the inferior vena cava: diagnostic features on contrast-enhanced CT, ultrasonography and MRI by Xiaolin Xu, Shilei Zhao, Lifang Xue

Get full text

An Automatic System for Atrial Fibrillation by Using a CNN-LSTM Model by Fengying Ma, Jingyao Zhang, Wei Chen, Wei Liang, Wenjia Yang

Get full text

Sand body architecture of braided river deltas in the Upper Triassic Xujiahe Formation, Sichuan Basin by Yanqing Huang, Meizhou Deng, Nan Duan, Wujun Jin, Junlong Liu, Na Niu, Ai Wang, Xiaolin Lu

Get full text

Stress Distribution and Fluctuation Cycle on the Rack Face of the Rock Cutting Tool by Xiaofeng Yang, Yongchao Xue, Jiaheng Zhou

Get full text

A whole process resilience management practice in coastal engineering by Yingtao Zhou, Yingtao Zhou, Yingtao Zhou, Chenhui Jiang, Yuanshu Jiang, Yu Zhu, Yu Zhu, Yu Zhu, Yan Jin, Xian Wang, Xi Feng, Weibing Feng

Get full text

Ion Diffusion Behavior between Fracturing Water and Shale and Its Potential Influence on Production by Yinghao Shen, Zhaopeng Zhu, Peng Shi, Hongkui Ge, Zhihui Yang

Get full text