The Delta4 3D dose verification device was commissioned in the current work for pre-treatment quality assurance (QA) of Intensity Modulated Radiotherapy (IMRT) and Volumetric Modulated Arc Therapy (VMAT) plans. The cross calibration and relative array calibration were performed to enable absolute dose comparison. The linearity of response with dose and temperature sensitivity tests were also co...

In this paper, we address the problem of generating preferred plans by combining the procedural control knowledge specified by Hierarchical Task Networks (HTNs) with rich user preferences. To this end, we extend the popular Plan Domain Description Language, PDDL3, to support specification of preferences over HTN constructs. To compute preferred HTN plans, we propose a branch-and-bound algorithm...

The ability of mobile robots to project plans, i.e. to predict what will happen when they execute a plan, is crucial to flexibly plan and react in uncertain environments. While classical formalizations of this problem make strong assumptions about the world and restrict robot plans to simple, partially ordered sets of actions, real world robot controllers make use of concurrency, priorities and...

The integration and coordination of different emergency service personnel is crucial to Crisis Management. Crisis centers create plans of action to deal with the various situations that arise during an event. These plans require different personnel with different expertise to execute them within a given set of constraints. In this paper, we show that such plans can be represented as workflows, ...

Propositional plans of all forms often display a certain level of concurrency which can be exploited by scheduling the plan. This reveals the earliest times at which each action can be applied whilst still achieving the goal and shortening the plan duration. However, the output of this scheduling process is simply a set of timestamped actions, losing implicit information present in the original...

Work-in-progress on the design of a conditional nonlinear planner is described. CNLP is a nonlinear planner that develops plans that account for foreseen uncertainties. CNLP represents an extension of the conditional planning technique of Warren [75] to the domain of nonlinear planning.

We describe a system implementing a novel extension of Fung and Kowalski’s IFF abductive proof procedure which we call CIFF, and its application to realise intelligent agents that can construct (partial or complete) plans and react to changes in the environment. CIFF extends the original IFF procedure in two ways: by dealing with constraint predicates and by dealing with non-allowed abductive l...

TOSCA is a standard to describe composite Cloud-applications and their management in a portable fashion. Thereby, BPMN4TOSCA is a proposed extension for BPMN to ease modeling of management plans. This demonstration presents a web-based modeling tool that supports an updated version of BPMN4TOSCA. The updated version supports direct wiring of data of tasks and events without the need of separate

At the heart of Agrios lies Bonneville, an extension of the Columbia database optimizer. Bonneville utilizes Columbia’s methods for exploring the search space, but differs in several ways. Bonneville: is designed for use with an array data model. As such, the transformations, rules, etc., that guide exploration of the search space differ considers the location of data objects in assigning costs...