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.

The Rise of The Swiss Tax Haven in the Interwar Period: An International Comparison

The history of tax havens during the decades before World War II is still little known. To date, the studies that have focused on the 1920s and 1930s have presented either a very general perspective on the development of tax havens or a narrow national point of view. Based on unpublished historical archives of five countries (Switzerland, Great Britain, Belgium, France, Germany), this paper offers therefore a new comparative appraisal of international tax competition during this period in order to answer the following question: What was the specificity of the Swiss case - already considered a quintessential tax haven at the time - in comparison to other banking centres? The findings of this research study are twofold. First, the 1920s and 1930s appear as something of a golden age of opportunity for avoiding taxation through the relocation of assets. Most of the financial centres granted consistent tax benefits for imported capital, while the limited degree of international cooperation and the usual guarantee of banking secrecy in European countries prevented the taxation of exported assets. Second, within this general environment, the fiscal strategies of a tax haven like Switzerland differed from those of a great financial power like Great Britain. Whereas the Swiss administration readily placed itself at the service of the banking community, British policy was more balanced between the contradictory interests of the Board of Inland Revenue, the Treasury, and the English business circles.

La gestion des services environnementaux: entre règles et régulation négociée. Six études de cas de services forestiers pour la production d'eau potable dans trois pays

Cette thèse est construite en quatre parties : trois annexes qui présentent six études de cas (env. 800 pages), précédées par une analyse transversale, plus synthétique (env. 150 pages), dont traite ce résumé. Chaque annexe contient une synthèse détaillée des études de cas. Cette thèse aborde la « gestion des ressources naturelles » en affirmant d'emblée que l'appellation est inappropriée, car ce ne sont pas les ressources qui sont gérées, mais leurs usages. Il s'agit donc d'identifier et d'analyser ce qui influence les comportements humains en lien avec la ressource. Cette affirmation fonde la perspective des sciences sociales sur la gestion des ressources naturelles, dans laquelle s'inscrit cette thèse. L'approche néo-institutionnaliste considère que les usages sont influencés par des institutions, qui sont elles-mêmes influencées par les usagers. Ces institutions sont des constructions humaines qui composent le contexte institutionnel dans lequel les acteurs décident de leurs usages (abattre un arbre, prélever de l'eau, etc.). Les usages des ressources ne sont donc jamais libres et il s'agit de comprendre comment ces règles du jeu influencent les pratiques. Elles sont nombreuses, interdépendantes et forment la trame sur laquelle se décident les usages. Pour saisir cette complexité, l'auteur applique le cadre d'analyse des régimes institutionnels des ressources (RIR) qui se limite à l'analyse de deux types de droits d'usages : ceux issues des règles de la propriété (titres de propriété, servitudes, etc.) et ceux issus des politiques publiques (lois, ordonnances, etc.). Le RIR permet d'identifier un « régime institutionnel », spécifique à la ressource étudiée, dont les évolutions peuvent être comparées dans le temps ou entre plusieurs lieux. Dans cette recherche, ce cadre d'analyse a été appliqué au même objet - la gestion forestière dans les zones de captage d'eau souterraine destinée au réseau public - dans trois pays : en France, en Suisse et en Indonésie. Trois années de recherche de terrain ont permis à l'auteur de s'intéresser non seulement aux règles prédéterminées (la réglementation), mais aussi aux règles effectivement activées sur le terrain (la régulation) par les acteurs rencontrés. Les études de cas montrent que les règles prévues sont inégalement activées et que les acteurs privilégient parfois la négociation directe pour résoudre leurs rivalités d'usages, à la place d'invoquer leurs droits acquis. Ce constat conduit l'auteur à proposer un élargissement de la focale du RIR, qui constitue le coeur de sa thèse. On ne s'intéresse plus seulement à ce qui « est » régulé, mais aussi à ce qui ne l'« est pas » et qui échappe à l'application classique du RIR. Ce renversement de perspective est crucial pour comprendre les usages concrets des ressources dans les régimes peu intégrés, où les pratiques s'expliquent davantage par la marge de manoeuvre laissée aux acteurs que par les règles prédéterminées. Cette relecture, testée avec succès dans cette thèse, permet d'intégrer la marge de manoeuvre à l'analyse au moyen du RIR. Elle se concrétise par l'identification des lacunes et incohérences dans les régimes institutionnels étudiés. Le champ d'application du RIR s'en trouve élargi et sa vulgarisation pour des non-spécialistes est facilitée, notamment pour les environnementalistes. La complémentarité entre les approches s'en trouve renforcée. Les résultats montrent deux choses : premièrement les acteurs disposent toujours d'une marge de manoeuvre pour négocier des régulations ponctuelles, qui sont autant d'alternatives à l'application des règles prévues. Deuxièmement, la conclusion d'accords issus de la négociation bi-/multilatérale dépend directement de la marge de manoeuvre laissée par le contexte institutionnel. Ceci explique pourquoi la négociation entre les propriétaires forestiers et les exploitants de captages s'imposent en Indonésie, est envisageable en France, mais n'aboutit pas en Suisse. Les nombreuses tentatives infructueuses de mise en oeuvre de solutions négociées, notamment sous forme de paiements pour services environnementaux (PSE), trouvent ici une explication. - This thesis (written in French) is built in four parts: three annexes that present six case studies (approx. 800 pages), preceded by a transverse, more conceptual analysis (approx. 150 pages), which this summary is about. Each annexe contains a detailed summary of the case studies. 'Natural resource management' is an inappropriate designation because it is not the resources that are managed but the uses made of them, therefore this thesis addresses the identification and analysis of the influences on human behaviour in relation to the resource. This statement roots the social sciences perspective on the management of natural resources, in which this thesis fits. A neoinstitutionalist approach considers that the uses are influenced by institutions, which are themselves influenced by users. These institutions are human constructions that form the institutional context in which the actors decide on the use of resources (felling a tree, collecting water, etc.). Thus, the uses of resources are never independent from institutional influences and it becomes necessary to understand how these rules of the game affect practices. They are numerous, interrelated and form the basis for the uses of resources. To understand this complexity, the author applies the institutional regime resource framework (IRR) which limits the analysis to two types of use rights: those resulting from the property rights (deeds, easements, etc.) and those from public policies (laws, ordinances, etc.). The IRR identifies an 'institutional regime', specific to the resource, from which developments can be compared over time or between several places. In this research, this analytical framework has been applied to the same topic - forest management in the recharging areas of groundwater piped for public supply - in three countries: France, Switzerland and Indonesia. Three years of field research allow the author to look not only at predetermined rules (rules), but also at regulations that are actually activated on the ground (rules-in-use). The case studies show that the predetermined rules are unevenly applied and that sometimes actors favour direct negotiation to resolve their rivalry of uses, instead of invoking their vested rights. From this observation the author proposes an enlargement of the IRR's scope, forming the core of his thesis. The interest covers not only what 'is' regulated, but what 'is not' and so is beyond the classical application of the IRR. This shift in perspective is crucial to understand the concrete uses of resources in poorly integrated regimes, where practices are explained by the margin of manoeuvre left to the actors rather than predetermined rules. This reinterpretation, tested successfully in this research, allows the margin of manoeuvre to be integrated in the analysis using the IRR and is made concrete by the identification of gaps and inconsistencies in the investigated institutional context. The new interpretation of the IRR in this thesis complements and enhances its classical application. In particular, its use and understanding by non-specialists, especially environmentalists, is facilitated. The results show two things: first the actors always have leeway to negotiate ad hoc regulations, which are alternatives to the application of the predefined rules. Second, the conclusion of bi/multilateral negotiated agreements depends directly on the leeway left by the institutional context. This explains why the negotiation between forest owners and operators of water catchments is needed in Indonesia, is possible in France, but does not succeed in Switzerland. This offers an explanation for many unsuccessful attempts to implement negotiated solutions, notably payments for environmental services (PES).

An approximate solution method for boundary layer flow of a power law fluid over a flat plate

The work in this paper deals with the development of momentum and thermal boundary layers when a power law fluid flows over a flat plate. At the plate we impose either constant temperature, constant flux or a Newton cooling condition. The problem is analysed using similarity solutions, integral momentum and energy equations and an approximation technique which is a form of the Heat Balance Integral Method. The fluid properties are assumed to be independent of temperature, hence the momentum equation uncouples from the thermal problem. We first derive the similarity equations for the velocity and present exact solutions for the case where the power law index n = 2. The similarity solutions are used to validate the new approximation method. This new technique is then applied to the thermal boundary layer, where a similarity solution can only be obtained for the case n = 1.

Uranium reserve, nuclear fuel cycle delusion, CO2 emission from the sea, and electricity supply: reflections after the fuel meltdown of Fukushima nuclear power units

The Great Tohoku-Kanto earthquake and resulting tsunami has brought considerable attention to the issue of the construction of new power plants. We argue in this paper, nuclear power is not a sustainable solution to energy problems. First, we explore the stock of uranium-235 and the different schemes developed by the nuclear power industry to exploit this resource. Second, we show that these methods, fast breeder and MOX fuel reactors, are not feasible. Third, we show that the argument that nuclear energy can be used to reduce CO2 emissions is false: the emissions from the increased water evaporation from nuclear power generation must be accounted for. In the case of Japan, water from nuclear power plants is drained into the surrounding sea, raising the water temperature which has an adverse affect on the immediate ecosystem, as well as increasing CO2 emissions from increased water evaporation from the sea. Next, a short exercise is used to show that nuclear power is not even needed to meet consumer demand in Japan. Such an exercise should be performed for any country considering the construction of additional nuclear power plants. Lastly, the paper is concluded with a discussion of the implications of our findings.

Hypothetical metaphysics of nature

The paper first sketches out a reply to the underdetermination challenge and the incommensurability challenge that rebuts the sceptical conclusions of these challenges and that is sufficient to lay the ground for the project of a metaphysics of nature. That metaphysics is as hypothetical as are our scientific theories. The paper then explains how can one can argue for certain views in the metaphysics of nature based on our current fundamental physical theories, namely the commitments to a tenseless theory of time and existence instead of a tensed one, to events instead of substances, and to relations instead of intrinsic properties. Finally, the paper mentions the themes of causation, laws and dispositions.

Generation of polycyclic aromatic hydrocarbons (PAHs) during woodworking operations.

Occupational exposures to wood dust have been associated with an elevated risk of sinonasal cancer (SNC). Wood dust is recognized as a human carcinogen but the specific cancer causative agent remains unknown. One possible explanation is a co-exposure to; wood dust and polycyclic aromatic hydrocarbons (PAHs). PAHs could be generated during incomplete combustion of wood due to heat created by use of power tools. To determine if PAHs are generated from wood during common wood working operations, PAH concentrations in wood dust samples collected in an experimental chamber operated under controlled conditions were analyzed. In addition, personal air samples from workers exposed to wood dust (n = 30) were collected. Wood dust was generated using three different power tools: vibrating sander, belt sander, and saw; and six wood materials: fir, Medium Density Fiberboard (MDF), beech, mahogany, oak and wood melamine. Monitoring of wood workers was carried out by means of personal sampler device during wood working operations. We measured 21 PAH concentrations in wood dust samples by capillary gas chromatography-ion trap mass spectrometry (GC-MS). Total PAH concentrations in wood dust varied greatly (0.24-7.95 ppm) with the lowest being in MDF dust and the highest in wood melamine dust. Personal PAH exposures were between 37.5-119.8 ng m(-3) during wood working operations. Our results suggest that PAH exposures are present during woodworking operations and hence could play a role in the mechanism of cancer induction related to wood dust exposure.

Biophysical requirements of power-supply systems: nuclear energy and fossil energy

The report presents a grammar capable of analyzing the process of production of electricity in modular elements for different power-supply systems, defined using semantic and formal categories. In this way it becomes possible to individuate similarities and differences in the process of production of electricity, and then measure and compare “apples” with “apples” and “oranges” with “oranges”. For instance, when comparing the various unit operations of the process of production of electricity with nuclear energy to the analogous unit operations of the process of production of fossil energy, we see that the various phases of the process are the same. The only difference is related to characteristics of the process associated with the generation of heat which are completely different in the two systems. As a matter of facts, the performance of the production of electricity from nuclear energy can be studied, by comparing the biophysical costs associated with the different unit operations taking place in nuclear and fossil power plants when generating process heat or net electricity. By adopting this approach, it becomes possible to compare the performance of the two power-supply systems by comparing their relative biophysical requirements for the phases that both nuclear energy power plants and fossil energy power plants have in common: (i) mining; (ii) refining/enriching; (iii) generating heat/electricity; (iv) handling the pollution/radioactive wastes. This report presents the evaluation of the biophysical requirements for the two powersupply systems: nuclear energy and fossil energy. In particular, the report focuses on the following requirements: (i) electricity; (ii) fossil-fuels, (iii) labor; and (iv) materials.

Influence of inter-electrode distance, contraction type, and muscle on the relationship between the sEMG power spectrum and contraction force.

INTRODUCTION: Spectral frequencies of the surface electromyogram (sEMG) increase with contraction force, but debate still exists on whether this increase is affected by various methodological and anatomical factors. This study aimed to investigate the influence of inter-electrode distance (IED) and contraction modality (step-wise vs. ramp) on the changes in spectral frequencies with increasing contraction strength for the vastus lateralis (VL) and vastus medialis (VM) muscles. METHODS: Twenty healthy male volunteers were assessed for isometric sEMG activity of the VM and VL, with the knee at 90° flexion. Subjects performed isometric ramp contractions in knee extension (6-s duration) with the force gradually increasing from 0 to 80 % MVC. Also, subjects performed 4-s step-wise isometric contractions at 10, 20, 30, 40, 50, 60, 70, and 80 % MVC. Interference sEMG signals were recorded simultaneously at different IEDs: 10, 20, 30, and 50 mm. The mean (F mean) and median (F median) frequencies and root mean square (RMS) of sEMG signals were calculated. RESULTS: For all IEDs, contraction modalities, and muscles tested, spectral frequencies increased significantly with increasing level of force up to 50-60 % MVC force. Spectral indexes increased systematically as IED was decreased. The sensitivity of spectral frequencies to changes in contraction force was independent of IED. The behaviour of spectral indexes with increasing contraction force was similar for step-wise and ramp contractions. CONCLUSIONS: In the VL and VM muscles, it is highly unlikely that a particular inter-electrode distance or contraction modality could have prevented the observation of the full extent of the increase in spectral frequencies with increasing force level.

Simultaneous B(0)- and B(1)+-map acquisition for fast localized shim, frequency, and RF power determination in the heart at 3 T.

High-field (>or=3 T) cardiac MRI is challenged by inhomogeneities of both the static magnetic field (B(0)) and the transmit radiofrequency field (B(1)+). The inhomogeneous B fields not only demand improved shimming methods but also impede the correct determination of the zero-order terms, i.e., the local resonance frequency f(0) and the radiofrequency power to generate the intended local B(1)+ field. In this work, dual echo time B(0)-map and dual flip angle B(1)+-map acquisition methods are combined to acquire multislice B(0)- and B(1)+-maps simultaneously covering the entire heart in a single breath hold of 18 heartbeats. A previously proposed excitation pulse shape dependent slice profile correction is tested and applied to reduce systematic errors of the multislice B(1)+-map. Localized higher-order shim correction values including the zero-order terms for frequency f(0) and radiofrequency power can be determined based on the acquired B(0)- and B(1)+-maps. This method has been tested in 7 healthy adult human subjects at 3 T and improved the B(0) field homogeneity (standard deviation) from 60 Hz to 35 Hz and the average B(1)+ field from 77% to 100% of the desired B(1)+ field when compared to more commonly used preparation methods.

Predictors of HIV-protection behaviour in HIV-positive men who have sex with casual male partners: a test of the explanatory power of an extended Information-Motivation-Behavioural Skills model.

This prospective study applies an extended Information-Motivation-Behavioural Skills (IMB) model to establish predictors of HIV-protection behaviour among HIV-positive men who have sex with men (MSM) during sex with casual partners. Data have been collected from anonymous, self-administered questionnaires and analysed by using descriptive and backward elimination regression analyses. In a sample of 165 HIV-positive MSM, 82 participants between the ages of 23 and 78 (M=46.4, SD=9.0) had sex with casual partners during the three-month period under investigation. About 62% (n=51) have always used a condom when having sex with casual partners. From the original IMB model, only subjective norm predicted condom use. More important predictors that increased condom use were low consumption of psychotropics, high satisfaction with sexuality, numerous changes in sexual behaviour after diagnosis, low social support from friends, alcohol use before sex and habitualised condom use with casual partner(s). The explanatory power of the calculated regression model was 49% (p<0.001). The study reveals the importance of personal and social resources and of routines for condom use, and provides information for the research-based conceptualisation of prevention offers addressing especially people living with HIV ("positive prevention").