Two ways to common knowledge

It is not clear what a system for evidence-based common knowledge should look like if common knowledge is treated as a greatest fixed point. This paper is a preliminary step towards such a system. We argue that the standard induction rule is not well suited to axiomatize evidence-based common knowledge. As an alternative, we study two different deductive systems for the logic of common knowledge. The first system makes use of an induction axiom whereas the second one is based on co-inductive proof theory. We show the soundness and completeness for both systems.

Prognostic value of the Geneva prediction rule in patients with pulmonary embolism

BACKGROUND Assessment of pre-test probability of pulmonary embolism (PE) and prognostic stratification are two widely recommended steps in the management of patients with suspected PE. Some items of the Geneva prediction rule may have a prognostic value. We analyzed whether the initial probability assessed by the Geneva rule was associated with the outcome of patients with PE. METHODS In a post-hoc analysis of a multicenter trial including 1,693 patients with suspected PE, the all-cause death or readmission rates during the 3-month follow-up of patients with confirmed PE were analyzed. PE probability group was prospectively assessed by the revised Geneva score (RGS). Similar analyses were made with the a posteriori-calculated simplified Geneva score (SGS). RESULTS PE was confirmed in 357 patients and 21 (5.9%) died during the 3-month follow-up. The mortality rate differed significantly with the initial RGS group, as with the SGS group. For the RGS, the mortality increased from 0% (95% Confidence Interval: [0-5.4%]) in the low-probability group to 14.3% (95% CI: [6.3-28.2%]) in the high-probability group, and for the SGS, from 0% (95% CI: [0-5.4%] to 17.9% (95% CI: [7.4-36%]). Readmission occurred in 58 out of the 352 patients with complete information on readmission (16.5%). No significant change of readmission rate was found among the RGS or SGS groups. CONCLUSIONS Returning to the initial PE probability evaluation may help clinicians predict 3-month mortality in patients with confirmed PE. (ClinicalTrials.gov: NCT00117169).

D-dimer to Rule Out Pulmonary Embolism in Renal Insufficiency

BACKGROUND D-dimer levels are often elevated in renal insufficiency. The diagnostic accuracy of D-dimer to rule out pulmonary embolism in patients with renal insufficiency is unclear. METHODS We evaluated the data of patients presenting to our Emergency Department and receiving computed tomography angiography to rule out pulmonary embolism with measurement of D-dimer and creatinine. Glomerular filtration rate was calculated using the Chronic Kidney Disease Epidemiology Collaboration formula. RESULTS There were 1305 patients included; 1067 (82%) had an estimated glomerular filtration rate (eGFR) exceeding 60 mL/min, 209 (16%) 30-60 mL/min, and 29 (2%) <30 mL/min. One hundred fifty-two patients (12%) had D-dimer below 500 μg/L. eGFR (R = -0.1122) correlated significantly with D-dimer (P <.0001). One hundred sixty-nine patients (13%) were found to have pulmonary embolism. Sensitivity of D-dimer for patients with an eGFR >60 mL/min was 96% (confidence interval [CI], 0.93-0.99) and 100% (CI, 100-100) for those with 30-60 mL/min, while specificity decreased significantly with impaired renal function. Area under the curve of the receiver operating characteristic for D-dimer was 0.734 in patients with an eGFR of >60 mL/min, and 0.673 for 30-60 mL/min. CONCLUSIONS D-dimer levels were elevated in patients with an eGFR <60 mL/min, but proved to be highly sensitive for the exclusion of pulmonary embolism. However, because almost all patients with impaired renal function had elevated D-dimer irrespective of the presence of pulmonary embolism, studies should be performed to determine renal function-adjusted D-dimer cutoffs.

Minimizing the Threat of a Positive Majority Deficit in Two-tier Voting Systems with Equipopulous Units

The mean majority deficit in a two-tier voting system is a function of the partition of the population. We derive a new square-root rule: For odd-numbered population sizes and equipopulous units the mean majority deficit is maximal when the member size of the units in the partition is close to the square root of the population size. Furthermore, within the partitions into roughly equipopulous units, partitions with small even numbers of units or small even-sized units yield high mean majority deficits. We discuss the implications for the winner-takes-all system in the US Electoral College.

Shared Rule in Federal Political Systems: Conceptual Lessons from Subnational Switzerland

This article reconceptualizes shared rule and uses novel data to measure it, thus addressing two shortcomings of federal literature. First, while most studies focus on self-rule, one question that is largely neglected is how lower-level governments can influence politics at a higher level in the absence of “second” chambers. The answer is through shared rule. A second shortcoming is that even when addressing this question, scholars concentrate on constitutional-administrative aspects of vertical intergovernmentalism, neglecting more informal, “political” dynamics. Comparing the twenty-six Swiss cantons allows drawing two lessons for federal studies: That shared rule is multifaceted and complex, and that to study informal territorial actors as well as direct political processes is indispensable to understand how power is actually distributed in federal political systems.

Recognition of activities of daily living in healthy subjects using two ad-hoc classifiers

Activities of daily living (ADL) are important for quality of life. They are indicators of cognitive health status and their assessment is a measure of independence in everyday living. ADL are difficult to reliably assess using questionnaires due to self-reporting biases. Various sensor-based (wearable, in-home, intrusive) systems have been proposed to successfully recognize and quantify ADL without relying on self-reporting. New classifiers required to classify sensor data are on the rise. We propose two ad-hoc classifiers that are based only on non-intrusive sensor data. METHODS: A wireless sensor system with ten sensor boxes was installed in the home of ten healthy subjects to collect ambient data over a duration of 20 consecutive days. A handheld protocol device and a paper logbook were also provided to the subjects. Eight ADL were selected for recognition. We developed two ad-hoc ADL classifiers, namely the rule based forward chaining inference engine (RBI) classifier and the circadian activity rhythm (CAR) classifier. The RBI classifier finds facts in data and matches them against the rules. The CAR classifier works within a framework to automatically rate routine activities to detect regular repeating patterns of behavior. For comparison, two state-of-the-art [Naïves Bayes (NB), Random Forest (RF)] classifiers have also been used. All classifiers were validated with the collected data sets for classification and recognition of the eight specific ADL. RESULTS: Out of a total of 1,373 ADL, the RBI classifier correctly determined 1,264, while missing 109 and the CAR determined 1,305 while missing 68 ADL. The RBI and CAR classifier recognized activities with an average sensitivity of 91.27 and 94.36%, respectively, outperforming both RF and NB. CONCLUSIONS: The performance of the classifiers varied significantly and shows that the classifier plays an important role in ADL recognition. Both RBI and CAR classifier performed better than existing state-of-the-art (NB, RF) on all ADL. Of the two ad-hoc classifiers, the CAR classifier was more accurate and is likely to be better suited than the RBI for distinguishing and recognizing complex ADL.

Structural, metamorphic and geochronological relations between the Zanskar Shear Zone and the Miyar Shear Zone (NW Indian Himalaya): Evidence for two distinct tectonic structures and implications for the evolution of the High Himalayan Crystalline of Zanskar

The geologic structures and metamorphic zonation of the northwestern Indian Himalaya contrast significantly with those in the central and eastern parts of the range, where the high-grade metamorphic rocks of the High Himalayan Crystalline (HHC) thrust southward over the weakly metamorphosed sediments of the Lesser Himalaya along the Main Central Thrust (MCT). Indeed, the hanging wall of the MCT in the NW Himalaya mainly consists of the greenschist facies metasediments of the Chamba zone, whereas HHC high-grade rocks are exposed more internally in the range as a large-scale dome called the Gianbul dome. This Gianbul dome is bounded by two oppositely directed shear zones, the NE-dipping Zanskar Shear Zone (ZSZ) on the northern flank and the SW-dipping Miyar Shear Zone (MSZ) on the southern limb. Current models for the emplacement of the HHC in NW India as a dome structure differ mainly in terms of the roles played by both the ZSZ and the MSZ during the tectonothermal evolution of the HHC. In both the channel flow model and wedge extrusion model, the ZSZ acts as a backstop normal fault along which the high-grade metamorphic rocks of the HHC of Zanskar are exhumed. In contrast, the recently proposed tectonic wedging model argues that the ZSZ and the MSZ correspond to one single detachment system that operates as a subhorizontal backthrust off of the MCT. Thus, the kinematic evolution of the two shear zones, the ZSZ and the MSZ, and their structural, metamorphic and chronological relations appear to be diagnostic features for discriminating the different models. In this paper, structural, metamorphic and geochronological data demonstrate that the MSZ and the ZSZ experienced two distinct kinematic evolutions. As such, the data presented in this paper rule out the hypothesis that the MSZ and the ZSZ constitute one single detachment system, as postulated by the tectonic wedging model. Structural, metamorphic and geochronological data are used to present an alternative tectonic model for the large-scale doming in the NW Indian Himalaya involving early NE-directed tectonics, weakness in the upper crust, reduced erosion at the orogenic front and rapid exhumation along both the ZSZ and the MSZ.

Regionalist Protest through Shared Rule? Peripherality and the Use of Cantonal Initiatives in Switzerland

In this article, we are interested in the extent to which federalism is able to deal with peripheral protest through shared rule channels. Shared rule as a key dimension of federal states has not thus far received adequate academic attention. Empirically, we analyse the use of all cantonal initiatives in Switzerland over the past 25 years as a particular instrument of shared rule, subsequently focusing on two peripheral regions with successful regionalist parties, Ticino and Geneva. We find that regionalist parties contribute towards radicalizing peripheral demands in search of attention from the centre. This leads to the mainstreaming of peripheral demands by pulling other parties along. We conclude that shared rule properly designed gives even the most peripheral regions a voice in national decisions, but that regionalist parties may also use shared rule instruments to mobilize their electorate at home to fight their non-regionalist competitors.