The objective of this study was to determine if volumetric modulated arc therapy (VMAT) offers advantages over intensity modulated radiotherapy (IMRT) for complex brain gliomas and evaluate the role of an additional partial arc. Twelve patients with glioma involving critical organs at risk (OAR) were selected [six low grade brainstem glioma (BG) and six glioblastoma (GB) cases]. BGs were prescr...

Introduction: Radiotherapy (RT) plan evaluation using dose response models has become a feasible approach in routine clinical practice. Although there are several tools for this task, they suffer from limitations including number of different dose response models and parameters. In the present study, we aimed to develop a free program for RT plan evaluation based on a variety ...

Introduction: The aim of this study was to evaluation radiobiological modeling parameters on tumor control probability (TCP) for prostate cancer in three different models. These parameters included α⁄β ratios and cell surviving fraction at 2 Gy (SF2). Materials and Methods: The Poisson, equivalent uniform dose (EUD) and linear quadratic (LQ) models was used as...

Introduction: Radiobiological modeling of radiotherapy plans are used for treatment plan comparisons. The current study aimed to compare the three-dimensional conformal radiation therapy (3DCRT) and intensity-modulated radiation therapy (IMRT) plans for nasopharyngeal cancer using radiobiological modeling. Materials and Methods: This study was conducted on 10 patients with nasopharyngeal carci...

Companies are operating in a dynamic environment, resulting in a continuous need of adapting used information systems to changing business processes and associated information needs. Viewed from a micro-perspective, business users are managing and executing business processes on a daily basis, but are not able to adapt used software to their individual needs and working practice. In this paper,...

This paper introduces a novel technique to decide the satisfiability of formulae written in the language of Linear Temporal Logic with both future and past operators and atomic formulae belonging to constraint system D (CLTLB(D) for short). The technique is based on the concept of bounded satisfiability, and hinges on an encoding of CLTLB(D) formulae into QF-EUD, the theory of quantifier-free e...

This paper introduces a novel technique to decide the satisfiability of formulae written in the language of Linear Temporal Logic with Both future and past operators and atomic formulae belonging to constraint system D (CLTLB(D) for short). The technique is based on the concept of bounded satisfiability, and hinges on an encoding of CLTLB(D) formulae into QF-EUD, the theory of quantifier-free e...

Software engineering research addresses professional ways of designing, developing and implementing software. So far, software engineering more or less takes for granted that software professionals have control over the material implementation of a piece of software. Though users might use the software innovatively or even customise it, neither enduser tailoring (EUT) nor end-user development (...

in CBSD—that of end-user developers positioned between application assemblers and end users. These end-user developers are able to tailor applications at runtime because they have both domain expertise and technical know-how, but they are not perceived as programmers. They would interact with applications to adjust individual components by tailoring techniques [5], and modify existing assemblie...