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

Why women’s domestic violence refuges are not local services

In a context of Localism and public sector cuts in the United Kingdom, women’s domestic violence refuges are experiencing funding cuts and service restrictions. This article presents findings of a research project, quantifying, mapping and conceptualising the journeys women make to escape domestic violence; journeys which often include accessing a women’s refuge. Analysing administrative, survey and interview data it provides evidence of women travelling from everywhere to all types of places to access refuges, and that refuges are distinctively accessed across local authority boundaries. As a result, it is argued that women’s refuges should not be considered, planned and funded as local services; but as regional and national services, hosted locally

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

Is there evidence for accelerated polyethylene wear in uncemented compared to cemented acetabular components? A systematic review of the literature

Joint arthroplasty registries show an increased rate of aseptic loosening in uncemented acetabular components as compared to cemented acetabular components. Since loosening is associated with particulate wear debris, we postulated that uncemented acetabular components demonstrate a higher polyethylene wear rate than cemented acetabular components in total hip arthroplasty. We performed a systematic review of the peer-reviewed literature, comparing the wear rate in uncemented and cemented acetabular components in total hip arthroplasty. Studies were identified using MEDLINE (PubMed), EMBASE and the Cochrane Central Register of Controlled Trials. Study quality was assessed using the Grading of Recommendations Assessment, Development and Evaluation (GRADE) approach. The search resulted in 425 papers. After excluding duplicates and selection based on title and abstracts, nine studies were found eligible for further analysis: two randomised controlled trials, and seven observational studies. One randomised controlled trial found a higher polyethylene wear rate in uncemented acetabular components, while the other found no differences. Three out of seven observational studies showed a higher polyethylene wear in uncemented acetabular component fixation; the other four studies did not show any differences in wear rates. The available evidence suggests that a higher annual wear rate may be encountered in uncemented acetabular components as compared to cemented components

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

Characterization of mycobacteria and mycobacteriophages isolated from compost at the São Paulo Zoo Park Foundation in Brazil and creation of the new mycobacteriophage Cluster U

Background: A large collection of sequenced mycobacteriophages capable of infecting a single host strain of Mycobacterium smegmatis shows considerable genomic diversity with dozens of distinctive types (clusters) and extensive variation within those sharing evident nucleotide sequence similarity. Here we profiled the mycobacterial components of a large composting system at the São Paulo zoo. Results: We isolated and sequenced eight mycobacteriophages using Mycobacterium smegmatis mc2155 as a host. None of these eight phages infected any of mycobacterial strains isolated from the same materials. The phage isolates span considerable genomic diversity, including two phages (Barriga, Nhonho) related to Subcluster A1 phages, two Cluster B phages (Pops, Subcluster B1; Godines, Subcluster B2), three Subcluster F1 phages (Florinda, Girafales, and Quico), and Madruga, a relative of phage Patience with which it constitutes the new Cluster U. Interestingly, the two Subcluster A1 phages and the three Subcluster F1 phages have genomic relationships indicating relatively recent evolution within a geographically isolated niche in the composting system. Conclusions: We predict that composting systems such as those used to obtain these mycobacteriophages will be a rich source for the isolation of additional phages that will expand our view of bacteriophage diversity and evolution

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

Role of Esrrg in the Fibrate-Mediated Regulation of Lipid Metabolism Genes in Human ApoA-I Transgenic Mice

We have used a new ApoA-I transgenic mouse model to identify by global gene expression profiling, candidate genes that affect lipid and lipoprotein metabolism in response to fenofibrate treatment. Multilevel bioinformatical analysis and stringent selection criteria (2-fold change, 0% false discovery rate) identified 267 significantly changed genes involved in several molecular pathways. The fenofibrate-treated group did not have significantly altered levels of hepatic human APOA-I mRNA and plasma ApoA-I compared with the control group. However, the treatment increased cholesterol levels to 1.95-fold mainly due to the increase in high-density lipoprotein (HDL) cholesterol. The observed changes in HDL are associated with the upregulation of genes involved in phospholipid biosynthesis and lipid hydrolysis, as well as phospholipid transfer protein. Significant upregulation was observed in genes involved in fatty acid transport and β-oxidation, but not in those of fatty acid and cholesterol biosynthesis, Krebs cycle and gluconeogenesis. Fenofibrate changed significantly the expression of seven transcription factors. The estrogen receptor-related gamma gene was upregulated 2.36-fold and had a significant positive correlation with genes of lipid and lipoprotein metabolism and mitochondrial functions, indicating an important role of this orphan receptor in mediating the fenofibrate-induced activation of a specific subset of its target genes.National Institutes of Health (HL48739 and HL68216); European Union (LSHM-CT-2006-0376331, LSHG-CT-2006-037277); the Biomedical Research Foundation of the Academy of Athens; the Hellenic Cardiological Society; the John F Kostopoulos Foundatio