1,493 research outputs found

    Swinburne\u27s The Tale of Balen : an Edition with Critical Commentary

    Get PDF
    Warren Hill Kelly\u27s Swinburne\u27s The Tale of Balen: an Edition with Critical Commentary comprises a variorum-like edition of the poem that records all variances of the poem evident in its manuscript through its first and second editions, Chatto & Windus 1896 and 1904, or those editions produced during the poet\u27s lifetime and therefore potentially bearing evidence of his editorial input. The edition forms as its basis the poet\u27s final intention expressed in the manuscript, and notes all alterations within the manuscript and the first two published editions, and by coupling the edition\u27s text with the notations pertaining to the manuscript, readers have access to, in effect, a transcription of the poem\u27s manuscript. The edition contains also an introduction that accounts for the poem\u27s antecedents, that is, the poet\u27s life and influences as well as the history of the Balen myth, and that traces the poem\u27s critical reception since its publication into the present. The introduction contains also a brief user\u27s guide and some observations regarding Swinburne\u27s manuscript practices

    An assertion language for constraint logic programs

    Full text link
    In an advanced program development environment, such as that discussed in the introduction of this book, several tools may coexist which handle both the program and information on the program in different ways. Also, these tools may interact among themselves and with the user. Thus, the different tools and the user need some way to communicate. It is our design principie that such communication be performed in terms of assertions. Assertions are syntactic objects which allow expressing properties of programs. Several assertion languages have been used in the past in different contexts, mainly related to program debugging. In this chapter we propose a general language of assertions which is used in different tools for validation and debugging of constraint logic programs in the context of the DiSCiPl project. The assertion language proposed is parametric w.r.t. the particular constraint domain and properties of interest being used in each different tool. The language proposed is quite general in that it poses few restrictions on the kind of properties which may be expressed. We believe the assertion language we propose is of practical relevance and appropriate for the different uses required in the tools considered

    Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging

    Get PDF
    We discuss a framework for the application of abstract interpretation as an aid during program development, rather than in the more traditional application of program optimization. Program validation and detection of errors is first performed statically by comparing (partial) specifications written in terms of assertions against information obtained from (global) static analysis of the program. The results of this process are expressed in the user assertion language. Assertions (or parts of assertions) which cannot be checked statically are translated into run-time tests. The framework allows the use of assertions to be optional. It also allows using very general properties in assertions, beyond the predefined set understandable by the static analyzer and including properties defined by user programs. We also report briefly on an implementation of the framework. The resulting tool generates and checks assertions for Prolog, CLP(R), and CHIP/CLP(fd) programs, and integrates compile-time and run-time checking in a uniform way. The tool allows using properties such as types, modes, non-failure, determinacy, and computational cost, and can treat modules separately, performing incremental analysis

    Conducting robust ecological analyses with climate data

    Get PDF
    Although the number of studies discerning the impact of climate change on ecological systems continues to increase, there has been relatively little sharing of the lessons learnt when accumulating this evidence. At a recent workshop entitled ‘Using climate data in ecological research’ held at the UK Met Office, ecologists and climate scientists came together to discuss the robust analysis of climate data in ecology. The discussions identified three common pitfalls encountered by ecologists: 1) selection of inappropriate spatial resolutions for analysis; 2) improper use of publically available data or code; and 3) insufficient representation of the uncertainties behind the adopted approach. Here, we discuss how these pitfalls can be avoided, before suggesting ways that both ecology and climate science can move forward. Our main recommendation is that ecologists and climate scientists collaborate more closely, on grant proposals and scientific publications, and informally through online media and workshops. More sharing of data and code (e.g. via online repositories), lessons and guidance would help to reconcile differing approaches to the robust handling of data. We call on ecologists to think critically about which aspects of the climate are relevant to their study system, and to acknowledge and actively explore uncertainty in all types of climate data. And we call on climate scientists to make simple estimates of uncertainty available to the wider research community. Through steps such as these, we will improve our ability to robustly attribute observed ecological changes to climate or other factors, while providing the sort of influential, comprehensive analyses that efforts to mitigate and adapt to climate change so urgently require

    Inhibition of Vaginal Lactobacilli by a Bacteriocin-Like Inhibitor Produced by Enterococcus faecium 62-6: Potential Significance for Bacterial Vaginosis

    Get PDF
    Objective: Bacterial vaginosis (BV) is characterized by a shift in vaginal tract ecology, which includes a decrease in the concentration and/or prevalence of facultative lactobacilli. Currently, mechanisms which could account for the disappearance of lactobacilli are not well understood. The objective of this study was to determine whether vaginal streptococci/enterococci can produce bacteriocin-like inhibitors antagonistic to vaginal lactobacilli. Methods: Seventy strains of vaginal streptococci or enterococci were tested for antagonistic activities against vaginal lactobacilli using the deferred antagonism technique. Results: One strain, Enterococcus faecium 62-6, which strongly inhibited growth of lactobacilli was selected for further characterization. The spectrum of inhibitory activity of strain 62-6 included Gram-positive organisms from the vaginal environment, although native lactobacilli from the same host were resistant to inhibitor action. Following growth inMRSbroth the strain 62-6 inhibitor was shown to be heat- (100℃, 30 minutes), cold- (4℃, less than 114 days) and pH- (4–7) stable. The sensitivity of inhibitor-containing supernatants to pepsin and α-chymotrypsin suggested an essential proteinaceous component. The inhibitor was sensitive to lipase but resistant to lysozyme. Dialysis of inhibitor-containing culture supernatants suggested a molecular mass greater than 12 000 Da. All physicochemical properties were consistent with its classification as a bacteriocin-like inhibitor. Kinetic assays demonstrated a sharp onset of inhibitor production coinciding with a concentration of 62-6 of 10(7) cfu/ml, suggesting that production may be regulated by quorum sensing. Conclusions: These results may have clinical significance as a novel mechanism to account for the decline of vaginal Lactobacillus populations and contribute to both the establishment and recurrence of BV

    Writing in Britain and Ireland, c. 400 to c. 800

    Get PDF
    No abstract available

    The twilight of the Liberal Social Contract? On the Reception of Rawlsian Political Liberalism

    Get PDF
    This chapter discusses the Rawlsian project of public reason, or public justification-based 'political' liberalism, and its reception. After a brief philosophical rather than philological reconstruction of the project, the chapter revolves around a distinction between idealist and realist responses to it. Focusing on political liberalism’s critical reception illuminates an overarching question: was Rawls’s revival of a contractualist approach to liberal legitimacy a fruitful move for liberalism and/or the social contract tradition? The last section contains a largely negative answer to that question. Nonetheless the chapter's conclusion shows that the research programme of political liberalism provided and continues to provide illuminating insights into the limitations of liberal contractualism, especially under conditions of persistent and radical diversity. The programme is, however, less receptive to challenges to do with the relative decline of the power of modern states

    Constitutivism

    Get PDF
    A brief explanation and overview of constitutivism

    Utilisation of an operative difficulty grading scale for laparoscopic cholecystectomy

    Get PDF
    Background A reliable system for grading operative difficulty of laparoscopic cholecystectomy would standardise description of findings and reporting of outcomes. The aim of this study was to validate a difficulty grading system (Nassar scale), testing its applicability and consistency in two large prospective datasets. Methods Patient and disease-related variables and 30-day outcomes were identified in two prospective cholecystectomy databases: the multi-centre prospective cohort of 8820 patients from the recent CholeS Study and the single-surgeon series containing 4089 patients. Operative data and patient outcomes were correlated with Nassar operative difficultly scale, using Kendall’s tau for dichotomous variables, or Jonckheere–Terpstra tests for continuous variables. A ROC curve analysis was performed, to quantify the predictive accuracy of the scale for each outcome, with continuous outcomes dichotomised, prior to analysis. Results A higher operative difficulty grade was consistently associated with worse outcomes for the patients in both the reference and CholeS cohorts. The median length of stay increased from 0 to 4 days, and the 30-day complication rate from 7.6 to 24.4% as the difficulty grade increased from 1 to 4/5 (both p < 0.001). In the CholeS cohort, a higher difficulty grade was found to be most strongly associated with conversion to open and 30-day mortality (AUROC = 0.903, 0.822, respectively). On multivariable analysis, the Nassar operative difficultly scale was found to be a significant independent predictor of operative duration, conversion to open surgery, 30-day complications and 30-day reintervention (all p < 0.001). Conclusion We have shown that an operative difficulty scale can standardise the description of operative findings by multiple grades of surgeons to facilitate audit, training assessment and research. It provides a tool for reporting operative findings, disease severity and technical difficulty and can be utilised in future research to reliably compare outcomes according to case mix and intra-operative difficulty
    corecore