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

The time-dependent rearrangement of the epithelial basement membrane in human skin wounds

In 62 human skin wounds (surgical wounds, stab wounds and lacerations after surgical treatment) we analyzed the immunohistochemical localization of collagen IV in the epithelial basement membrane. In 27 of these wounds the distribution of collagen VII, which represents a specific component of the basement membrane of stratified epithelia, was also analyzed. We were able to demonstrate a virtually identical co-distribution of both collagen IV and VII in the wound area with no significant time-dependent differences in the appearance of both collagen types. Fragments of the epithelial basement membrane could be detected in the wound area from as early as 4 days after wounding and after 8 days a complete restitution of the epithelial basement membrane was observed. In all cases with a wound age of more than 21 days the basement membrane was completely reformed over the former lesional area. The period between 8 and 21 days after wounding was characterized by a wide variability ranging from complete restitution to deposition of basement membrane fragments or total lack of the epidermal basement membrane

Heterologous production of curcuminoids

Curcuminoids, components of the rhizome of turmeric, show several beneficial biological activities, including anticarcinogenic, antioxidant, anti-inflammatory, and antitumor activities. Despite their numerous pharmaceutically important properties, the low natural abundance of curcuminoids represents a major drawback for their use as therapeutic agents. Therefore, they represent attractive targets for heterologous production and metabolic engineering. The understanding of biosynthesis of curcuminoids in turmeric made remarkable advances in the last decade, and as a result, several efforts to produce them in heterologous organisms have been reported. The artificial biosynthetic pathway (e.g., in Escherichia coli) can start with the supplementation of the amino acid tyrosine or phenylalanine or of carboxylic acids and lead to the production of several natural curcuminoids. Unnatural carboxylic acids can also be supplemented as precursors and lead to the production of unnatural compounds with possibly novel therapeutic properties. In this paper, we review the natural conversion of curcuminoids in turmeric and their production by E. coli using an artificial biosynthetic pathway. We also explore the potential of other enzymes discovered recently or already used in other similar biosynthetic pathways, such as flavonoids and stilbenoids, to increase curcuminoid yield and activity.We acknowledge financial support from the Strategic Project PEst-OE/EQB/LA0023/2013, project reference RECI/BBB-EBI/0179/2012 (project number FCOMP-01-0124-FEDER-027462), project SYNBIOBACTHER (PTDC/EBB-BIO/102863/2008), and a doctoral grant (SFRH/BD/51187/ 2010) to J. L. Rodrigues, funded by Fundacao para a Ciencia e a Tecnologia. We thank the MIT-Portugal Program for support given to J. L. Rodrigues

The Ets dominant repressor En/Erm enhances intestinal epithelial tumorigenesis in ApcMin mice

<p>Abstract</p> <p>Background</p> <p>Ets transcription factors have been widely implicated in the control of tumorigenesis, with most studies suggesting tumor-promoting roles. However, few studies have examined Ets tumorigenesis-modifying functions <it>in vivo </it>using model genetic systems.</p> <p>Methods</p> <p>Using mice expressing a previously characterized Ets dominant repressor transgene in the intestinal epithelium (Villin-En/Erm), we examined the consequences of blocking endogenous Ets-mediated transcriptional activation on tumorigenesis in the Apc^Minmodel of intestinal carcinoma.</p> <p>Results</p> <p>En/Erm expression in the intestine, at levels not associated with overt crypt-villus dysmorphogenesis, results in a marked increase in tumor number in Apc^Minanimals. Moreover, when examined histologically, tumors from En/Erm-expressing animals show a trend toward greater stromal invasiveness. Detailed analysis of crypt-villus homeostasis in these En/Erm transgenic animals suggests increased epithelial turnover as one possible mechanism for the enhanced tumorigenesis.</p> <p>Conclusion</p> <p>Our findings provide <it>in vivo </it>evidence for a tumor-restricting function of endogenous Ets factors in the intestinal epithelium.</p

Thermopile detector of light ellipticity

Polarimetric imaging is widely used in applications from material analysis to biomedical diagnostics, vision and astronomy. The degree of circular polarization, or light ellipticity, is associated with the S3 Stokes parameter which is defined as the difference in the intensities of the left- and right-circularly polarized components of light. Traditional way of determining this parameter relies on using several external optical elements, such as polarizers and wave plates, along with conventional photodetectors, and performing at least two measurements to distinguish left- and right-circularly polarized light components. Here we theoretically propose and experimentally demonstrate a thermopile photodetector element that provides bipolar voltage output directly proportional to the S3 Stokes parameter of the incident light.ope

Salivary Cortisol and Binge Eating Disorder in Obese Women After Surgery for Morbid Obesity

Contains fulltext : 77127.pdf (publisher's version ) (Closed access)Background Binge eating episodes characterized by loss of control are hypothesized to be accompanied by changes in hypothalamic pituitary adrenal (HPA) axis functioning. Cortisol is an end product of this neuroendocrine stress system. Purpose The aim of this study was to examine the cortisol levels and the awakening cortisol response (ACR) in obese persons showing binge eating after surgery for morbid obesity. Method Sixteen obese women with binge eating disorder (BED) and 18 obese women without BED participated in the study. Means±SD: age 43 ± 15, body mass index 40 ± 8. Salivary cortisol, anthropometric assessments, and the eating disorder examination interview were taken. Results Women with BED showed a significantly lower waist-to-hip ratio and cortisol levels during the day than women without BED, whereas the ACR did not differ. Conclusion Our cross-sectional study in a small sample generates the hypothesis that neuroendocrine regulation differs between obese women with and without BED after obesity surgery. This finding needs replication in future studies that should also examine the causal direction of the observed association

Mycobacterium indicus pranii Supernatant Induces Apoptotic Cell Death in Mouse Peritoneal Macrophages In Vitro

Mycobacterium indicus pranii (MIP), also known as Mw, is a saprophytic, non-pathogenic strain of Mycobacterium and is commercially available as a heat-killed vaccine for leprosy and recently tuberculosis (TB) as part of MDT. In this study we provide evidence that cell-free supernatant collected from original MIP suspension induces rapid and enhanced apoptosis in mouse peritoneal macrophages in vitro. It is demonstrated that the MIP cell-free supernatant induced apoptosis is mitochondria-mediated and caspase independent and involves mitochondrial translocation of Bax and subsequent release of AIF and cytochrome c from the mitochondria. Experiments with pharmacological inhibitors suggest a possible role of PKC in mitochondria-mediated apoptosis of macrophages

Measurement of Exclusive B Decays to Final States Containing a Charmed Baryon

Using data collected by the CLEO detector in the Upsilon(4S) region, we report new measurements of the exclusive decays of B mesons into final states of the type Lambda_c^+ p-bar n(pi), where n=0,1,2,3. We find signals in modes with one, two and three pions and an upper limit for the two body decay Lambda_c^+ pbar. We also make the first measurements of exclusive decays of B mesons to Sigma_c p-bar n(pi), where n=0,1,2. We find signals in modes with one and two pions and an upper limit for the two body decay Sigma_c p-bar. Measurements of these modes shed light on the mechanisms involved in B decays to baryons.Comment: 11 pages postscript, also available through http://w4.lns.cornell.edu/public/CLNS, submitted to PR

Measurement of the Masses and Widths of the Sigma_c^++ and Sigma_c^0 Charmed Baryons

Using data recorded by the CLEO II and CLEO II.V detector configurations at CESR, we report new measurements of the masses of the Sigma_c^{++} and Sigma_c^0 charmed baryons, and the first measurements of their intrinsic widths. We find M(Sigma_c^{++}) - M(Lambda_c^+) = 167.4 +- 0.1 +- 0.2 MeV, Gamma(Sigma_c^{++}) = 2.3 +- 0.2 +- 0.3 MeV, and M(Sigma_c^0) - M(Lambda_c^+) = 167.2 +- 0.1 +- 0.2 MeV, Gamma(Sigma_c^0) = 2.5 +- 0.2 +- 0.3 MeV, where the uncertainties are statistical and systematic, respectively.Comment: 9 pages postscript, also available through http://w4.lns.cornell.edu/public/CLNS, submitted to PRD, Rapid Communications. Reference [13] correcte

An integrated MR/PET system: prospective applications

Radiology is strongly depending on medical imaging technology and consequently directing technological progress. A novel technology can only be established, however, if improved diagnostic accuracy influence on therapeutic management and/or overall reduced cost can be evidenced. It has been demonstrated recently that Magnetic Resonance Imaging (MRI) and Positron Emission Tomography (PET) can technologically be integrated into one single hybrid system. Some scientific arguments on the benefits are obvious, e.g., that simultaneous imaging of morphological and functional information will improve tissue characterization. However, crossfire of questions still remains: What unmet radiological needs are addressed by the novel system? What level of hardware integration is reasonable, or would software-based image co-registration be sufficient? Will MR/PET achieve higher diagnostic accuracy compared to separate imaging? What is the added value compared to other hybrid imaging modalities like PET/CT? And finally, is the system economically reasonable and has the potential to reduce overall costs for therapy planning and monitoring? This article tries to highlight some perspectives of applying an integrated MR/PET system for simultaneous morphologic and functional imaging