logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
Y

Y. G. Li

State University System of Florida

5H指数
27论文数
54被引数
收录论文 5
发表时间
logo
Quantitative Verification for Temporal Properties of Massive Linear Systems大规模线性系统时态属性的定量验证
errFORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025
IF0
err2026-01-01
err0
PREAI
errLiu, Qing; Li, Yuntao; Choi, Sung Woo; Nguyen, Luan Viet; Tran, Hoang-Dung
err分享
err收藏
Nuclear factor erythroid 2-related factor 2/heme oxygenase-1 activation by nattokinase reduces pro-inflammatory and matrix-degrading mediators in human gingival fibroblasts核因子红细胞系2相关因子2/血红素加氧酶-1通过纳豆激酶的激活降低了人牙龈成纤维细胞中促炎和基质降解介质的水平。
errJournal of Dental Sciences
IF3.1
err2025-11-01
err0
errOAAI
errYa-Lun Li; Yang-Che Wu; Chien-Fu Tseng; Yung-Li Wang; Sin-Yu Li; Thi Thuy Tien Vo; Yuh-Lien Chen; Yin-Tzer Shih; I-Ta Lee
err分享
err收藏
Quantitative verification of learning-enabled systems using ProbStar reachability基于ProbStar可达性的学习增强系统定量验证
errNonlinear Analysis: Hybrid Systems
IF0
err2025-09-12
err0
PREAI
errYuntao Li; Sung Woo Choi; Hideki Okamoto; Bardh Hoxha; Georgios Fainekos; Hoang-Dung Tran
err分享
err收藏
Reachability analysis of recurrent neural networks递归神经网络的可达性分析
errNONLINEAR ANALYSIS-HYBRID SYSTEMS
IF4.1
err2025-05-01
err0
PREAI
errChoi, Sung Woo; Li, Yuntao; Yang, Xiaodong; Yamaguchi, Tomoya; Hoxha, Bardh; Fainekos, Georgios; Prokhorov, Danil; Tran, Hoang-Dung
err分享
err收藏
Research on a Lightweight PCB Detection Algorithm Based on AE-YOLO
errIEEE ACCESS
IF3.6
err2024-01-01
err0
errOAAI
errWang, Yuanyuan; Li, Yazhou; Kayes, Dipu Md Sharid; Abdullahi, Hauwa Suleiman; Gao, Shangbing; Zhang, Haiyan; Song, Zhaoyu; Lv, Pinrong
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
Y
Yuh‐Lien Chen
H 指数: 49 · 论文数: 160
D
Danil Prokhorov
H 指数: 38 · 论文数: 223
G
Georgios Fainekos
H 指数: 35 · 论文数: 223
Y
Yung‐Li Wang
H 指数: 25 · 论文数: 98
I
I‐Ta Lee
H 指数: 24 · 论文数: 84
查看更多