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

Failure modes in high strength and stiffness to weight scaffolds produced by Selective Laser Melting

The production of porous scaffold structures using additive manufacturing is becoming widespread, however a detailed understanding of the scaffold failure mechanisms is lacking. In this research, Selective Laser Melting (SLM) is used to produce Ti–6Al–4V scaffold structures consisting of a regular array of unit cells previously designed using topology optimisation. Interrupted compression testing and subsequent X-Ray Micro Tomography (XMT) characterisation is used to study the deformation and failure of the scaffolds for a range of solid fractions. Further, the XMT data of the unloaded scaffolds is used to generate meshes for finite element analysis which allowed direct comparison of desired and as built behaviour. Likely failure sites predicted from the finite element analysis compare favourably with the experimentally observed ones. Failure is initiated in areas that exhibit the greatest tensile stress, while the onset of the commonly observed layered failure occurs afterwards. The XMT of the unloaded scaffolds also highlights the inaccuracies in the SLM build process, which contributes to stress concentrations in the horizontal arms within the scaffolds. The results indicate that although the strength of the topology optimised structures is very high, further refinement in both the unit cell design and build quality would further increase the strength

Non-Medical Financial Burden in Tuberculosis Care: a Cross-Sectional Survey in Rural China

Background: Treatment of tuberculosis (TB) in China is partially covered by national programs and health insurance schemes, though TB patients often face considerable medical expenditures. For some, especially those from poorer households, non-medical costs, such as transport, accommodation, and nutritional supplementation may be a substantial additional burden. In this article we aim to evaluate these non-medical costs induced by seeking TB care using data from a large scale cross-sectional survey. Methods: A total of 797 TB cases from three cities were randomly selected using a stratified cluster sampling design. Inpatient medical costs, outpatient medical costs, and direct non-medical costs related to TB treatment were collected using in-person interviews by trained interviewers. Mean and median non-medical costs for different sub-groups were calculated and compared using Kruskal-Wallis and Mann–Whitney U tests. Regression analysis was conducted to assess the influence of different patient characteristics on total non-medical cost. Results: The median non-medical cost was RMB 1429, with interquartile range RMB 424–2793. The median non-medical costs relating to inpatient treatment, outpatient treatment, and additional nutrition supplementation were RMB 540, 91, and 900, respectively. Of the 797 cases, 20 % reported catastrophic expenditure on non-medical costs. Statistically significant differences were detected between different cities, age groups, geographical locations, inpatient/outpatient care, education levels and family income groups. Conclusions: Non-medical costs relating to TB treatment are a serious financial burden for many TB patients. Financial assistance that can limit this burden is urgently needed during the treatment period, especially for the poor

Voxel-wise comparisons of cellular microstructure and diffusion-MRI in mouse hippocampus using 3D Bridging of Optically-clear histology with Neuroimaging Data (3D-BOND)

A key challenge in medical imaging is determining a precise correspondence between image properties and tissue microstructure. This comparison is hindered by disparate scales and resolutions between medical imaging and histology. We present a new technique, 3D Bridging of Optically-clear histology with Neuroimaging Data (3D-BOND), for registering medical images with 3D histology to overcome these limitations. Ex vivo 120 × 120 × 200 μm resolution diffusion-MRI (dMRI) data was acquired at 7 T from adult C57Bl/6 mouse hippocampus. Tissue was then optically cleared using CLARITY and stained with cellular markers and confocal microscopy used to produce high-resolution images of the 3D-tissue microstructure. For each sample, a dense array of hippocampal landmarks was used to drive registration between upsampled dMRI data and the corresponding confocal images. The cell population in each MRI voxel was determined within hippocampal subregions and compared to MRI-derived metrics. 3D-BOND provided robust voxel-wise, cellular correlates of dMRI data. CA1 pyramidal and dentate gyrus granular layers had significantly different mean diffusivity (p > 0.001), which was related to microstructural features. Overall, mean and radial diffusivity correlated with cell and axon density and fractional anisotropy with astrocyte density, while apparent fibre density correlated negatively with axon density. Astrocytes, axons and blood vessels correlated to tensor orientation

Effects of isoflavones (soy phyto-estrogens) on serum lipids: a meta-analysis of randomized controlled trials

OBJECTIVES: To determine the effects of isoflavones (soy phyto-estrogens) on serum total cholesterol (TC), low density lipoprotein cholesterol (LDL), high density lipoprotein cholesterol (HDL) and triglyceride (TG). METHODS: We searched electronic databases and included randomized trials with isoflavones interventions in the forms of tablets, isolated soy protein or soy diets. Review Manager 4.2 was used to calculate the pooled risk differences with fixed effects model. RESULTS: Seventeen studies (21 comparisons) with 853 subjects were included in this meta-analysis. Isoflavones tablets had insignificant effects on serum TC, 0.01 mmol/L (95% CI: -0.17 to 0.18, heterogeneity p = 1.0); LDL, 0.00 mmol/L (95% CI: -0.14 to 0.15, heterogeneity p = 0.9); HDL, 0.01 mmol/L (95% CI: -0.05 to 0.06, heterogeneity p = 1.0); and triglyceride, 0.03 mmol/L (95% CI: -0.06 to 0.12, heterogeneity p = 0.9). Isoflavones interventions in the forms of isolated soy protein (ISP), soy diets or soy protein capsule were heterogeneous to combine. CONCLUSIONS: Isoflavones tablets, isolated or mixtures with up to 150 mg per day, seemed to have no overall statistical and clinical benefits on serum lipids. Isoflavones interventions in the forms of soy proteins may need further investigations to resolve whether synergistic effects are necessary with other soy components

Potential health impacts of heavy metals on HIV-infected population in USA.

Noninfectious comorbidities such as cardiovascular diseases have become increasingly prevalent and occur earlier in life in persons with HIV infection. Despite the emerging body of literature linking environmental exposures to chronic disease outcomes in the general population, the impacts of environmental exposures have received little attention in HIV-infected population. The aim of this study is to investigate whether individuals living with HIV have elevated prevalence of heavy metals compared to non-HIV infected individuals in United States. We used the National Health and Nutrition Examination Survey (NHANES) 2003-2010 to compare exposures to heavy metals including cadmium, lead, and total mercury in HIV infected and non-HIV infected subjects. In this cross-sectional study, we found that HIV-infected individuals had higher concentrations of all heavy metals than the non-HIV infected group. In a multivariate linear regression model, HIV status was significantly associated with increased blood cadmium (p=0.03) after adjusting for age, sex, race, education, poverty income ratio, and smoking. However, HIV status was not statistically associated with lead or mercury levels after adjusting for the same covariates. Our findings suggest that HIV-infected patients might be significantly more exposed to cadmium compared to non-HIV infected individuals which could contribute to higher prevalence of chronic diseases among HIV-infected subjects. Further research is warranted to identify sources of exposure and to understand more about specific health outcomes

Variability of Sequence Surrounding the Xist Gene in Rodents Suggests Taxon-Specific Regulation of X Chromosome Inactivation

One of the two X chromosomes in female mammalian cells is subject to inactivation (XCI) initiated by the Xist gene. In this study, we examined in rodents (voles and rat) the conservation of the microsatellite region DXPas34, the Tsix gene (antisense counterpart of Xist), and enhancer Xite that have been shown to flank Xist and regulate XCI in mouse. We have found that mouse regions of the Tsix gene major promoter and minisatellite repeat DXPas34 are conserved among rodents. We have also shown that in voles and rat the region homologous to the mouse Tsix major promoter, initiates antisense to Xist transcription and terminates around the Xist gene start site as is observed with mouse Tsix. A conservation of Tsix expression pattern in voles, rat and mice suggests a crucial role of the antisense transcription in regulation of Xist and XIC in rodents. Most surprisingly, we have found that voles lack the regions homologous to the regulatory element Xite, which is instead replaced with the Slc7a3 gene that is unassociated with the X-inactivation centre in any other eutherians studied. Furthermore, we have not identified any transcription that could have the same functions as murine Xite in voles. Overall, our data show that not all the functional elements surrounding Xist in mice are well conserved even within rodents, thereby suggesting that the regulation of XCI may be at least partially taxon-specific

Suppressor of cytokine signaling (SOCS)5 ameliorates influenza infection via inhibition of EGFR signaling

© Kedzierski et al. Influenza virus infections have a significant impact on global human health. Individuals with suppressed immunity, or suffering from chronic inflammatory conditions such as COPD, are particularly susceptible to influenza. Here we show that suppressor of cytokine signaling (SOCS) five has a pivotal role in restricting influenza A virus in the airway epithelium, through the regulation of epidermal growth factor receptor (EGFR). Socs5-deficient mice exhibit heightened disease severity, with increased viral titres and weight loss. Socs5 levels were differentially regulated in response to distinct influenza viruses (H1N1, H3N2, H5N1 and H11N9) and were reduced in primary epithelial cells from COPD patients, again correlating with increased susceptibility to influenza. Importantly, restoration of SOCS5 levels restricted influenza virus infection, suggesting that manipulating SOCS5 expression and/or SOCS5 targets might be a novel therapeutic approach to influenza