Toward AI-Augmented Formal Verification: A Preliminary Investigation of ENGRU and Its Challenges by Chanon Dechsupa, Teerapong Panboonyuen, Wiwat Vatanawood, Praisan Padungweang, Chakchai So-In

“…In this paper, we present ENGRU (Enhanced Gated Recurrent Units), a novel deep learning-based approach for formal verification. …”
Get full text

Nutritional status, dietary inflammatory potential, and risk of osteosarcopenia: the Bushehr Elderly Health (BEH) program by Gita Shafiee, Mehrad Nasiri, Zhaleh Shadman, Mehdi Ebrahimi, Narges Zargar Balajam, Ramin Abdi Dezfouli, Iraj Nabipour, Ramin Heshmat

“…Abstract Background Osteosarcopenia is a growingly approved geriatric condition with a significant prevalence that contributes to higher rates of illness and death. Chronic inflammation and inadequate nutrition are key risk factors for numerous age-related diseases. …”
Get full text

Seven New Irbesartan Salts: Significantly Improved Dissolution, Excellent Hygrothermal Stability, and Characteristic Supramolecular Synthons by Junxiao Wang, Chuanhua Wu, Menglong Zhang, Lingli Hou, Wei Chen, Dingding Jing, Ying Bao

“…Their vitro dissolution, intrinsic dissolution rates (<i>IDR</i>s), thermal/hygroscopic stability (via thermal analysis, dynamic vapor sorption, and accelerated stability tests), and phase transition process (monitored by in situ Raman spectroscopy) were evaluated. …”
Get full text

Ultrasound-activated miR-195-5p/shikonin nanobubbles remodel immunosuppressive microenvironment via immunogenic cell death to potentiate PD-1/PD-L1 blockade in hepatocellular carci... by Yandi Tan, Qiao Xu, Yezi Chen, Yun Liu, Chaoqi Liu, Xinwu Cui, Yun Zhao

“…Despite the transformative clinical impact of programmed cell death ligand 1/programmed death 1 (PD-1/PD-L1) blockade in hepatocellular carcinoma (HCC), therapeutic efficacy remains limited by the tumor immunosuppressive microenvironment (TIME), with objective response rates persistently below 20 %. To address this critical clinical challenge, we engineered ultrasound (US)-responsive lipid nanobubbles (NBs) co-encapsulating microRNA (miR)-195-5p and shikonin (SK) (designated miR-195-5p/SK-NBs), a dual-functional platform designed to synergize PD-L1 suppression with immunogenic cell death (ICD). …”
Get full text

Machine Learning-Based Intrusion Detection Systems for the Internet of Drones: A Systematic Literature Review by Mostafa Ogab, Sofiane Zaidi, Abdelhabib Bourouis, Carlos T. Calafate

“…Existing Intrusion Detection Systems (IDS) for IoD face several limitations, including high false positive rates, resource constraints of drones, limited adaptability to evolving attack patterns, and a lack of standardized datasets for benchmarking, despite ongoing research efforts. …”
Get full text

Global collaboration and innovation in malignant cerebral edema research: a bibliometric perspective by Xinhua Peng, Xinhua Peng, Rongrong Zhu, Ke Zhang, Jianghong Ji, Chuanguo Lv, Feng Feng, Feng Feng

“…AimMalignant cerebral edema (MCE) is a life-threatening complication of acute brain injuries, with mortality rates exceeding 80% in the absence of treatment. …”
Get full text

Profiles and kinetics of PgRNA and clinical characteristics in pregnant, postpartum, and non-pregnant women with chronic HBV infection by Genju Wang, Yandan Wu, Ziyue Zhang, Qiuchen Wu, Juan Tang, Ying Ji, Yan Wang, Guanlun Zhou, Minmin Yu

“…Moreover, the detection rates of pgRNA, DNA, and HBeAg varied significantly across the three stages and different treatment regimens in CHB women. pgRNA was highly correlated with HBeAg, and a moderate correlation was found between pgRNA and HBV DNA levels. …”
Get full text

fNIRS evidence of abnormal frontotemporal cortex activation and functional connectivity in depressed patients after stroke: neuromodulatory mechanisms from mild to moderate depress... by Shanshan Zhou, Xiaodie Liu, Mengyuan Chen, Wenyi Chen, Yawen Pan, Yinghao Zhi

“…In contrast, the mild-PSD group displayed no notable connectivity differences between the two groups.ConclusionThis study presents distinct patterns of frontotemporal cortex activation and functional connectivity alterations associated with varying severity levels of PSD. …”
Get full text

The Impact of Rural Alimentation on the Motivation and Retention of Indigenous Community Health Workers in India: A Qualitative Study by Ajit Kerketta, Raghavendra A N

“…The interviews were audio recorded, transcribed, and analyzed using thematic analysis to identify common themes and patterns in their experiences related to nutrition and retention. …”
Get full text

The Risk of Vestibular Disorders with Semaglutide and Tirzepatide: Findings from a Large Real-World Cohort by Eman A. Toraih, Awwad Alenezy, Mohammad H. Hussein, Shahmeer Hashmat, Saitej Mummadi, Nawaf Farhan Alrawili, Ahmed Abdelmaksoud, Manal S. Fawzy

“…Tirzepatide users demonstrated similar patterns but lower absolute rates (0.10% at 6 months to 0.19% at 3 years vs. controls 0.04% to 0.15%), with hazard ratios from 3.19 (95% CI: 2.11–4.81) to 4.55 (95% CI: 3.43–6.03). …”
Get full text

Analyzing the Contents of a Large, Public Online Peer Support Forum for Obsessive-Compulsive Disorder: Thematic Analysis by Nora Yanyi Sun, Christopher Pittenger, Terence Ching

“… Abstract BackgroundObsessive-compulsive disorder (OCD) is a debilitating chronic anxiety disorder with low rates of remission. r/OCD is a peer support forum hosted by the Reddit website with over 180,000 users and 100‐200 new posts daily. …”
Get full text

Immunohistochemical analysis of IDH1, ATRX, p53, and Ki-67 in glioblastoma and diffuse infiltrative glioma: Therapeutic and prognostic correlation by Hasbay Bermal, Kayaselçuk Fazilet, Süner Halil İbrahim, Tufan Kadir

“…Kaplan-Meier method and Cox proportional regression model (forward model) were used to estimate the mean and median survival times, failure rates, and hazard ratios. Results. In the study, 115 (56.1%) patients were male and 90 (43.9%) were female. …”
Get full text

Dietary strategies for preventing and managing obesity through evidence-based nutritional interventions by Stephen Olaide Aremu, Blessing Akute, Dorcas Oluwakemi Aremu, Caleb Zando, Esther Damilola Aremu, Omagu Julia Nwachukwu, Mary Omolola Omosebi, Victoria Oluwatosin Akute, Stephen Tokunbo Oluwole, Abdillahi Abdi Barkhadle, Matthew Olaleke Aremu

“…This crisis is driven by multifaceted factors, including sedentary lifestyles, urbanization, dietary transitions, and behavioral influences. As obesity rates continue to rise, dietary interventions emerge as crucial and modifiable strategies for prevention and management. …”
Get full text

Clinical value and survival analysis of subcutaneous soft tissue metastasis detected by 18F-FDG PET/CT by Yufei Gao, Hui Zhang, Tiancheng Hao, Lizhuo Jia, Jiangmeng Wu, Dongxue Wu, Siqi Wu, Yong Wang

“…Collect patient histological subtypes, metastasis patterns, treatment, and survival rates. Kaplan Meier curves were used to estimate survival time, and Mantel-Cox univariate analysis was used to determine the correlation between extensive metastasis, degree of soft tissue involvement, systemic and local treatment, and survival time.ResultAmong the 57 patients confirmed by pathology, 10 were benign and 47 were malignant. …”
Get full text

Evolution of the Unified State Exam and its Effect on Students’ Mathematical Preparation by A. S. Kotyurgina, E. I. Fedorova, V. B. Nikolaev, Yu. B. Nikitin

“…However, due to the non-linear rating scale, it is not necessary to do these tasks, as well as some other tasks involving a detailed solution. …”
Get full text

Association between neutrophil-to-lymphocyte ratio and all-cause and cardiovascular mortality among adults with cancer from NHANES 2005-2018: a retrospective cohort study by Gangping Li, Yuewen Fu, Di Zhang

“…Subgroup analysis showed similar patterns (all p-values for interaction &gt; 0.05). …”
Get full text

Development of a PPP1R14B-associated immune prognostic model for hepatocellular carcinoma by Ligang Zhao, Xiaoling Jin, Qiushi Yu, Yigang He, Facai Yang, Weihu Ma, Zhengqing Lei, Jiahua Zhou

“…The analysis revealed distinct variations in immune scores and multiple immune cell enrichment patterns between elevated and reduced PPP1R14B expression categories, suggesting immune status connections. …”
Get full text

Global trends and hotspots of adolescent eating disorders: a bibliometric study and visual analysis by Qian Ye, Qian Ye, Yiling Yang, Yue Qi, Jiale Li, Huijuan Lei, Lina Sun, Jie Zhang

“…BackgroundAdolescent eating disorders represent a category of mental illness, marked by elevated mortality and morbidity rates and a significant adverse impact on the quality of life of both patients and their families. …”
Get full text

Molecular Epidemiology and Genetic Context of <i>optrA</i>-Carrying Linezolid-Resistant Enterococci from Humans and Animals in South Korea by Younggwon On, Sung Young Lee, Jung Sik Yoo, Jung Wook Kim

“…<i>optrA</i>-positive linezolid-resistant isolates were less frequent, with rates of 0.1%, 1.4%, 0.9%, and 1.0%, respectively. …”
Get full text

Global burden and trend of substance use disorders, self-harm, and interpersonal violence from 1990 to 2021, with projection to 2040 by Jia An, Qiang Wang, Zihao Bai, Xueying Du, Di Yu, Xuming Mo

“…Abstract Background Alcohol use disorders (AUD), drug use disorders (DUD), interpersonal violence, and self-harm are a major public health concern globally, with high rates of disability, morbidity, and mortality associated with this. …”
Get full text