Convergence analysis of the information matrix in Gaussian belief propagation

Gaussian belief propagation (BP) has been widely used for distributed estimation in large-scale networks such as the smart grid, communication networks, and social networks, where local measurements/observations are scattered over a wide geographical area. However, the convergence of Gaus- sian BP is still an open issue. In this paper, we consider the convergence of Gaussian BP, focusing in particular on the convergence of the information matrix. We show analytically that the exchanged message information matrix converges for arbitrary positive semidefinite initial value, and its dis- tance to the unique positive definite limit matrix decreases exponentially fast.Comment: arXiv admin note: substantial text overlap with arXiv:1611.0201

Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution

Mobile apps can access a wide variety of secure information, such as contacts and location. However, current mobile platforms include only coarse access control mechanisms to protect such data. In this paper, we introduce interaction-based declassification policies, in which the user's interactions with the app constrain the release of sensitive information. Our policies are defined extensionally, so as to be independent of the app's implementation, based on sequences of security-relevant events that occur in app runs. Policies use LTL formulae to precisely specify which secret inputs, read at which times, may be released. We formalize a semantic security condition, interaction-based noninterference, to define our policies precisely. Finally, we describe a prototype tool that uses symbolic execution to check interaction-based declassification policies for Android, and we show that it enforces policies correctly on a set of apps.Comment: This research was supported in part by NSF grants CNS-1064997 and 1421373, AFOSR grants FA9550-12-1-0334 and FA9550-14-1-0334, a partnership between UMIACS and the Laboratory for Telecommunication Sciences, and the National Security Agenc

Functional characterization of 8-oxoguanine DNA glycosylase of Trypanosoma cruzi

The oxidative lesion 8-oxoguanine (8-oxoG) is removed during base excision repair by the 8-oxoguanine DNA glycosylase 1 (Ogg1). This lesion can erroneously pair with adenine, and the excision of this damaged base by Ogg1 enables the insertion of a guanine and prevents DNA mutation. In this report, we identified and characterized Ogg1 from the protozoan parasite Trypanosoma cruzi (TcOgg1), the causative agent of Chagas disease. Like most living organisms, T. cruzi is susceptible to oxidative stress, hence DNA repair is essential for its survival and improvement of infection. We verified that the TcOGG1 gene encodes an 8-oxoG DNA glycosylase by complementing an Ogg1-defective Saccharomyces cerevisiae strain. Heterologous expression of TcOGG1 reestablished the mutation frequency of the yeast mutant ogg1-/- (CD138) to wild type levels. We also demonstrate that the overexpression of TcOGG1 increases T. cruzi sensitivity to hydrogen peroxide (H2O2). Analysis of DNA lesions using quantitative PCR suggests that the increased susceptibility to H2O2 of TcOGG1-overexpressor could be a consequence of uncoupled BER in abasic sites and/or strand breaks generated after TcOgg1 removes 8-oxoG, which are not rapidly repaired by the subsequent BER enzymes. This hypothesis is supported by the observation that TcOGG1-overexpressors have reduced levels of 8-oxoG both in the nucleus and in the parasite mitochondrion. The localization of TcOgg1 was examined in parasite transfected with a TcOgg1-GFP fusion, which confirmed that this enzyme is in both organelles. Taken together, our data indicate that T. cruzi has a functional Ogg1 ortholog that participates in nuclear and mitochondrial BER. © 2012 Furtado et al

Microstructural and mechanical properties analysis of extruded Sn–0.7Cu solder alloy

AbstractThe properties and performance of lead-free solder alloys such as fluidity and wettability are defined by the alloy composition and solidification microstructure. Rapid solidification of metallic alloys is known to result in refined microstructures with reduced microsegregation and improved mechanical properties of the final products as compared to normal castings. The rapidly solidified Sn-based solders by melt spinning were shown to be suitable for soldering with low temperature and short soldering duration. In the present study, rapidly solidified Sn–0.7wt.%Cu droplets generated by impulse atomization (IA) were achieved as well as directional solidification under transient conditions at lower cooling rate. This paper reports on a comparative study of the rapidly solidified and the directionally solidified samples. Different but complementary characterization techniques were used to fully analyze the solidification microstructures of the samples obtained under the two cooling regimes. These include X-ray diffractometry (XRD) and scanning electron microscopy (SEM). In order to compare the tensile strength and elongation to fracture of the directionally solidified ingot and strip castings with the atomized droplet, compaction and extrusion of the latter were carried out. It was shown that more balanced and superior tensile mechanical properties are available for the hot extruded samples from compacted as-atomized Sn–0.7wt.%Cu droplets. Further, elongation-to-fracture was 2–3× higher than that obtained for the directionally solidified samples

Long noncoding RNAs: a missing link in osteoporosis

Osteoporosis is a systemic disease that results in loss of bone density and increased fracture risk, particularly in the vertebrae and the hip. This condition and associated morbidity and mortality increase with population ageing. Long noncoding (lnc) RNAs are transcripts longer than 200 nucleotides that are not translated into proteins, but play important regulatory roles in transcriptional and post-transcriptional regulation. Their contribution to disease onset and development is increasingly recognized. Herein, we present an integrative revision on the studies that implicate lncRNAs in osteoporosis and that support their potential use as therapeutic tools. Firstly, current evidence on lncRNAs involvement in cellular and molecular mechanisms linked to osteoporosis and its major complication, fragility fractures, is reviewed. We analyze evidence of their roles in osteogenesis, osteoclastogenesis, and bone fracture healing events from human and animal model studies. Secondly, the potential of lncRNAs alterations at genetic and transcriptomic level are discussed as osteoporosis risk factors and as new circulating biomarkers for diagnosis. Finally, we conclude debating the possibilities, persisting difficulties, and future prospects of using lncRNAs in the treatment of osteoporosis.This project has been supported by Portuguese funds through FCT—Fundação para a Ciência e a Tecnologia/Ministério da Ciência, Tecnologia e Ensino Superior in the framework of the project POCI-01-0145-FEDER-031402—R2Bone, under the PORTUGAL 2020 Partnership Agreement, through ERDF. Authors would like to thank to FCT DL 57/2016/CP1360/CT0008 (M.I.A.) and SFRH/BD/112832/2015 (J.H.T)

Circulating micrornas correlate with multiple myeloma and skeletal osteolytic lesions

Multiple myeloma (MM) is the second most frequent hematological disease and can cause skeletal osteolytic lesions. This study aims to evaluate the expression of circulating microRNAs (miR-NAs) in MM patients and to correlate those levels with clinicopathological features, including bone lesions. A panel of miRNAs associated with MM onset and progression, or with bone remodeling, was analyzed in the plasma of 82 subjects (47 MM patients; 35 healthy controls). Results show that miR-16-5p, miR-20a-5p, and miR-21-5p are differently expressed between MM patients and healthy controls. Receiver operating characteristic analyses indicate that their combined expression has potential as a molecular marker (Area Under the Curve, AUC of 0.8249). Furthermore, significant correlations were found between the analyzed miRNAs and disease stage, treatment, ß2 microglobulin, serum albumin and creatinine levels, but not with calcium levels or genetic alterations. In this cohort, 65.96% of MM patients had bone lesions, the majority of which were in the vertebrae. Additionally, miR-29c-3p was decreased in patients with osteolytic lesions compared with patients without bone disease. Interestingly, circulating levels of miR-29b-3p correlated with cervical and thoracic vertebral lesions, while miR-195-5p correlated with thoracic lesions. Our findings suggest circulating miRNAs can be promising biomarkers for MM diagnosis and that their levels correlate with myeloma bone disease and osteolytic lesions.The project was supported by AO Spine-ESA Grant Award 2018 (AO Foundation); As-sociação Portuguesa Contra a Leucemia, Sociedade Portuguesa de Hematologia, AMGEN; and by Portuguese funds through FCT-Fundação para a Ciência e a Tecnologia (FCT)/Ministério da Ciência, Tecnologia e Ensino Superior in the framework of the project POCI-01-0145-FEDER-031402-R2Bone (FEDER-Fundo Europeu de Desenvolvimento Regional funds through the COMPETE 2020-Operacional Programme for Competitiveness and Internationalisation—POCI, Portugal 2020)

Invariant Synthesis for Incomplete Verification Engines

We propose a framework for synthesizing inductive invariants for incomplete verification engines, which soundly reduce logical problems in undecidable theories to decidable theories. Our framework is based on the counter-example guided inductive synthesis principle (CEGIS) and allows verification engines to communicate non-provability information to guide invariant synthesis. We show precisely how the verification engine can compute such non-provability information and how to build effective learning algorithms when invariants are expressed as Boolean combinations of a fixed set of predicates. Moreover, we evaluate our framework in two verification settings, one in which verification engines need to handle quantified formulas and one in which verification engines have to reason about heap properties expressed in an expressive but undecidable separation logic. Our experiments show that our invariant synthesis framework based on non-provability information can both effectively synthesize inductive invariants and adequately strengthen contracts across a large suite of programs

Autonomy of Nations and Indigenous Peoples and the Environmental Release of Genetically Engineered Animals with Gene Drives

This article contends that the environmental release of genetically engineered (GE) animals with heritable traits that are patented will present a challenge to the efforts of nations and indigenous peoples to engage in self‐determination. The environmental release of such animals has been proposed on the grounds that they could function as public health tools or as solutions to the problem of agricultural insect pests. This article brings into focus two political‐economic‐legal problems that would arise with the environmental release of such organisms. To address those challenges, it is proposed that nations considering the environmental release of GE animals must take into account the underlying circumstances and policy failures that motivate arguments for the use of the modified animals. Moreover, countries must recognize that the UN International Covenant on Civil and Political Rights and the UN International Covenant on Economic, Social and Cultural Rights place on them an obligation to ensure that GE animals with patented heritable traits are not released without the substantive consent of the nations or indigenous peoples that could be affected

Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation

We apply multivariate Lagrange interpolation to synthesize polynomial quantitative loop invariants for probabilistic programs. We reduce the computation of an quantitative loop invariant to solving constraints over program variables and unknown coefficients. Lagrange interpolation allows us to find constraints with less unknown coefficients. Counterexample-guided refinement furthermore generates linear constraints that pinpoint the desired quantitative invariants. We evaluate our technique by several case studies with polynomial quantitative loop invariants in the experiments