中文版 | English

在结果中检索

KMS

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

  只显示已认领条目
已选(0)清除 条数/页：   排序方式：
Metal oxide modified Ni-ZnO catalysts for reforming of mixed alkanes: A potential solution to enhance carbon efficiency in C1 chemistry 期刊论文
JOURNAL OF ENVIRONMENTAL CHEMICAL ENGINEERING, 2025, 卷号: 13, 期号: 2
作者:  Wang, Zhihao;  Zhang, Lina;  Chen, Kaifei;  Wei, Wei;  Sun, Nannan
Adobe PDF(8753Kb)  |  收藏  |  浏览/下载：103/0  |  提交时间：2025/03/14
PyUPPAAL: A Python Toolbox for Model-Checking-Based Risk Analysis and Fault Management in Safety-Critical Systems 会议论文
INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION
作者:  Guangyao Chen;  Ziqi Wang;  Chenyang Zhu;  Zhihao Jiang
收藏  |  浏览/下载：26/0  |  提交时间：2025/03/11
Closed-Loop Testing of Autonomous Driving Systems: A Safety-Critical, Effective, and Realistic Evaluation Using the Adversarial Cognitive Driver Model 期刊论文
ACCIDENT ANALYSIS AND PREVENTION, 2025, 卷号: -, 期号: -, 页码: -
作者:  Ji Qi;  Chenyang Mao;  Shuhang Li;  Lifeng Yang;  Sen Tian
Adobe PDF(20094Kb)  |  收藏  |  浏览/下载：28/2  |  提交时间：2025/03/14
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
收藏  |  浏览/下载：29/0  |  提交时间：2025/03/11
Characterization of single-pulse photon energy and photon energy jitter at the Shanghai soft X-ray Free-Electron Laser 期刊论文
CHINESE OPTICS LETTERS, 2024, 卷号: 22, 期号: 10
作者:  Gao, Zichen;  Tong, Yajun;  Wang, Yueran;  Wang, Xinyuan;  Wen, Pingping
Adobe PDF(1030Kb)  |  收藏  |  浏览/下载：292/8  |  提交时间：2024/11/04
Generating synthetic computed tomography for radiotherapy: SynthRAD2023 challenge report 期刊论文
MEDICAL IMAGE ANALYSIS, 2024, 卷号: 97
作者:  Huijben, Evi M.C.;  Terpstra, Maarten L.;  Galapon, Arthur Jr.;  Pai, Suraj;  Thummerer, Adrian
Adobe PDF(2223Kb)  |  收藏  |  浏览/下载：342/2  |  提交时间：2024/08/09
Model checking-based decision support system for fault management: A comprehensive framework and application in electric power systems 期刊论文
EXPERT SYSTEMS WITH APPLICATIONS, 2024, 卷号: 247, 期号: 123371
作者:  
Adobe PDF(2200Kb)  |  收藏  |  浏览/下载：392/4  |  提交时间：2024/02/23
Reliable Source Approximation: Source-Free Unsupervised Domain Adaptation for Vestibular Schwannoma MRI Segmentation 会议论文
ARXIV, Palmeraie Conf Ctr,Marrakesh,MOROCCO, OCT 06-10, 2024
作者:  Zeng, Hongye;  Zou, Ke;  Chen, Zhihao;  Zheng, Rui;  Fu, Huazhu
Adobe PDF(2126Kb)  |  收藏  |  浏览/下载：219/1  |  提交时间：2024/06/17
Poster Abstract of Digital-twin-based Decision Support During Personalized Robotic Rehabilitation 会议论文
2024 ACM/IEEE 15TH INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS), Hong Kong, Hong Kong, 13-16 May 2024
作者:  Yilun Chen;  Zhuo Jian;  Yixi Wang;  Zhihao Jiang
Adobe PDF(1220Kb)  |  收藏  |  浏览/下载：249/2  |  提交时间：2024/07/08
Iterative Model Checking for Safety-Critical Problems in Cyber-Physical Systems 会议论文
2024 ACM/IEEE 15TH INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS), Hong Kong, Hong Kong, 13-16 May 2024
作者:  Guangyao Chen;  Zhihao Jiang
Adobe PDF(971Kb)  |  收藏  |  浏览/下载：253/3  |  提交时间：2024/07/08
  • 首页
  • 上一页
  • 1
  • 2
  • 3
  • 4
  • 下一页
  • 末页