W-types in setoids

W-types and their categorical analogue, initial algebras for polynomial endofunctors, are an important tool in predicative systems to replace transfinite recursion on well-orderings. Current arguments to obtain W-types in quotient completions rely on assumptions, like Uniqueness of Identity Proofs, or on constructions that involve recursion into a universe, that limit their applicability to a specific setting. We present an argument, verified in Coq, that instead uses dependent W-types in the underlying type theory to construct W-types in the setoid model. The immediate advantage is to have a proof more type-theoretic in flavour, which directly uses recursion on the underlying W-type to prove initiality. Furthermore, taking place in intensional type theory and not requiring any recursion into a universe, it may be generalised to various categorical quotient completions, with the aim of finding a uniform construction of extensional W-types.Comment: 17 pages, formalised in Coq; v2: added reference to formalisatio

Employer Preferences and Social Policy: Business and the Development of Job Security Regulations in Germany since World War I

This article examines the role of business in the historical development of job security regulations in Germany from their creation in the inter-war period to the dawn of the crisis of the 'German Model' in the 1980s. It contrasts the varieties of capitalism approach, which sees business as protagonists, or at least consenters, in the development of job security regulations with a conflict-oriented approach, which sees the labour movement as protagonists and business as antagonists in the development of job security regulations. The empirical analysis is based on primary and secondary sources and shows that at no point in time German employers preferred strict over flexible job security regulations. Quite the contrary, high levels of job security regulations have been forced upon employers by radicalized labour movements in periods of business weakness in the aftermath of both World Wars.job security regulations, Germany, institutional change, varieties of capitalism, power resources, industrial relations

Regulation by Incentives: Analytical Tools for a Very Local Approach. An Institutional Framework

In this paper we introduce a theoretical and conceptual framework to analyse the role of monetary and non-monetary incentive schemes in the field of health services and their connections to human resources for health policies. The incentives that we will consider can be divided into four categories: (1) direct financial incentives; (2) indirect financial incentives; (3), non-financial incentives; (4) broader social incentives. Specifically, we stress the relevance of configurations that articulate different kinds of incentive conjointly from a bottom up and from a top down perspective (...)

Non-invasive quantification of exercise-induced changes in regional left ventricular function in normals and patients with one vessel coronary artery disease using radionuclide ventriculography

To quantitate changes in regional left ventricular function induced by ischemia or scar, rest and exercise equilibrium radionuclide studies of 26 patients with one vessel coronary artery disease and 12 normal individuals were analysed with a new method for regional ejection fraction determination. A computer algorithm provided observer-independent segmental analysis from a centre of gravity of the left ventricular activity at end-diastole (left anterior oblique projection). Special segments were assigned for anteroseptal, inferoapical and posterolateral areas corresponding to the three main coronary arteries. Reproducibility using an unchanged camera positioning was excellent even for 2 min acquisition studies (r=0.93) and still good after repositioning (r=0.80 to 0.87). In normal areas, regional ejection fraction increased or showed no change during exercise. In contrast, it decreased significantly in regions supplied by stenosed coronary arteries (ischemia) and remained depressed in scar zones. The method proved to be valid for regional changes induced by left anterior descending and left circumflex coronary obstructions, but less for right coronary artery lesions. Global ejection fraction reflected a sum of all regional changes implying that regional analysis should be more sensitive in detecting coronary artery diseas

Completed suicide and criminality: lack of a direct relationship

A comparison was made of the crime rate among 181 suicides and 181 controls, representing an unselected sample of the population matched with the suicides for sex, age, marital status, place of residence and occupational level. Sixteen per cent of the suicides and 11% of the controls had a criminal record, a statistically insignificant difference. In addition, no significant differences were found in the proportion of recidivists and of violent offenders, or in the number of their offences and convictions. A significant difference was found regarding the distribution of the offences by particular laws: more than a half of the offences committed by criminal suicides concerned violations of the road traffic laws, this being in agreement with the hypothesis that risky, accident-prone behaviour is a suicidal behaviour equivalen

LCA of energetic biomass utilization: actual projects and new developments—April 23, 2012, Berne, Switzerland

Introduction: In the last years, the use of biomass for energy purposes has been seen as a promising option to reduce the use of nonrenewable energy sources and the emissions of fossil carbon. However, LCA studies have shown that the energetic use of biomass also causes impacts on climate change and, furthermore, that different environmental issues arise, such as land use and agricultural emissions. While biomass is renewable, it is not an unlimited resource. Its use, to whatever purpose, must therefore be well studied to promote the most efficient option with the least environmental impacts. The 47th LCA Discussion Forum gathered several national and international speakers who provided a broad and qualified view on the topic. Summary of the topics presented in DF 47: Several aspects of energetic biomass use from a range of projects financed by the Swiss Federal Office of Energy (SFOE) were presented in this Discussion Forum. The first session focused on important aspects of the agricultural biogas production like the use of high energy crops or catch crops as well as the influence of plant size on the environmental performance of biogas. In the second session, other possibilities of biomass treatment like direct combustion, composting, and incineration with municipal waste were presented. Topic of the first afternoon session was the update and harmonization of biomass inventories and the resulting new assessment of biofuels. The short presentations investigated some further aspects of the LCA of bioenergy like the assessment of spatial variation of greenhouse gas (GHG) emissions from bioenergy production in a country, the importance of indirect land use change emissions on the overall results, the assessment of alternative technologies to direct spreading of digestate or the updates of the car operation datasets in ecoinvent. Conclusions: One main outcome of this Discussion Forum is that bioenergy is not environmentally friendly per se. In many cases, energetic use of biomass allows a reduction of GHG and fossil energy use. However, there is often a tradeoff with other environmental impacts linked to agricultural production like eutrophication or ecotoxicity. Methodological challenges still exist, like the assessment of direct and indirect land use change emissions and their attribution to the bioenergy production, or the influence of heavy metal flows on the bioenergy assessment. Another challenge is the implementation of a life cycle approach in certification or legislation schemes, as shown by the example of the Renewable Energy Directive of the European Unio

Prognostic significance of right ventricular ejection fraction for persistent complex ventricular arrhythmias and/or sudden cardiac death after first myocardial infarction: Relation to infarct location, size and left ventricular function

To assess the prognostic significance of right ventricular dysfunction after a first myocardial infarction for complex ventricular arrhythmias and or sudden cardiac death in relation to infarct location, size and left ventricular function, a series of 127 consecutive patients was prospectively studied and followed up for one year. Prior to hospital discharge, a 24-hour electrocardiographic recording and radionuclide angiocardiography were performed. Right ventricular ejection fraction was related to inferior infarct location and size (r = 0.45, P 0.40 vs. ≤ 0.40 showed that presence of complex ventricular ectopic activity and/or sudden cardiac death after myocardial infarction was related not only to left, but also independently to right ventricular dysfunction. These results imply a significant prognostic contribution of right ventricular dysfunction to the occurrence of severe ventricular arrhythmias and/or sudden cardiac death after myocardial infarction independent of and additive to left ventricular dysfunctio

In vivo imaging of the central and peripheral effects of sleep deprivation and suprachiasmatic nuclei lesion on PERIOD-2 protein in mice.

STUDY OBJECTIVES: That sleep deprivation increases the brain expression of various clock genes has been well documented. Based on these and other findings we hypothesized that clock genes not only underlie circadian rhythm generation but are also implicated in sleep homeostasis. However, long time lags have been reported between the changes in the clock gene messenger RNA levels and their encoded proteins. It is therefore crucial to establish whether also protein levels increase within the time frame known to activate a homeostatic sleep response. We report on the central and peripheral effects of sleep deprivation on PERIOD-2 (PER2) protein both in intact and suprachiasmatic nuclei-lesioned mice. DESIGN: In vivo and in situ PER2 imaging during baseline, sleep deprivation, and recovery. SETTINGS: Mouse sleep-recording facility. PARTICIPANTS: Per2::Luciferase knock-in mice. INTERVENTIONS: N/A. MEASUREMENTS AND RESULTS: Six-hour sleep deprivation increased PER2 not only in the brain but also in liver and kidney. Remarkably, the effects in the liver outlasted those observed in the brain. Within the brain the increase in PER2 concerned the cerebral cortex mainly, while leaving suprachiasmatic nuclei (SCN) levels unaffected. Against expectation, sleep deprivation did not increase PER2 in the brain of arrhythmic SCN-lesioned mice because of higher PER2 levels in baseline. In contrast, liver PER2 levels did increase in these mice similar to the sham and partially lesioned controls. CONCLUSIONS: Our results stress the importance of considering both sleep-wake dependent and circadian processes when quantifying clock-gene levels. Because sleep deprivation alters PERIOD-2 in the brain as well as in the periphery, it is tempting to speculate that clock genes constitute a common pathway mediating the shared and well-known adverse effects of both chronic sleep loss and disrupted circadian rhythmicity on metabolic health

Labour market disadvantage, political orientations and voting: how adverse labour market experiences translate into electoral behaviour

How does labour market disadvantage translate into political behaviour? Bringing together the literatures on political alienation, redistribution preferences and insider-outsider politics, we identify three mechanisms by which labour market disadvantages influence voting behaviour. Disadvantages can increase support for redistribution, reduce internal political efficacy or lower external political efficacy. This translates into support for pro-redistribution parties, vote abstention or support for protest parties. Using the Dutch LISS survey, we observe a twin effect of increased support for redistribution and decreased external efficacy. Mediated through redistributive preferences, we find a positive effect of labour market disadvantage on voting for left parties. Mediated through external efficacy we find a positive effect of labour market disadvantage on protest voting. In contrast, we do not find any effect of labour market disadvantage on internal efficacy. Hence, the observed effect of labour market disadvantage on political abstention is entirely mediated by external efficac