PURPOSE The increasing complexities of the geometry of 3D radiation treatment plans possess challengesto the monitor unit (MU) and dose verification in clinical routine. In this work, the commissioningof the DIAMOND software (PTW-Freiburg Germany) for two Siemens linear accelerators(Primus & Artiste) along with the evaluation of its performance is described. METHODS DIAMOND employs the modifi...

PURPOSE To verify the dose distribution and number of monitor units (MU) for dynamic treatment techniques like volumetric modulated single arc radiation therapy-Rapid Arc-each patient treatment plan has to be verified prior to the first treatment. The purpose of this study was to develop a patient related treatment plan verification protocol using a two dimensional ionization chamber array (Mat...

The modal μ-calculus μL is a well-known fixpoint logic to express and model check properties interpreted over labeled transition systems. In this paper, we propose two variants of the μ-calculus, μLf and μLf , for feature transition systems. For this, we explicitly incorporate feature expressions into the logics, allowing operators to select transitions and behavior restricted to specific produ...

The purpose of this study was to characterize automatic remote couch adjustment and to assess the accuracy of automatic couch corrections following localization with cone-beam CT (CBCT). Automatic couch movement was evaluated through passive reflector markers placed on a phantom, tracked with an optical tracking system (OTS). Repeated couch movements in the lateral, cranial/caudal, and vertical...

Background: Aim of this study is to evaluate the accuracy of the gated volumetric modulated arc therapy (VMAT/RapidArc) using 2D planar dosimetry, DynaLog files and COMPASS 3D dosimetry system. Materials and Methods: Pre-treatment quality assurance of 10 gated VMAT plans was verified using 2D array and COMPASS 3D dosimetry system. Advantage of COMPASS over 2D planar is that it provides the clin...

Eosinophil and/or neutrophil leukocytes appear to have important roles in host defense against invasive, migratory helminth infestations, but the mechanisms of larval killing by leukocytes are uncertain. This study examines killing of newborn (migratory phase) larvae of Trichinella spiralis during incubation with granule preparations of human eosinophils or neutrophils and generators of hydroge...

static verification and software testing are not able to verify software single-handedly. therefore, another approach called run-time verification dealing with verifying software behavior against constraints at run-time received attention. however, the run-time verification faces the problem of verification of run-time activities against the constraints are specified in high-level and abstractl...

We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular, we present XMC, an XSBbased local model checker for a CCS-like value-passing language and the alternation-free fragment of the modal mu-calculus. XMC is written in under 200 lines of XSB code, which constitute a decl...