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

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

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

Open labware: 3-D printing your own lab equipment

The introduction of affordable, consumer-oriented 3-D printers is a milestone in the current “maker movement,” which has been heralded as the next industrial revolution. Combined with free and open sharing of detailed design blueprints and accessible development tools, rapid prototypes of complex products can now be assembled in one’s own garage—a game-changer reminiscent of the early days of personal computing. At the same time, 3-D printing has also allowed the scientific and engineering community to build the “little things” that help a lab get up and running much faster and easier than ever before

Synthesis of oxazolidinones from N-aryl-carbamate and epichlorohydrin under mild conditions

The reaction conditions for an enantiospecific synthesis of various N-aryl-oxazolidinones from N-aryl-carbamates and (R) or (S) epichlorohydrin were optimized. The N-aryl-oxazolidinones were applied to the synthesis of compounds of biological interest such as DuP 721, toloxatone and a linezolid analogue

Trialkoxysilane Grafting in Alcohols: A Simple Approach towards Modified Silica-Based Materials

The grafting of trialkoxysilanes is the most common method for the surface functionalization of silica gel, and it is usually carried out in the presence of toluene or other solvents such as acetonitrile or acetone. Here, we replaced these solvents with alcohols to afford silica materials containing alkoxy groups linked to the silicon atom. The grafting of N,N-dimethyl-3-amino- or 3-amino-propyltrimethoxysilane was carried out in the presence of several alcohols containing an unsubstituted alkyl chain (C7 and C14), a PEG functionalized chain, or an amino-substituted chain (N,N-dimethylamino, pyridyl). Materials were characterized via solid-state 13C- and 29Si CPMAS NMR and thermogravimetric analysis to prove that alcohols are not "innocent" solvents but take part in the reaction and lead to [RSi(OR1)-(OSi)2] systems where the OR1 group proceeds from the alcohol used in the synthesis. As a proof of concept, we briefly studied the catalytic activity of some of these materials with the aim of showing how different modifications can influence the course of a selected reaction. Finally, a quaternary ammonium salt (QAS)-based silica was prepared containing both an alkyl-QAS and an alkoxy-QAS linked to silicon atoms. This could represent an interesting approach for the development of new antifouling-based materials and, overall, the described strategy could be useful for the preparation of new organosilica materials

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