Catalogue of the mycological library of Howard A. Kelly.

Mode of access: Internet.

Some American medical botanists commemorated in our botanical nomenclature. Delivered as a lecture before the Medical Historical Society of Chicago, 1910, and before the University of Nebraska, October 16, 1913.

Bibliographical footnotes.

Social-conservatism, Australian politics and cricket: The triumvirate of Prime Minister John Howard, Sir Robert Menzies and Sir Donald Bradman

This Article does not have an abstract.

Identification and minisequencing-based discrimination of SHV beta-lactamases in nosocomial infection-associated Klebsiella pneumoniae in Brisbane, Australia

Extended-spectrum beta-lactamases (ESBLs) are active against oxyimino cephalosporins and monobactams. Twenty-one Klebsiella pneumoniae isolates obtained between 1991 and 1995 at the Princess Alexandra Hospital in Brisbane, Australia, were subject to amplification and sequencing of the SHV beta-lactamase-encoding genes. Thirteen strains were phenotypically ESBL positive. Of these, six strains carried the bla(SHV-2a) gene and seven strains carried the bla(SHV-12) gene. Eight strains were phenotypically ESBL negative. Of these, seven strains carried the non-ESBL bla(SHV-11) gene and one strain carried the non-ESBL bla(SHV-1) gene. There was complete correspondence between the ESBL phenotype and the presence or absence of an ESBL-encoding gene(s). In addition, it was determined that of the 13 ESBL-positive strains, at least 4 carried copies of a non-ESBL-encoding gene in addition to the bla(SHV-2a) or bla(SHV12) gene. A minisequencing-based assay was developed to discriminate the different SHV classes. This technique, termed first-nucleotide change, involves the identification of the base added to a primer in a single-nucleotide extension reaction. The assay targeted polymorphisms at the first bases of codons 238 and 240 and reliably discriminated ESBL-positive strains from ESBL-negative strains and also distinguished strains carrying bla(SHV-2a) from strains carrying bla(SHV-12). In addition, this method was used to demonstrated an association between the relative copy numbers of bla(SHV) genes in individual strains and the levels of antibiotic resistance.

Curry-Howard for sequent calculus at last!

This paper tries to remove what seems to be the remaining stumbling blocks in the way to a full understanding of the Curry-Howard isomorphism for sequent calculus, namely the questions: What do variables in proof terms stand for? What is co-control and a co-continuation? How to define the dual of Parigot's mu-operator so that it is a co-control operator? Answering these questions leads to the interpretation that sequent calculus is a formal vector notation with first-class co-control. But this is just the "internal" interpretation, which has to be developed simultaneously with, and is justified by, an "external" one, offered by natural deduction: the sequent calculus corresponds to a bi-directional, agnostic (w.r.t. the call strategy), computational lambda-calculus. Next, the duality between control and co-control is studied and proved in the context of classical logic, where one discovers that the classical sequent calculus has a distortion towards control, and that sequent calculus is the de Morgan dual of natural deduction.