Interactive Learning-Based Realizability for Heyting Arithmetic with EM1

We apply to the semantics of Arithmetic the idea of ``finite approximation'' used to provide computational interpretations of Herbrand's Theorem, and we interpret classical proofs as constructive proofs (with constructive rules for $\vee, \exists$) over a suitable structure \StructureN for the language of natural numbers and maps of G\"odel's system \SystemT. We introduce a new Realizability semantics we call ``Interactive learning-based Realizability'', for Heyting Arithmetic plus \EM_1 (Excluded middle axiom restricted to $\Sigma^0_1$ formulas). Individuals of \StructureN evolve with time, and realizers may ``interact'' with them, by influencing their evolution. We build our semantics over Avigad's fixed point result, but the same semantics may be defined over different constructive interpretations of classical arithmetic (Berardi and de' Liguoro use continuations). Our notion of realizability extends intuitionistic realizability and differs from it only in the atomic case: we interpret atomic realizers as ``learning agents''

Application of a score system to evaluate the risk of malnutrition in a multiple hospital setting

Background: An increased but unpredictable risk of malnutrition is associated with hospitalization, especially in children with chronic diseases. We investigated the applicability of Screening Tool for Risk of Impaired Nutritional Status and Growth (STRONGkids), an instrument proposed to estimate the risk of malnutrition in hospitalized children. We also evaluated the role of age and co-morbidities as risk for malnutrition. Methods. The STRONGkids consists of 4 items providing a score that classifies a patient in low, moderate, high risk for malnutrition. A prospective observational multi-centre study was performed in 12 Italian hospitals. Children 1-18 years consecutively admitted and otherwise unselected were enrolled. Their STRONGkids score was obtained and compared with the actual nutritional status expressed as BMI and Height for Age SD-score. Results: Of 144 children (75 males, mean age 6.5 \ub1 4.5 years), 52 (36%) had an underlying chronic disease. According to STRONGkids, 46 (32%) children were at low risk, 76 (53%) at moderate risk and 22 (15%) at high risk for malnutrition. The latter had significantly lower Height for Age values (mean SD value -1.07 \ub1 2.08; p = 0.008) and BMI values (mean SD-values -0.79 \ub1 2.09; p = 0.0021) in comparison to other groups. However, only 29 children were actually malnourished. Conclusions: The STRONGkids is easy to administer. It is highly sensitive but not specific. It may be used as a very preliminary screening tool to be integrated with other clinical data in order to reliably predict the risk of malnutrition. \ua9 2013 Spagnuolo et al.; licensee BioMed Central Ltd

Long-term oxygen therapy in children with sickle cell disease and hypoxaemia

Objective: To evaluate the acceptability and safety profile of nocturnal long-term oxygen therapy (LTOT) in children with sickle cell disease (SCD) and chronic hypoxaemia. Design: Retrospective cohort study. Patients, setting and intervention: Children with SCD who started LTOT from 2014 to early 2019 in two tertiary hospitals in London, UK were retrospectively enrolled. Patients who started disease-modifying therapies <12 months before LTOT or while on LTOT were excluded. Main outcome measures: Minor and major adverse events during LTOT were reported. Laboratory and clinical data, transcranial Doppler (TCD) scans and overnight oximetry studies performed at steady state within 12 months before and after starting LTOT were compared. Results: Nineteen children (10 males; median age 12 years, range 6-15) were included. Nearly half of them (9/19; 47%) were on hydroxyurea at baseline. No child discontinued LTOT because of intolerance or poor adherence. No major adverse events were reported. Laboratory data did not show significant changes in haemoglobin and reticulocyte count after 1 year of follow-up. No statistically significant change in the incidence of vaso-occlusive pain events was noted (median annual rate from 0.5 to 0 episode per patient/year; p=0.062). Overnight oximetry tests performed while on LTOT showed improvements in all oxygen saturation parameters (mean overnight and nadir SpO2, % of time spent with SpO2 <90%) compared with the baseline. Conclusion: LTOT is a safe and feasible treatment option for children with SCD and chronic hypoxaemia

The promise of liquid biopsy to predict response to immunotherapy in metastatic melanoma

Metastatic melanoma is the deadliest form of skin cancer whose incidence has been rising dramatically over the last few decades. Nowadays, the most successful approach in treating advanced melanoma is immunotherapy which encompasses the use of immune checkpoint blockers able to unleash the immune system’s activity against tumor cells. Immunotherapy has dramatically changed clinical practice by contributing to increasing long term overall survival. Despite these striking therapeutic effects, the clinical benefits are strongly mitigated by innate or acquired resistance. In this context, it is of utmost importance to develop methods capable of predicting patient response to immunotherapy. To this purpose, one major step forward may be provided by measuring non-invasive biomarkers in human fluids, namely Liquid Biopsies (LBs). Several LB approaches have been developed over the last few years thanks to technological breakthroughs that have allowed to evaluate circulating components also when they are present in low abundance. The elements of this so-called “circulome” mostly encompass: tumor DNA, tumor and immune cells, soluble factors and non-coding RNAs. Here, we review the current knowledge of these molecules as predictors of response to immunotherapy in metastatic melanoma and predict that LB will soon enter into routine practice in order to guide clinical decisions for cancer immunotherapy

Human Platelet-Rich Plasma Regulates Canine Mesenchymal Stem Cell Migration through Aquaporins

Platelet products are commonly used in regenerative medicine due to their effects on the acceleration and promotion of wound healing, reduction of bleeding, synthesis of new connective tissue, and revascularization. Furthermore, a novel approach for the treatment of damaged tissues, following trauma or other pathological damages, is represented by the use of mesenchymal stem cells (MSCs). In dogs, both platelet-rich plasma (PRP) and MSCs have been suggested to be promising options for subacute skin wounds. However, the collection of canine PRP is not always feasible. In this study, we investigated the effect of human PRP (hPRP) on canine MSCs (cMSCs). We isolated cMSCs and observed that hPRP did not modify the expression levels of the primary class of major histocompatibility complex genes. However, hPRP was able to increase cMSC viability and migration by at least 1.5-fold. hPRP treatment enhanced both Aquaporin (AQP) 1 and AQP5 protein levels, and their inhibition by tetraethylammonium chloride led to a reduction of PRP-induced migration of cMSCs. In conclusion, we have provided evidence that hPRP supports cMSC survival and may promote cell migration, at least through AQP activation. Thus, hPRP may be useful in canine tissue regeneration and repair, placing as a promising tool for veterinary therapeutic approaches

Periprostatic adipose tissue promotes prostate cancer resistance to docetaxel by paracrine IGF-1 upregulation of TUBB2B beta-tubulin isoform

Growing evidence supports the pivotal role played by periprostatic adipose tissue (PPAT) in prostate cancer (PCa) microenvironment. We investigated whether PPAT can affect response to Docetaxel (DCTX) and the mechanisms associated. Conditioned medium was collected from the in vitro differentiated adipocytes isolated from PPAT which was isolated from PCa patients, during radical prostatectomy. Drug efficacy was studied by 3-(4,5-dimethylthiazol-2-yl)-2,5-diphenyltetrazolium bromide citotoxicity assay. Culture with CM of human PPAT (AdipoCM) promotes DCTX resistance in two different human prostate cancer cell lines (DU145 and PC3) and upregulated the expression of BCL-xL, BCL-2, and TUBB2B. AG1024, a well-known IGF-1 receptor inhibitor, counteracts the decreased response to DCTX observed in presence of AdipoCM and decreased TUBB2B expression, suggesting that a paracrine secretion of IGF-1 by PPAT affect DCTX response of PCa cell. Collectively, our study showed that factors secreted by PPAT elicits DCTX resistance through antiapoptotic proteins and TUBB2B upregulation in androgen independent PCa cell lines. These findings reveal the potential of novel therapeutic strategies targeting adipocyte-released factors and IGF-1 axis to overcome DCTX resistance in patients with PCa

Bisphenol-A plasma levels are related to inflammatory markers, visceral obesity and insulin-resistance: a cross-sectional study on adult male population

Background: The current increase of obesity and metabolic syndrome (MS) focuses attention on bisphenol-A (BPA), "obesogen" endocrine disruptor, main plastic component. Aim was to verify the role of BPA in metabolic alterations, insulin resistance, low grade inflammation and visceral obesity. Methods: A cross-sectional study was performed in 76 out of 139 environmentally exposed adult males, unselected Caucasian subjects, enrolled by routine health survey at the "Federico II" University of Naples outpatient facilities. BPA plasma levels (ELISA), metabolic risk factors, homeostasis model assessment of insulin resistance index, plasma monocyte chemoattractant protein 1, interleukin-6 (IL-6) and tumor necrosis factor-alpha were performed. Clinical and biochemical parameters have been compared with BPA and pro-inflammatory cytokines levels. Results: In total 24 subjects out of 76 (32%) presented with waist circumference (WC) >102 cm, 36 (47%) had impaired fasting glucose and 24 (32%) subjects had insulin resistance [11 out 52 (21%) with WC ≤102 cm and 13 out of 24 with WC >102 cm (54%), χ(2) 6.825, p = 0.009]. BPA and pro-inflammatory cytokine levels were significantly higher in subjects with visceral adiposity (WC > 102 cm). BPA correlated with WC, triglycerides, glucose homeostasis and inflammatory markers. At the multivariate analysis WC and IL-6 remained the main predictors of BPA. Conclusions: Detectable BPA plasma levels have been found also in our population. The strictly association between BPA and WC, components of MS, and inflammatory markers, further supports the BPA role in visceral obesity-related low grade chronic inflammation

The pandemic within the pandemic: the surge of neuropsychological disorders in Italian children during the COVID-19 era

Background: Quarantine and isolation measures during COVID-19 pandemic may have caused additional stress and challenged the mental health of the youth. Aim of the study is to investigate the COVID-19 pandemic impact on neuropsychological disorders (NPD) of Italian children and adolescents to provide general pediatric recommendations. Material and methods: A retrospective multicenter observational study was planned by the Italian Pediatric Society (SIP) to explore the impact of COVID-19 on the access of children to pediatric Emergency Departments (pED) for the evaluation of neuropsychological symptoms, collecting the classification codes of diagnoses between March 1, 2019 and March 2, 2021. The period study was split into two sub-periods: a pre COVID-19 period (from March 1 2019 to March 1, 2020) and a COVID-19 period (from March 2, 2020 to March 2, 2021). As additional information, data on NPD hospitalizations in any pediatric department of the involved centers were recorded. Results: During the study period, a total of 533,318 children were admitted to the pED involved in the study. Despite a 48.2% decline of pED admissions, there was a significant increase (83.1%) in patient admissions for NPD. The most frequent NPD conditions which increased during the COVID-19 pandemic were suicidal ideation (+ 147%), depression (+ 115%), eating disorder (+ 78.4%), and psychosis (+ 17.2%). During the pandemic period, a 39.5% increase in NPD hospitalizations was observed as well. The NPD disorders that mostly required hospitalizations were suicidal ideation (+ 134%), depression (+ 41.4%), eating disorder (+ 31.4%), and drug abuse (+ 26.7%). COVID-19 pandemic had a major impact on children's health, mainly on their NPD development. Neuropsychological assessment should be required at the primary level, in the pediatrician's office, to facilitate early capture of the sign of impairment and provide an adequate treatment. Conclusion: SIP underlines the psychological consequences of COVID 19 pandemic on the youngest and recommends an early identification of NPD in the pediatric population to avoid other serious consequences for children's physical and mental health