Models and Source Data for: Sliced Online Model Checking for Optimizing the Beam Scheduling Problem in Robotic Radiation Therapy

Name: Models and Source Data for: Sliced Online Model Checking for Optimizing the Beam Scheduling Problem in Robotic Radiation Therapy
Creator: Schupp, Sibylle; Beckers, Lars; Lübke, Ole; Gerlach, Stefan; Schlaefer, Alexander
Published: 2024-03-11T00:00:00+08:00

Figshare2024-03-11 更新2026-04-08 收录

机器人放射治疗

光束调度优化

数据链接：

https://figshare.com/articles/dataset/Models_and_Source_Data_for_Sliced_Online_Model_Checking_for_Optimizing_the_Beam_Scheduling_Problem_in_Robotic_Radiation_Therapy/25061336/1 数据链接链接失效反馈

官方服务：

资源简介：

Collection of models and associated data for the MARS 2024 submitted paper: "Sliced Online Model Checking for Optimizing the Beam Scheduling Problem in Robotic Radiation Therapy"

提供机构：

Schupp, Sibylle; Beckers, Lars; Lübke, Ole; Gerlach, Stefan; Schlaefer, Alexander

创建时间：

2024-03-11