On learning assumptions for compositional verification of probabilistic systems by Feng, L

Safe POMDP online planning via shielding by Sheng, S, Parker, D, Feng, L

Network Pharmacology and Experimental Verification: SanQi-DanShen Treats Coronary Heart Disease by Inhibiting the PI3K/AKT Signaling Pathway by Zhao M, Feng L, Li W

Get full text

High Urine Albumin-to-Creatinine Ratio is Associated with Increased Arterial Stiffness in Diabetes: A Chinese Cross-Sectional Study [Letter] by Feng L, Wei R, Zhai Z

Get full text

The Role of Traditional Chinese Medicine Natural Products in β-Amyloid Deposition and Tau Protein Hyperphosphorylation in Alzheimer’s Disease by Yan H, Feng L, Li M

Get full text

Automated Learning of Probabilistic Assumptions for Compositional Reasoning by Feng, L, Kwiatkowska, M, Parker, D

Compositional Verification of Probabilistic Systems using Learning by Feng, L, Kwiatkowska, M, Parker, D

Race, Ethnicity, and Sustained Opioid Use After Major Abdominal Surgery for Cancer by Owusu-Agyemang P, Feng L, Cata JP

Get full text

Prevention and Treatment Strategies for Alzheimer’s Disease: Focusing on Microglia and Astrocytes in Neuroinflammation by Zhang S, Gao Z, Feng L, Li M

Get full text

Systemic Lupus Erythematosus and Pregnancy Complications and Outcomes: A Mendelian Randomization Study and Retrospective Validation by Zhu S, Ren J, Feng L, Jiang Y

Get full text

Learning−based Compositional Verification for Synchronous Probabilistic Systems by Feng, L, Han, T, Kwiatkowska, M, Parker, D

Distributional probabilistic model checking by Elsayed-Aly, I, Parker, D, Feng, L

Multi-objective controller synthesis with uncertain human preferences by Chen, S, Boggess, K, Parker, D, Feng, L

Systemic Inflammatory Markers and Clinical Outcomes of Open versus Biportal Endoscopic Transforaminal Lumbar Interbody Fusion by Feng L, Liang J, Wang N, Zhang Q

Get full text

Trust-aware motion planning for human-robot collaboration under distribution temporal logic specifications by Yu, P, Dong, S, Sheng, S, Feng, L, Kwiatkowska, M

Text-mining techniques and tools for systematic literature reviews: A systematic literature review by Feng, L., Chiam, Y.K., Lo, S.K.

Get full text

Safe POMDP online planning among dynamic agents via adaptive conformal prediction by Sheng, S, Yu, P, Parker, D, Kwiatkowska, M, Feng, L

Cost-Effectiveness Analysis of Pembrolizumab Plus Chemotherapy in Squamous Non–Small-Cell Lung Cancer in China by Zhang X, Zhang H, Li LF, Feng L, Liu Q

Get full text

A Case of Psoriasis and Pseudohernia of the Abdominal Wall at the Site of Herpes Zoster-Wolf’s Isotopic Response by Feng L, Liu P, Huang M, Tian L, Bu X

Get full text

Relationship Between Symptom Burden and Self-Management Among Patients with Chronic Heart Failure: A Cross-Sectional Study by Li J, Feng L, Shui X, Deng C, Hu A

Get full text