Existential witness extraction in classical realizability and via a negative translation

We show how to extract existential witnesses from classical proofs using Krivine's classical realizability---where classical proofs are interpreted as lambda-terms with the call/cc control operator. We first recall the basic framework of classical realizability (in classical second-order arithmetic) and show how to extend it with primitive numerals for faster computations. Then we show how to perform witness extraction in this framework, by discussing several techniques depending on the shape of the existential formula. In particular, we show that in the Sigma01-case, Krivine's witness extraction method reduces to Friedman's through a well-suited negative translation to intuitionistic second-order arithmetic. Finally we discuss the advantages of using call/cc rather than a negative translation, especially from the point of view of an implementation.Comment: 52 pages. Accepted in Logical Methods for Computer Science (LMCS), 201

Search for lepton flavor violating decays of a heavy neutral particle in p-pbar collisions at root(s)=1.8 TeV

We report on a search for a high mass, narrow width particle that decays directly to e+mu, e+tau, or mu+tau. We use approximately 110 pb^-1 of data collected with the Collider Detector at Fermilab from 1992 to 1995. No evidence of lepton flavor violating decays is found. Limits are set on the production and decay of sneutrinos with R-parity violating interactions.Comment: Figure 2 fixed. Reference 4 fixed. Minor changes to tex

I am Cuba-Soy Cuba: Commemorating 100 years of Russian Revolution

I am Cuba Soy Cuba is a 1964 Soviet Cuban film directed by Mikhail Kalatozov Hidden away in the Soviet archives for three decades, I Am Cuba is a wild celebration of Communist kitsch, mixing Slavic solemnity with Latin sensuality — a whirling, feverish dance through both the sensuous decadence of pre-revolutionary Havana and the grinding poverty and oppression of the Cuban people. In four stories of the revolution, the camera takes the viewer on a rapturous roller-coaster ride of bathing beauties, landless peasants, fascist police, and student revolutionaries.https://digitalcommons.fiu.edu/cri_events/1370/thumbnail.jp

'Parasitic invasions' or sources of good governance: constraining foreign competition in Hong Kong banking, 1956-81

This paper investigates the operation and impact of the moratorium on new banking licences imposed in Hong Kong in 1965 and the claims that foreign banks destabilised the banking system and drained resources from the colony. First it examines foreign banks' attempts to circumvent the moratorium through claims of special circumstances and buying interests in local banks, and secondly it examines the efforts of incumbents to extend barriers to non-bank financial institutions and to branches of foreign banks. The general conclusions are that while the moratorium was aimed at increasing the stability of the banking system, it had the effect of decreasing the regulatory breadth of the government, and reducing incentives for mergers and acquisitions that might have improved governance

‘Talent-spotting’ or ‘social magic’? Inequality, cultural sorting and constructions of the ideal graduate in elite professions

Graduate outcomes – including rates of employment and earnings – are marked by persistent inequalities related to social class, as well as gender, ethnicity and institution. Despite national policy agendas related to social mobility and ‘fair access to the professions’, high-status occupations are disproportionately composed of those from socially privileged backgrounds, and evidence suggests that in recent decades many professions have become less socially representative. This article makes an original contribution to sociological studies of inequalities in graduate transitions and elite reproduction through a distinct focus on the ‘pre-hiring’ practices of graduate employers. It does this through a critical analysis of the graduate recruitment material of two popular graduate employers. It shows how, despite espousing commitments to diversity and inclusion, constructions of the ‘ideal’ graduate privilege individuals who can mobilise and embody certain valued capitals. Using Bourdieusian concepts of ‘social magic’ and ‘institutional habitus’, the article argues that more attention must be paid to how graduate employers’ practices constitute tacit processes of social exclusion and thus militate against the achievement of more equitable graduate outcomes and fair access to the ‘top jobs

Pathway-based factor analysis of gene expression data produces highly heritable phenotypes that associate with age

2Abstract. Statistical factor analysis methods have previously been used to remove noise components from high dimensional data prior to genetic asso-ciation mapping, and in a guided fashion to summarise biologically relevant sources of variation. Here we show how the derived factors summarising path-way expression can be used to analyse the relationships between expression, heritability and ageing. We used skin gene expression data from 647 twins from the MuTHER Consortium and applied factor analysis to concisely summarise patterns of gene expression, both to remove broad confounding influences and to produce concise pathway-level phenotypes. We derived 930 “pathway phe-notypes ” which summarised patterns of variation across 186 KEGG pathways (five phenotypes per pathway). We identified 69 significant associations of age with phenotype from 57 distinct KEGG pathways at a stringent Bon-ferroni threshold (P < 5.38 × 10−5). These phenotypes are more heritable (h2 = 0.32) than gene expression levels. On average, expression levels of 16% of genes within these pathways are associated with age. Several significan

Neoliberal paternalism and paradoxical subjects: Confusion and contradiction in UK activation policy

The twin thrusts of neoliberal paternalism have in recent decades become fused elements of diverse reform agendas across the advanced economies, yet neoliberalism and paternalism present radically divergent and even contradictory views of the subject across the four key spaces of ontology, teleology, deontology and ascetics. These internal fractures in the conceptual and resulting policy framework of neoliberal paternalism present considerable risks around unintended policy mismatch across these four spaces or, alternatively, offer significant flexibility for deliberate mismatch and ‘storying’ by policy makers. This article traces these tensions in the context of the UK Coalition government’s approach to the unemployed and outlines a current policy approach to employment activation that is filled with ambiguity, inconsistency and contradiction in its understanding of the subject, the ‘problem’ and the policy ‘solution’