A New Modal Framework for Epistemic Logic

by Yanjing Wang
Published 2017-07-01

Epistemic Modelling and Protocol Dynamics

by Yanjing, Wang
Published 2010

How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions

by Malvin Gattinger, Yanjing Wang
Published 2019-07-01

A Dynamic Epistemic Framework for Conformant Planning

by Quan Yu, Yanjun Li, Yanjing Wang
Published 2016-06-01

ATC-NLSP: Prediction of the Classes of Anatomical Therapeutic Chemicals Using a Network-Based Label Space Partition Method

by Xiangeng Wang, Yanjing Wang, Zhenyu Xu, Yi Xiong, Dong-Qing Wei
Published 2019-09-01

Prediction of Blood-Brain Barrier Permeability of Compounds by Fusing Resampling Strategies and eXtreme Gradient Boosting

by Zhiwen Shi, Yanyi Chu, Yonghong Zhang, Yanjing Wang, Dong-Qing Wei
Published 2021-01-01

The Effects of Sintering Temperature and Addition of TiH₂ on the Sintering Process of Cu

by Huali Hao, Yanjing Wang, Hamid Reza Jafari Nodooshan, Yongyun Zhang, Shulong Ye, Yonghu Lv, Peng Yu
Published 2019-08-01

Klotho prevents epithelial–mesenchymal transition through Egr-1 downregulation in diabetic kidney disease

by Yang Li, Yanlin Yang, Fang Hu, Meng Xue, Yijie Jia, Zongji Zheng, Xiaolian Liu, Yuelian Yang, Yanjing Wang
Published 2021-08-01

STS-NLSP: A Network-Based Label Space Partition Method for Predicting the Specificity of Membrane Transporter Substrates Using a Hybrid Feature of Structural and Semantic Similarit...

by Xiangeng Wang, Xiangeng Wang, Xiaolei Zhu, Mingzhi Ye, Yanjing Wang, Cheng-Dong Li, Yi Xiong, Dong-Qing Wei, Dong-Qing Wei
Published 2019-11-01

Microstructure characterization and mechanical properties of Al-matrix composites reinforced by artificially-cultured diatom frustules

by Sha Lyu, Yanjing Wang, He Han, Chao Ding, Dandan Li, Jaw-Kai Wang, Jiangtao Zhang, Jintao Huang, Dazhi Sun, Peng Yu
Published 2021-08-01

T4SE-XGB: Interpretable Sequence-Based Prediction of Type IV Secreted Effectors Using eXtreme Gradient Boosting Algorithm

by Tianhang Chen, Xiangeng Wang, Xiangeng Wang, Yanyi Chu, Yanyi Chu, Yanjing Wang, Mingming Jiang, Dong-Qing Wei, Dong-Qing Wei, Yi Xiong
Published 2020-09-01

Atractylenolide III Attenuates Muscle Wasting in Chronic Kidney Disease via the Oxidative Stress-Mediated PI3K/AKT/mTOR Pathway

by Mingqing Wang, Rong Hu, Yanjing Wang, Lingyu Liu, Haiyan You, Jiaxing Zhang, Xiaohui Wu, Tingting Pei, Fujing Wang, Lu Lu, Wei Xiao, Lianbo Wei
Published 2019-01-01

Towards an Ensemble Vaccine against the Pegivirus Using Computational Modelling Approaches and Its Validation through In Silico Cloning and Immune Simulation

by Bowen Zheng, Muhammad Suleman, Zonara Zafar, Syed Shujait Ali, Syed Nouman Nasir, Namra, Zahid Hussain, Muhammad Waseem, Abbas Khan, Fakhrul Hassan, Yanjing Wang, Dongqing Wei
Published 2021-07-01

Revisiting right anterior oblique projections for the triangle of Koch: implications from computed tomography

by Yanjing Wang, Lin Liu, Robert Lakin, Nazari Polidovitch, Guohui Liu, Hongliang Yang, Ming Yu, Mingzhou Yan, Dong Zhao, Peter H. Backx, Huan Sun, Yuquan He, Ping Yang
Published 2020-08-01

SARS-CoV-2 new variants: Characteristic features and impact on the efficacy of different vaccines

by Abbas Khan, Taimoor Khan, Shughla Ali, Summiya Aftab, Yanjing Wang, Wang Qiankun, Mazhar Khan, Muhammad Suleman, Shahid Ali, Wang Heng, Syed Shujait Ali, Dong-Qing Wei, Anwar Mohammad
Published 2021-11-01