Proof theory of quantified modal logics

We introduce labelled sequent calculi for indexed modal logics. We prove that the structural rules of weakening and contraction are height-preserving admissible, that all rules are invertible, and that cut is admissible. Then we prove that each calculus introduced is sound and complete with respect to the appropriate class of transition frames.

Intensity-modulated radiotherapy for a rendu-osler-weber disease patient with recurrent severe epistaxis: a case report

We present a case of a Rendu-Osler-Weber disease patient with recurrent life threatening epistaxis demanding multiple blood transfusions despite of repetitive endoscopic laser and electrocoagulations, endovascular embolisation, septodermoplasty, and long-term intranasal dressings. As alternative treatment modalities repeatedly failed and the patient became almost permanently dependent on nasal dressing, we performed a highly conformal intensity-modulated radiotherapy of the nasal cavity; a total dose of 50 Gy in 2 Gy single fractions was applied. The therapy was very well tolerated, no acute toxicities occurred. Two weeks after the last radiation dose had been applied, the nasal dressing could be removed without problems. Endoscopical control revealed an almost avascular white mucosa without any trace of bleeding spots; previously existing hemangiomas and crusts had disappeared. After a 1-year-follow up, the patient had no significant recurrent epistaxis.

High-dose (80 Gy) intensity-modulated radiation therapy with daily image-guidance as primary treatment for localized prostate cancer

to report acute and late toxicity in prostate cancer patients treated by high-dose intensity-modulated radiation therapy (IMRT) with daily image-guidance.

Urethral toxicity vs. cancer control-Lessons to be learned from high-dose rate brachytherapy combined with intensity-modulated radiation therapy in intermediate- and high-risk prostate cancer

To describe biochemical relapse-free survival (BRFS) and late toxicity after combined high-dose rate brachytherapy (HDR-B) and intensity-modulated radiation therapy (IMRT) in intermediate- and high-risk prostate cancer patients.

Intensity modulated radiation therapy or stereotactic fractionated radiotherapy for infratentorial ependymoma in children: a multicentric study

This study was to evaluate the treatment dosimetry, efficacy and toxicity of intensity modulated radiation therapy (IMRT) and fractionated stereotactic radiotherapy (FSRT) in the management of infratentorial ependymoma. Between 1999 and 2007, seven children (median age, 3.1 years) with infratentorial ependymoma were planned with either IMRT (3 patients) or SFRT (4 patients), the latter after conventional posterior fossa irradiation. Two children underwent gross total resection. Median prescribed dose was 59.4 Gy (range, 55.8-60). The median follow-up for surviving patients was 4.8 years (range, 1.3-8). IMRT (median dose, 59.4 Gy) and FSRT (median dose, 55.8 Gy) achieved similar optimal target coverage. Percentages of maximum doses delivered to the cochleae (59.5 vs 85.0% Gy; P = 0.05) were significantly inferior with IMRT, when compared to FSRT planning. Percentages of maximum doses administered to the pituitary gland (38.2 vs 20.1%; P = 0.05) and optic chiasm (38.1 vs 14.1%; P = 0.001) were, however, significantly higher with IMRT, when compared to FSRT planning. No recurrences were observed at the last follow-up. The estimated 3-year progression-free survival and overall survival were 87.5 and 100%, respectively. No grade >1 acute toxicity was observed. Two patients presented late adverse events (grade 2 hypoacousia) during follow-up, without cognitive impairment. IMRT or FSRT for infratentorial ependymomas is effective and associated with a tolerable toxicity level. Both treatment techniques were able to capitalize their intrinsic conformal ability to deliver high-dose radiation. Larger series of patients treated with these two modalities will be necessary to more fully evaluate these delivery techniques.

A syntactic realization theorem for justification logics

Justification logics are refinements of modal logics where modalities are replaced by justification terms. They are connected to modal logics via so-called realization theorems. We present a syntactic proof of a single realization theorem that uniformly connects all the normal modal logics formed from the axioms \$mathsfd\$, \$mathsft\$, \$mathsfb\$, \$mathsf4\$, and \$mathsf5\$ with their justification counterparts. The proof employs cut-free nested sequent systems together with Fitting's realization merging technique. We further strengthen the realization theorem for \$mathsfKB5\$ and \$mathsfS5\$ by showing that the positive introspection operator is superfluous.

Expression of the nociceptin precursor and nociceptin receptor is modulated in cancer and septic patients

A role of nociceptin and its receptor (NOP) in pain and immune function has been suggested. The hypothesis was that mRNA expression of NOP and the nociceptin precursor pre-pronociceptin (pN/OFQ) in peripheral blood cells differs in end-stage cancer patients suffering from chronic pain and septic intensive care unit (ICU) patients compared with healthy controls.

Dose modulated retrospective ECG-gated versus non-gated 64-row CT angiography of the aorta at the same radiation dose: Comparison of motion artifacts, diagnostic confidence and signal-to-noise-ratios

To compare ECG-gated and non-gated CT angiography of the aorta at the same radiation dose, with regard to motion artifacts (MA), diagnostic confidence (DC) and signal-to-noise-ratios (SNRs).

Calcium-modulated chloride pathways contribute to chloride flux in murine cystic fibrosis-affected macrophages

Cystic fibrosis (CF), a common lethal inherited disorder defined by ion transport abnormalities, chronic infection, and robust inflammation, is the result of mutations in the gene encoding the cystic fibrosis transmembrane conductance regulator (CFTR) protein, a cAMP-activated chloride (Cl-) channel. Macrophages are reported to have impaired activity in CF. Previous studies suggest that Cl- transport is important for macrophage function; therefore, impaired Cl- secretion may underlie CF macrophage dysfunction. To determine whether alterations in Cl- transport exist in CF macrophages, Cl- efflux was measured using N-[ethoxycarbonylmethyl]- 6-methoxy-quinolinium bromide (MQAE), a fluorescent indicator dye. The contribution of CFTR was assessed by calculating Cl- flux in the presence and absence of cftr(inh)-172. The contribution of calcium (Ca(2+))-modulated Cl- pathways was assessed by examining Cl- flux with varied extracellular Ca(2+) concentrations or after treatment with carbachol or thapsigargin, agents that increase intracellular Ca(2+) levels. Our data demonstrate that CFTR contributed to Cl- efflux only in WT macrophages, while Ca(2+)-mediated pathways contributed to Cl- transport in CF and WT macrophages. Furthermore, CF macrophages demonstrated augmented Cl- efflux with increases in extracellular Ca(2+). Taken together, this suggests that Ca(2+)-mediated Cl- pathways are enhanced in CF macrophages compared with WT macrophages.

Stochastic amplitude-modulated stretching of Rabbit flexor digitorum profundus tendons reduces stiffness compared to Cyclic Loading but does not affect Tenocyte Metabolism

Background It has been demonstrated that frequency modulation of loading influences cellular response and metabolism in 3D tissues such as cartilage, bone and intervertebral disc. However, the mechano-sensitivity of cells in linear tissues such as tendons or ligaments might be more sensitive to changes in strain amplitude than frequency. Here, we hypothesized that tenocytes in situ are mechano-responsive to random amplitude modulation of strain. Methods We compared stochastic amplitude-modulated versus sinusoidal cyclic stretching. Rabbit tendon were kept in tissue-culture medium for twelve days and were loaded for 1h/day for six of the total twelve culture days. The tendons were randomly subjected to one of three different loading regimes: i) stochastic (2 – 7% random strain amplitudes), ii) cyclic_RMS (2–4.42% strain) and iii) cyclic_high (2 - 7% strain), all at 1 Hz and for 3,600 cycles, and one unloaded control. Results At the end of the culture period, the stiffness of the “stochastic” group was significantly lower than that of the cyclic_RMS and cyclic_high groups (both, p < 0.0001). Gene expression of eleven anabolic, catabolic and inflammatory genes revealed no significant differences between the loading groups. Conclusions We conclude that, despite an equivalent metabolic response, stochastically stretched tendons suffer most likely from increased mechanical microdamage, relative to cyclically loaded ones, which is relevant for tendon regeneration therapies in clinical practice.