Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation

The actor model eases the definition of concurrent programs with non uniform behaviors. Static analysis of such a model was previously done in a data-flow oriented way, with type systems. This approach was based on constraint set resolution and was not able to deal with precise properties for communications of behaviors. We present here a new approach, control-flow oriented, based on the abstract interpretation framework, able to deal with communication of behaviors. Within our new analyses, we are able to verify most of the previous properties we observed as well as new ones, principally based on occurrence counting

Immunomodulatory therapies for the treatment of SARS-CoV-2 infection: an update of the systematic literature review to inform EULAR points to consider

OBJECTIVE: To update the EULAR 2020 systematic literature review (SLR) on efficacy and safety of immunomodulatory agents in SARS-CoV-2 infection. METHODS: As part of a EULAR taskforce, a systematic literature search update was conducted from 11 December 2020 to 14 July 2021. Two reviewers independently identified eligible studies and extracted data on efficacy and safety of immunomodulatory agents used therapeutically in SARS-CoV-2 infection at any stage of disease. The risk of bias (RoB) was assessed with validated tools. RESULTS: Of the 26 959 records, 520 articles were eligible for inclusion. Studies were mainly at high or unclear RoB. New randomised controlled trials (RCTs) on tocilizumab clarified its benefit in patients with severe and critical COVID-19, mainly if associated with glucocorticoids. There are emergent data on the usefulness of baricitinib and tofacitinib in severe COVID-19. Other therapeutic strategies such as the use of convalescent plasma and anti-SARS-CoV-2 monoclonal antibodies showed efficacy in subjects not mounting normal anti-SARS-CoV-2 antibody responses. CONCLUSION: This new SLR confirms that some immunomodulators (tocilizumab and JAK inhibitors) have a role for treating severe and critical COVID-19. Although better evidence is available compared with the previous SLR, the need of RCT with combination therapy (glucocorticoids+anti-cytokines) versus monotherapy with glucocorticoids still remains alongside the need for standardisation of inclusion criteria and outcomes to ultimately improve the care and prognosis of affected people. This SLR informed the 2021 update of the EULAR points to consider on the use of immunomodulatory therapies in COVID-19

A classical view on nonclassical nucleation

Understanding and controlling nucleation is important for many crystallization applications. Calcium carbonate (CaCO_{3}) is often used as a model system to investigate nucleation mechanisms. Despite its great importance in geology, biology, and many industrial applications, CaCO_{3} nucleation is still a topic of intense discussion, with new pathways for its growth from ions in solution proposed in recent years. These new pathways include the so-called nonclassical nucleation mechanism via the assembly of thermodynamically stable prenucleation clusters, as well as the formation of a dense liquid precursor phase via liquid–liquid phase separation. Here, we present results from a combined experimental and computational investigation on the precipitation of CaCO_{3} in dilute aqueous solutions. We propose that a dense liquid phase (containing 4–7 H_{2}O per CaCO_{3} unit) forms in supersaturated solutions through the association of ions and ion pairs without significant participation of larger ion clusters. This liquid acts as the precursor for the formation of solid CaCO_{3} in the form of vaterite, which grows via a net transfer of ions from solution according to z Ca^{2+} + zCO_{3}^{2−} → z CaCO_{3}. The results show that all steps in this process can be explained according to classical concepts of crystal nucleation and growth, and that long-standing physical concepts of nucleation can describe multistep, multiphase growth mechanisms

Pathophysiology of acute respiratory syndrome coronavirus 2 infection: a systematic literature review to inform EULAR points to consider

BACKGROUND: The SARS-CoV-2 pandemic is a global health problem. Beside the specific pathogenic effect of SARS-CoV-2, incompletely understood deleterious and aberrant host immune responses play critical roles in severe disease. Our objective was to summarise the available information on the pathophysiology of COVID-19. METHODS: Two reviewers independently identified eligible studies according to the following PICO framework: P (population): patients with SARS-CoV-2 infection; I (intervention): any intervention/no intervention; C (comparator): any comparator; O (outcome) any clinical or serological outcome including but not limited to immune cell phenotype and function and serum cytokine concentration. RESULTS: Of the 55 496 records yielded, 84 articles were eligible for inclusion according to question-specific research criteria. Proinflammatory cytokine expression, including interleukin-6 (IL-6), was increased, especially in severe COVID-19, although not as high as other states with severe systemic inflammation. The myeloid and lymphoid compartments were differentially affected by SARS-CoV-2 infection depending on disease phenotype. Failure to maintain high interferon (IFN) levels was characteristic of severe forms of COVID-19 and could be related to loss-of-function mutations in the IFN pathway and/or the presence of anti-IFN antibodies. Antibody response to SARS-CoV-2 infection showed a high variability across individuals and disease spectrum. Multiparametric algorithms showed variable diagnostic performances in predicting survival, hospitalisation, disease progression or severity, and mortality. CONCLUSIONS: SARS-CoV-2 infection affects both humoral and cellular immunity depending on both disease severity and individual parameters. This systematic literature review informed the EULAR 'points to consider' on COVID-19 pathophysiology and immunomodulatory therapies

Improving Fatigue Life of Bolt Adapter of Prosthetic SACH Foot

In this research an analysis for improving the fatigue behavior (safety factor of fatigue) of non- articular prosthetic foot (SACH) in the region (Bolt Adapter).The laser peening was carried to the fatigue specimens to improving the fatigue properties of bolt’s material. The tests of mechanical properties and fatigue behavior were carried for material that the bolt manufacture from it, a region where the failure occur and inserted of these properties to the program of engineering analysis (Ansys) to calculate the safety factor of fatigue. The results showed that the safety factor after hardening by laser is increased by 42.8%

Uncertainty quantification for large-scale ocean circulation predictions.

Uncertainty quantificatio in climate models is challenged by the sparsity of the available climate data due to the high computational cost of the model runs. Another feature that prevents classical uncertainty analyses from being easily applicable is the bifurcative behavior in the climate data with respect to certain parameters. A typical example is the Meridional Overturning Circulation in the Atlantic Ocean. The maximum overturning stream function exhibits discontinuity across a curve in the space of two uncertain parameters, namely climate sensitivity and CO{sub 2} forcing. We develop a methodology that performs uncertainty quantificatio in the presence of limited data that have discontinuous character. Our approach is two-fold. First we detect the discontinuity location with a Bayesian inference, thus obtaining a probabilistic representation of the discontinuity curve location in presence of arbitrarily distributed input parameter values. Furthermore, we developed a spectral approach that relies on Polynomial Chaos (PC) expansions on each sides of the discontinuity curve leading to an averaged-PC representation of the forward model that allows efficient uncertainty quantification and propagation. The methodology is tested on synthetic examples of discontinuous data with adjustable sharpness and structure

Polygenic risk heterogeneity among focal epilepsies

Focal epilepsy (FE) is clinically highly heterogeneous. It has been shown recently that not only rare but also a subset of common genetic variants confer risk for FE. The relatively modest power of genetic studies in FE suggests a high genetic heterogeneity of FE when grouped as one disorder. We hypothesize that the clinical heterogeneity of FE is correlated with genetic heterogeneity on a common risk variant level. To test the hypothesis, we used an FE polygenic risk score "FE-PRS" that combines small effect sizes of thousands of common variants from the largest FE-GWAS (genome-wide association study) into a single measure. We grouped 414 individuals with FE according to common clinical features into subgroups, either by one feature at a time or by all features combined in a cluster analysis. We examined their association with FE-PRS compared to 20 435 matched population controls and observed heterogeneous FE-PRS burden among the subgroups. The highest phenotypic variance explained by FE-PRS was identified in a cluster analysis-defined FE subgroup where all individuals had unknown etiologies and psychiatric comorbidities, and the majority had early onset seizures. Our results indicate that genetic factors associated with FE have differential burden among FE subtypes. Future studies using better-powered FE-PRS might have clinical utility.Peer reviewe

Editorial: Synovial tissue biopsy research

No abstract available

AMR, stability and higher accuracy

Efforts to achieve better accuracy in numerical relativity have so far focused either on implementing second order accurate adaptive mesh refinement or on defining higher order accurate differences and update schemes. Here, we argue for the combination, that is a higher order accurate adaptive scheme. This combines the power that adaptive gridding techniques provide to resolve fine scales (in addition to a more efficient use of resources) together with the higher accuracy furnished by higher order schemes when the solution is adequately resolved. To define a convenient higher order adaptive mesh refinement scheme, we discuss a few different modifications of the standard, second order accurate approach of Berger and Oliger. Applying each of these methods to a simple model problem, we find these options have unstable modes. However, a novel approach to dealing with the grid boundaries introduced by the adaptivity appears stable and quite promising for the use of high order operators within an adaptive framework