Precise subtyping for synchronous multiparty sessions

The notion of subtyping has gained an important role both in theoretical and applicative domains: in lambda and concurrent calculi as well as in programming languages. The soundness and the completeness, together referred to as the preciseness of subtyping, can be considered from two different points of view: operational and denotational. The former preciseness has been recently developed with respect to type safety, i.e. the safe replacement of a term of a smaller type when a term of a bigger type is expected. The latter preciseness is based on the denotation of a type which is a mathematical object that describes the meaning of the type in accordance with the denotations of other expressions from the language. The result of this paper is the operational and denotational preciseness of the subtyping for a synchronous multiparty session calculus. The novelty of this paper is the introduction of characteristic global types to prove the operational completeness

Denotational and operational preciseness of subtyping: A roadmap

The notion of subtyping has gained an important role both in theoretical and applicative domains: in lambda and concurrent calculi as well as in object-oriented programming languages. The soundness and the completeness, together referred to as the preciseness of subtyping, can be considered from two different points of view: denotational and operational. The former preciseness is based on the denotation of a type, which is a mathematical object describing the meaning of the type in accordance with the denotations of other expressions from the language. The latter preciseness has been recently developed with respect to type safety, i.e. the safe replacement of a term of a smaller type when a term of a bigger type is expected. The present paper shows that standard proofs of operational preciseness imply denotational preciseness and gives an overview on this subject

Planning target volume margins for prostate radiotherapy using daily electronic portal imaging and implanted fiducial markers

<p>Abstract</p> <p>Background</p> <p>Fiducial markers and daily electronic portal imaging (EPI) can reduce the risk of geographic miss in prostate cancer radiotherapy. The purpose of this study was to estimate CTV to PTV margin requirements, without and with the use of this image guidance strategy.</p> <p>Methods</p> <p>46 patients underwent placement of 3 radio-opaque fiducial markers prior to prostate RT. Daily pre-treatment EPIs were taken, and isocenter placement errors were corrected if they were ≥ 3 mm along the left-right or superior-inferior axes, and/or ≥ 2 mm along the anterior-posterior axis. During-treatment EPIs were then obtained to estimate intra-fraction motion.</p> <p>Results</p> <p>Without image guidance, margins of 0.57 cm, 0.79 cm and 0.77 cm, along the left-right, superior-inferior and anterior-posterior axes respectively, are required to give 95% probability of complete CTV coverage each day. With the above image guidance strategy, these margins can be reduced to 0.36 cm, 0.37 cm and 0.37 cm respectively. Correction of all isocenter placement errors, regardless of size, would permit minimal additional reduction in margins.</p> <p>Conclusions</p> <p>Image guidance, using implanted fiducial markers and daily EPI, permits the use of narrower PTV margins without compromising coverage of the target, in the radiotherapy of prostate cancer.</p

Intrafraction motion of the prostate during an IMRT session: a fiducial-based 3D measurement with Cone-beam CT

Background: Image-guidance systems allow accurate interfractional repositioning of IMRT treatments, however, these may require up to 15 minutes. Therefore intrafraction motion might have an impact on treatment precision. 3D geometric data regarding intrafraction prostate motion are rare; we therefore assessed its magnitude with pre- and post-treatment fiducial-based imaging with cone-beam-CT (CBCT). Methods: 39 IMRT fractions in 5 prostate cancer patients after (125)I-seed implantation were evaluated. Patient position was corrected based on the (125)I-seeds after pre-treatment CBCT. Immediately after treatment delivery, a second CBCT was performed. Differences in bone- and fiducial position were measured by seed-based grey-value matching. Results: Fraction time was 13.6 +/- 1.6 minutes. Median overall displacement vector length of (125)Iseeds was 3 mm (M = 3 mm, Sigma = 0.9 mm, sigma = 1.7 mm; M: group systematic error, Sigma: SD of systematic error, sigma: SD of random error). Median displacement vector of bony structures was 1.84 mm (M = 2.9 mm, Sigma = 1 mm, sigma = 3.2 mm). Median displacement vector length of the prostate relative to bony structures was 1.9 mm (M = 3 mm, Sigma = 1.3 mm, sigma = 2.6 mm). Conclusion: a) Overall displacement vector length during an IMRT session is &lt; 3 mm. b) Positioning devices reducing intrafraction bony displacements can further reduce overall intrafraction motion. c) Intrafraction prostate motion relative to bony structures is &lt; 2 mm and may be further reduced by institutional protocols and reduction of IMRT duration

cExternal beam radiation results in minimal changes in post void residual urine volumes during the treatment of clinically localized prostate cancer

<p>Abstract</p> <p>Background</p> <p>To evaluate the impact of external beam radiation therapy (XRT) on weekly ultrasound determined post-void residual (PVR) urine volumes in patients with prostate cancer.</p> <p>Methods</p> <p>125 patients received XRT for clinically localized prostate cancer. XRT was delivered to the prostate only (n = 66) or if the risk of lymph node involvement was greater than 10% to the whole pelvis followed by a prostate boost (n = 59). All patients were irradiated in the prone position in a custom hip-fix mobilization device with an empty bladder and rectum. PVR was obtained at baseline and weekly. Multiple clinical and treatment parameters were evaluated as predictors for weekly PVR changes.</p> <p>Results</p> <p>The mean patient age was 73.9 years with a mean pre-treatment prostate volume of 53.3 cc, a mean IPSS of 11.3 and a mean baseline PVR of 57.6 cc. During treatment, PVR decreased from baseline in both cohorts with the absolute difference within the limits of accuracy of the bladder scanner. Alpha-blockers did not predict for a lower PVR during treatment. There was no significant difference in mean PVR urine volumes or differences from baseline in either the prostate only or pelvic radiation groups (p = 0.664 and p = 0.458, respectively). Patients with a larger baseline PVR (>40 cc) had a greater reduction in PVR, although the greatest reduction was seen between weeks one and three. Patients with a small PVR (<40 cc) had no demonstrable change throughout treatment.</p> <p>Conclusion</p> <p>Prostate XRT results in clinically insignificant changes in weekly PVR volumes, suggesting that radiation induced bladder irritation does not substantially influence bladder residual urine volumes.</p

Systematisation of spatial uncertainties for comparison between a MR and a CT-based radiotherapy workflow for prostate treatments

<p>Abstract</p> <p>Background</p> <p>In the present work we compared the spatial uncertainties associated with a MR-based workflow for external radiotherapy of prostate cancer to a standard CT-based workflow. The MR-based workflow relies on target definition and patient positioning based on MR imaging. A solution for patient transport between the MR scanner and the treatment units has been developed. For the CT-based workflow, the target is defined on a MR series but then transferred to a CT study through image registration before treatment planning, and a patient positioning using portal imaging and fiducial markers.</p> <p>Methods</p> <p>An "open bore" 1.5T MRI scanner, Siemens Espree, has been installed in the radiotherapy department in near proximity to a treatment unit to enable patient transport between the two installations, and hence use the MRI for patient positioning. The spatial uncertainty caused by the transport was added to the uncertainty originating from the target definition process, estimated through a review of the scientific literature. The uncertainty in the CT-based workflow was estimated through a literature review.</p> <p>Results</p> <p>The systematic uncertainties, affecting all treatment fractions, are reduced from 3-4 mm (1Sd) with a CT based workflow to 2-3 mm with a MR based workflow. The main contributing factor to this improvement is the exclusion of registration between MR and CT in the planning phase of the treatment.</p> <p>Conclusion</p> <p>Treatment planning directly on MR images reduce the spatial uncertainty for prostate treatments.</p

Permanent 125I-seed prostate brachytherapy: early prostate specific antigen value as a predictor of PSA bounce occurrence

<p>Abstract</p> <p>Purpose</p> <p>To evaluate predictive factors for PSA bounce after ¹²⁵I permanent seed prostate brachytherapy and identify criteria that distinguish between benign bounces and biochemical relapses.</p> <p>Materials and methods</p> <p>Men treated with exclusive permanent ¹²⁵I seed brachytherapy from November 1999, with at least a 36 months follow-up were included. Bounce was defined as an increase ≥ 0.2 ng/ml above the nadir, followed by a spontaneous return to the nadir. Biochemical failure (BF) was defined using the criteria of the Phoenix conference: nadir +2 ng/ml.</p> <p>Results</p> <p>198 men were included. After a median follow-up of 63.9 months, 21 patients experienced a BF, and 35.9% had at least one bounce which occurred after a median period of 17 months after implantation (4-50). Bounce amplitude was 0.6 ng/ml (0.2-5.1), and duration was 13.6 months (4.0-44.9). In 12.5%, bounce magnitude exceeded the threshold defining BF. Age at the time of treatment and high PSA level assessed at 6 weeks were significantly correlated with bounce but not with BF. Bounce patients had a higher BF free survival than the others (100% versus 92%, p = 0,007). In case of PSA increase, PSA doubling time and velocity were not significantly different between bounce and BF patients. Bounces occurred significantly earlier than relapses and than nadir + 0.2 ng/ml in BF patients (17 vs 27.8 months, p < 0.0001).</p> <p>Conclusion</p> <p>High PSA value assessed 6 weeks after brachytherapy and young age were significantly associated to a higher risk of bounces but not to BF. Long delays between brachytherapy and PSA increase are more indicative of BF.</p

Quality of life after high-dose-rate brachytherapy monotherapy for prostate cancer

Purpose There is little information in the literature on health-related quality of life (HRQOL) changes due to high-dose-rate (HDR) brachytherapy monotherapy for prostate cancer. Materials and Methods We conducted a prospective study of HRQOL changes due to HDR brachytherapy monotherapy for low risk or favorable intermediate risk prostate cancer. Sixty-four of 84 (76%) patients who were treated between February 2011 and April 2013 completed 50 questions comprising the Expanded Prostate Cancer Index Composite (EPIC) before treatment and 6 and/or 12 months after treatment. Results Six months after treatment, there was a significant decrease (p<0.05) in EPIC urinary, bowel, and sexual scores, including urinary overall, urinary function, urinary bother, urinary irritative, bowel overall, bowel bother, sexual overall, and sexual bother scores. By one year after treatment, EPIC urinary, bowel, and sexual scores had increased and only the bowel overall and bowel bother scores remained significantly below baseline values. Conclusions HDR brachytherapy monotherapy is well-tolerated in patients with low and favorable intermediate risk prostate cancer. EPIC urinary and sexual domain scores returned to close to baseline 12 months after HDR brachytherapy

Real-time prostate motion assessment: image-guidance and the temporal dependence of intra-fraction motion

BACKGROUND: The rapid adoption of image-guidance in prostate intensity-modulated radiotherapy (IMRT) results in longer treatment times, which may result in larger intrafraction motion, thereby negating the advantage of image-guidance. This study aims to qualify and quantify the contribution of image-guidance to the temporal dependence of intrafraction motion during prostate IMRT. METHODS: One-hundred and forty-three patients who underwent conventional IMRT (n=67) or intensity-modulated arc therapy (IMAT/RapidArc, n=76) for localized prostate cancer were evaluated. Intrafraction motion assessment was based on continuous RL (lateral), SI (longitudinal), and AP (vertical) positional detection of electromagnetic transponders at 10 Hz. Daily motion amplitudes were reported as session mean, median, and root-mean-square (RMS) displacements. Temporal effect was evaluated by categorizing treatment sessions into 4 different classes: IMRT(c) (transponder only localization), IMRT(cc) (transponder + CBCT localization), IMAT(c) (transponder only localization), or IMAT(cc) (transponder + CBCT localization). RESULTS: Mean/median session times were 4.15/3.99 min (IMAT(c)), 12.74/12.19 min (IMAT(cc)), 5.99/5.77 min (IMRT(c)), and 12.98/12.39 min (IMRT(cc)), with significant pair-wise difference (p<0.0001) between all category combinations except for IMRT(cc) vs. IMAT(cc) (p>0.05). Median intrafraction motion difference between CBCT and non-CBCT categories strongly correlated with time for RMS (t-value=17.29; p<0.0001), SI (t-value=−4.25; p<0.0001), and AP (t-value=2.76; p<0.0066), with a weak correlation for RL (t-value=1.67; p=0.0971). Treatment time reduction with non-CBCT treatment categories showed reductions in the observed intrafraction motion: systematic error (Σ)<0.6 mm and random error (σ)<1.2 mm compared with ≤0.8 mm and <1.6 mm, respectively, for CBCT-involved treatment categories. CONCLUSIONS: For treatment durations >4-6 minutes, and without any intrafraction motion mitigation protocol in place, patient repositioning is recommended, with at least the acquisition of the lateral component of an orthogonal image pair in the absence of volumetric imaging