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.

Thrombolyse de l'accident vasculaire cérébral ischémique aigu: rôles du praticien et de l'hôpital périphérique [Thrombolysis of acute ischemic cerebral vascular accident: roles of the physician and the peripheral hospital]

Thrombolysis administered intravenously within 3 hours (or within 6 hours intra-arterially) after symptoms onset improves the functional outcome of acute ischemic stroke patients. In Switzerland this treatment is only performed by specialized centers. At the level of a community hospital or a general practitioner, the management is based on the appropriate selection of patients in whom thrombolysis could be indicated, followed by their immediate transfer to a reference medical center. Because of the very short therapeutic window, specific criteria have to be used. We present the guidelines of Les Cadolles Hospital in Neuchâtel established in collaboration with the Department of Neurology of the University Hospital of Lausanne and a retrospective analysis of emergency admissions for suspected stroke at Les Cadolles between January 1st 2001 and December 31st 2002.

Les dieux s'en réjouissent (nouvelle d'Agyeya trad. du hindi )

Le premier volume de cette nouvelle série a pour ambition de faire découvrir au lecteur la littérature hindi, véritable trésor peu connu du public francophone. Ces dix nouvelles inédites ont pour auteurs des écrivains emblématiques des courants de sensibilité qui ont jalonné l'histoire de l'Inde moderne. Elles donnent un aperçu de l'évolution et de la complexité de la littérature hindi. Une introduction substantielle les situe, et situe leurs auteurs, dans l'histoire politique, sociale et culturelle du siècle écoulé, de l'époque coloniale à l'indépendance et aux défis de la modernité. Une plongée dans un univers poétique et humain à la fois exotique et familier. Ce titre ouvre une nouvelle collection consacrée aux littératures du sous-continent indien.

« L'esthétique du chant dans la piété calviniste aux premiers temps de la Réforme (1536-1545) »

Contrairement aux idées reçues, l'esthétique assume bien une fonction dans les formes rituelles adoptées par les Eglises issues de la Réforme calviniste. Mais il revient moins à l'image, considérée avant tout comme une source de distraction, qu'à la musique de porter cette dimension dans la piété réformée. Retraçant la formation de la pensée calvinienne sur la question des rapports entre culte et musique entre 1536 et 1543, cette étude montre comment le théologien en vient durant ces années à considérer que le chant des psaumes permet de concilier dans la dévotion, un processus cognitif, guidé par le sens des paroles, et un mouvement affectif, suscité par la mélodie. C'est, aux yeux de Calvin, de la jonction de ces deux dynamiques que naît l'élévation spirituelle à laquelle le culte doit conduire. Notwithstanding common belief, aesthetics had an important function in ritual forms implemented by Reformed Calvinist Churches. The impact of aesthetics on reformed piety rested less on images, considered to be a source of distraction, than on music. By reconsidering the evolution of Calvin's thoughts on the relationship between music and religious services between 1536 and 1543, this study reveals how Calvin came to consider that by singing the psalms, Christians could conciliate in prayer a cognitive process which was to be guided by both the meaning of the words and the emotions triggered by the tune. For Calvin, the spiritual elevation to which religious services should lead was to emerge from the conjunction of these two impetuses.

Prevention du diabète de type 2: état des connaissances [Prevention of type 2 diabetes: where do we stand?]

It is anticipated that one out of 3 children born in the year 2000 in the United States may develop diabetes. In Switzerland, a population based study in the city of Lausanne (CoLaus) has shown that about 30% of the participants have abnormal glucose homeostasis, and that the prevalence of obesity in the younger age groups has doubled since 1992. In this review, we describe clinical and biological factors associated with an increased risk to develop diabetes and summarize the most important intervention studies that have shown a beneficial effect in the prevention of diabetes. While life style modifications should be recommended for everybody, the place of pharmacological interventions (oral hypoglycemic agents, blood pressure and cholesterol lowering agents) is more controversial.

Au corps des mots, à l'ouest du soleil

Justine est une adolescente qui présente un fonctionnement limite et dont les symptômes principaux sont des vomissements provoqués et répétés. Elle expulse les aliments comme elle évacue la pensée. Elle investit les actes en se débarrassant de la tension interne. L'effraction de la sexualité renforce l'impossibilité d'investir une position passive comme si elle réactivait le temps originaire de la séduction. L'auteur décrit la difficulté à trouver sa place dans l'espace de la psychothérapie, alors qu'il y a échec de la mise en scène psychique chez la patiente. Condamnée à l'expulsion dans un premier temps, et cherchant à contrer son vécu de passivité, elle évoque l'épreuve périlleuse que représente l'approche mélancolique vers la reconnaissance de l'altérité de l'objet, dans les traces internes qu'il lui a laissées.

Evaluation du programme cantonal de soins palliatifs dans le canton de Vaud : rapport final

Il ressort que de l'avis largement majoritaire de tous les acteurs, institutions comme médecins privés, les soins palliatifs se sont améliorés dans le canton au cours des dix dernières années. Ce bilan positif est également confirmé par la comparaison des données qui avaient été recueillies en 2000 lors de la phase d'organisation des soins palliatifs dans le canton de Vaud. Trois éléments-clé sont évoqués comme cause de cette amélioration: les équipes mobiles en soins palliatifs (EMSP), les personnes-ressource et les formations en soins palliatifs . Cependant, des lacunes demeurent dans les institutions concernant, par exemple, l'inscription d'une définition des soins palliatifs dans les chartes institutionnelles ainsi que les différences observées entre les divers secteurs de soins et l'augmentation des déclarations de ressources inadéquates ou insuffisantes pour les soins palliatifs en comparaison à 2000. Les médecins quant à eux sont nombreux à faire part de leur difficulté à trouver le temps nécessaire à une formation spécifique mais aussi à faire reconnaître celui que requiert la coordination dans une prise en charge comprenant des soins palliatifs.