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

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

Single-Cell Expression Profiling Reveals a Dynamic State of Cardiac Precursor Cells in the Early Mouse Embryo

In the early vertebrate embryo, cardiac progenitor/precursor cells (CPs) give rise to cardiac structures. Better understanding their biological character is critical to understand the heart development and to apply CPs for the clinical arena. However, our knowledge remains incomplete. With the use of single-cell expression profiling, we have now revealed rapid and dynamic changes in gene expression profiles of the embryonic CPs during the early phase after their segregation from the cardiac mesoderm. Progressively, the nascent mesodermal gene Mesp1 terminated, and Nkx2-5+/Tbx5+ population rapidly replaced the Tbx5low+ population as the expression of the cardiac genes Tbx5 and Nkx2-5 increased. At the Early Headfold stage, Tbx5-expressing CPs gradually showed a unique molecular signature with signs of cardiomyocyte differentiation. Lineage-tracing revealed a developmentally distinct characteristic of this population. They underwent progressive differentiation only towards the cardiomyocyte lineage corresponding to the first heart field rather than being maintained as a progenitor pool. More importantly, Tbx5 likely plays an important role in a transcriptional network to regulate the distinct character of the FHF via a positive feedback loop to activate the robust expression of Tbx5 in CPs. These data expands our knowledge on the behavior of CPs during the early phase of cardiac development, subsequently providing a platform for further study

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

Systematizing Policy Learning: From Monolith to Dimensions

notes: The authors wish to express their gratitude to the Norwegian Political Science Association Annual Conference, 6 January 2010, University of Agder, Kristiansand, participants of the ‘Establishing Causality in Policy Learning’ panel at the American Political Science Association (APSA) annual meeting,2–5 September 2010,Washington DC, and the European Consortium of Political Research (ECPR) Joint Sessions, St Gallen, 12–17 April 2011, workshop 2. Dunlop and Radaelli gratefully acknowledge the support of the European Research Council, grant on Analysis of Learning in Regulatory Governance, ALREG, http://centres.exeter.ac.uk/ceg/research/ALREG/index.php.publication-status: AcceptedThe definitive version is available at www.blackwell-synergy.com and also from DOI: 10.1111/j.1467-9248.2012.00982.xThe field of policy learning is characterised by concept stretching and lack of systematic findings. To systematize them, we combine the classic Sartorian approach to classification with the more recent insights on explanatory typologies. At the outset, we classify per genus et differentiam – distinguishing between the genus and the different species within it. By drawing on the technique of explanatory typologies to introduce a basic model of policy learning, we identify four major genera in the literature. We then generate variation within each cell by using rigorous concepts drawn from adult education research. Specifically, we conceptualize learning as control over the contents and goals of knowledge. By looking at learning through the lenses of knowledge utilization, we show that the basic model can be expanded to reveal sixteen different species. These types are all conceptually possible, but are not all empirically established in the literature. Up until now the scope conditions and connections among types have not been clarified. Our reconstruction of the field sheds light on mechanisms and relations associated with alternatives operationalizations of learning and the role of actors in the process of knowledge construction and utilization. By providing a comprehensive typology, we mitigate concept stretching problems and aim to lay the foundations for the systematic comparison across and within cases of policy learning.European Research Council, grant no 230267 on Analysis of Learning in Regulatory Governance, ALREG

Single-atoms on crystalline carbon nitrides for selective C─H photooxidation : a bridge to achieve homogeneous pathways in heterogeneous materials

Single-atom catalysis is a field of paramount importance in contemporary science due to its exceptional ability to combine the domains of homogeneous and heterogeneous catalysis. Iron and manganese metalloenzymes are known to be effective in C─H oxidation reactions in nature, inspiring scientists to mimic their active sites in artificial catalytic systems. Herein, a simple and versatile cation exchange method is successfully employed to stabilize low-cost iron and manganese single-atoms in poly(heptazine imides) (PHI). The resulting materials are employed as photocatalysts for toluene oxidation, demonstrating remarkable selectivity toward benzaldehyde. The protocol is then extended to the selective oxidation of different substrates, including (substituted) alkylaromatics, benzyl alcohols, and sulfides. Detailed mechanistic investigations revealed that iron- and manganese-containing photocatalysts work through a similar mechanism via the formation of high-valent M═O species. Operando X-ray absorption spectroscopy (XAS) is employed to confirm the formation of high-valent iron- and manganese-oxo species, typically found in metalloenzymes involved in highly selective C─H oxidations

Merging heterogeneous graphitic carbon nitride photocatalysis with cobaloxime catalysis in uphill dehydrogenative synthesis of anilines

Synthesis of substituted anilines upon nucleophilic addition of secondary amines to cyclohexanone derivatives followed by aromatization of the enamine by employing a combination of Ir-polypyridine complex as a photoredox catalyst and cobaloxime as H2-evolution catalyst was developed recently by Leonori et al. In this work, we replace homogeneous photoredox catalyst by heterogeneous mesoporous graphitic carbon nitride (mpg-CN) that is free of rare elements. Substituted aromatic amine and H2 are formed simultaneously. Combination of X-Ray spectroscopies revealed charge transfer from cobaloxime to mpg-CN in the dark. Illumination of the catalytic system with visible light induces electron transfer from mpg-CN to cobaloxime and formation of persistent Co(II) species. The results of DFT modelling suggest that the studied reaction is strongly endothermic and endergonic. Thus, energy of photons is stored in the reaction products – H2 and the aromatic amine

Bovine Lactoferrin Prevents Invasive Fungal Infections in Very Low Birth Weight Infants: A Randomized Controlled Trial.

BACKGROUND: Lactoferrin is a mammalian milk glycoprotein involved in innate immunity. Recent data show that bovine lactoferrin (bLF) prevents late-onset sepsis in preterm very low birth weight (VLBW) neonates. METHODS: This is a secondary analysis of data from a multicenter randomized controlled trial where preterm VLBW neonates randomly received bLF (100 mg/day; group A1), bLF + Lactobacillus rhamnosus GG (10(6) colony-forming units per day; group A2), or placebo (group B) for 6 weeks. Here we analyze the incidence rates of fungal colonization, invasive fungal infection (IFI), and rate of progression from colonization to infection in all groups. RESULTS: This study included 472 neonates whose clinical, nutritional, and demographical characteristics were similar. Overall, the incidence of fungal colonization was comparable (17.6%, 16.6%, and 18.5% in A1, A2, and B, respectively; P = .89 [A1] and .77 [A2]). In contrast, IFIs were significantly decreased in A1 and A2 (0.7% and 2.0%, respectively) compared with B (7.7%; P = .002 [A1] and .02 [A2]), and this was significantly true both in <1000 g (0.9% [A1] and 5.6% [A2], vs 15.0%) and in 1001 to 1500 g infants (0% and 0% vs 3.7%). The progression rate colonization-infection was significantly lower in the bLF groups: 3.7% (A1) and 12% (A2), vs 41.9%; P < .001 (A1) and P = .02 (A2). No IFI-attributable deaths occurred in the treatment groups, versus 2 in placebo. No adverse effects or intolerances occurred. CONCLUSIONS: Prophylactic oral administration of bLF reduces the incidence of IFI in preterm VLBW neonates. No effect is seen on colonization. The protective effect on IFI is likely due to limitation of ability of fungal colonies to progress toward invasion and systemic disease in colonized infants

The Food Additive Maltodextrin Promotes Endoplasmic Reticulum Stress-Driven Mucus Depletion and Exacerbates Intestinal Inflammation.

BACKGROUND & AIMS: Food additives, such as emulsifiers, stabilizers, or bulking agents, are present in the Western diet and their consumption is increasing. However, little is known about their potential effects on intestinal homeostasis. In this study we examined the effect of some of these food additives on gut inflammation. METHODS: Mice were given drinking water containing maltodextrin (MDX), propylene glycol, or animal gelatin, and then challenged with dextran sulfate sodium or indomethacin. In parallel, mice fed a MDX-enriched diet were given the endoplasmic reticulum (ER) stress inhibitor tauroursodeoxycholic acid (TUDCA). Transcriptomic analysis, real-time polymerase chain reaction, mucin-2 expression, phosphorylated p38 mitogen-activated protein (MAP) kinase quantification, and H&E staining was performed on colonic tissues. Mucosa-associated microbiota composition was characterized by 16S ribosomal RNA sequencing. For the in vitro experiments, murine intestinal crypts and the human mucus-secreting HT29-methotrexate treated cell line were stimulated with MDX in the presence or absence of TUDCA or a p38 MAP kinase inhibitor. RESULTS: Diets enriched in MDX, but not propylene glycol or animal gelatin, exacerbated intestinal inflammation in both models. Analysis of the mechanisms underlying the detrimental effect of MDX showed up-regulation of inositol requiring protein 1β, a sensor of ER stress, in goblet cells, and a reduction of mucin-2 expression with no significant change in mucosa-associated microbiota. Stimulation of murine intestinal crypts and HT29-methotrexate treated cell line cells with MDX induced inositol requiring protein 1β via a p38 MAP kinase-dependent mechanism. Treatment of mice with TUDCA prevented mucin-2 depletion and attenuated colitis in MDX-fed mice. CONCLUSIONS: MDX increases ER stress in gut epithelial cells with the downstream effect of reducing mucus production and enhancing colitis susceptibility