Using Strategy Improvement to Stay Alive

We design a novel algorithm for solving Mean-Payoff Games (MPGs). Besides solving an MPG in the usual sense, our algorithm computes more information about the game, information that is important with respect to applications. The weights of the edges of an MPG can be thought of as a gained/consumed energy -- depending on the sign. For each vertex, our algorithm computes the minimum amount of initial energy that is sufficient for player Max to ensure that in a play starting from the vertex, the energy level never goes below zero. Our algorithm is not the first algorithm that computes the minimum sufficient initial energies, but according to our experimental study it is the fastest algorithm that computes them. The reason is that it utilizes the strategy improvement technique which is very efficient in practice

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

Specific Image Characteristics Influence Attitudes about Chimpanzee Conservation and Use as Pets

Chimpanzees are endangered in their native Africa but in the United States, they are housed not only in zoos and research centers but owned privately as pets and performers. In 2008, survey data revealed that the public is less likely to think that chimpanzees are endangered compared to other great apes, and that this is likely the result of media misportrayals in movies, television and advertisements. Here, we use an experimental survey paradigm with composite images of chimpanzees to determine the effects of specific image characteristics. We found that those viewing a photograph of a chimpanzee with a human standing nearby were 35.5% more likely to consider wild populations to be stable/healthy compared to those seeing the exact same picture without a human. Likewise, the presence of a human in the photograph increases the likelihood that they consider chimpanzees as appealing as a pet. We also found that respondents seeing images in which chimpanzees are shown in typically human settings (such as an office space) were more likely to perceive wild populations as being stable and healthy compared to those seeing chimpanzees in other contexts. These findings shed light on the way that media portrayals of chimpanzees influence public attitudes about this important and endangered species

Synchronizing Objectives for Markov Decision Processes

We introduce synchronizing objectives for Markov decision processes (MDP). Intuitively, a synchronizing objective requires that eventually, at every step there is a state which concentrates almost all the probability mass. In particular, it implies that the probabilistic system behaves in the long run like a deterministic system: eventually, the current state of the MDP can be identified with almost certainty. We study the problem of deciding the existence of a strategy to enforce a synchronizing objective in MDPs. We show that the problem is decidable for general strategies, as well as for blind strategies where the player cannot observe the current state of the MDP. We also show that pure strategies are sufficient, but memory may be necessary.Comment: In Proceedings iWIGP 2011, arXiv:1102.374

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

Coherent combining of two high-brightness laser diodes phase-locked by a Michelson-type external cavity (Orale)

International audienceWe describe a new coherent beam combin- ing architecture based on the passive phase- locking of two laser diodes in a Michelson external cavity on their rear side, and their coherent combination on their front side

Separate phase-locking and coherent combining of two laser diodes in a Michelson cavity

We describe a new coherent beam combining architecture based on passive phase-locking of two laser diodes in a Michelson external cavity on their rear facet, and their coherent combination on the front facet. As a proof-of-principle, two ridge lasers have been coherently combined with >90 % efficiency. The phase-locking range, and the resistance of the external cavity to perturbations have been thoroughly investigated. The combined power has been stabilized over more than 15 min with an optical feedback as well as with an automatic adjustment of the driving currents. Furthermore, two high-brightness high-power tapered laser diodes have been coherently combined in a similar arrangement; the combining efficiency is 70% and results in an output power of 4 W. We believe that this new configuration combines the simplicity of passive self-organizing architectures with the optical efficiency of master-oscillator power-amplifier ones

Till death (or an intruder) do us part: intrasexual-competition in a monogamous Primate

Polygynous animals are often highly dimorphic, and show large sex-differences in the degree of intra-sexual competition and aggression, which is associated with biased operational sex ratios (OSR). For socially monogamous, sexually monomorphic species, this relationship is less clear. Among mammals, pair-living has sometimes been assumed to imply equal OSR and low frequency, low intensity intra-sexual competition; even when high rates of intra-sexual competition and selection, in both sexes, have been theoretically predicted and described for various taxa. Owl monkeys are one of a few socially monogamous primates. Using long-term demographic and morphological data from 18 groups, we show that male and female owl monkeys experience intense intra-sexual competition and aggression from solitary floaters. Pair-mates are regularly replaced by intruding floaters (27 female and 23 male replacements in 149 group-years), with negative effects on the reproductive success of both partners. Individuals with only one partner during their life produced 25% more offspring per decade of tenure than those with two or more partners. The termination of the pair-bond is initiated by the floater, and sometimes has fatal consequences for the expelled adult. The existence of floaters and the sporadic, but intense aggression between them and residents suggest that it can be misleading to assume an equal OSR in socially monogamous species based solely on group composition. Instead, we suggest that sexual selection models must assume not equal, but flexible, context-specific, OSR in monogamous species.Wenner-Gren Foundation, L.S.B. Leakey Foundation, the National Geographic Society, National Science Foundation (BCS- 0621020), the University of Pennsylvania Research Foundation and the Zoological Society of San Diego, German Science Foundation (HU 1746-2/1

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

Thrombospondin-1-N-Terminal Domain Induces a Phagocytic State and Thrombospondin-1-C-Terminal Domain Induces a Tolerizing Phenotype in Dendritic Cells

In our previous study, we have found that thrombospondin-1 (TSP-1) is synthesized de novo upon monocyte and neutrophil apoptosis, leading to a phagocytic and tolerizing phenotype of dendritic cells (DC), even prior to DC-apoptotic cell interaction. Interestingly, we were able to show that heparin binding domain (HBD), the N-terminal portion of TSP-1, was cleaved and secreted simultaneously in a caspase- and serine protease- dependent manner. In the current study we were interested to examine the role of HBD in the clearance of apoptotic cells, and whether the phagocytic and tolerizing state of DCs is mediated by the HBD itself, or whether the entire TSP-1 is needed. Therefore, we have cloned the human HBD, and compared its interactions with DC to those with TSP-1. Here we show that rHBD by itself is not directly responsible for immune paralysis and tolerizing phenotype of DCs, at least in the monomeric form, but has a significant role in rendering DCs phagocytic. Binding of TSP-1-C-terminal domain on the other hand induces a tolerizing phenotype in dendritic cells