A game theoretical approach to the algebraic counterpart of the Wagner hierarchy

La hiérarchie de Wagner constitue à ce jour la plus fine classification des langages ω-réguliers. Par ailleurs, l'approche algébrique de la théorie de langages formels montre que ces ensembles ω-réguliers correspondent précisément aux langages reconnaissables par des ω-semigroupes finis pointés. Ce travail s'inscrit dans ce contexte en fournissant une description complète de la contrepartie algébrique de la hiérarchie de Wagner, et ce par le biais de la théorie descriptive des jeux de Wadge. Plus précisément, nous montrons d'abord que le degré de Wagner d'un langage ω-régulier est effectivement un invariant syntaxique. Nous définissons ensuite une relation de réduction entre ω-semigroupes pointés par le biais d'un jeu infini de type Wadge. La collection de ces structures algébriques ordonnée par cette relation apparaît alors comme étant isomorphe à la hiérarchie de Wagner, soit un quasi bon ordre décidable de largeur 2 et de hauteur ω. Nous exposons par la suite une procédure de décidabilité de cette hiérarchie algébrique : on décrit une représentation graphique des ω-semigroupes finis pointés, puis un algorithme sur ces structures graphiques qui calcule le degré de Wagner de n'importe quel élément. Ainsi le degré de Wagner de tout langage ω-régulier peut être calculé de manière effective directement sur son image syntaxique. Nous montrons ensuite comment construire directement et inductivement une structure de n''importe quel degré. Nous terminons par une description détaillée des invariants algébriques qui caractérisent tous les degrés de cette hiérarchie. Abstract The Wagner hierarchy is known so far to be the most refined topological classification of ω-rational languages. Also, the algebraic study of formal languages shows that these ω-rational sets correspond precisely to the languages recognizable by finite pointed ω-semigroups. Within this framework, we provide a construction of the algebraic counterpart of the Wagner hierarchy. We adopt a hierarchical game approach, by translating the Wadge theory from the ω-rational language to the ω-semigroup context. More precisely, we first show that the Wagner degree is indeed a syntactic invariant. We then define a reduction relation on finite pointed ω-semigroups by means of a Wadge-like infinite two-player game. The collection of these algebraic structures ordered by this reduction is then proven to be isomorphic to the Wagner hierarchy, namely a well-founded and decidable partial ordering of width 2 and height $\omega^\omega$. We also describe a decidability procedure of this hierarchy: we introduce a graph representation of finite pointed ω-semigroups allowing to compute their precise Wagner degrees. The Wagner degree of every ω-rational language can therefore be computed directly on its syntactic image. We then show how to build a finite pointed ω-semigroup of any given Wagner degree. We finally describe the algebraic invariants characterizing every Wagner degree of this hierarchy.

Dynamic drag modeling of submerged aquatic vegetation canopy flows

Vegetation has a profound effect on flow and sediment transport processes in natural rivers, by increasing both skin friction and form drag. The increase in drag introduces a drag discontinuity between the in-canopy flow and the flow above, which leads to the development of an inflection point in the velocity profile, resembling a free shear layer. Therefore, drag acts as the primary driver for the entire canopy system. Most current numerical hydraulic models which incorporate vegetation rely either on simple, static plant forms, or canopy-scaled drag terms. However, it is suggested that these are insufficient as vegetation canopies represent complex, dynamic, porous blockages within the flow, which are subject to spatially and temporally dynamic drag forces. Here we present a dynamic drag methodology within a CFD framework. Preliminary results for a benchmark cylinder case highlight the accuracy of the method, and suggest its applicability to more complex cases.

Extending the canopy flow model for natural, highly flexible macrophyte canopies

Flow structures above vegetation canopies have received much attention within terrestrial and aquatic literature. This research has led to a good process understanding of mean and turbulent canopy flow structure. However, much of this research has focused on rigid or semi-rigid vegetation with relatively simple morphology. Aquatic macrophytes differ from this form, exhibiting more complex morphologies, predominantly horizontal posture in the flow and a different force balance. While some recent studies have investigated such canopies, there is still the need to examine the relevance and applicability of general canopy layer theory to these types of vegetation. Here, we report on a range of numerical experiments, using both semi-rigid and highly flexible canopies. The results for the semi-rigid canopies support existing canopy layer theory. However, for the highly flexible vegetation, the flow pattern is much more complex and suggests that a new canopy model may be required.

Is high dose rate brachytherapy reliable and effective treatment for prostate cancer patients? A review of the literature.

The intrinsic physical and radiobiological characteristics of High Dose Rate Brachytherapy (HDR-BT) are well suited to the treatment of prostate cancer. HDR-BT was initially used as a boost to external beam brachytherapy, but has subsequently been employed as the sole treatment, which is termed HDR monotherapy. This review summarizes the clinical outcomes and toxicity results of the principal studies and discusses the radiobiological basis supporting its use.

Using species richness and functional traits predictions to constrain assemblage predictions from stacked species distribution models

Aim: Modelling species at the assemblage level is required to make effective forecast of global change impacts on diversity and ecosystem functioning. Community predictions may be achieved using macroecological properties of communities (MEM), or by stacking of individual species distribution models (S-SDMs). To obtain more realistic predictions of species assemblages, the SESAM framework suggests applying successive filters to the initial species source pool, by combining different modelling approaches and rules. Here we provide a first test of this framework in mountain grassland communities. Location: The western Swiss Alps. Methods: Two implementations of the SESAM framework were tested: a "Probability ranking" rule based on species richness predictions and rough probabilities from SDMs, and a "Trait range" rule that uses the predicted upper and lower bound of community-level distribution of three different functional traits (vegetative height, specific leaf area and seed mass) to constraint a pool of environmentally filtered species from binary SDMs predictions. Results: We showed that all independent constraints expectedly contributed to reduce species richness overprediction. Only the "Probability ranking" rule allowed slightly but significantly improving predictions of community composition. Main conclusion: We tested various ways to implement the SESAM framework by integrating macroecological constraints into S-SDM predictions, and report one that is able to improve compositional predictions. We discuss possible improvements, such as further improving the causality and precision of environmental predictors, using other assembly rules and testing other types of ecological or functional constraints.

Is altitude training an efficient treatment for obesity?

Worldwide, about half the adult population is considered overweight as defined by a body mass index (BMI - calculated by body weight divided by height squared) ratio in excess of 25 kg.m-2. Of these individuals, half are clinically obese (with a BMI in excess of 30) and these numbers are still increasing, notably in developing countries such as those of the Middle East region. Obesity is a disorder characterised by increased mass of adipose tissue (excessive fat accumulation) that is the result of a systemic imbalance between food intake and energy expenditure. Although factors such as family history, sedentary lifestyle, urbanisation, income and family diet patterns determine obesity prevalence, the main underlying causes are poor knowledge about food choice and lack of physical activity3. Current obesity treatments include dietary restriction, pharmacological interventions and ultimately, bariatric surgery. The beneficial effects of physical activity on weight loss through increased energy expenditure and appetite modulation are also firmly established. Another viable option to induce a negative energy balance, is to incorporate hypoxia per se or combine it with exercise in an individual's daily schedule. This article will present recent evidence suggesting that combining hypoxic exposure and exercise training might provide a cost-effective strategy for reducing body weight and improving cardio-metabolic health in obese individuals. The efficacy of this approach is further reinforced by epidemiological studies using large-scale databases, which evidence a negative relationship between altitude of habitation and obesity. In the United States, for instance, obesity prevalence is inversely associated with altitude of residence and urbanisation, after adjusting for temperature, diet, physical activity, smoking and demographic factors.

Stratégies de communication au service de la formation: quelques outils pratiques [Effective communication strategies to frame the trainer-trainee dialogue in the clinical setting].

Communication between trainer and trainee plays a central role in teaching and learning in the clinical environment. There are various strategies to frame the dialogue between trainee and trainer. These strategies allow trainers to be more effective in their supervision, which is important in our busy clinical environment. Communication strategies are well adapted to both in- and out-patient settings, to both under- and postgraduate contexts. This article presents three strategies that we think are particularly useful. They are meant to give feedback, to ask questions and to present a case.

E-cigarette use in young Swiss men : is vaping an effective way of reducing or quitting smoking ?

QUESTION UNDER STUDY: To test longitudinally differences in conventional cigarette use (cigarettes smoked, cessation, quit attempts) between vapers and nonvapers. METHODS: Fifteen months follow-up of a sample of 5 128 20-year-old Swiss men. The onset of conventional cigarette (CC) use among nonsmokers, and smoking cessation, quit attempts, changes in the number of CCs smoked among smokers at baseline were compared between vapers and nonvapers at follow-up, adjusted for nicotine dependence. RESULTS: Among baseline nonsmokers, vapers were more likely to start smoking at follow-up than nonvapers (odds ratio [OR] 6.02, 95% confidence interval [CI] 2.81, 12.88 for becoming occasional smokers, and OR = 12.69, 95% CI 4.00, 40.28 for becoming daily smokers). Vapers reported lower smoking cessation rates among occasional smokers at baseline (OR = 0.43 (0.19, 0.96); daily smokers: OR = 0.42 [0.15, 1.18]). Vapers compared with nonvapers were heavier CC users (62.53 vs 18.10 cigarettes per week, p <0.001) and had higher nicotine dependence levels (2.16 vs 0.75, p <0.001) at baseline. The number of CCs smoked increased between baseline and follow-up among occasional smokers (b = 6.06, 95% CI 4.44, 7.68) and decreased among daily smokers (b = -5.03, 95% CI -8.69, -1.38), but there were no differential changes between vapers and nonvapers. Vapers showed more quit attempts at follow-up compared with nonvapers for baseline occasional smokers (incidence rate ratio [IRR] 1.81, 95% CI 1.24, 2.64; daily smokers IRR 1.28, 95% CI 0.95, 1.73). CONCLUSIONS: We found no beneficial effects of vaping at follow-up for either smoking cessation or smoking reduction.

Is Transnational Private Regulation Potentially an Effective Means of Promoting Collective Industrial Relations?

This paper asks whether collective industrial relations can be promoted by means other than seeking change in public policy. Recent research points to the increasing significance of transnational private regulation (TPR) in developing economies. There is an emerging consensus that market incentives to improve wages and conditions of work can have a modest positive effect on measurable outcomes like hours of work, and health and safety. However, it appears that TPR has little impact on the capacity of workers to pursue such improvements for themselves via collective action. The paper takes a closer look at the potential of TPR to enhance worker voice and participation. It argues that this potential cannot be properly evaluated without understanding how local actors mobilise the social and political resources that TPR provides. The case studies presented show how different TPR schemes have been used by unions in Africa as a means to pursue the interests of members. The authors found that the scale of the impact of TPR in all of the contexts studied depended almost entirely on the existing capacities and resources of the unions involved. TPR led to the creation of collective industrial relations processes, or helped unions to ensure that certain enterprises participated in existing industrial relations processes, but did virtually nothing to enhance the political and organisational capacity of the unions to influence the outcomes of those processes in terms of wages and conditions of employment. The paper concludes that the potential of TPR to promote the emergence of collective industrial relations systems is very low.

L'échographie dans le dépistage du cancer du sein: un outil efficace dans un dépistage personnalisé [Ultrasound for Breast Cancer Screening: an Effective Tool in a Personalized Screening].

Screening mammography is the only imaging modality with proved decrease in breast cancer mortality. Ultrasound has been proposed as additional tool for screening. Controversies remain about the real value of sonography in this setting. In Caucasian women with dense breast, sonography improves significantly breast cancer detection, but also increases the false positive cases, biopsies and costs. A careful selection of women who may benefit from additional screening with sonography is mandatory.

CHARACTERISING THE EOS SLOT-SCANNING SYSTEM WITH THE EFFECTIVE DETECTIVE QUANTUM EFFICIENCY.

NlmCategory="UNASSIGNED">As opposed to the standard detective quantum efficiency (DQE), effective DQE (eDQE) is a figure of merit that allows comparing the performances of imaging systems in the presence of scatter rejection devices. The geometry of the EOS™ slot-scanning system is such that the detector is self-collimated and rejects scattered radiation. In this study, the EOS system was characterised using the eDQE in imaging conditions similar to those used in clinical practice: with phantoms of different widths placed in the X-ray beam, for various incident air kerma and tube voltages corresponding to the phantom thickness. Scatter fractions in EOS images were extremely low, around 2 % for all configurations. Maximum eDQE values spanned 9-14.8 % for a large range of air kerma at the detector plane from 0.01 to 1.34 µGy. These figures were obtained with non-optimised EOS setting but still over-performed most of the maximum eDQEs recently assessed for various computed radiology and digital radiology systems with antiscatter grids.