Sliced online model checking for optimizing the beam scheduling problem in robotic radiation therapy
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: Electronic Proceedings in Theoretical Computer Science, EPTCS 399: 193-209 (2024-04-06)
- Ereignis
-
Veröffentlichung
- (wo)
-
Hamburg
- (wer)
-
Technische Universität Hamburg. Universitätsbibliothek
- (wann)
-
2024
- Urheber
-
Beckers, Lars
Gerlach, Stefan
Lübke, Ole
Schlaefer, Alexander
Schupp, Sibylle
- DOI
-
10.15480/882.9528
- URN
-
urn:nbn:de:101:1-2405010309178.824780413029
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:45 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Beckers, Lars
- Gerlach, Stefan
- Lübke, Ole
- Schlaefer, Alexander
- Schupp, Sibylle
- Technische Universität Hamburg. Universitätsbibliothek
Entstanden
- 2024
Ähnliche Objekte (12)
Optimizing robot motion for robotic ultrasound-guided radiation therapy
Poster Abstract: an optimizing framework for real-time scheduling
Robotic motion compensation for applications in radiation oncology
Robotic Motion Compensation for Applications in Radiation Oncology
Advanced planning methodologies for robotic cell scheduling in semiconductor industries
Liveness checking as safety checking
Optimizing fuel consumption on inland waterway networks : local search heuristic for lock scheduling
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Monotonicity checking
Optimizing Production and Outbound Distribution Decisions with Fixed Departure Times: Static and Dynamic Scheduling Approaches
Optimizing ILP-based joint scheduling and routing for time-aware shaping in factory automation networks
Optimizing robot motion for robotic ultrasound-guided radiation therapy
Poster Abstract: an optimizing framework for real-time scheduling
Robotic motion compensation for applications in radiation oncology
Robotic Motion Compensation for Applications in Radiation Oncology
Advanced planning methodologies for robotic cell scheduling in semiconductor industries
Liveness checking as safety checking
Optimizing fuel consumption on inland waterway networks : local search heuristic for lock scheduling
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Monotonicity checking
Optimizing Production and Outbound Distribution Decisions with Fixed Departure Times: Static and Dynamic Scheduling Approaches
Optimizing ILP-based joint scheduling and routing for time-aware shaping in factory automation networks
Optimizing robot motion for robotic ultrasound-guided radiation therapy
Poster Abstract: an optimizing framework for real-time scheduling
Robotic motion compensation for applications in radiation oncology
Robotic Motion Compensation for Applications in Radiation Oncology
Advanced planning methodologies for robotic cell scheduling in semiconductor industries
Liveness checking as safety checking
Optimizing fuel consumption on inland waterway networks : local search heuristic for lock scheduling
Symbolic Causality Checking Using Bounded Model Checking
Symbolic Causality Checking Using Bounded Model Checking
Monotonicity checking
Optimizing Production and Outbound Distribution Decisions with Fixed Departure Times: Static and Dynamic Scheduling Approaches