2 papers
cs.CE2024
Sliced Online Model Checking for Optimizing the Beam Scheduling Problem in Robotic Radiation Therapy
Lars Beckers, Stefan Gerlach, Ole Lübke +2
In robotic radiation therapy, high-energy photon beams from different directions are directed at a target within the patient. Target motion can be tracked by robotic ultrasound and…
cs.CY2023
Computer Aided Design and Grading for an Electronic Functional Programming Exam
Ole Lübke, Konrad Fuger, Fin Hendrik Bahnsen +2
Electronic exams (e-exams) have the potential to substantially reduce the effort required for conducting an exam through automation. Yet, care must be taken to sacrifice neither ta…