A Labelling Framework for Probabilistic Argumentation

The combination of argumentation and probability paves the way to new accounts of qualitative and quantitative uncertainty, thereby offering new theoretical and applicative opportunities. Due to a variety of interests, probabilistic argumentation is approached in the literature with different frameworks, pertaining to structured and abstract argumentation, and with respect to diverse types of uncertainty, in particular the uncertainty on the credibility of the premises, the uncertainty about which arguments to consider, and the uncertainty on the acceptance status of arguments or statements. Towards a general framework for probabilistic argumentation, we investigate a labelling-oriented framework encompassing a basic setting for rule-based argumentation and its (semi-) abstract account, along with diverse types of uncertainty. Our framework provides a systematic treatment of various kinds of uncertainty and of their relationships and allows us to back or question assertions from the literature

OC-0549: Improving the clinical applicability of markerless lung tumour tracking with contrast-enhanced kV imaging

In-room kV imaging is widely applied for intrafraction motion compensation in image-guided radiation therapy (IGRT). The low contrast of lung tumours in kV images and the overlap of high-intensity surrounding structures, such as the mediastinum, may limit the applicability of IGRT techniques in lung cancer treatments. The aim of this study is to apply a CT-based contrast enhancement method to improve markerless lung tumour tracking in kV images, thus enhancing the potential of X-raybased image guidance in lung cancer patients

On the input/output behavior of argumentation frameworks

This paper tackles the fundamental questions arising when looking at argumentation frameworks as interacting components, characterized by an Input/Output behavior, rather than as isolated monolithical entities. This modeling stance arises naturally in some application contexts, like multi-agent systems, but, more importantly, has a crucial impact on several general application-independent issues, like argumentation dynamics, argument summarization and explanation, incremental computation, and inter-formalism translation. Pursuing this research direction, the paper introduces a general modeling approach and provides a comprehensive set of theoretical results putting the intuitive notion of Input/Output behavior of argumentation frameworks on a solid formal ground. This is achieved by combining three main ingredients. First, several novel notions are introduced at the representation level, notably those of argumentation framework with input, of argumentation multipole, and of replacement of multipoles within a traditional argumentation framework. Second, several relevant features of argumentation semantics are identified and formally characterized. In particular, the canonical local function provides an input-aware semantics characterization and a suite of decomposability properties are introduced, concerning the correspondences between semantics outcomes at global and local level. The third ingredient glues the former ones, as it consists of the investigation of some semantics-dependent properties of the newly introduced entities, namely S-equivalence of multipoles, S-legitimacy and S-safeness of replacements, and transparency of a semantics with respect to replacements. Altogether they provide the basis and draw the limits of sound interchangeability of multipoles within traditional frameworks. The paper develops an extensive analysis of all the concepts listed above, covering seven well-known literature semantics and taking into account various, more or less constrained, ways of partitioning an argumentation framework. Diverse examples, taken from the literature, are used to illustrate the application of the results obtained and, finally, an extensive discussion of the related literature is provided

integration of enhanced optical tracking techniques and imaging in igrt

Patient setup/Optical tracking/IGRT/Treatment surveillance. In external beam radiotherapy, modern technologies for dynamic dose delivery and beam conformation provide high selectivity in radiation dose administration to the pathological volume. A comparable accuracy level is needed in the 3-D localization of tumor and organs at risk (OARs), in order to accomplish the planned dose distribution in the reality of each irradiation session. In-room imaging techniques for patient setup verification and tumor targeting may benefit of the combined daily use of optical tracking technologies, supported by techniques for the detection and compensation of organ motion events. Multiple solutions to enhance the use of optical tracking for the on-line correction of target localization uncertainties are described, with specific emphasis on the compensation of setup errors, breathing movements and non-rigid deformations. The final goal is the implementation of customized protocols where appropriate external landmarks, to be tracked in real-time by means of noninvasive optical devices, are selected as a function of inner target localization. The presented methodology features high accuracy in patient setup optimization, also providing a valuable tool for on-line patient surveillance, taking into account both breathing and deformation effects. The methodic application of optical tracking is put forward to represent a reliable and low cost procedure for the reduction of safety margins, once the patient-specific correlation between external landmarks and inner structures has been established. Therefore, the integration of optical tracking with in-room imaging devices is proposed as a way to gain higher confidence in the framework of Image Guided Radiation Therapy (IGRT) treatments

THREE-DIMENSIONAL SPORT MOVEMENT ANALYSIS BY MEANS OF FREE FLOATING TV CAMERAS WITH VARIABLE OPTICS

INTRODUCTION: Video analysis and off-line manual digitalization is usually used for 2-D and 3-D studies of human movement in sport science. The main advantage of this approach, with respect to the recourse to opto-electronic automatic motion analyzers, is the high flexibility in system set-up, the avoidance of marking procedures and the possibility of successful operation in a wide range of environmental situations. Such features turn out to be particularly important for recordings to be performed in the frame of high-level competition, when the experimental set-up must be adapted to a pre-defined competitive environment, without interfering with the performances of the athletes. However, when methods proper to conventional close-range photogrammetry are used, most of the advantages offered by the flexibility of video analysis are not obtained. Particularly critical is the restriction of the useful calibrated volume to the field of view made possible by fixed pairs of TV cameras. In this case the useful sequence of images (where the dimension of the acquired subject allows one to limit macroscopic digitalization errors) is often insufficient for the analysis of a complete movement cycle. This limitation hinders a fruitful application of video analysis in the frame of sport activities (alpine and Nordic skiing, swimming, track and field) in which the execution of the particular technical movement is performed within a large physical space. A solution to the problem is proposed based on the use of free moving and zooming cameras. The corresponding dedicated software for repeated calibration based on Direct Linear Transformation (DLT)(Abdel Aziz and Karara, 1971) is described. Results of recording performed in the laboratory are discussed aiming at the validation of the implemented method. The description of the methodology for the recording of sport activities and the presentation of the related results confirm the operational feasibility of the proposed method and the reliability of the resulting quantitative kinematics analysis

Multi-camera optical tracking and fringe pattern analysis for eye surface profilometry in ocular proton therapy.

BACKGROUND AND PURPOSE An optical tracking system for high-precision measurement of eye position and orientation during proton irradiation of intraocular tumors was designed. The system performed three-dimensional (3D) topography of the anterior eye segment using fringe pattern analysis based on Fourier Transform Method (FTM). MATERIALS AND METHODS The system consisted of four optical cameras and two projectors. The design and modifications to the FTM pipeline were optimized for the realization of a reliable measurement system. Of note, phase-to-physical coordinate mapping was achieved through the combination of stereo triangulation and fringe pattern analysis. A comprehensive pre-clinical validation was carried out. Then, the system was set to acquire the eye surface of patients undergoing proton therapy. Topographies of the eye were compared to manual contouring on MRI. RESULTS Pre-clinical results demonstrated that 3D topography could achieve sub-millimetric accuracy (median:0.58 mm) and precision (RMSE:0.61 mm) in the clinical setup. The absolute median discrepancy between MRI and FTM-based anterior eye segment surface reconstruction was 0.43 mm (IQR:0.65 mm). CONCLUSIONS The system complied with the requirement of precision and accuracy for image guidance in ocular proton therapy radiation and is expected to be clinically tested soon to evaluate its performance against the current standard

An image-based method to synchronize cone-beam CT and optical surface tracking

open5siThe integration of in-room X-ray imaging and optical surface tracking has gained increasing importance in the field of image guided radiotherapy (IGRT). An essential step for this integration consists of temporally synchronizing the acquisition of X-ray projections and surface data. We present an image-based method for the synchronization of cone-beam computed tomography (CBCT) and optical surface systems, which does not require the use of additional hardware. The method is based on optically tracking the motion of a component of the CBCT/gantry unit, which rotates during the acquisition of the CBCT scan. A calibration procedure was implemented to relate the position of the rotating component identified by the optical system with the time elapsed since the beginning of the CBCT scan, thus obtaining the temporal correspondence between the acquisition of X-ray projections and surface data. The accuracy of the proposed synchronization method was evaluated on a motorized moving phantom, performing eight simultaneous acquisitions with an Elekta Synergy CBCT machine and the AlignRT optical device. The median time difference between the sinusoidal peaks of phantom motion signals extracted from the synchronized CBCT and AlignRT systems ranged between -3.1 and 12.9 msec, with a maximum interquartile range of 14.4 msec. The method was also applied to clinical data acquired from seven lung cancer patients, demonstrating the potential of the proposed approach in estimating the individual and daily variations in respiratory parameters and motion correlation of internal and external structures. The presented synchronization method can be particularly useful for tumor tracking applications in extracranial radiation treatments, especially in the field of patient-specific breathing models, based on the correlation between internal tumor motion and external surface surrogates.Fassi, Aurora; Schaerer, Joël; Riboldi, Marco; Sarrut, David; Baroni, GuidoFassi, Aurora; Schaerer, Joël; Riboldi, Marco; Sarrut, David; Baroni, Guid

Integration of Spatial Distortion Effects in a 4D Computational Phantom for Simulation Studies in Extra-Cranial MRI-guided Radiation Therapy: Initial Results.

PurposeSpatial distortions in magnetic resonance imaging (MRI) are mainly caused by inhomogeneities of the static magnetic field, nonlinearities in the applied gradients, and tissue‐specific magnetic susceptibility variations. These factors may significantly alter the geometrical accuracy of the reconstructed MR image, thus questioning the reliability of MRI for guidance in image‐guided radiation therapy. In this work, we quantified MRI spatial distortions and created a quantitative model where different sources of distortions can be separated. The generated model was then integrated into a four‐dimensional (4D) computational phantom for simulation studies in MRI‐guided radiation therapy at extra‐cranial sites.MethodsA geometrical spatial distortion phantom was designed in four modules embedding laser‐cut PMMA grids, providing 3520 landmarks in a field of view of (345 × 260 × 480) mm3. The construction accuracy of the phantom was verified experimentally. Two fast MRI sequences for extra‐cranial imaging at 1.5 T were investigated, considering axial slices acquired with online distortion correction, in order to mimic practical use in MRI‐guided radiotherapy. Distortions were separated into their sources by acquisition of images with gradient polarity reversal and dedicated susceptibility calculations. Such a separation yielded a quantitative spatial distortion model to be used for MR imaging simulations. Finally, the obtained spatial distortion model was embedded into an anthropomorphic 4D computational phantom, providing registered virtual CT/MR images where spatial distortions in MRI acquisition can be simulated.ResultsThe manufacturing accuracy of the geometrical distortion phantom was quantified to be within 0.2 mm in the grid planes and 0.5 mm in depth, including thickness variations and bending effects of individual grids. Residual spatial distortions after MRI distortion correction were strongly influenced by the applied correction mode, with larger effects in the trans‐axial direction. In the axial plane, gradient nonlinearities caused the main distortions, with values up to 3 mm in a 1.5 T magnet, whereas static field and susceptibility effects were below 1 mm. The integration in the 4D anthropomorphic computational phantom highlighted that deformations can be severe in the region of the thoracic diaphragm, especially when using axial imaging with 2D distortion correction. Adaptation of the phantom based on patient‐specific measurements was also verified, aiming at increased realism in the simulation.ConclusionsThe implemented framework provides an integrated approach for MRI spatial distortion modeling, where different sources of distortion can be quantified in time‐dependent geometries. The computational phantom represents a valuable platform to study motion management strategies in extra‐cranial MRI‐guided radiotherapy, where the effects of spatial distortions can be modeled on synthetic images in a virtual environment