Distribution-based bisimulation for labelled Markov processes

In this paper we propose a (sub)distribution-based bisimulation for labelled Markov processes and compare it with earlier definitions of state and event bisimulation, which both only compare states. In contrast to those state-based bisimulations, our distribution bisimulation is weaker, but corresponds more closely to linear properties. We construct a logic and a metric to describe our distribution bisimulation and discuss linearity, continuity and compositional properties.Comment: Accepted by FORMATS 201

Probabilistic Bisimulation: Naturally on Distributions

In contrast to the usual understanding of probabilistic systems as stochastic processes, recently these systems have also been regarded as transformers of probabilities. In this paper, we give a natural definition of strong bisimulation for probabilistic systems corresponding to this view that treats probability distributions as first-class citizens. Our definition applies in the same way to discrete systems as well as to systems with uncountable state and action spaces. Several examples demonstrate that our definition refines the understanding of behavioural equivalences of probabilistic systems. In particular, it solves a long-standing open problem concerning the representation of memoryless continuous time by memory-full continuous time. Finally, we give algorithms for computing this bisimulation not only for finite but also for classes of uncountably infinite systems

Effects of proton versus photon irradiation on (lymph) angiogenic, inflammatory, proliferative and anti-tumor immune responses in head and neck squamous cell carcinoma

International audienceThe proximity of organs at risk makes the treatment of head and neck squamous cell carcinoma (HNSCC) challenging by standard radiotherapy. The higher precision in tumor targeting of proton (P) therapy could promote it as the treatment of choice for HNSCC. Besides the physical advantage in dose deposition, few is known about the biological impact of P versus photons (X) in this setting. To investigate the comparative biological effects of P versus X radiation in HNSCC cells, we assessed the relative biological effectiveness (RBE), viability, proliferation and mRNA levels for genes involved in (lymph)angiogenesis, inflammation, proliferation and anti-tumor immunity. These parameters, particularly VEGF-C protein levels and regulations, were documented in freshly irradiated and/or long-term surviving cells receiving low/high-dose, single (SI)/multiple (MI) irradiations with P/X. The RBE was found to be 1.1 Key (lymph)angiogenesis and inflammation genes were downregulated (except for vegf-c) after P and upregulated after X irradiation in MI surviving cells, demonstrating a more favorable profile after P irradiation. Both irradiation types stimulated vegf-c promoter activity in a NF-κB-dependent transcriptional regulation manner, but at a lesser extent after P, as compared to X irradiation, which correlated with mRNA and protein levels. The cells surviving to MI by P or X generated tumors with higher volume, anarchic architecture and increased density of blood vessels. Increased lymphangiogenesis and a transcriptomic analysis in favor of a more aggressive phenotype were observed in tumors generated with X-irradiated cells. Increased detection of lymphatic vessels in relapsed tumors from patients receiving X radiotherapy was consistent with these findings. This study provides new data about the biological advantage of P, as compared to X irradiation. In addition to its physical advantage in dose deposition, P irradiation may help to improve treatment approaches for HNSCC

Testing Reactive Probabilistic Processes

We define a testing equivalence in the spirit of De Nicola and Hennessy for reactive probabilistic processes, i.e. for processes where the internal nondeterminism is due to random behaviour. We characterize the testing equivalence in terms of ready-traces. From the characterization it follows that the equivalence is insensitive to the exact moment in time in which an internal probabilistic choice occurs, which is inherent from the original testing equivalence of De Nicola and Hennessy. We also show decidability of the testing equivalence for finite systems for which the complete model may not be known

Fractionated Stereotactic Radiation Therapy for Pituitary Adenomas: An alternative escalating protocol of hypofractionated stereotactic radiotherapy delivering 35Gy in 5 fractions

PURPOSE: Evaluate efficacy and toxicity of hypofractionated stereotactic radiotherapy (HSRT) for patients treated for pituitary adenoma (PA) with an alternative HSRT escalating protocol delivering 35Gy in 5 fractions. MATERIAL AND METHODS: From June 2007 to March 2017, 29 patients with pituitary adenoma were treated in Antoine Lacassagne Cancer Centre with an alternative HSRT protocol. Prescribed dose was 35Gy in 5 fractions of 7Gy. Radiographic responses were assessed by annual MRI. Hormone blood samples were evaluated each year after HSRT. RESULTS: A total of 29 patients aged between 23 and 86 years (median 54 years) were included. Twelve patients received HSRT for recurrent cases and 12 received postoperative adjuvant HSRT, 5 patients did not have surgery. After a median follow-up period of 47 months local control rate was 96%. One patient presented an out-field tumor regrowth 73 months after HSRT. The majority of PA were endocrine-active (18 patients, 62%). After HSRT, 8 patients (44%) presented complete response on initial secretion, 4 patients (23%) presented partial response on initial secretion. Four patients (14%) presented grade 2 or more acute radiation toxicities. One grade 4 visual disorder was observed for one patient. CONCLUSIONS: HSRT delivering 35Gy in 5 fractions represents a feasible treatment and shows promising results to reduce hormonal overproduction and to improve local control in PA

Predictors of linkage to care following community-based HIV counseling and testing in rural Kenya

Despite innovations in HIV counseling and testing (HCT), important gaps remain in understanding linkage to care. We followed a cohort diagnosed with HIV through a community-based HCT campaign that trained persons living with HIV/AIDS (PLHA) as navigators. Individual, interpersonal, and institutional predictors of linkage were assessed using survival analysis of self-reported time to enrollment. Of 483 persons consenting to follow-up, 305 (63.2%) enrolled in HIV care within 3 months. Proportions linking to care were similar across sexes, barring a sub-sample of men aged 18–25 years who were highly unlikely to enroll. Men were more likely to enroll if they had disclosed to their spouse, and women if they had disclosed to family. Women who anticipated violence or relationship breakup were less likely to link to care. Enrolment rates were significantly higher among participants receiving a PLHA visit, suggesting that a navigator approach may improve linkage from community-based HCT campaigns.Vestergaard Frandse

Long-Term Monitoring of Fecal Steroid Hormones in Female Snow Leopards (Panthera uncia) during Pregnancy or Pseudopregnancy

Knowledge of the basic reproductive physiology of snow leopards is required urgently in order to develop a suitable management conditions under captivity. In this study, the long-term monitoring of concentrations of three steroid hormones in fecal matter of three female snow leopards was performed using enzyme immunoassays: (1) estradiol-17β, (2) progesterone and (3) cortisol metabolite. Two of the female animals were housed with a male during the winter breeding season, and copulated around the day the estradiol-17β metabolite peaked subsequently becoming pregnant. The other female was treated in two different ways: (1) first housed with a male in all year round and then (2) in the winter season only. She did not mate with him on the first occasion, but did so latter around when estradiol-17β metabolite peaked, and became pseudopregnant. During pregnancy, progesterone metabolite concentrations increased for 92 or 94 days, with this period being approximately twice as long as in the pseudopregnant case (31, 42, 49 and 53 days). The levels of cortisol metabolite in the pseudopregnant female (1.35 µg/g) were significantly higher than in the pregnant females (0.33 and 0.24 µg/g) (P<0.05). Similarly, during the breeding season, the levels of estradiol-17β metabolite in the pseudopregnant female (2.18 µg/g) were significantly higher than those in the pregnant females (0.81 and 0.85 µg/g) (P<0.05). Unlike cortisol the average levels of estradiol-17β during the breeding season were independent of reproductive success

Follicular lymphoma international prognostic index.

The prognosis of follicular lymphomas (FL) is heterogeneous and numerous treatments may be proposed. A validated prognostic index (PI) would help in evaluating and choosing these treatments. Characteristics at diagnosis were collected from 4167 patients with FL diagnosed between 1985 and 1992. Univariate and multivariate analyses were used to propose a PI. This index was then tested on 919 patients. Five adverse prognostic factors were selected: age (> 60 years vs or = 120 g/L), number of nodal areas (> 4 vs or = 3 adverse factors, 27% of patients, HR = 4.3). This Follicular Lymphoma International Prognostic Index (FLIPI) appeared more discriminant than the International Prognostic Index proposed for aggressive non-Hodgkin lymphomas. Results were very similar in the confirmation group. The FLIPI may be used for improving treatment choices, comparing clinical trials, and designing studies to evaluate new treatments

Night Shift: Expansion of Temporal Niche Use Following Reductions in Predator Density

Predation shapes many fundamental aspects of ecology. Uncertainty remains, however, about whether predators can influence patterns of temporal niche construction at ecologically relevant timescales. Partitioning of time is an important mechanism by which prey avoid interactions with predators. However, the traits that control a prey organism's capacity to operate during a particular portion of the diel cycle are diverse and complex. Thus, diel prey niches are often assumed to be relatively unlikely to respond to changes in predation risk at short timescales. Here we present evidence to the contrary. We report results that suggest that the anthropogenic depletion of daytime active predators (species that are either diurnal or cathemeral) in a coral reef ecosystem is associated with rapid temporal niche expansions in a multi-species assemblage of nocturnal prey fishes. Diurnal comparisons of nocturnal prey fish abundance in predator rich and predator depleted reefs at two atolls revealed that nocturnal fish were approximately six (biomass) and eight (density) times more common during the day on predator depleted reefs. Amongst these, the prey species that likely were the most specialized for nocturnal living, and thus the most vulnerable to predation (i.e. those with greatest eye size to body length ratio), showed the strongest diurnal increases at sites where daytime active predators were rare. While we were unable to determine whether these observed increases in diurnal abundance by nocturnal prey were the result of a numerical or behavioral response, either effect could be ecologically significant. These results raise the possibility that predation may play an important role in regulating the partitioning of time by prey and that anthropogenic depletions of predators may be capable of causing rapid changes to key properties of temporal community architecture

Role of gonadotropin-releasing hormone analogues in metastatic male breast cancer: Results from a pooled analysis

Background: Male breast cancer is a rare malignancy. Despite the lack of prospectively generated data from trials in either the adjuvant or metastatic setting, patients are commonly treated with hormone therapies. Much controversy exists over the use of gonadotropin-releasing hormone analogues in metastatic male breast cancer patients. We conducted this study to provide more concrete ground on the use of gonadotropin-releasing hormone analogues in this setting. Methods: We herein present results from a pooled analysis including 60 metastatic male breast cancer patients treated with either an aromatase inhibitor or cyproterone acetate as a monotherapy (23 patients) or combined with a gonadotropin-releasing hormone analogue (37 patients). Results: Overall response rate was 43.5 % in patients treated with monotherapy and 51.3 % with combination therapy (p = 0.6). Survival outcomes favored combination therapy in terms of median progression-free survival (11.6 months versus 6 months; p = 0.05), 1-year progression-free survival rate (43.2 % versus 21.7 %; p = 0.05), median overall survival (29.7 months versus 22 months; p = 0.05), and 2-year survival rate (64.9 % versus 43.5 %; p = 0.05). Conclusions: In metastatic male breast cancer patients, the combined use of gonadotropin-releasing hormone analogues and aromatase inhibitors or antiandrogens seems to be associated with greater efficacy, particularly in terms of survival outcomes, compared with monotherapy. Collectively, these results encourage considering these agents in the metastatic setting