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

Subsurface Defect Detection in Ceramic Materials Using Optical Gating Techniques

Components made from advanced ceramics materials, because of their thermomechanical and chemical properties, have several advantages over traditional steel parts, making them well suited for use in severe operating environments. In particular, silicon nitride (Si3N4) ceramics, because of their stiffness and resistance to corrosion, are being considered for use in rolling contact elements such as bearings and contact races. In addition, when combined with rare-earth oxide sintering aids such as yttria (Y2O3), silicon nitride ceramics have high-temperature strength which makes them excellent candidates for components such as rotors and blades in advanced turbine engines

Combining system dynamic model and CLUE-S model to improve land use scenario analyses at regional scale: A case study of Sangong watershed in Xinjiang, China

Uses of models of land use change are primary tools for analyzing the causes and consequences of land use changes, assessing the impacts of land use change on ecosystems and supporting land use planning and policy. However, no single model is able to capture all of key processes essential to explore land use change at different scales and make a full assessment of driving factors and impacts. Based on the multi-scale characteristics of land use change, combination and integration of currently existed models of land use change could be a feasible solution. Taken Sangong watershed as a case study, this paper describes an integrated methodology in which the conversion of land use and its effect model (CLUE), a spatially explicit land use change model, has been combined with a system dynamic model (SD) to analyze land use dynamics at different scales. A SD model is used to calculate area changes in demand for land types as a whole while a CLUE model is used to transfer these demands to land use patterns. Without the spatial consideration, the SD model ensures an appropriate treatment of macro-economic, demographic and technology developments, and changes in economic policies influencing the demand and supply for land use in a specific region. With CLUE model the land use change has been simulated at a high spatial resolution with the spatial consideration of land use suitability, spatial policies and restrictions to satisfy the balance between land use demand and supply. The application of the combination of SD and CLUE model in Sangong watershed suggests that this methodology have the ability to reflect the complex behaviors of land use system at different scales to some extent and be a useful tool for analysis of complex land use driving factors such as land use policies and assessment of its impacts on land use change. The established SD model was fitted or calibrated with the 1987-1998 data and validated with the 1998-2004 data; combining SD model with CLUE-S model, future land use scenarios were analyzed during 2004-2030. This work could be used for better understanding of the possible impacts of land use change on terrestrial ecosystem and provide scientific support for land use planning and managements of the watershed. (C) 2010 Elsevier B.V. All rights reserved

Spinor Helicity and Dual Conformal Symmetry in Ten Dimensions

The spinor helicity formalism in four dimensions has become a very useful tool both for understanding the structure of amplitudes and also for practical numerical computation of amplitudes. Recently, there has been some discussion of an extension of this formalism to higher dimensions. We describe a particular implementation of the spinor-helicity method in ten dimensions. Using this tool, we study the tree-level S-matrix of ten dimensional super Yang-Mills theory, and prove that the theory enjoys a dual conformal symmetry. Implications for four-dimensional computations are discussed.Comment: 24 pages, 1 figure

Hierarchical information clustering by means of topologically embedded graphs

We introduce a graph-theoretic approach to extract clusters and hierarchies in complex data-sets in an unsupervised and deterministic manner, without the use of any prior information. This is achieved by building topologically embedded networks containing the subset of most significant links and analyzing the network structure. For a planar embedding, this method provides both the intra-cluster hierarchy, which describes the way clusters are composed, and the inter-cluster hierarchy which describes how clusters gather together. We discuss performance, robustness and reliability of this method by first investigating several artificial data-sets, finding that it can outperform significantly other established approaches. Then we show that our method can successfully differentiate meaningful clusters and hierarchies in a variety of real data-sets. In particular, we find that the application to gene expression patterns of lymphoma samples uncovers biologically significant groups of genes which play key-roles in diagnosis, prognosis and treatment of some of the most relevant human lymphoid malignancies.Comment: 33 Pages, 18 Figures, 5 Table

Atropselective syntheses of (-) and (+) rugulotrosin A utilizing point-to-axial chirality transfer

Chiral, dimeric natural products containing complex structures and interesting biological properties have inspired chemists and biologists for decades. A seven-step total synthesis of the axially chiral, dimeric tetrahydroxanthone natural product rugulotrosin A is described. The synthesis employs a one-pot Suzuki coupling/dimerization to generate the requisite 2,2'-biaryl linkage. Highly selective point-to-axial chirality transfer was achieved using palladium catalysis with achiral phosphine ligands. Single X-ray crystal diffraction data were obtained to confirm both the atropisomeric configuration and absolute stereochemistry of rugulotrosin A. Computational studies are described to rationalize the atropselectivity observed in the key dimerization step. Comparison of the crude fungal extract with synthetic rugulotrosin A and its atropisomer verified that nature generates a single atropisomer of the natural product.P50 GM067041 - NIGMS NIH HHS; R01 GM099920 - NIGMS NIH HHS; GM-067041 - NIGMS NIH HHS; GM-099920 - NIGMS NIH HH

Constitutive expression of ftsZ overrides the whi developmental genes to initiate sporulation of Streptomyces coelicolor

The filamentous soil bacteria Streptomyces undergo a highly complex developmental programme. Before streptomycetes commit themselves to sporulation, distinct morphological checkpoints are passed in the aerial hyphae that are subject to multi-level control by the whi sporulation genes. Here we show that whi-independent expression of FtsZ restores sporulation to the early sporulation mutants whiA, whiB, whiG, whiH, whiI and whiJ. Viability, stress resistance and high-resolution electron microscopy underlined that viable spores were formed. However, spores from sporulation-restored whiA and whiG mutants showed defects in DNA segregation/condensation, while spores from the complemented whiB mutant had increased stress sensitivity, perhaps as a result of changes in the spore sheath. In contrast to the whi mutants, normal sporulation of ssgB null mutants—which fail to properly localise FtsZ—could not be restored by enhancing FtsZ protein levels, forming spore-like bodies that lack spore walls. Our data strongly suggest that the whi genes control a decisive event towards sporulation of streptomycetes, namely the correct timing of developmental ftsZ transcription. The biological significance may be to ensure that sporulation-specific cell division will only start once sufficient aerial mycelium biomass has been generated. Our data shed new light on the longstanding question as to how whi genes control sporulation, which has intrigued scientists for four decades

Observation of the induced pressure in a hybrid micro/nano-channel

This paper studies the flow characteristics in micro/nano-channels subjected to an applied electric field. The nano-channel flow was observed by means of the fluorescence Calcein. A Fluorescence Concentration Gradient Interface (FCGI) was observed across the nano-channel array. The front of the FCGI was shown to have an analogous parabolic shape. The propagation of this interface reflects indirectly the induced pressure at the micro/nano-channel junction, where the enrichment-depletion processes are known to take place. This induced pressure was predicted by numerical simulations, and this paper gives the first experimental evidence

HUWE1 E3 ligase promotes PINK1/PARKINindependent mitophagy by regulating AMBRA1 activation via IKKa

The selective removal of undesired or damaged mitochondria by autophagy, known as mitophagy, is crucial for cellular homoeostasis, and prevents tumour diffusion, neurodegeneration and ageing. The pro-autophagic molecule AMBRA1 (autophagy/beclin-1 regulator-1) has been defined as a novel regulator of mitophagy in both PINK1/PARKIN-dependent and -independent systems. Here, we identified the E3 ubiquitin ligase HUWE1 as a key inducing factor in AMBRA1-mediated mitophagy, a process that takes place independently of the main mitophagy receptors. Furthermore, we show that mitophagy function of AMBRA1 is post-translationally controlled, upon HUWE1 activity, by a positive phosphorylation on its serine 1014. This modification is mediated by the IKKα kinase and induces structural changes in AMBRA1, thus promoting its interaction with LC3/GABARAP (mATG8) proteins and its mitophagic activity. Altogether, these results demonstrate that AMBRA1 regulates mitophagy through a novel pathway, in which HUWE1 and IKKα are key factors, shedding new lights on the regulation of mitochondrial quality control and homoeostasis in mammalian cells

Multiple ITS Copies Reveal Extensive Hybridization within Rheum (Polygonaceae), a Genus That Has Undergone Rapid Radiation

During adaptive radiation events, characters can arise multiple times due to parallel evolution, but transfer of traits through hybridization provides an alternative explanation for the same character appearing in apparently non-sister lineages. The signature of hybridization can be detected in incongruence between phylogenies derived from different markers, or from the presence of two divergent versions of a nuclear marker such as ITS within one individual.In this study, we cloned and sequenced ITS regions for 30 species of the genus Rheum, and compared them with a cpDNA phylogeny. Seven species contained two divergent copies of ITS that resolved in different clades from one another in each case, indicating hybridization events too recent for concerted evolution to have homogenised the ITS sequences. Hybridization was also indicated in at least two further species via incongruence in their position between ITS and cpDNA phylogenies. None of the ITS sequences present in these nine species matched those detected in any other species, which provides tentative evidence against recent introgression as an explanation. Rheum globulosum, previously indicated by cpDNA to represent an independent origin of decumbent habit, is indicated by ITS to be part of clade of decumbent species, which acquired cpDNA of another clade via hybridization. However decumbent and glasshouse morphology are confirmed to have arisen three and two times, respectively.These findings suggested that hybridization among QTP species of Rheum has been extensive, and that a role of hybridization in diversification of Rheum requires investigation