Parametric polymorphism - universally

In the 1980s, John Reynolds postulated that a parametrically polymorphic function is an ad-hoc polymorphic function satisfying a uniformity principle. This allowed him to prove that his set-theoretic semantics has a relational lifting which satisfies the Identity Extension Lemma and the Abstraction Theorem. However, his definition (and subsequent variants) have only been given for specific models. In contrast, we give a model-independent axiomatic treatment by characterising Reynolds' definition via a universal property, and show that the above results follow from this universal property in the axiomatic setting

Coeducation:A Contested Practice in Nineteenth- and Twentieth-Century Secondary Schooling

This chapter discusses the history of coeducation in secondary schooling, mainly in Europe and North America. The analysis focuses on the gendered characteristics of educational systems and curricula, as well as on national discourses about single-sex or mixed schooling. The focus is on the latter half of the nineteenth and the first decades of the twentieth century, when the merits and perils of coeducation were debated for this stage of schooling. Until after World War II, children of the working class hardly ever attended school past the age of 13 or 14. Therefore, this is a history of middle- and upper-class education. In the early nineteenth century, girls had to do with a very limited, private education that prepared only for homemaking and motherhood, while boys could attend public grammar schools that opened the door to the university and the professions. From the mid-nineteenth century, initiatives to improve the quality of girls’ education were taken. Few countries opened up boys’ public schools for girls; in most cases, new girls’ schools were established with more serious but still unequal curricula, focusing mainly on humanities. Schools teaching a curriculum equivalent to that of the boys’ schools were not created until after the turn of the century, when a more critical view of coeducation became the rule. Democratization and coeducation came hand in hand with the introduction of comprehensive mixed secondary schooling in the 1960s and 1970s. The shortcomings of coeducation, however, were not rediscovered until after it had generally been introduced

Fluoromycobacteriophages for rapid, specific, and sensitive antibiotic susceptibility testing of Mycobacterium tuberculosis

Rapid antibiotic susceptibility testing of Mycobacterium tuberculosis is of paramount importance as multiple- and extensively- drug resistant strains of M. tuberculosis emerge and spread. We describe here a virus-based assay in which fluoromycobacteriophages are used to deliver a GFP or ZsYellow fluorescent marker gene to M. tuberculosis, which can then be monitored by fluorescent detection approaches including fluorescent microscopy and flow cytometry. Pre-clinical evaluations show that addition of either Rifampicin or Streptomycin at the time of phage addition obliterates fluorescence in susceptible cells but not in isogenic resistant bacteria enabling drug sensitivity determination in less than 24 hours. Detection requires no substrate addition, fewer than 100 cells can be identified, and resistant bacteria can be detected within mixed populations. Fluorescence withstands fixation by paraformaldehyde providing enhanced biosafety for testing MDR-TB and XDR-TB infections. © 2009 Piuri et al

Strong and Tunable Nonlinear Optomechanical Coupling in a Low-Loss System

A major goal in optomechanics is to observe and control quantum behavior in a system consisting of a mechanical resonator coupled to an optical cavity. Work towards this goal has focused on increasing the strength of the coupling between the mechanical and optical degrees of freedom; however, the form of this coupling is crucial in determining which phenomena can be observed in such a system. Here we demonstrate that avoided crossings in the spectrum of an optical cavity containing a flexible dielectric membrane allow us to realize several different forms of the optomechanical coupling. These include cavity detunings that are (to lowest order) linear, quadratic, or quartic in the membrane's displacement, and a cavity finesse that is linear in (or independent of) the membrane's displacement. All these couplings are realized in a single device with extremely low optical loss and can be tuned over a wide range in situ; in particular, we find that the quadratic coupling can be increased three orders of magnitude beyond previous devices. As a result of these advances, the device presented here should be capable of demonstrating the quantization of the membrane's mechanical energy.Comment: 12 pages, 4 figures, 1 tabl

Recent ASA presidents and ‘top’ journals: observed publication patterns, alleged cartels and varying careers

It has been common for studies presented as about American sociology as a whole to rely on data compiled from leading journals (American Sociological Review [ASR] and American Journal of Sociology [AJS]), or about presidents of the American Sociological Association [ASA], to represent it. Clearly those are important, but neither can be regarded as providing a representative sample of American sociology. Recently, Stephen Turner has suggested that dominance in the ASA rests with a ‘cartel’ initially formed in graduate school, and that it favors work in a style associated with the leading journals. The adequacy of these ideas is examined in the light of available data on the last 20 years, which show that very few of the presidents were in the same graduate schools at the same time. All presidents have had distinguished academic records, but it is shown that their publication strategies have varied considerably. Some have had no ASR publications except their presidential addresses, while books and large numbers of other journals not normally mentioned in this context have figured in their contributions, as well as being more prominent in citations. It seems clear that articles in the leading journals have not been as closely tied to prestigious careers as has sometimes been suggested, and that if there is a cartel it has not included all the presidents

Strain-controlled criticality governs the nonlinear mechanics of fibre networks

Disordered fibrous networks are ubiquitous in nature as major structural components of living cells and tissues. The mechanical stability of networks generally depends on the degree of connectivity: only when the average number of connections between nodes exceeds the isostatic threshold are networks stable (Maxwell, J. C., Philosophical Magazine 27, 294 (1864)). Upon increasing the connectivity through this point, such networks undergo a mechanical phase transition from a floppy to a rigid phase. However, even sub-isostatic networks become rigid when subjected to sufficiently large deformations. To study this strain-controlled transition, we perform a combination of computational modeling of fibre networks and experiments on networks of type I collagen fibers, which are crucial for the integrity of biological tissues. We show theoretically that the development of rigidity is characterized by a strain-controlled continuous phase transition with signatures of criticality. Our experiments demonstrate mechanical properties consistent with our model, including the predicted critical exponents. We show that the nonlinear mechanics of collagen networks can be quantitatively captured by the predictions of scaling theory for the strain-controlled critical behavior over a wide range of network concentrations and strains up to failure of the material