Synchronous Counting and Computational Algorithm Design

Consider a complete communication network on $n$ nodes, each of which is a state machine. In synchronous 2-counting, the nodes receive a common clock pulse and they have to agree on which pulses are "odd" and which are "even". We require that the solution is self-stabilising (reaching the correct operation from any initial state) and it tolerates $f$ Byzantine failures (nodes that send arbitrary misinformation). Prior algorithms are expensive to implement in hardware: they require a source of random bits or a large number of states. This work consists of two parts. In the first part, we use computational techniques (often known as synthesis) to construct very compact deterministic algorithms for the first non-trivial case of $f = 1$. While no algorithm exists for $n < 4$, we show that as few as 3 states per node are sufficient for all values $n \ge 4$. Moreover, the problem cannot be solved with only 2 states per node for $n = 4$, but there is a 2-state solution for all values $n \ge 6$. In the second part, we develop and compare two different approaches for synthesising synchronous counting algorithms. Both approaches are based on casting the synthesis problem as a propositional satisfiability (SAT) problem and employing modern SAT-solvers. The difference lies in how to solve the SAT problem: either in a direct fashion, or incrementally within a counter-example guided abstraction refinement loop. Empirical results suggest that the former technique is more efficient if we want to synthesise time-optimal algorithms, while the latter technique discovers non-optimal algorithms more quickly.Comment: 35 pages, extended and revised versio

Natalizumab treatment shows low cumulative probabilities of confirmed disability worsening to EDSS milestones in the long-term setting.

Abstract Background Though the Expanded Disability Status Scale (EDSS) is commonly used to assess disability level in relapsing-remitting multiple sclerosis (RRMS), the criteria defining disability progression are used for patients with a wide range of baseline levels of disability in relatively short-term trials. As a result, not all EDSS changes carry the same weight in terms of future disability, and treatment benefits such as decreased risk of reaching particular disability milestones may not be reliably captured. The objectives of this analysis are to assess the probability of confirmed disability worsening to specific EDSS milestones (i.e., EDSS scores ≥3.0, ≥4.0, or ≥6.0) at 288 weeks in the Tysabri Observational Program (TOP) and to examine the impact of relapses occurring during natalizumab therapy in TOP patients who had received natalizumab for ≥24 months. Methods TOP is an ongoing, open-label, observational, prospective study of patients with RRMS in clinical practice. Enrolled patients were naive to natalizumab at treatment initiation or had received ≤3 doses at the time of enrollment. Intravenous natalizumab (300 mg) infusions were given every 4 weeks, and the EDSS was assessed at baseline and every 24 weeks during treatment. Results Of the 4161 patients enrolled in TOP with follow-up of at least 24 months, 3253 patients with available baseline EDSS scores had continued natalizumab treatment and 908 had discontinued (5.4% due to a reported lack of efficacy and 16.4% for other reasons) at the 24-month time point. Those who discontinued due to lack of efficacy had higher baseline EDSS scores (median 4.5 vs. 3.5), higher on-treatment relapse rates (0.82 vs. 0.23), and higher cumulative probabilities of EDSS worsening (16% vs. 9%) at 24 months than those completing therapy. Among 24-month completers, after approximately 5.5 years of natalizumab treatment, the cumulative probabilities of confirmed EDSS worsening by 1.0 and 2.0 points were 18.5% and 7.9%, respectively (24-week confirmation), and 13.5% and 5.3%, respectively (48-week confirmation). The risks of 24- and 48-week confirmed EDSS worsening were significantly higher in patients with on-treatment relapses than in those without relapses. An analysis of time to specific EDSS milestones showed that the probabilities of 48-week confirmed transition from EDSS scores of 0.0–2.0 to ≥3.0, 2.0–3.0 to ≥4.0, and 4.0–5.0 to ≥6.0 at week 288 in TOP were 11.1%, 11.8%, and 9.5%, respectively, with lower probabilities observed among patients without on-treatment relapses (8.1%, 8.4%, and 5.7%, respectively). Conclusions In TOP patients with a median (range) baseline EDSS score of 3.5 (0.0–9.5) who completed 24 months of natalizumab treatment, the rate of 48-week confirmed disability worsening events was below 15%; after approximately 5.5 years of natalizumab treatment, 86.5% and 94.7% of patients did not have EDSS score increases of ≥1.0 or ≥2.0 points, respectively. The presence of relapses was associated with higher rates of overall disability worsening. These results were confirmed by assessing transition to EDSS milestones. Lower rates of overall 48-week confirmed EDSS worsening and of transitioning from EDSS score 4.0–5.0 to ≥6.0 in the absence of relapses suggest that relapses remain a significant driver of disability worsening and that on-treatment relapses in natalizumab-treated patients are of prognostic importance

SARS-CoV-2 susceptibility and COVID-19 disease severity are associated with genetic variants affecting gene expression in a variety of tissues

Variability in SARS-CoV-2 susceptibility and COVID-19 disease severity between individuals is partly due to genetic factors. Here, we identify 4 genomic loci with suggestive associations for SARS-CoV-2 susceptibility and 19 for COVID-19 disease severity. Four of these 23 loci likely have an ethnicity-specific component. Genome-wide association study (GWAS) signals in 11 loci colocalize with expression quantitative trait loci (eQTLs) associated with the expression of 20 genes in 62 tissues/cell types (range: 1:43 tissues/gene), including lung, brain, heart, muscle, and skin as well as the digestive system and immune system. We perform genetic fine mapping to compute 99% credible SNP sets, which identify 10 GWAS loci that have eight or fewer SNPs in the credible set, including three loci with one single likely causal SNP. Our study suggests that the diverse symptoms and disease severity of COVID-19 observed between individuals is associated with variants across the genome, affecting gene expression levels in a wide variety of tissue types

A first update on mapping the human genetic architecture of COVID-19

peer reviewe

Promoting deceased organ and tissue donation registration in family physician waiting rooms (RegisterNow-1 trial): study protocol for a pragmatic, stepped-wedge, cluster randomized controlled registry

Abstract Background There is a worldwide shortage of organs available for transplant, leading to preventable mortality associated with end-stage organ disease. While most citizens in many countries with an intent-to-donate “opt-in” system support organ donation, registration rates remain low. In Canada, most Canadians support organ donation but less than 25% in most provinces have registered their desire to donate their organs when they die. The family physician office is a promising yet underused setting in which to promote organ donor registration and address known barriers and enablers to registering for deceased organ and tissue donation. We developed a protocol to evaluate an intervention to promote registration for organ and tissue donation in family physician waiting rooms. Methods/design This protocol describes a planned, stepped-wedge, cluster randomized registry trial in six family physician offices in Ontario, Canada to evaluate the effectiveness of reception staff providing patients with a pamphlet that addresses barriers and enablers to registration including a description of how to register for organ donation. An Internet-enabled tablet will also be provided in waiting rooms so that interested patients can register while waiting for their appointments. Family physicians and reception staff will be provided with training and/or materials to support any conversations about organ donation with their patients. Following a 2-week control period, the six offices will cross sequentially into the intervention arm in randomized sequence at 2-week intervals until all offices deliver the intervention. The primary outcome will be the proportion of patients visiting the office who are registered organ donors 7 days following their office visit. We will evaluate this outcome using routinely collected registry data from provincial administrative databases. A post-trial qualitative evaluation process will assess the experiences of reception staff and family physicians with the intervention and the stepped-wedge trial design. Discussion Promoting registration for organ donation in family physician offices is a potentially useful strategy for increasing registration for organ donation. Increased registration may ultimately help to increase the number of organs available for transplant. The results of this trial will provide important preliminary data on the effectiveness of using family physician offices to promote registration for organ donation. Trial registration ClinicalTrials.gov, ID: NCT03213171 . Registered on 11 July 2017

Het Dagblad... Onafrankelijk Orgaan in bezet nederlandsch Gebied

02 février 19451945/02/02

Design and operation of energy systems with large amounts of variable generation:Final summary report, IEA Wind TCP Task 25

ABSTRACT: This report summarises findings on wind integration from the 17 countries or sponsors participating in the International Energy Agency Wind Technology Collaboration Programme (IEA Wind TCP) Task 25 from 2006–2020. Both real experience and studies are reported. Many wind integration studies incorporate solar energy, and most of the results discussed here are valid for other variable renewables in addition to wind. The national case studies address several impacts of wind power on electric power systems. In this report, they are grouped under long-term planning issues and short-term operational impacts. Long-term planning issues include grid planning and capacity adequacy. Short-term operational impacts include reliability, stability, reserves, and maximising the value of wind in operational timescales (balancing related issues). The first section presents the variability and uncertainty of power system-wide wind power, and the last section presents recent studies toward 100% shares of renewables. The appendix provides a summary of ongoing research in the national projects contributing to Task 25 for 2021–2024. The design and operation of power and energy systems is an evolving field. As ambitious targets toward net-zero carbon energy systems are announced globally, many scenarios are being made regarding how to reach these future decarbonized energy systems, most of them involving large amounts of variable renewables, mainly wind and solar energy. The secure operation of power systems is increasingly challenging, and the impacts of variable renewables, new electrification loads together with increased distribution system resources will lead to somewhat different challenges for different systems. Tools and methods to study future power and energy systems also need to evolve, and both short term operational aspects (such as power system stability) and long-term aspects (such as resource adequacy) will probably see new paradigms of operation and design. The experience of operating and planning systems with large amounts of variable generation is accumulating, and research to tackle the challenges of inverter-based, nonsynchronous generation is on the way. Energy transition and digitalization also bring new flexibility opportunities, both short and long term.info:eu-repo/semantics/publishedVersio

Permanent Pacemaker Implantation Following Valve-in-Valve Transcatheter Aortic Valve Replacement: VIVID Registry.

BACKGROUND Permanent pacemaker implantation (PPI) remains one of the main drawbacks of transcatheter aortic valve replacement (TAVR), but scarce data exist on PPI after valve-in-valve (ViV) TAVR, particularly with the use of newer-generation transcatheter heart valves (THVs). OBJECTIVES The goal of this study was to determine the incidence, factors associated with, and clinical impact of PPI in a large series of ViV-TAVR procedures. METHODS Data were obtained from the multicenter VIVID Registry and included the main baseline and procedural characteristics, in-hospital and late (median follow-up: 13 months [interquartile range: 3 to 41 months]) outcomes analyzed according to the need of periprocedural PPI. All THVs except CoreValve, Cribier-Edwards, Sapien, and Sapien XT were considered to be new-generation THVs. RESULTS A total of 1,987 patients without prior PPI undergoing ViV-TAVR from 2007 to 2020 were included. Of these, 128 patients (6.4%) had PPI after TAVR, with a significant decrease in the incidence of PPI with the use of new-generation THVs (4.7% vs. 7.4%; p = 0.017), mainly related to a reduced PPI rate with the Evolut R/Pro versus CoreValve (3.7% vs. 9.0%; p = 0.002). There were no significant differences in PPI rates between newer-generation balloon- and self-expanding THVs (6.1% vs. 3.9%; p = 0.18). In the multivariable analysis, older age (odds ratio [OR]: 1.05 for each increase of 1 year; 95% confidence interval [CI]: 1.02 to 1.07; p = 0.001), larger THV size (OR: 1.10; 95% CI: 1.01 to 1.20; p = 0.02), and previous right bundle branch block (OR: 2.04; 95% CI: 1.00 to 4.17; p = 0.05) were associated with an increased risk of PPI. There were no differences in 30-day mortality between the PPI (4.7%) and no-PPI (2.7%) groups (p = 0.19), but PPI patients exhibited a trend toward higher mortality risk at follow-up (hazard ratio: 1.39; 95% CI: 1.02 to 1.91; p = 0.04; p = 0.08 after adjusting for age differences between groups). CONCLUSIONS In a contemporary large series of ViV-TAVR patients, the rate of periprocedural PPI was relatively low, and its incidence decreased with the use of new-generation THV systems. PPI following ViV-TAVR was associated with a trend toward increased mortality at follow-up