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

Quantitative analysis of cell composition and purity of human pancreatic islet preparations

Author Manuscript 2011 May 1.Despite improvements in outcomes for human islet transplantation, characterization of islet preparations remains poorly defined. This study used both light microscopy (LM) and electron microscopy (EM) to characterize 33 islet preparations used for clinical transplants. EM allowed an accurate identification and quantification of cell types with measured cell number fractions (mean±s.e.m.) of 35.6±2.1% β-cells, 12.6±1.0% non-β-islet cells (48.3±2.6% total islet cells), 22.7±1.5% duct cells, and 25.3±1.8% acinar cells. Of the islet cells, 73.6±1.7% were β-cells. For comparison with the literature, estimates of cell number fraction, cell volume, and extracellular volume were combined to convert number fraction data to volume fractions applicable to cells, islets, and the entire preparation. The mathematical framework for this conversion was developed. By volume, β-cells were 86.5±1.1% of the total islet cell volume and 61.2±0.8% of intact islets (including the extracellular volume), which is similar to that of islets in the pancreas. Our estimates produced 1560±20 cells in an islet equivalent (volume of 150-μm diameter sphere), of which 1140±15 were β-cells. To test whether LM analysis of the same tissue samples could provide reasonable estimates of purity of the islet preparations, volume fraction of the islet tissue was measured on thin sections available from 27 of the clinical preparations by point counting morphometrics. Islet purity (islet volume fraction) of individual preparations determined by LM and EM analyses correlated linearly with excellent agreement (R[superscript 2]=0.95). However, islet purity by conventional dithizone staining was substantially higher with a 20–30% overestimation. Thus, both EM and LM provide accurate methods to determine the cell composition of human islet preparations and can help us understand many of the discrepancies of islet composition in the literature.National Institutes of Health (U.S.) (Grant RO1-DK063108)National Institutes of Health (U.S.) (Grant NCRR ICR U4Z RR 16606)Joslin Diabetes and Endocrinology Research Center (Grant DK36836)Diabetes Research & Wellness FoundationJuvenile Diabetes Research Foundation International (Islet Transplantation, Harvard Medical School

Apolipophorin-III Mediates Antiplasmodial Epithelial Responses in Anopheles gambiae (G3) Mosquitoes

Apolipophorin-III (ApoLp-III) is known to play an important role in lipid transport and innate immunity in lepidopteran insects. However, there is no evidence of involvement of ApoLp-IIIs in the immune responses of dipteran insects such as Drosophila and mosquitoes.We report the molecular and functional characterization of An. gambiae apolipophorin-III (AgApoLp-III). Mosquito ApoLp-IIIs have diverged extensively from those of lepidopteran insects; however, the predicted tertiary structure of AgApoLp-III is similar to that of Manduca sexta (tobacco hornworm). We found that AgApoLp-III mRNA expression is strongly induced in the midgut of An. gambiae (G3 strain) mosquitoes in response to Plasmodium berghei infection. Furthermore, immunofluorescence stainings revealed that high levels of AgApoLp-III protein accumulate in the cytoplasm of Plasmodium-invaded cells and AgApoLp-III silencing increases the intensity of P. berghei infection by five fold.There are broad differences in the midgut epithelial responses to Plasmodium invasion between An. gambiae strains. In the G3 strain of An. gambiae AgApoLp-III participates in midgut epithelial defense responses that limit Plasmodium infection

Enumeration of islets by nuclei counting and light microscopic analysis

Author Manuscript 2011 May 1.Islet enumeration in impure preparations by conventional dithizone staining and visual counting is inaccurate and operator dependent. We examined nuclei counting for measuring the total number of cells in islet preparations, and we combined it with morphological analysis by light microscopy (LM) for estimating the volume fraction of islets in impure preparations. Cells and islets were disrupted with lysis solution and shear, and accuracy of counting successively diluted nuclei suspensions was verified with (1) visual counting in a hemocytometer after staining with crystal violet, and automatic counting by (2) aperture electrical resistance measurement and (3) flow cytometer measurement after staining with 7-aminoactinomycin-D. DNA content averaged 6.5 and 6.9 pg of DNA per cell for rat and human islets, respectively, in agreement with literature estimates. With pure rat islet preparations, precision improved with increasing counts, and samples with about greater than or equal to 160 islets provided a coefficient of variation of about 6%. Aliquots of human islet preparations were processed for LM analysis by stereological point counting. Total nuclei counts and islet volume fraction from LM analysis were combined to obtain the number of islet equivalents (IEs). Total number of IE by the standard method of dithizone staining/manual counting was overestimated by about 90% compared with LM/nuclei counting for 12 freshly isolated human islet research preparations. Nuclei counting combined with islet volume fraction measurements from LM is a novel method for achieving accurate islet enumeration.National Institutes of Health (U.S.) (Grant NCRR ICR U4Z 16606)National Institutes of Health (U.S.) (Grant R01-DK063108-01A1)National Institutes of Health (U.S.) (Grant NCRR ICR U42 RR0023244-01)Joslin Diabetes and Endocrinology Research Center (Grant DK36836)Diabetes Research & Wellness FoundationJuvenile Diabetes Research Foundation International (Islet Transplantation, Harvard Medical School

Heterogeneity of Microglial Activation in the Innate Immune Response in the Brain

The immune response in the brain has been widely investigated and while many studies have focused on the proinflammatory cytotoxic response, the brain’s innate immune system demonstrates significant heterogeneity. Microglia, like other tissue macrophages, participate in repair and resolution processes after infection or injury to restore normal tissue homeostasis. This review examines the mechanisms that lead to reduction of self-toxicity and to repair and restructuring of the damaged extracellular matrix in the brain. Part of the resolution process involves switching macrophage functional activation to include reduction of proinflammatory mediators, increased production and release of anti-inflammatory cytokines, and production of cytoactive factors involved in repair and reconstruction of the damaged brain. Two partially overlapping and complimentary functional macrophage states have been identified and are called alternative activation and acquired deactivation. The immunosuppressive and repair processes of each of these states and how alternative activation and acquired deactivation participate in chronic neuroinflammation in the brain are discussed

Expanding understanding of service exchange and value co-creation: A social construction approach

According to service-dominant logic (S-D logic), all providers are service providers, and service is the fundamental basis of exchange. Value is co-created with customers and assessed on the basis of value-in-context. However, the extensive literature on S-D logic could benefit from paying explicit attention to the fact that both service exchange and value co-creation are influenced by social forces. The aim of this study is to expand understanding of service exchange and value co-creation by complementing these central aspects of S-D logic with key concepts from social construction theories (social structures, social systems, roles, positions, interactions, and reproduction of social structures). The study develops and describes a new framework for understanding how the concepts of service exchange and value co-creation are affected by recognizing that they are embedded in social systems. The study contends that value should be understood as value-in-social-context and that value is a social construction. Value co-creation is shaped by social forces, is reproduced in social structures, and can be asymmetric for the actors involved. Service exchanges are dynamic, and actors learn and change their roles within dynamic service systems

Glial Innate Immunity Generated by Non-Aggregated Alpha-Synuclein in Mouse: Differences between Wild-type and Parkinson's Disease-Linked Mutants

Background: Parkinson's disease (PD) is a progressive neurodegenerative disorder characterized pathologically by the presence in the brain of intracellular protein inclusions highly enriched in aggregated alpha-synuclein (alpha-Syn). Although it has been established that progression of the disease is accompanied by sustained activation of microglia, the underlying molecules and factors involved in these immune-triggered mechanisms remain largely unexplored. Lately, accumulating evidence has shown the presence of extracellular alpha-Syn both in its aggregated and monomeric forms in cerebrospinal fluid and blood plasma. However, the effect of extracellular alpha-Syn on cellular activation and immune mediators, as well as the impact of familial PD-linked alpha-Syn mutants on this stimulation, are still largely unknown.Methods and Findings: In this work, we have compared the activation profiles of non-aggregated, extracellular wild-type and PD-linked mutant alpha-Syn variants on primary glial and microglial cell cultures. After stimulation of cells with alpha-Syn, we measured the release of Th1- and Th2-type cytokines as well as IP-10/CXCL10, RANTES/CCL5, MCP-1/CCL2 and MIP-1 alpha/CCL3 chemokines. Contrary to what had been observed using cell lines or for the case of aggregated alpha-Syn, we found strong differences in the immune response generated by wild-type alpha-Syn and the familial PD mutants (A30P, E46K and A53T).Conclusions: These findings might contribute to explain the differences in the onset and progression of this highly debilitating disease, which could be of value in the development of rational approaches towards effective control of immune responses that are associated with PD

A comprehensive overview of radioguided surgery using gamma detection probe technology

The concept of radioguided surgery, which was first developed some 60 years ago, involves the use of a radiation detection probe system for the intraoperative detection of radionuclides. The use of gamma detection probe technology in radioguided surgery has tremendously expanded and has evolved into what is now considered an established discipline within the practice of surgery, revolutionizing the surgical management of many malignancies, including breast cancer, melanoma, and colorectal cancer, as well as the surgical management of parathyroid disease. The impact of radioguided surgery on the surgical management of cancer patients includes providing vital and real-time information to the surgeon regarding the location and extent of disease, as well as regarding the assessment of surgical resection margins. Additionally, it has allowed the surgeon to minimize the surgical invasiveness of many diagnostic and therapeutic procedures, while still maintaining maximum benefit to the cancer patient. In the current review, we have attempted to comprehensively evaluate the history, technical aspects, and clinical applications of radioguided surgery using gamma detection probe technology

Scintillation light detection in the 6-m drift-length ProtoDUNE Dual Phase liquid argon TPC

DUNE is a dual-site experiment for long-baseline neutrino oscillation studies, neutrino astrophysics and nucleon decay searches. ProtoDUNE Dual Phase (DP) is a 6  ×  6  ×  6 m 3 liquid argon time-projection-chamber (LArTPC) that recorded cosmic-muon data at the CERN Neutrino Platform in 2019-2020 as a prototype of the DUNE Far Detector. Charged particles propagating through the LArTPC produce ionization and scintillation light. The scintillation light signal in these detectors can provide the trigger for non-beam events. In addition, it adds precise timing capabilities and improves the calorimetry measurements. In ProtoDUNE-DP, scintillation and electroluminescence light produced by cosmic muons in the LArTPC is collected by photomultiplier tubes placed up to 7 m away from the ionizing track. In this paper, the ProtoDUNE-DP photon detection system performance is evaluated with a particular focus on the different wavelength shifters, such as PEN and TPB, and the use of Xe-doped LAr, considering its future use in giant LArTPCs. The scintillation light production and propagation processes are analyzed and a comparison of simulation to data is performed, improving understanding of the liquid argon properties