The "Artificial Mathematician" Objection: Exploring the (Im)possibility of Automating Mathematical Understanding

Reuben Hersh confided to us that, about forty years ago, the late Paul Cohen predicted to him that at some unspecified point in the future, mathematicians would be replaced by computers. Rather than focus on computers replacing mathematicians, however, our aim is to consider the (im)possibility of human mathematicians being joined by “artificial mathematicians” in the proving practice—not just as a method of inquiry but as a fellow inquirer

New ophthalmosaurid ichthyosaurs from the European lower cretaceous demonstrate extensive ichthyosaur survival across the Jurassic–Cretaceous boundary

Background Ichthyosauria is a diverse clade of marine amniotes that spanned most of the Mesozoic. Until recently, most authors interpreted the fossil record as showing that three major extinction events affected this group during its history: one during the latest Triassic, one at the Jurassic–Cretaceous boundary (JCB), and one (resulting in total extinction) at the Cenomanian-Turonian boundary. The JCB was believed to eradicate most of the peculiar morphotypes found in the Late Jurassic, in favor of apparently less specialized forms in the Cretaceous. However, the record of ichthyosaurs from the Berriasian–Barremian interval is extremely limited, and the effects of the end-Jurassic extinction event on ichthyosaurs remains poorly understood. Methodology/Principal Findings Based on new material from the Hauterivian of England and Germany and on abundant material from the Cambridge Greensand Formation, we name a new ophthalmosaurid, Acamptonectes densus gen. et sp. nov. This taxon shares numerous features with Ophthalmosaurus, a genus now restricted to the Callovian–Berriasian interval. Our phylogenetic analysis indicates that Ophthalmosauridae diverged early in its history into two markedly distinct clades, Ophthalmosaurinae and Platypterygiinae, both of which cross the JCB and persist to the late Albian at least. To evaluate the effect of the JCB extinction event on ichthyosaurs, we calculated cladogenesis, extinction, and survival rates for each stage of the Oxfordian–Barremian interval, under different scenarios. The extinction rate during the JCB never surpasses the background extinction rate for the Oxfordian–Barremian interval and the JCB records one of the highest survival rates of the interval. Conclusions/Significance There is currently no evidence that ichthyosaurs were affected by the JCB extinction event, in contrast to many other marine groups. Ophthalmosaurid ichthyosaurs remained diverse from their rapid radiation in the Middle Jurassic to their total extinction at the beginning of the Late Cretaceous

Interplay between manganese and iron in pneumococcal pathogenesis: role of the orphan response regulator RitR

Streptococcus pneumoniae (the pneumococcus) is a major human pathogen that is carried asymptomatically in the nasopharynx by up to 70% of the human population. Translocation of the bacteria into internal sites can cause a range of diseases, such as pneumonia, otitis media, meningitis, and bacteremia. This transition from nasopharynx to growth at systemic sites means that the pneumococcus needs to adjust to a variety of environmental conditions, including transition metal ion availability. Although it is an important nutrient, iron potentiates oxidative stress, and it is established that in S. pneumoniae, expression of iron transport systems and proteins that protect against oxidative stress are regulated by an orphan response regulator, RitR. In this study, we investigated the effect of iron and manganese ion availability on the growth of a ritR mutant. Deletion of ritR led to impaired growth of bacteria in high-iron medium, but this phenotype could be suppressed with the addition of manganese. Measurement of metal ion accumulation indicated that manganese prevents iron accumulation. Furthermore, the addition of manganese also led to a reduction in the amount of hydrogen peroxide produced by bacterial cells. Studies of virulence in a murine model of infection indicated that RitR was not essential for pneumococcal survival and suggested that derepression of iron uptake systems may enhance the survival of pneumococci in some niches

Operating organic light-emitting diodes imaged by super-resolution spectroscopy

Super-resolution stimulated emission depletion (STED) microscopy is adapted here for materials characterization that would not otherwise be possible. With the example of organic light-emitting diodes (OLEDs), spectral imaging with pixel-by-pixel wavelength discrimination allows us to resolve local-chain environment encoded in the spectral response of the semi-conducting polymer, and correlate chain packing with local electroluminescence by using externally applied current as the excitation source. We observe nanoscopic defects that would be unresolvable by traditional microscopy. They are revealed in electroluminescence maps in operating OLEDs with 50 nm spatial resolution. We find that brightest emission comes from regions with more densely packed chains. Conventional microscopy of an operating OLED would lack the resolution needed to discriminate these features, while traditional methods to resolve nanoscale features generally cannot be performed when the device is operating. This points the way towards real-time analysis of materials design principles in devices as they actually operateope

The Concise Guide to PHARMACOLOGY 2015/16:Ligand-gated ion channels

The Concise Guide to PHARMACOLOGY 2015/16 provides concise overviews of the key properties of over 1750 human drug targets with their pharmacology, plus links to an open access knowledgebase of drug targets and their ligands (www.guidetopharmacology.org), which provides more detailed views of target and ligand properties. The full contents can be found at http://onlinelibrary.wiley.com/doi/10.1111/bph.13349/full. Ligand-gated ion channels are one of the eight major pharmacological targets into which the Guide is divided, with the others being: ligand-gated ion channels, voltage-gated ion channels, other ion channels, nuclear hormone receptors, catalytic receptors, enzymes and transporters. These are presented with nomenclature guidance and summary information on the best available pharmacological tools, alongside key references and suggestions for further reading. The Concise Guide is published in landscape format in order to facilitate comparison of related targets. It is a condensed version of material contemporary to late 2015, which is presented in greater detail and constantly updated on the website www.guidetopharmacology.org, superseding data presented in the previous Guides to Receptors & Channels and the Concise Guide to PHARMACOLOGY 2013/14. It is produced in conjunction with NC-IUPHAR and provides the official IUPHAR classification and nomenclature for human drug targets, where appropriate. It consolidates information previously curated and displayed separately in IUPHAR-DB and GRAC and provides a permanent, citable, point-in-time record that will survive database updates

The Concise Guide to PHARMACOLOGY 2015/16:Nuclear hormone receptors

The Concise Guide to PHARMACOLOGY 2015/16 provides concise overviews of the key properties of over 1750 human drug targets with their pharmacology, plus links to an open access knowledgebase of drug targets and their ligands (www.guidetopharmacology.org), which provides more detailed views of target and ligand properties. The full contents can be found at http://onlinelibrary.wiley.com/doi/10.1111/bph.13352/full. Nuclear hormone receptors are one of the eight major pharmacological targets into which the Guide is divided, with the others being: G protein-coupled receptors, ligand-gated ion channels, voltage-gated ion channels, other ion channels, catalytic receptors, enzymes and transporters. These are presented with nomenclature guidance and summary information on the best available pharmacological tools, alongside key references and suggestions for further reading. The Concise Guide is published in landscape format in order to facilitate comparison of related targets. It is a condensed version of material contemporary to late 2015, which is presented in greater detail and constantly updated on the website www.guidetopharmacology.org, superseding data presented in the previous Guides to Receptors & Channels and the Concise Guide to PHARMACOLOGY 2013/14. It is produced in conjunction with NC-IUPHAR and provides the official IUPHAR classification and nomenclature for human drug targets, where appropriate. It consolidates information previously curated and displayed separately in IUPHAR-DB and GRAC and provides a permanent, citable, point-in-time record that will survive database updates

The Concise Guide to PHARMACOLOGY 2015/16:Enzymes

The Concise Guide to PHARMACOLOGY 2015/16 provides concise overviews of the key properties of over 1750 human drug targets with their pharmacology, plus links to an open access knowledgebase of drug targets and their ligands (www.guidetopharmacology.org), which provides more detailed views of target and ligand properties. The full contents can be found at http://onlinelibrary.wiley.com/doi/10.1111/bph.13354/full. G protein-coupled receptors are one of the eight major pharmacological targets into which the Guide is divided, with the others being: G protein-coupled receptors, ligand-gated ion channels, voltage-gated ion channels, other ion channels, nuclear hormone receptors, catalytic receptors and transporters. These are presented with nomenclature guidance and summary information on the best available pharmacological tools, alongside key references and suggestions for further reading. The Concise Guide is published in landscape format in order to facilitate comparison of related targets. It is a condensed version of material contemporary to late 2015, which is presented in greater detail and constantly updated on the website www.guidetopharmacology.org, superseding data presented in the previous Guides to Receptors & Channels and the Concise Guide to PHARMACOLOGY 2013/14. It is produced in conjunction with NC-IUPHAR and provides the official IUPHAR classification and nomenclature for human drug targets, where appropriate. It consolidates information previously curated and displayed separately in IUPHAR-DB and GRAC and provides a permanent, citable, point-in-time record that will survive database updates

The Concise Guide to PHARMACOLOGY 2015/16:Transporters

The Concise Guide to PHARMACOLOGY 2015/16 provides concise overviews of the key properties of over 1750 human drug targets with their pharmacology, plus links to an open access knowledgebase of drug targets and their ligands (www.guidetopharmacology.org), which provides more detailed views of target and ligand properties. The full contents can be found at http://onlinelibrary.wiley.com/doi/10.1111/bph.13355/full. G protein-coupled receptors are one of the eight major pharmacological targets into which the Guide is divided, with the others being: G protein-coupled receptors, ligand-gated ion channels, voltage-gated ion channels, other ion channels, nuclear hormone receptors, catalytic receptors and transporters. These are presented with nomenclature guidance and summary information on the best available pharmacological tools, alongside key references and suggestions for further reading. The Concise Guide is published in landscape format in order to facilitate comparison of related targets. It is a condensed version of material contemporary to late 2015, which is presented in greater detail and constantly updated on the website www.guidetopharmacology.org, superseding data presented in the previous Guides to Receptors & Channels and the Concise Guide to PHARMACOLOGY 2013/14. It is produced in conjunction with NC-IUPHAR and provides the official IUPHAR classification and nomenclature for human drug targets, where appropriate. It consolidates information previously curated and displayed separately in IUPHAR-DB and GRAC and provides a permanent, citable, point-in-time record that will survive database updates

Alliances and the innovation performance of corporate and public research spin-off firms

We explore the innovation performance benefits of alliances for spin-off firms, in particular spin-offs either from other firms or from public research organizations. During the early years of the emerging combinatorial chemistry industry, the industry on which our empirical analysis focuses, spin-offs engaged in alliances with large and established partners, partners of similar type and size, and with public research organizations, often for different reasons. We seek to understand to what extent alliances of spin-offs with other firms (either large- or small- and medium-sized firms) affected their innovation performance and also how this performance may have been affected by their corporate or public research background. We find evidence that in general alliances of spin-offs with other firms, in particular alliances with large firms, increased their innovation performance. Corporate spin-offs that formed alliances with other firms outperformed public research spin-offs with such alliances. This suggests that, in terms of their innovation performance, corporate spin-offs that engaged in alliances with other firms seemed to have benefitted from their prior corporate background. Interestingly, it turns out that the negative impact of alliances on the innovation performance of public research spin-offs was largely affected by their alliances with small- and medium-sized firms

The Concise Guide to PHARMACOLOGY 2015/16:Catalytic receptors

The Concise Guide to PHARMACOLOGY 2015/16 provides concise overviews of the key properties of over 1750 human drug targets with their pharmacology, plus links to an open access knowledgebase of drug targets and their ligands (www.guidetopharmacology.org), which provides more detailed views of target and ligand properties. The full contents can be found at http://onlinelibrary.wiley.com/doi/10.1111/bph.13353/full. G protein-coupled receptors are one of the eight major pharmacological targets into which the Guide is divided, with the others being: G protein-coupled receptors, ligand-gated ion channels, voltage-gated ion channels, other ion channels, nuclear hormone receptors, enzymes and transporters. These are presented with nomenclature guidance and summary information on the best available pharmacological tools, alongside key references and suggestions for further reading. The Concise Guide is published in landscape format in order to facilitate comparison of related targets. It is a condensed version of material contemporary to late 2015, which is presented in greater detail and constantly updated on the website www.guidetopharmacology.org, superseding data presented in the previous Guides to Receptors &amp; Channels and the Concise Guide to PHARMACOLOGY 2013/14. It is produced in conjunction with NC-IUPHAR and provides the official IUPHAR classification and nomenclature for human drug targets, where appropriate. It consolidates information previously curated and displayed separately in IUPHAR-DB and GRAC and provides a permanent, citable, point-in-time record that will survive database updates.</p