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

Discovery of Novel Biomarkers by Microarray Analysis of Peripheral Blood Mononuclear Cell Gene Expression in Benzene-Exposed Workers

Benzene is an industrial chemical and component of gasoline that is an established cause of leukemia. To better understand the risk benzene poses, we examined the effect of benzene exposure on peripheral blood mononuclear cell (PBMC) gene expression in a population of shoe-factory workers with well-characterized occupational exposures using microarrays and real-time polymerase chain reaction (PCR). PBMC RNA was stabilized in the field and analyzed using a comprehensive human array, the U133A/B Affymetrix GeneChip set. A matched analysis of six exposed–control pairs was performed. A combination of robust multiarray analysis and ordering of genes using paired t-statistics, along with bootstrapping to control for a 5% familywise error rate, was used to identify differentially expressed genes in a global analysis. This resulted in a set of 29 known genes being identified that were highly likely to be differentially expressed. We also repeated these analyses on a smaller subset of 508 cytokine probe sets and found that the expression of 19 known cytokine genes was significantly different between the exposed and the control subjects. Six genes were selected for confirmation by real-time PCR, and of these, CXCL16, ZNF331, JUN, and PF4 were the most significantly affected by benzene exposure, a finding that was confirmed in a larger data set from 28 subjects. The altered expression was not caused by changes in the makeup of the PBMC fraction. Thus, microarray analysis along with real-time PCR confirmation reveals that altered expressions of CXCL16, ZNF331, JUN, and PF4 are potential biomarkers of benzene exposure

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

Pleomorphic adenocarcinoma of the lacrimal gland with multiple intracranial and spinal metastases

BACKGROUND: Pleomorphic adenoma of the lacrimal gland is known to undergo malignant transformation when incompletely excised. Even if such a malignant change occurs, intracranial direct invasion and leptomeningeal seeding are seldom encountered. CASE PRESENTATION: A 50-year-old woman presented with malignant transformation associated with both intracranial invasion and multiple intracranial and spinal disseminations in the third recurrence of pleomorphic adenoma of the lacrimal gland, 6 years after initial treatment. MRI demonstrated increased extent of orbital mass, extending to the cavernous sinus. The patient underwent intensity-modulated radiation therapy (IMRT) and Gamma Knife radiosurgery. Follow-up MRI showed multiple leptomeningeal disseminations to the intracranium and spine. CONCLUSION: It is important to recognize that leptomeningeal intracranial and spinal disseminations of pleomorphic adenocarcinoma can occur, although it is extremely rare. To our knowledge, we report the first case of pleomorphic adenocarcinoma of the lacrimal gland presumably metastasizing to the intracranium and spine

Factors affecting health-related quality of life in Thai children with thalassemia

<p>Abstract</p> <p>Background</p> <p>Knowledge of the factors associated with health-related quality of life (HRQOL) among patients with thalassemia is essential in developing more suitable clinical, counseling, and social support programs to improve treatment outcomes of these patients. In light of the limited research in this area, this study aims to examine factors associated with HRQOL among children and adolescents with thalassemia in Thailand.</p> <p>Methods</p> <p>A cross-sectional survey was conducted in three selected hospitals in Thailand during June to November 2006. PedsQL™ 4.0 Generic Core Scale (Thai version) was used to assess HRQOL in 315 thalassemia patients between 5 and 18 years of age. Other related clinical characteristics of the patients were collected via medical record review.</p> <p>Results</p> <p>The mean (SD) of the total summary score was 76.67 (11.40), while the means (SD) for the Physical Health Summary score and Psychosocial Health Summary score were 78.24 (14.77) and 75.54 (12.76), respectively. The school functioning subscale scored the lowest, with a mean of 67.89 (SD = 15.92). The following factors significantly affected the HRQOL of the patients: age; age at onset of anemia and age at first transfusion; pre-transfusion hemoglobin (Hb) level; receiving a blood transfusion during the previous three months; and disease severity. In addition, iron chelation therapy had a significant negative effect on HRQOL in the school functioning subscale. In contrast, serum ferritin level, frequency of blood transfusions per year, and gender were not significantly related to HRQOL among these patients. The results from multivariate analysis also confirmed these findings.</p> <p>Conclusions</p> <p>To improve HRQOL of thalassemia patients, suitable programs aimed at providing psychosocial support and a link between the patient, school officials, the family and the physician are important, especially in terms of improving the school functioning score. The findings also confirmed the importance of maintaining a pre-transfusion Hb level of at least 9-10.5 g/dL. In addition, special care and attention should be given to patients with a severe condition, and those who are receiving subcutaneous iron chelation therapy.</p

Repair of an inguinoscrotal hernia containing the urinary bladder: a case report

<p>Abstract</p> <p>Introduction</p> <p>Cases of patients with inguinoscrotal hernia containing the urinary bladder are very rare. These patients usually present with frequent episodes of urinary tract infection, difficulty in walking, pollakisuria and difficulty in initiating micturition because of incarceration of the urinary bladder into the scrotum.</p> <p>Case presentation</p> <p>We describe the case of an 80-year-old Caucasian man with an incarcerated urinary bladder into the scrotum who underwent surgical repair with mesh.</p> <p>Conclusions</p> <p>Diagnosis of such cases often requires not only clinical examination but also specialized radiological examinations to show the ectopic position of the urinary bladder. Surgical repair in these patients is a real challenge for surgeons.</p

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

Statistical Metamodeling for Revealing Synergistic Antimicrobial Interactions

Many bacterial pathogens are becoming drug resistant faster than we can develop new antimicrobials. To address this threat in public health, a metamodel antimicrobial cocktail optimization (MACO) scheme is demonstrated for rapid screening of potent antibiotic cocktails using uropathogenic clinical isolates as model systems. With the MACO scheme, only 18 parallel trials were required to determine a potent antimicrobial cocktail out of hundreds of possible combinations. In particular, trimethoprim and gentamicin were identified to work synergistically for inhibiting the bacterial growth. Sensitivity analysis indicated gentamicin functions as a synergist for trimethoprim, and reduces its minimum inhibitory concentration for 40-fold. Validation study also confirmed that the trimethoprim-gentamicin synergistic cocktail effectively inhibited the growths of multiple strains of uropathogenic clinical isolates. With its effectiveness and simplicity, the MACO scheme possesses the potential to serve as a generic platform for identifying synergistic antimicrobial cocktails toward management of bacterial infection in the future

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