Self-stabilizing Numerical Iterative Computation

Many challenging tasks in sensor networks, including sensor calibration, ranking of nodes, monitoring, event region detection, collaborative filtering, collaborative signal processing, {\em etc.}, can be formulated as a problem of solving a linear system of equations. Several recent works propose different distributed algorithms for solving these problems, usually by using linear iterative numerical methods. In this work, we extend the settings of the above approaches, by adding another dimension to the problem. Specifically, we are interested in {\em self-stabilizing} algorithms, that continuously run and converge to a solution from any initial state. This aspect of the problem is highly important due to the dynamic nature of the network and the frequent changes in the measured environment. In this paper, we link together algorithms from two different domains. On the one hand, we use the rich linear algebra literature of linear iterative methods for solving systems of linear equations, which are naturally distributed with rapid convergence properties. On the other hand, we are interested in self-stabilizing algorithms, where the input to the computation is constantly changing, and we would like the algorithms to converge from any initial state. We propose a simple novel method called \syncAlg as a self-stabilizing variant of the linear iterative methods. We prove that under mild conditions the self-stabilizing algorithm converges to a desired result. We further extend these results to handle the asynchronous case. As a case study, we discuss the sensor calibration problem and provide simulation results to support the applicability of our approach

Do mast cells help to induce angiogenesis in B-cell non-Hodgkin's lymphomas?

Morphological and morphometric data showing a higher number of mast cells (MCs) in the stroma of B-cell non-Hodgkin's lymphomas (B-NHL) than in benign lymphadenopathies are presented in support of the suggestion that angiogenesis during the progression of B-NHL may be partly mediated by angiogenic factors in their secretory granules

Monitoring Partially Synchronous Distributed Systems using SMT Solvers

In this paper, we discuss the feasibility of monitoring partially synchronous distributed systems to detect latent bugs, i.e., errors caused by concurrency and race conditions among concurrent processes. We present a monitoring framework where we model both system constraints and latent bugs as Satisfiability Modulo Theories (SMT) formulas, and we detect the presence of latent bugs using an SMT solver. We demonstrate the feasibility of our framework using both synthetic applications where latent bugs occur at any time with random probability and an application involving exclusive access to a shared resource with a subtle timing bug. We illustrate how the time required for verification is affected by parameters such as communication frequency, latency, and clock skew. Our results show that our framework can be used for real-life applications, and because our framework uses SMT solvers, the range of appropriate applications will increase as these solvers become more efficient over time.Comment: Technical Report corresponding to the paper accepted at Runtime Verification (RV) 201

Laminar Necrosis and Hypoxic Damage of the Placenta: A Case-Control Study

The aim of this study is to verify the role of laminar necrosis (LN) in the diagnosis of hypoxic damage of the placenta. This is a retrospective case-control study in which 50 cases with laminar necrosis were compared with 100 gestational age-matched controls without laminar necrosis in a 1:2 ratio. The parameters analyzed were: the presence of other placental lesions, obstetric characteristics and neonatal outcome. For each of the 50 cases, the area affected by the lesion was detected, and the lesions were classified into three groups based on the morphology and time of onset of the lesion in order to understand whether these characteristics of the lesion had a clinical-pathology. The results showed that including the search for LN among placental lesions generally examined is useful to guide the pathologist in the diagnosis of placental dysfunction of hypoxic origin

Levo-thyroxine Replacement in Obese Adults: the Role of Metabolic Variables and Aging on Thyroid Testing Abnormalities.

CONTEXT: General rates of over- and underreplacement in levothyroxine (LT4) users with primary hypothyroidism are variably high. No information on LT4 adequacy exists in obesity. OBJECTIVE: We explored rates and factors relating to LT4 adequacy in obese patients with primary hypothyroidism. SETTING: Tertiary care center. DESIGN: Among 4954 consecutive obese patients admitted between 2011 and 2014, 691 hypothyroid patients receiving LT4 therapy and 691 body mass index (BMI)-, age-, and sex-matched euthyroid controls underwent analysis of thyroid function, glucolipid profile, body composition, and indirect calorimetry. LT4 users were classified into low TSH (4.2 mU/L). RESULTS: LT4 users constituted 13.9% of the incident population. TSH was low in 7.5%, high in 17.2%, and normal in 75.2% of LT4 users. Overtreatment decreased with aging and more LT4 users ≥65 years of age had normal TSH than those <65 years of age (P < 0.05). Compared with the euthyroid obese group, LT4 users showed higher adiposity, similar insulin resistance, but a healthier lipid profile. In multivariable analyses, LT4 dose was predicted by fat-free mass, hypothyroidism cause, and sex (P < 0.0001 to < 0.05). Risk of LT4 overreplacement increased with younger age (OR 0.96; 95% CI 0.94 to 0.99), higher LT4 dose (OR 2.98; 95% CI 1.44 to 6.14), and lower BMI (OR 0.93; 95% CI 0.88 to 0.99). Male sex increased the likelihood of LT4 underreplacement (OR 2.37; 95% CI 1.10 to 5.11). CONCLUSIONS: Obesity is associated with milder rates of inadequate LT4 treatment compared with nonobese populations. LT4 adequacy increases with aging. Age, body composition, and sex are main determinants of LT4 requirements in obesity. Copyright © 2019 Endocrine Society

The pattern of TSH and fT4 levels across different BMI ranges in a large cohort of euthyroid patients with obesity.

Purpose: A multifold association relates the hypothalamo-pituitary-thyroid axis to body weight. The potential underlying mechanisms are incompletely understood. Further, the mild severity of obesity and the small proportion of individuals with obesity in so far published cohort studies provide little insights on metabolic correlates of thyroid function in obesity. Methods: We retrospectively enrolled 5009 adults with obesity (F/M, 3448/1561; age range, 18-87 years; BMI range, 30.0-82.7 kg/m2), without known thyroid disease in a study on TSH and fT4 levels, lipid profile, glucose homeostasis and insulin resistance, anthropometric parameters including BIA-derived fat mass (%FM) and fat-free mass (FFM). Results: The overall reference interval for TSH in our obese cohort was 0.58-5.07 mIU/L. As subgroups, females and non-smokers showed higher TSH levels as compared to their counterparts (p<0.0001 for both), while fT4 values were comparable between groups. There was a significant upward trend for TSH levels across incremental BMI classes in females, while the opposite trend was seen for fT4 levels in males (p<0.0001 for both). Expectedly, TSH was associated with %FM and FFM (p<0,0001 for both). TSH and fT4 showed correlations with several metabolic variables, and both declined with aging (TSH, p<0.0001; fT4, p<0.01). In a subgroup undergoing leptin measurement, leptin levels were positively associated with TSH levels (p<0.01). At the multivariable regression analysis, in the group as a whole, smoking habit emerged as the main independent predictor of TSH (β=-0.24, p<0.0001) and fT4 (β=-0.25, p<0.0001) levels. In non-smokers, %FM (β=0.08, p<0.0001) and age (β=-0.05, p<0.001) were the main significant predictors of TSH levels. In the subset of nonsmokers having leptin measured, leptin emerged as the strongest predictor of TSH levels (β=0.17, p<0.01). Conclusions: Our study provides evidence of a gender- and smoking-dependent regulation of TSH levels in obesity

Muscle sympathetic nerve activity in patients with acromegaly

Muscle sympathetic nerve activity was measured in nine acromegalic patients (age, 35 +/- 4 yr; body mass index, 28 +/- 2 kg/m2) and eight healthy subjects (age, 32 +/- 3 yr; body mass index, 25 +/- 2 kg/m2) by combining the forearm arterial-venous difference technique with the tracer method [infusion of tritiated norepinephrine (NE)]. Muscle NE release was quantified both at rest and during physiological hyperinsulinemia while maintaining euglycemia (approximately 90 mg/dL) by means of the euglycemic clamp. Arterial plasma NE was similar in the two groups at rest (197 +/- 28 and 200 +/- 27 pg/mL (-1) and slightly increased during insulin infusion. Forearm NE release was 2.33 +/- 0.55 ng x liter(-1) x min(-1) in healthy subjects and 2.67 +/- 0.61 ng x liter(-1) x min(-1) in acromegalic subjects in the basal state and increased to a similar extent during insulin infusion in both groups (3.13 +/- 0.71 and 3.32 +/- 0.75 ng x L(-1) x min(-1), P < 0.05 vs. basal), indicating a normal stimulatory effect of insulin on muscle sympathetic activity. In contrast, insulin-stimulated forearm glucose uptake was markedly lower in acromegalic patients (2.3 +/- 0.4 mg x L(-1) x min(-1)) than in control subjects (7.9 +/- 1.3 mg x L(-1) x min(-1), P < 0.001), indicating the presence of severe insulin resistance involving glucose metabolism. Our data demonstrate that patients with long-term acromegaly have normal sympathetic activity in the skeletal muscle in the basal, postabsorptive state and normal increments in NE spillover in response to the sympatho-excitatory effect of insulin. Thus, the presence of severe insulin resistance in acromegaly is not accounted for by adrenergic mechanisms