Die Positionierung der Nationalratskandidierenden 2007 : eine explorative Analyse der Antworten auf die Fragen der Online-Wahlhilfe smartvote

Die Studie präsentiert erste explorative Auswertungen zu den Antworten von über 2600 Kandidierenden im Rahmen der Nationalratswahlen 2007 auf den umfangreichen Fragenkatalog der Online-Wahlhilfeplattform « smartvote ». Untersucht wird, wie die Fragen von der Gesamtheit der Kandidierenden beantwortet wurden, welche Themen umstritten waren und wie sich die Kandidierenden von den Gewählten unterscheiden. Schwergewichtig beschäftigt sich die Analyse mit den Kandidierenden der vier grössten Parteien SVP, FDP, CVP und SP sowie der Grünen. Welche Positionen nehmen sie ein ? Wie geschlossen präsentieren sie sich in den einzelnen Fragen ? Wo bestehen grosse Gemeinsamkeiten, wo erheblicheUnterscheide und wie sind die Möglichkeiten der einzelnen Parteien einzuschätzen, sich politisch zu profilieren ? Schliesslich wird überprüft, wie gut die Kandidierenden zu ihrer eigenen Partei passen und welche Aussagen sich über die Zusammenhänge zwischen der Abweichung von der Parteilinie und der Herkunft von erhofften Panaschierstimmen machen lassen. Lors des élections au Conseil national en octobre 2007, plus de 2600 candidats ont répondu au questionnaire concernant l'outil de soutien au vote en ligne « smartvote ». Ce cahier de l'IDHEAP présente les résultats d'une première étude exploratoire, basée sur les réponses des candidats au questionnaire de « smartvote ». Les auteurs analysent les questions et les thèmes controversés. Ils se sont également intéressés aux différences de prises de position entre les élus et les candidats. L'accent est mis sur les candidats des grands partis, soit l'UDC, le PRD, le PDC, le PS et les Verts. Quelles sont leurs positions politiques ? Quelles sont les questions qui divisent les candidats d'un parti ? Sur quels sujets sont-ils du même avis ? Où se trouvent les points communs entre les différents partis ? Quels sont les blocs politiques qui se forment ? Sur quels thèmes les partis politiques peuvent-ils se profiler ? A l'aide d'une analyse multivariée, l'étude tente aussi d'établir si les candidats sont membres du parti politique qui représente le mieux leurs convictions. Le chapitre final discute l'influence du vote par panachage sur le positionnement politique des candidats

Detection and characterization of hydraulically active fractures in a carbonate aquifer: results from self-potential, temperature and fluid electrical conductivity logging in the Combioula hydrothermal system in the southwestern Swiss Alps

A geophysical and geochemical study has been conducted in a fractured carbonate aquifer located at Combioula in the southwestern Swiss Alps with the objective to detect and characterize hydraulically active fractures along a 260-m-deep borehole. Hydrochemical analyses, borehole diameter, temperature and fluid electrical conductivity logging data were integrated in order to relate electrokinetic self-potential signals to groundwater flow inside the fracture network. The results show a generally good, albeit locally variable correlation of variations of the self-potential signals with variations in temperature, fluid electrical conductivity and borehole diameter. Together with the hydrochemical evidence, which was found to be critical for the interpretation of the self-potential data, these measurements not only made it possible to detect the hydraulically active fractures but also to characterize them as zones of fluid gain or fluid loss. The results complement the available information from the corresponding litholog and illustrate the potential of electrokinetic self-potential signals in conjunction with temperature, fluid electrical conductivity and hydrochemical analyses for the characterization of fractured aquifers, and thus may offer a perspective for an effective quantitative characterization of this increasingly important class of aquifers and geothermal reservoir

Evidenzbasierte Therapie des Raynaud-Syndroms

Zusammenfassung: Das Raynaud-Syndrom ist mit einer Prävalenz von 3-5% ein häufiges klinisches Problem. Dennoch ist die Wirkung der meisten Therapiemöglichkeiten nur unzureichend durch kontrollierte Studien belegt. Zu den Therapien mit höherem Evidenzgrad gehört der Kalziumantagonist Nifedipin, für den in Metaanalysen sowohl bei primärem als auch bei sekundärem Raynaud-Syndrom eine verbesserte periphere Durchblutung sowie eine Abnahme der Frequenz und des Schweregrades der Raynaud-Attacken nachgewiesen werden konnte. Ähnliches gilt für intravenös appliziertes Iloprost in der Therapie des sekundären Raynaud-Syndroms bei systemischer Sklerose. Intravenös verabreichtes Iloprost verbessert darüber hinaus das Abheilen von Fingerkuppenulzera bei Patienten mit systemischer Sklerose. Vielversprechende Therapieansätze stellen Angiotensin-II-Rezeptor-1-Antagonisten (Losartan), die Kalziumantagonisten Felodipin und Amlodipin, Serotonin-Reuptake-Hemmer (Fluoxetin) und Phosphodiesterase-V-Hemmer (Sildenafil, Vardenafil) dar, die sich in kontrollierten Einzelstudien als wirksam erwiesen haben. Jedoch fehlen Erfahrungen mit größeren Patientenzahlen und längeren Anwendungszeiten, um diese Therapiemöglichkeiten abschließend zu beurteile

Propositional Dynamic Logic for Message-Passing Systems

We examine a bidirectional propositional dynamic logic (PDL) for finite and infinite message sequence charts (MSCs) extending LTL and TLC-. By this kind of multi-modal logic we can express properties both in the entire future and in the past of an event. Path expressions strengthen the classical until operator of temporal logic. For every formula defining an MSC language, we construct a communicating finite-state machine (CFM) accepting the same language. The CFM obtained has size exponential in the size of the formula. This synthesis problem is solved in full generality, i.e., also for MSCs with unbounded channels. The model checking problem for CFMs and HMSCs turns out to be in PSPACE for existentially bounded MSCs. Finally, we show that, for PDL with intersection, the semantics of a formula cannot be captured by a CFM anymore

Generic Modal Cut Elimination Applied to Conditional Logics

We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the purely modal part of the rule system. Our criterion applies also to a wide variety of logics outside the realm of normal modal logic. We give extensive example instantiations of our framework to various conditional logics. For these, we obtain fully internalised calculi which are substantially simpler than those known in the literature, along with leaner proofs of cut elimination and complexity. In one case, conditional logic with modus ponens and conditional excluded middle, cut elimination and complexity were explicitly stated as open in the literature

Flow Phase Diagram for the Helium Superfluids

The flow phase diagram for He II and $^3$He-B is established and discussed based on available experimental data and the theory of Volovik [JETP Letters {\bf{78}} (2003) 553]. The effective temperature - dependent but scale - independent Reynolds number $Re_{eff}=1/q=(1+\alpha')/\alpha$, where $\alpha$ and $\alpha'$ are the mutual friction parameters and the superfluid Reynolds number characterizing the circulation of the superfluid component in units of the circulation quantum are used as the dynamic parameters. In particular, the flow diagram allows identification of experimentally observed turbulent states I and II in counterflowing He II with the turbulent regimes suggested by Volovik.Comment: 2 figure

The Open Navigation Surface Project

Many hydrographic and oceanographic agencies have moved or are moving towards gridded bathymetric products. However, there is no accepted format to allow these grids to be exchanged while maintaining data and metadata integrity. This paper describes the Open Navigation Surface (ONS) Project, which aims to fill this gap. The ONS Project is an open-source software project designed to provide a freely available, portable source-code library to encapsulate gridded bathymetric surfaces with associated uncertainty values. The data file format is called a Bathymetric Attributed Grid (BAG). The BAG is developed and maintained by the ONS Working Group (ONSWG), and the source code is available via the ONS websit

Sociology and postcolonialism: another 'missing' revolution?

Sociology is usually represented as having emerged alongside European modernity. The latter is frequently understood as sociology's special object with sociology itself a distinctively modern form of explanation. The period of sociology's disciplinary formation was also the heyday of European colonialism, yet the colonial relationship did not figure in the development of sociological understandings. While the recent emergence of postcolonialism appears to have initiated a reconsideration of understandings of modernity, with the development of theories of multiple modernities, I suggest that this engagement is more an attempt at recuperating the transformative aspect of postcolonialism than engaging with its critiques. In setting out the challenge of postcolonialism to dominant sociological accounts, I also address `missing feminist/queer revolutions', suggesting that by engaging with postcolonialism there is the potential to transform sociological understandings by opening up a dialogue beyond the simple pluralism of identity claims

Processing Succinct Matrices and Vectors

We study the complexity of algorithmic problems for matrices that are represented by multi-terminal decision diagrams (MTDD). These are a variant of ordered decision diagrams, where the terminal nodes are labeled with arbitrary elements of a semiring (instead of 0 and 1). A simple example shows that the product of two MTDD-represented matrices cannot be represented by an MTDD of polynomial size. To overcome this deficiency, we extended MTDDs to MTDD_+ by allowing componentwise symbolic addition of variables (of the same dimension) in rules. It is shown that accessing an entry, equality checking, matrix multiplication, and other basic matrix operations can be solved in polynomial time for MTDD_+-represented matrices. On the other hand, testing whether the determinant of a MTDD-represented matrix vanishes PSPACE$-complete, and the same problem is NP-complete for MTDD_+-represented diagonal matrices. Computing a specific entry in a product of MTDD-represented matrices is #P-complete.Comment: An extended abstract of this paper will appear in the Proceedings of CSR 201