Broad‐Spectrum Profiling of Drug Safety via Learning Complex Network
Liu, Ke, Ding, Ruo‐Fan, Xu, Han, Qin, Yang‐Mei, He, Qiu‐Shun, Du, Fei, Zhang, Yun, Yao, Li‐Xia, You, Pan, Xiang, Yan‐Ping, Ji, Zhi‐Liang
Published in Clinical pharmacology and therapeutics (01.06.2020)
Published in Clinical pharmacology and therapeutics (01.06.2020)
Get full text
Journal Article
Reasoning about the garden of forking paths
Li, Yao, Xia, Li-yao, Weirich, Stephanie
Published in Proceedings of ACM on programming languages (01.08.2021)
Published in Proceedings of ACM on programming languages (01.08.2021)
Get full text
Journal Article
Ambient fine particles (PM2.5) attenuate collagen‐induced platelet activation through interference of the PLCγ2/Akt/GSK3β signaling pathway
Yin, Zhao, Xu, Hai‐Jiang, Yao, Xia‐Li, Liu, Gang, Nie, Chun‐Jie, Wei, Han, Li, Cai, Liang, Ming‐Lu, Ming, Zhang‐Yin, Zhang, Xiao‐Jian
Published in Environmental toxicology (01.02.2017)
Published in Environmental toxicology (01.02.2017)
Get full text
Journal Article
Psychosocial adaptation profiles in young and middle-aged patients with acute myocardial infarction: a latent profile analysis
Xiong, Jia-Ming, Su, Jin, Ke, Qi-Qi, Li, Yao-Xia, Gong, Ni, Yang, Qiao-Hong
Published in European journal of cardiovascular nursing : journal of the Working Group on Cardiovascular Nursing of the European Society of Cardiology (12.04.2024)
Published in European journal of cardiovascular nursing : journal of the Working Group on Cardiovascular Nursing of the European Society of Cardiology (12.04.2024)
Get more information
Journal Article
ADReCS-Target: target profiles for aiding drug safety research and application
Huang, Li-Hong, He, Qiu-Shun, Liu, Ke, Cheng, Jiao, Zhong, Min-Dong, Chen, Lin-Shan, Yao, Li-Xia, Ji, Zhi-Liang
Published in Nucleic acids research (04.01.2018)
Published in Nucleic acids research (04.01.2018)
Get full text
Journal Article
C4: verified transactional objects
Lesani, Mohsen, Xia, Li-yao, Kaseorg, Anders, Bell, Christian J., Chlipala, Adam, Pierce, Benjamin C., Zdancewic, Steve
Published in Proceedings of ACM on programming languages (29.04.2022)
Published in Proceedings of ACM on programming languages (29.04.2022)
Get full text
Journal Article
Effects of a nurse led web-based transitional care program on the glycemic control and quality of life post hospital discharge in patients with type 2 diabetes: A randomized controlled trial
Lyu, Qi-yuan, Huang, Jie-wei, Li, Yao-xia, Chen, Qing-ling, Yu, Xiao-xue, Wang, Jia-le, Yang, Qiao-hong
Published in International journal of nursing studies (01.07.2021)
Published in International journal of nursing studies (01.07.2021)
Get full text
Journal Article
Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs
Li-yao, Xia, Israel, Laura, Kramarz, Maite, Coltharp, Nicholas, Claessen, Koen, Weirich, Stephanie, Yao, Li
Published in arXiv.org (22.07.2024)
Published in arXiv.org (22.07.2024)
Get full text
Paper
Journal Article
CD4+CD25+ Tregs as dependent factor in the course of bleomycin-induced pulmonary fibrosis in mice
Zhang, Jia-Hua, Deng, Jia-Hui, Yao, Xia-Li, Wang, Jia-Ling, Xiao, Jun-Hua
Published in Experimental cell research (01.01.2020)
Published in Experimental cell research (01.01.2020)
Get full text
Journal Article
Interaction Trees: Representing Recursive and Impure Programs in Coq
Li-yao, Xia, Zakowski, Yannick, He, Paul, Chung-Kil Hur, Malecha, Gregory, Pierce, Benjamin C, Zdancewic, Steve
Published in arXiv.org (14.11.2019)
Published in arXiv.org (14.11.2019)
Get full text
Paper
Journal Article
Effect of pulse Nd:YAG laser on the bond strength of self-adhesive resin cement to dentin
Liu, Kun, Deng, Jing, Zhang, Hui-min, Yao, Li-xia
Published in Shanghai kou qiang yi xue (01.08.2011)
Get more information
Published in Shanghai kou qiang yi xue (01.08.2011)
Journal Article
From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server
Koh, Nicolas, Yao, Li, Li, Yishuai, Li-yao, Xia, Beringer, Lennart, Wolf Honoré, Mansky, William, Pierce, Benjamin C, Zdancewic, Steve
Published in arXiv.org (29.11.2018)
Published in arXiv.org (29.11.2018)
Get full text
Paper
Journal Article
Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs
Xia, Li-yao, Israel, Laura, Kramarz, Maite, Coltharp, Nicholas, Claessen, Koen, Weirich, Stephanie, Li, Yao
Published in Proceedings of ACM on programming languages (15.08.2024)
Published in Proceedings of ACM on programming languages (15.08.2024)
Get full text
Journal Article
Psychosocial adjustment changes and related factors in young and middle-aged patients with first-episode acute myocardial infarction: a longitudinal study
Zhou, Xin-Yi, Ke, Qi-Qi, Qiu, Wei-Yu, Li, Yao-Xia, Wu, Qin-Yang, Ye, Qiu-Yun, Yang, Qiao-Hong
Published in European journal of cardiovascular nursing : journal of the Working Group on Cardiovascular Nursing of the European Society of Cardiology (02.05.2024)
Published in European journal of cardiovascular nursing : journal of the Working Group on Cardiovascular Nursing of the European Society of Cardiology (02.05.2024)
Get more information
Journal Article
Comparison of CCL28 in human labial glands and parotids
Liu, Xue, Jiang, Shu-min, Tang, Wei, Yao, Li-xia, Wang, Geng-ru, Jiang, Guang-shui
Published in Hua xi kou qiang yi xue za zhi (01.10.2009)
Get more information
Published in Hua xi kou qiang yi xue za zhi (01.10.2009)
Journal Article