中文版 | English

在结果中检索

KMS

浏览/检索结果: 共4条，第1-4条 帮助

  只显示已认领条目
已选(0)清除 条数/页：   排序方式：
Enhancing Context Awareness with Model Checking-based Uncertainty Representation in Decision Support Systems 期刊论文
FORMAL ASPECTS OF COMPUTING, 2025
作者:  Guangyao Chen;  Zeyu Li;  Jicheng Gu;  Yining She;  Chenyang Zhu
收藏  |  浏览/下载：55/0  |  提交时间：2025/03/11
Towards Personalized Anti-Tachycardia Pacing: A Formal Analysis of Reentry Mechanisms and Adaptive Algorithm Development 会议论文
2024 46TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), Orlando, FL, USA, 15-19 July 2024
作者:  Gu JC(顾吉成);  Cai PH(蔡佩珩);  Jiang ZH(江智浩)
收藏  |  浏览/下载：322/0  |  提交时间：2024/05/23
无权访问的条目 学位论文
作者:  顾吉成
Adobe PDF(6972Kb)  |  收藏  |  浏览/下载：12/0  |  提交时间：2024/06/24
Digital-twin-based Online Parameter Personalization for Implantable Cardiac Defibrillators 会议论文
2022 44TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE & BIOLOGY SOCIETY (EMBC), Glasgow, Scotland, United Kingdom, 11-15 July 2022
作者:  Lai, Mincai;  Yang, Haochen;  Gu, Jicheng;  Chen, Xinye;  Jiang, Zhihao
Adobe PDF(662Kb)  |  收藏  |  浏览/下载：233/0  |  提交时间：2022/10/28
  • 首页
  • 上一页
  • 1
  • 下一页
  • 末页