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

Influence of Perineurial Cells and Toll-Like Receptors 2 and 9 on Herpes simplex Type 1 Entry to the Central Nervous System in Rat Encephalitis

Herpes simplex encephalitis (HSE) is a rare disease with high mortality and significant morbidity among survivors. We have previously shown that susceptibility to HSE was host-strain dependent, as severe, lethal HSE developed after injection of human Herpes simplex type 1 virus (HSV-1) into the whiskers area of DA rats, whereas PVG rats remained completely asymptomatic. In the present study we investigated the early immunokinetics in these strains to address the underlying molecular mechanisms for the observed difference. The virus distribution and the immunological responses were compared in the whiskers area, trigeminal ganglia and brain stem after 12 hours and the first four days following infection using immunohistochemistry and qRT-PCR. A conspicuous immunopathological finding was a strain-dependent difference in the spread of the HSV-1 virus to the trigeminal ganglia, only seen in DA rats already from 12 hpi. In the whiskers area infected perineurial cells were abundant in the susceptible DA strain after 2 dpi, whereas in the resistant PVG rats HSV-1 spread was confined only to the epineurium. In both strains activation of Iba1+/ED1+ phagocytic cells followed the distribution pattern of HSV-1 staining, which was visible already at 12 hours after infection. Notably, in PVG rats higher mRNA expression of Toll-like receptors (Tlr) -2 and -9, together with increased staining for Iba1/ED1 was detected in the whiskers area. In contrast, all other Tlr-pathway markers were expressed at higher levels in the susceptible DA rats. Our data demonstrate the novel observation that genetically encoded properties of the host nerve and perineurial cells, recruitment of phagocyting cells together with the low expression of Tlr2 and -9 in the periphery define the susceptibility to HSV-1 entry into the nervous system

A review of elliptical and disc galaxy structure, and modern scaling laws

A century ago, in 1911 and 1913, Plummer and then Reynolds introduced their models to describe the radial distribution of stars in `nebulae'. This article reviews the progress since then, providing both an historical perspective and a contemporary review of the stellar structure of bulges, discs and elliptical galaxies. The quantification of galaxy nuclei, such as central mass deficits and excess nuclear light, plus the structure of dark matter halos and cD galaxy envelopes, are discussed. Issues pertaining to spiral galaxies including dust, bulge-to-disc ratios, bulgeless galaxies, bars and the identification of pseudobulges are also reviewed. An array of modern scaling relations involving sizes, luminosities, surface brightnesses and stellar concentrations are presented, many of which are shown to be curved. These 'redshift zero' relations not only quantify the behavior and nature of galaxies in the Universe today, but are the modern benchmark for evolutionary studies of galaxies, whether based on observations, N-body-simulations or semi-analytical modelling. For example, it is shown that some of the recently discovered compact elliptical galaxies at 1.5 < z < 2.5 may be the bulges of modern disc galaxies.Comment: Condensed version (due to Contract) of an invited review article to appear in "Planets, Stars and Stellar Systems"(www.springer.com/astronomy/book/978-90-481-8818-5). 500+ references incl. many somewhat forgotten, pioneer papers. Original submission to Springer: 07-June-201

Improved Limits on Scattering of Weakly Interacting Massive Particles from Reanalysis of 2013 LUX Data

We present constraints on weakly interacting massive particles (WIMP)-nucleus scattering from the 2013 data of the Large Underground Xenon dark matter experiment, including 1.4×104 kg day of search exposure. This new analysis incorporates several advances: single-photon calibration at the scintillation wavelength, improved event-reconstruction algorithms, a revised background model including events originating on the detector walls in an enlarged fiducial volume, and new calibrations from decays of an injected tritium β source and from kinematically constrained nuclear recoils down to 1.1 keV. Sensitivity, especially to low-mass WIMPs, is enhanced compared to our previous results which modeled the signal only above a 3 keV minimum energy. Under standard dark matter halo assumptions and in the mass range above 4 GeV c-2, these new results give the most stringent direct limits on the spin-independent WIMP-nucleon cross section. The 90% C.L. upper limit has a minimum of 0.6 zb at 33 GeV c-2 WIMP mass

Radiogenic and muon-induced backgrounds in the LUX dark matter detector

The Large Underground Xenon (LUX) dark matter experiment aims to detect rare low-energy interactions from Weakly Interacting Massive Particles (WIMPs). The radiogenic backgrounds in the LUX detector have been measured and compared with Monte Carlo simulation. Measurements of LUX high-energy data have provided direct constraints on all background sources contributing to the background model. The expected background rate from the background model for the 85.3 day WIMP search run is (2.6±0.2stat±0.4sys)×10-3 events keVee-1kg-1day-1 in a 118 kg fiducial volume. The observed background rate is (3.6±0.4stat)×10-3 events keVee-1kg-1day-1 , consistent with model projections. The expectation for the radiogenic background in a subsequent one-year run is presented

Results on the Spin-Dependent Scattering of Weakly Interacting Massive Particles on Nucleons from the Run 3 Data of the LUX Experiment

We present experimental constraints on the spin-dependent WIMP (weakly interacting massive particle)-nucleon elastic cross sections from LUX data acquired in 2013. LUX is a dual-phase xenon time projection chamber operating at the Sanford Underground Research Facility (Lead, South Dakota), which is designed to observe the recoil signature of galactic WIMPs scattering from xenon nuclei. A profile likelihood ratio analysis of 1.4×104 kg day of fiducial exposure allows 90% C.L. upper limits to be set on the WIMP-neutron (WIMP-proton) cross section of σn=9.4×10-41 cm2 (σp=2.9×10-39 cm2) at 33 GeV/c2. The spin-dependent WIMP-neutron limit is the most sensitive constraint to date

An efficient algorithm for the stochastic simulation of the hybridization of DNA to microarrays

<p>Abstract</p> <p>Background</p> <p>Although oligonucleotide microarray technology is ubiquitous in genomic research, reproducibility and standardization of expression measurements still concern many researchers. Cross-hybridization between microarray probes and non-target ssDNA has been implicated as a primary factor in sensitivity and selectivity loss. Since hybridization is a chemical process, it may be modeled at a population-level using a combination of material balance equations and thermodynamics. However, the hybridization reaction network may be exceptionally large for commercial arrays, which often possess at least one reporter per transcript. Quantification of the kinetics and equilibrium of exceptionally large chemical systems of this type is numerically infeasible with customary approaches.</p> <p>Results</p> <p>In this paper, we present a robust and computationally efficient algorithm for the simulation of hybridization processes underlying microarray assays. Our method may be utilized to identify the extent to which nucleic acid targets (e.g. cDNA) will cross-hybridize with probes, and by extension, characterize probe robustnessusing the information specified by MAGE-TAB. Using this algorithm, we characterize cross-hybridization in a modified commercial microarray assay.</p> <p>Conclusions</p> <p>By integrating stochastic simulation with thermodynamic prediction tools for DNA hybridization, one may robustly and rapidly characterize of the selectivity of a proposed microarray design at the probe and "system" levels. Our code is available at <url>http://www.laurenzi.net</url>.</p

A method to determine spatial access to specialized palliative care services using GIS

Background: Providing palliative care is a growing priority for health service administratorsworldwide as the populations of many nations continue to age rapidly. In many countries, palliativecare services are presently inadequate and this problem will be exacerbated in the coming years.The provision of palliative care, moreover, has been piecemeal in many jurisdictions and there islittle distinction made at present between levels of service provision. There is a pressing need todetermine which populations do not enjoy access to specialized palliative care services in particular.Methods: Catchments around existing specialized palliative care services in the Canadian provinceof British Columbia were calculated based on real road travel time. Census block face populationcounts were linked to postal codes associated with road segments in order to determine thepercentage of the total population more than one hour road travel time from specialized palliativecare.Results: Whilst 81% of the province\u27s population resides within one hour from at least onespecialized palliative care service, spatial access varies greatly by regional health authority. Based onthe definition of specialized palliative care adopted for the study, the Northern Health Authorityhas, for instance, just two such service locations, and well over half of its population do not havereasonable spatial access to such care.Conclusion: Strategic location analysis methods must be developed and used to accurately locatefuture palliative services in order to provide spatial access to the greatest number of people, andto ensure that limited health resources are allocated wisely. Improved spatial access has thepotential to reduce travel-times for patients, for palliative care workers making home visits, and fortravelling practitioners. These methods are particularly useful for health service planners – andprovide a means to rationalize their decision-making. Moreover, they are extendable to a numberof health service allocation problems