Implication of Intestinal Barrier Dysfunction in Gut Dysbiosis and Diseases

The intestinal mucosal barrier, also referred to as intestinal barrier, is widely recognized as a critical player in gut homeostasis maintenance as it ensures the complex crosstalk between gut microbes (both commensals and pathogens) and the host immune system. Highly specialized epithelial cells constantly cope with several protective and harmful agents to maintain the multiple physiological functions of the barrier as well as its integrity. However, both genetic defects and environmental factors can break such equilibrium, thus promoting gut dysbiosis, dysregulated immune-inflammatory responses, and even the development of chronic pathological conditions. Here, we review and discuss the molecular and cellular pathways underlying intestinal barrier structural and functional homeostasis, focusing on potential alterations that may undermine this fine balance

Involvement of smad7 in inflammatory diseases of the gut and colon cancer

In physiological conditions, the human intestinal mucosa is massively infiltrated with various subsets of immune cells, the activity of which is tightly regulated by several counter-regulatory factors. One of these factors is transforming growth factor-beta 1 (TGF-beta 1), a cytokine produced by multiple cell types and targeting virtually all the intestinal mucosal cells. Binding of TGF-beta 1 to its receptors triggers Smad2/3 signaling, thus culminating in the attenuation/suppression of immune-inflammatory responses. In patients with Crohn's disease and patients with ulcerative colitis, the major human inflammatory bowel diseases (IBD), and in mice with IBD-like colitis, there is defective TGF-beta 1/Smad signaling due to high levels of the intracellular inhibitor Smad7. Pharmacological inhibition of Smad7 restores TGF-beta 1 function, thereby reducing inflammatory pathways in patients with IBD and colitic mice. On the other hand, transgenic over-expression of Smad7 in T cells exacerbates colitis in various mouse models of IBD. Smad7 is also over-expressed in other inflammatory disorders of the gut, such as refractory celiac disease, necrotizing enterocolitis and cytomegalovirus-induced colitis, even though evidence is still scarce and mainly descriptive. Furthermore, Smad7 has been involved in colon carcinogenesis through complex and heterogeneous mechanisms, and Smad7 polymorphisms could influence cancer prognosis. In this article, we review the data about the expression and role of Smad7 in intestinal inflammation and cancer

An Intelligent Advisor for City Traffic Policies

Nowadays, city streets are populated not only by private vehicles but also by public transport, fleets of workers, and deliveries. Since each vehicle class has a maximum cargo capacity, we study in this article how authorities could improve the road traffic by endorsing long term policies to change the different vehicle proportions: sedans, minivans, full size vans, trucks, and motorbikes, without losing the ability of moving cargo throughout the city. We have performed our study in a realistic scenario (map, road traffic characteristics, and number of vehicles) of the city of Malaga and captured the many details into the SUMO microsimulator. After analyzing the relationship between travel times, emissions, and fuel consumption, we have defined a multiobjective optimization problem to be solved, so as to minimize these city metrics. Our results provide a scientific evidence that we can improve the delivery of goods in the city by reducing the number of heavy duty vehicles and fostering the use of vans instead.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. This research has been partially funded by the Spanish MINECO and FEDER projects TIN2014-57341-R, TIN2016-81766-REDT, and TIN2017-88213-R. University of Malaga, Andalucia TECH. Daniel H. Stolfi is supported by a FPU grant (FPU13/00954) from the Spanish MECD. Christian Cintrano is supported by a FPI grant (BES-2015-074805) from Spanish MINECO

Folate-Functionalization Enhances Cytotoxicity of Multivalent DNA Nanocages on Triple-Negative Breast Cancer Cells

DNA is an excellent programmable polymer for the generation of self-assembled multivalent nanostructures useful for biomedical applications. Herein, we developed (i) folate-functionalized nanocages (Fol-NC), very efficiently internalized by tumor cells overexpressing the alpha isoform of the folate receptor; (ii) AS1411-linked nanocages (Apt-NC), internalized through nucleolin, a protein overexpressed in the cell surface of many types of cancers; and (iii) nanostructures that harbor both folate and AS1411 aptamer functionalization (Fol-Apt-NC). We analyzed the specific miRNA silencing activity of all types of nanostructures harboring miRNA sequestering sequences complementary to miR-21 and the cytotoxic effect when loaded with doxorubicin in a drug-resistant triple-negative breast cancer cell line. We demonstrate that the presence of folate as a targeting ligand increases the efficiency in miR-21 silencing compared to nanocages functionalized with AS1411. Double-functionalized nanocages (Fol-Apt-NC), loaded with doxorubicin, resulted in an increase of over 51% of the cytotoxic effect on MDA-MB-231 cells compared to free doxorubicin, demonstrating, besides selectivity, the ability of nanocages to overcome Dox chemoresistance. The higher efficiency of the folate-functionalized nanocages is due to the way of entrance, which induces more than four times higher intracellular stability and indicates that the folate-mediated route of cell entry is more efficient than the nucleolin-mediated one when both folate and AS1411 modifications are present

Phase transitions and self-organized criticality in networks of stochastic spiking neurons

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)Phase transitions and critical behavior are crucial issues both in theoretical and experimental neuroscience. We report analytic and computational results about phase transitions and self-organized criticality (SOC) in networks with general stochastic neurons. The stochastic neuron has a firing probability given by a smooth monotonic function Phi(V) of the membrane potential V, rather than a sharp firing threshold. We find that such networks can operate in several dynamic regimes (phases) depending on the average synaptic weight and the shape of the firing function F. In particular, we encounter both continuous and discontinuous phase transitions to absorbing states. At the continuous transition critical boundary, neuronal avalanches occur whose distributions of size and duration are given by power laws, as observed in biological neural networks. We also propose and test a new mechanism to produce SOC: the use of dynamic neuronal gains - a form of short-term plasticity probably located at the axon initial segment (AIS) - instead of depressing synapses at the dendrites (as previously studied in the literature). The new self-organization mechanism produces a slightly supercritical state, that we called SOSC, in accord to some intuitions of Alan Turing.Phase transitions and critical behavior are crucial issues both in theoretical and experimental neuroscience. We report analytic and computational results about phase transitions and self-organized criticality (SOC) in networks with general stochastic neu6FAPESP - FUNDAÇÃO DE AMPARO À PESQUISA DO ESTADO DE SÃO PAULOCNPQ - CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICOFundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)2013/07699-0; 2016/00430-3165828/2015-3; 310706/2015-7; 306251/2014-

A Cohort Study Assessing the Impact of Anki as a Spaced Repetition Tool on Academic Performance in Medical School

Introduction Anki is an application that capitalizes upon the techniques of spaced repetition and is increasingly utilized by medical students for examination preparation. This study examines the impact of Anki usage in a medical school curriculum on academic performance. Secondary objectives analyzed individual Anki utilization and a qualitative assessment of Anki use. Methods A cohort-control study was conducted at Boonshoft School of Medicine. One hundred thirty first-year medical students were enrolled in an Anki utilization training program from July 2021 to September 2021. Training included educational Anki courses and subsequent survey data collection over Anki usage. Data variables included all course final examinations, the Comprehensive Basic Science Exam (CBSE), individual Anki user statistics, nationally standardized exams scores, and Qualtrics surveys on student perceived ease of use. Results Seventy-eight students reported using Anki for at least one of the exams, and 52 students did not use Anki for any exam. Anki users scored significantly higher across all four exams: Course I (6.4%; p \u3c 0.001); Course II (6.2%; p = 0.002); Course III (7.0%; p = 0.002); and CBSE (12.9%; p = 0.003). Students who reported higher dependency on Anki for studying performed significantly better on the Course I, II, and CBSE exams. Conclusion Anki usage may be associated with an increase in standardized examination scores. This supports Anki as an evidence-based spaced repetition and active retrieval learning modality for medical school standardized examinations. There was little correlation between its specific statistical markers and examination performance. This is pertinent to physicians and medical students alike as the learning and preservation of biomedical knowledge is required for examinations and effective clinical care

Tbet Expression in Regulatory T Cells Is Required to Initiate Th1-Mediated Colitis

In normal conditions gut homeostasis is maintained by the suppressive activity of regulatory T cells (Tregs), characterized by the expression of the transcription factor FoxP3. In human inflammatory bowel disease, which is believed to be the consequence of the loss of tolerance toward antigens normally contained in the gut lumen, Tregs have been found to be increased and functionally active, thus pointing against their possible role in the pathogenesis of this immune-mediated disease. Though, in inflammatory conditions, Tregs have been shown to upregulate the T helper (Th) type 1-related transcription factor Tbet and to express the pro-inflammatory cytokine IFN\u3b3, thus suggesting that at a certain point of the inflammatory process, Tregs might contribute to inflammation rather than suppress it. Starting from the observation that Tregs isolated from the lamina propria of active but not inactive IBD patients or uninflamed controls express Tbet and IFN\u3b3, we investigated the functional role of Th1-like Tregs in the dextran sulfate model of colitis. As observed in human IBD, Th1-like Tregs were upregulated in the inflamed lamina propria of treated mice and the expression of Tbet and IFN\u3b3 in Tregs preceded the accumulation of conventional Th1 cells. By using a Treg-specific Tbet conditional knockout, we demonstrated that Tbet expression in Tregs is required for the development of colitis. Indeed, Tbet knockout mice developed milder colitis and showed an impaired Th1 immune response. In these mice not only the Tbet deficient Tregs but also the Tbet proficient conventional T cells showed reduced IFN\u3b3 expression. However, Tbet deficiency did not affect the Tregs suppressive capacity in vitro and in vivo in the adoptive transfer model of colitis. In conclusion here we show that Tbet expression by Tregs sustains the early phase of the Th1-mediated inflammatory response in the gut

Inhomogeneous Diastereomeric Composition of Mongersen Antisense Phosphorothioate Oligonucleotide Preparations and Related Pharmacological Activity Impairment

Mongersen is a 21-mer antisense oligonucleotide designed to downregulate Mothers against decapentaplegic homolog 7 (SMAD7) expression to treat Crohn's disease. Mongersen was manufactured in numerous batches at different scales during several years of clinical development, which all appeared identical, using common physicochemical analytical techniques, while only phosphorous-31 nuclear magnetic resonance (P-31-NMR) in solution showed marked differences. Close-up analysis of 27 mongersen batches revealed marked differences in SMAD7 downregulation in a cell-based assay. Principal component analysis of P-31-NMR profiles showed strong correlation with SMAD7 downregulation and, therefore, with pharmacological efficacy in vitro. Mongersen contains 20 phosphorothioate (PS) linkages, whose chirality (Rp/Sp) was not controlled during manufacturing. A different diastereomeric composition throughout batches would lead to superimposable analytical data, but to distinct P-31-NMR profiles, as indeed we found. We tentatively suggest that this may be the origin of different biological activity. As similar manifolds are expected for other PS-based oligonucleotides, the protocol described here provides a general method to identify PS chirality issues and a chemometric tool to score each preparation for this elusive feature

Robustness Verification of Support Vector Machines

We study the problem of formally verifying the robustness to adversarial examples of support vector machines (SVMs), a major machine learning model for classification and regression tasks. Following a recent stream of works on formal robustness verification of (deep) neural networks, our approach relies on a sound abstract version of a given SVM classifier to be used for checking its robustness. This methodology is parametric on a given numerical abstraction of real values and, analogously to the case of neural networks, needs neither abstract least upper bounds nor widening operators on this abstraction. The standard interval domain provides a simple instantiation of our abstraction technique, which is enhanced with the domain of reduced affine forms, which is an efficient abstraction of the zonotope abstract domain. This robustness verification technique has been fully implemented and experimentally evaluated on SVMs based on linear and nonlinear (polynomial and radial basis function) kernels, which have been trained on the popular MNIST dataset of images and on the recent and more challenging Fashion-MNIST dataset. The experimental results of our prototype SVM robustness verifier appear to be encouraging: this automated verification is fast, scalable and shows significantly high percentages of provable robustness on the test set of MNIST, in particular compared to the analogous provable robustness of neural networks