A study on the expressive power of some fragments of the modal µ-Calculus

Résumé Le μ-calcul est une extension de la logique modale par des opérateurs de point fixe. Dans ce travail nous étudions la complexité de certains fragments de cette logique selon deux points de vue, différents mais étroitement liés: l'un syntaxique (ou combinatoire) et l'autre topologique. Du point de vue syn¬taxique, les propriétés définissables dans ce formalisme sont classifiées selon la complexité combinatoire des formules de cette logique, c'est-à-dire selon le nombre d'alternances des opérateurs de point fixe. Comparer deux ensembles de modèles revient ainsi à comparer la complexité syntaxique des formules as¬sociées. Du point de vue topologique, les propriétés définissables dans cette logique sont comparées à l'aide de réductions continues ou selon leurs positions dans la hiérarchie de Borel ou dans celle projective. Dans la première partie de ce travail nous adoptons le point de vue syntax¬ique afin d'étudier le comportement du μ-calcul sur des classes restreintes de modèles. En particulier nous montrons que: (1) sur la classe des modèles symétriques et transitifs le μ-calcul est aussi expressif que la logique modale; (2) sur la classe des modèles transitifs, toute propriété définissable par une formule du μ-calcul est définissable par une formule sans alternance de points fixes, (3) sur la classe des modèles réflexifs, il y a pour tout η une propriété qui ne peut être définie que par une formule du μ-calcul ayant au moins η alternances de points fixes, (4) sur la classe des modèles bien fondés et transitifs le μ-calcul est aussi expressif que la logique modale. Le fait que le μ-calcul soit aussi expressif que la logique modale sur la classe des modèles bien fondés et transitifs est bien connu. Ce résultat est en ef¬fet la conséquence d'un théorème de point fixe prouvé indépendamment par De Jongh et Sambin au milieu des années 70. La preuve que nous donnons de l'effondrement de l'expressivité du μ-calcul sur cette classe de modèles est néanmoins indépendante de ce résultat. Par la suite, nous étendons le langage du μ-calcul en permettant aux opérateurs de point fixe de lier des occurrences négatives de variables libres. En montrant alors que ce formalisme est aussi ex¬pressif que le fragment modal, nous sommes en mesure de fournir une nouvelle preuve du théorème d'unicité des point fixes de Bernardi, De Jongh et Sambin et une preuve constructive du théorème d'existence de De Jongh et Sambin. RÉSUMÉ Pour ce qui concerne les modèles transitifs, du point de vue topologique cette fois, nous prouvons que la logique modale correspond au fragment borélien du μ-calcul sur cette classe des systèmes de transition. Autrement dit, nous vérifions que toute propriété définissable des modèles transitifs qui, du point de vue topologique, est une propriété borélienne, est nécessairement une propriété modale, et inversement. Cette caractérisation du fragment modal découle du fait que nous sommes en mesure de montrer que, modulo EF-bisimulation, un ensemble d'arbres est définissable dans la logique temporelle Ε F si et seulement il est borélien. Puisqu'il est possible de montrer que ces deux propriétés coïncident avec une caractérisation effective de la définissabilité dans la logique Ε F dans le cas des arbres à branchement fini donnée par Bojanczyk et Idziaszek [24], nous obtenons comme corollaire leur décidabilité. Dans une deuxième partie, nous étudions la complexité topologique d'un sous-fragment du fragment sans alternance de points fixes du μ-calcul. Nous montrons qu'un ensemble d'arbres est définissable par une formule de ce frag¬ment ayant au moins η alternances si et seulement si cette propriété se trouve au moins au n-ième niveau de la hiérarchie de Borel. Autrement dit, nous vérifions que pour ce fragment du μ-calcul, les points de vue topologique et combina- toire coïncident. De plus, nous décrivons une procédure effective capable de calculer pour toute propriété définissable dans ce langage sa position dans la hiérarchie de Borel, et donc le nombre d'alternances de points fixes nécessaires à la définir. Nous nous intéressons ensuite à la classification des ensembles d'arbres par réduction continue, et donnons une description effective de l'ordre de Wadge de la classe des ensembles d'arbres définissables dans le formalisme considéré. En particulier, la hiérarchie que nous obtenons a une hauteur (ωω)ω. Nous complétons ces résultats en décrivant un algorithme permettant de calculer la position dans cette hiérarchie de toute propriété définissable.

Association of socioeconomic position with health behaviors and mortality

CONTEXT: Previous studies may have underestimated the contribution of health behaviors to social inequalities in mortality because health behaviors were assessed only at the baseline of the study. OBJECTIVE: To examine the role of health behaviors in the association between socioeconomic position and mortality and compare whether their contribution differs when assessed at only 1 point in time with that assessed longitudinally through the follow-up period. DESIGN, SETTING, AND PARTICIPANTS: Established in 1985, the British Whitehall II longitudinal cohort study includes 10 308 civil servants, aged 35 to 55 years, living in London, England. Analyses are based on 9590 men and women followed up for mortality until April 30, 2009. Socioeconomic position was derived from civil service employment grade (high, intermediate, and low) at baseline. Smoking, alcohol consumption, diet, and physical activity were assessed 4 times during the follow-up period. MAIN OUTCOME MEASURES: All-cause and cause-specific mortality. RESULTS: A total of 654 participants died during the follow-up period. In the analyses adjusted for sex and year of birth, those with the lowest socioeconomic position had 1.60 times higher risk of death from all causes than those with the highest socioeconomic position (a rate difference of 1.94/1000 person-years). This association was attenuated by 42% (95% confidence interval [CI], 21%-94%) when health behaviors assessed at baseline were entered into the model and by 72% (95% CI, 42%-154%) when they were entered as time-dependent covariates. The corresponding attenuations were 29% (95% CI, 11%-54%) and 45% (95% CI, 24%-79%) for cardiovascular mortality and 61% (95% CI, 16%-425%) and 94% (95% CI, 35%-595%) for noncancer and noncardiovascular mortality. The difference between the baseline only and repeated assessments of health behaviors was mostly due to an increased explanatory power of diet (from 7% to 17% for all-cause mortality, respectively), physical activity (from 5% to 21% for all-cause mortality), and alcohol consumption (from 3% to 12% for all-cause mortality). The role of smoking, the strongest mediator in these analyses, did not change when using baseline or repeat assessments (from 32% to 35% for all-cause mortality). CONCLUSION: In a civil service population in London, England, there was an association between socioeconomic position and mortality that was substantially accounted for by adjustment for health behaviors, particularly when the behaviors were assessed repeatedly.

Measurement of the mechanical power of walking by satellite positioning system (GPS).

PURPOSE: This descriptive article illustrates the application of Global Positioning System (GPS) professional receivers in the field of locomotion studies. The technological challenge was to assess the external mechanical work in outdoor walking. METHODS: Five subjects walked five times during 5 min on an athletic track at different imposed stride frequency (from 70-130 steps x min(-1)). A differential GPS system (carrier phase analysis) measured the variation of the position of the trunk at 5 Hz. A portable indirect calorimeter recorded breath-by-breath energy expenditure. RESULTS: For a walking speed of 1.05 +/- 0.11 m x s(-1), the vertical lift of the trunk (43 +/- 14 mm) induced a power of 46.0 +/- 20.4 W. The average speed variation per step (0.15 +/- 0.03 m x s(-1)) produced a kinetic power of 16.9 +/- 7.2 W. As compared with commonly admitted values, the energy exchange (recovery) between the two energy components was low (39.1 +/- 10.0%), which induced an overestimated mechanical power (38.9 +/- 18.3 W or 0.60 W x kg(-1) body mass) and a high net mechanical efficiency (26.9 +/- 5.8%). CONCLUSION: We assumed that the cause of the overestimation was an unwanted oscillation of the GPS antenna. It is concluded that GPS (in phase mode) is now able to record small body movements during human locomotion, and constitutes a promising tool for gait analysis of outdoor unrestrained walking. However, the design of the receiver and the antenna must be adapted to human experiments and a thorough validation study remains to be conducted.

Accuracy of indirect estimation of power output from uphill performance in cycling.

PURPOSE: To use measurement by cycling power meters (Pmes) to evaluate the accuracy of commonly used models for estimating uphill cycling power (Pest). Experiments were designed to explore the influence of wind speed and steepness of climb on accuracy of Pest. The authors hypothesized that the random error in Pest would be largely influenced by the windy conditions, the bias would be diminished in steeper climbs, and windy conditions would induce larger bias in Pest. METHODS: Sixteen well-trained cyclists performed 15 uphill-cycling trials (range: length 1.3-6.3 km, slope 4.4-10.7%) in a random order. Trials included different riding position in a group (lead or follow) and different wind speeds. Pmes was quantified using a power meter, and Pest was calculated with a methodology used by journalists reporting on the Tour de France. RESULTS: Overall, the difference between Pmes and Pest was -0.95% (95%CI: -10.4%, +8.5%) for all trials and 0.24% (-6.1%, +6.6%) in conditions without wind (<2 m/s). The relationship between percent slope and the error between Pest and Pmes were considered trivial. CONCLUSIONS: Aerodynamic drag (affected by wind velocity and orientation, frontal area, drafting, and speed) is the most confounding factor. The mean estimated values are close to the power-output values measured by power meters, but the random error is between ±6% and ±10%. Moreover, at the power outputs (>400 W) produced by professional riders, this error is likely to be higher. This observation calls into question the validity of releasing individual values without reporting the range of random errors.

Consensus of Official Position of IOF/ISCD FRAX Initiatives in Asia-Pacific Region.

The fracture risk assessment tool (FRAX(®)) has been developed for the identification of individuals with high risk of fracture in whom treatment to prevent fractures would be appropriate. FRAX models are not yet available for all countries or ethnicities, but surrogate models can be used within regions with similar fracture risk. The International Society for Clinical Densitometry (ISCD) and International Osteoporosis Foundation (IOF) are nonprofit multidisciplinary international professional organizations. Their visions are to advance the awareness, education, prevention, and treatment of osteoporosis. In November 2010, the IOF/ISCD FRAX initiative was held in Bucharest, bringing together international experts to review and create evidence-based official positions guiding clinicians for the practical use of FRAX. A consensus meeting of the Asia-Pacific (AP) Panel of the ISCD recently reviewed the most current Official Positions of the Joint Official Positions of ISCD and IOF on FRAX in view of the different population characteristics and health standards in the AP regions. The reviewed position statements included not only the key spectrum of positions but also unique concerns in AP regions.

Using active learning for monitoring networks design: The example of wind power plants sites evaluation

Locating new wind farms is of crucial importance for energy policies of the next decade. To select the new location, an accurate picture of the wind fields is necessary. However, characterizing wind fields is a difficult task, since the phenomenon is highly nonlinear and related to complex topographical features. In this paper, we propose both a nonparametric model to estimate wind speed at different time instants and a procedure to discover underrepresented topographic conditions, where new measuring stations could be added. Compared to space filling techniques, this last approach privileges optimization of the output space, thus locating new potential measuring sites through the uncertainty of the model itself.

Le suicide comme langage de l'oppression. Ethnographie d'un service d'urgences psychiatriques

Ce travail s'intéresse à la problématique du suicide à partir de l'émergence en Suisse, vers la fin des années '90, de la prévention du suicide comme préoccupation sociale et politique. Au début, ce sont les milieux associatifs qui ont soulevé à cette question en percevant le suicide comme le reflet d'une souffrance d'origine sociale. Par la suite, la prévention du suicide est progressivement devenue une problématique de santé publique appréhendée essentiellement sous le registre médical comme étant le symptôme d'une pathologie psychiatrique. Après une première partie consacrée aux processus sociopolitiques et aux transformations morales touchant le suicide et sa prévention, ce travail approfondit, au travers d'un terrain ethnographique, la prise en charge des personnes présentant des problématiques suicidaires au sein d'un service d'urgences psychiatriques.Malgré une approche se voulant biopsychosociale, l'analyse des discours et des pratiques soignantes montre que la dimension sociale est largement négligée, conduisant à une médicalisation de situations de détresse qui sont principalement de nature sociale. En effet, parmi la population qui fréquente le service, on observe une surreprésentation de personnes issues des classes sociales défavorisées présentant souvent des trajectoires biographiques particulièrement difficiles. Au fil des entretiens avec les patients émerge une analyse voyant la souffrance psychique et la prise en charge psychiatrique comme étant aujourd'hui une manière d'obtenir une reconnaissance sociale et symbolique. Les problématiques suicidaires peuvent ainsi être interprétées comme une forme d'expression, un langage au travers duquel s'exprime la position sociale défavorisée.En adoptant une posture militante construite à partir de la réalité ethnographique, les problématiques suicidaires sont analysées comme l'expression d'une condition d'oppression liée à un cadre social et économique de plus en plus contraignant, à des rapports de pouvoir inégaux ainsi qu'à une lecture individualisante, médicalisante et pathologisante des problèmes sociaux.The present thesis discusses suicide prevention in Switzerland, which emerged as a social and political issue at the end of the '90s. At first, this question was taken up by associations considering suicide as a reflection of social suffering. Thereafter, suicide prevention gradually became a public health matter conceived with a medical approach as a symptom of a psychiatric disease. The first part of this work analyzes the sociopolitical process and moral transformations concerning suicide and its prevention. The second part is based on an ethnographic fieldwork conducted in a psychiatric emergency unit that attends people who have tried to attempt their life or consider doing it. Through the analysis of discourses and practices of the medical staff, this research shows that the social aspect of suicide is widely neglected, leading to a medicalization of social problems. In fact, amongst patients attending the emergency unit, there is an over-­-representation of people from disadvantaged classes having very difficult life stories. Interviews with patients also revealed that psychic suffering and psychiatric treatment is nowadays a way to get social and symbolical recognition. Suicidal problems can be understood as a language expressing a disadvantaged social position. By adopting a militant position constructed from the ethnographic reality, suicide is analyzed as the expression of an oppressed condition related to a more and more restricted social and economic situation, to unequal power relations as well as to an individualistic, medical and pathological interpretation of social problems.

Modified 'dumbbell' technique: a simple and intuitive method to position balloon-expandable stent valves.

Intraoperative cardiac imaging plays a key role during transcatheter aortic valve replacement. In recent years, new techniques and new tools for improved image quality and virtual navigation have been proposed, in order to simplify and standardize stent valve positioning and implantation. But routine performance of the new techniques may require major economic investments or specific knowledge and skills and, for this reason, they may not be accessible to the majority of cardiac centres involved in transcatheter valve replacement projects. Additionally, they still require injections of contrast medium to obtain computed images. Therefore, we have developed and describe here a very simple and intuitive method of positioning balloon-expandable stent valves, which represents the evolution of the 'dumbbell' technique for echocardiography-guided transcatheter valve replacement without angiography. This method, based on the partial inflation of the balloon catheter during positioning, traps the crimped valve in the aortic valve orifice and, consequently, very near to the ideal landing zone. It does not require specific echocardiographic knowledge; it does not require angiographies that increase the risk of postoperative kidney failure in elderly patients, and it can be also performed in centres not equipped with a hybrid operating room.

EAACI Position Paper: prevention of work-related respiratory allergies among pre-apprentices or apprentices and young workers.

ABSTRACT: Apprenticeship is a period of increased risk of developing work-related respiratory allergic diseases. There is a need for documents to provide appropriate professional advice to young adults aiming to reduce unsuitable job choices and prevent impairment from their careers. The present document is the result of a consensus reached by a panel of experts from European and non-European countries addressed to allergologists, pneumologists, occupational physicians, primary care physicians, and other specialists interested in this field, which aims to reduce work-related respiratory allergies (rhinoconjunctivitis and asthma) among allergic or nonallergic apprentices and other young adults entering the workforce. The main objective of the document is to issue consensus suggestions for good clinical practice based on existing scientific evidence and the expertise of a panel of physicians.