Relational Concurrent Refinement II: Internal Operations and Outputs

Two styles of description arise naturally in formal specification: state-based and behavioural. In state-based notations, a system is characterised by a collection of variables, and their values determine which actions may occur throughout a system history. Behavioural specifications describe the chronologies of actions -- interactions between a system and its environment. The exact nature of such interactions is captured in a variety of semantic models with corresponding notions of refinement; refinement in state based systems is based on the semantics of sequential programs and is modelled relationally. Acknowledging that these viewpoints are complementary, substantial research has gone into combining the paradigms. The purpose of this paper is to do three things. First, we survey recent results linking the relational model of refinement to the process algebraic models. Specifically, we detail how variations in the relational framework lead to relational data refinement being in correspondence with traces-divergences, singleton failures and failures-divergences refinement in a process semantics. Second, we generalise these results by providing a general flexible scheme for incorporating the two main ''erroneous'' concurrent behaviours: deadlock and divergence, into relational refinement. This is shown to subsume previous characterisations. In doing this we derive relational refinement rules for specifications containing both internal operations and outputs that corresponds to failures-divergences refinement. Third, the theory has been formally specified and verified using the interactive theorem prover KIV

Unravelling the impact of the covid-19 pandemic on judo: a comparative analysis of the 2018-ec and 2020-ec championships

An athlete’s performance, though relying on the ability of the competitor, is also significantly influenced by the training time. If a sportsperson is deprived of exercising, severe consequences may arise regarding his practice as the result of such behavior. This is what occurred in the awakening of the COVID-19 pandemic where several athletes were deprived of training according to the required conditions for a high-level sport. Thus, this essay aimed to examine the various aspects of this impact. For this purpose, the effect changes in training routines on the athlete's performance/abandonment and on the combat dynamics were analyzed. Based on a quantitative analysis methodology, with descriptive and inferential analytical processes, it was considered the data obtained through the direct observation of video recordings of the combats held at the 2018 and 2020 European Championships. The results did not reveal a significant resignation of athletes from high competition but there are indications of a decrease in the number of attacks and more combat, increasing the duration of pauses and approaching the grips time (using P<0.05 as significance level). Keywords: judo; COVID-19; performance analysis; combat sport; Temporal Structure of Judo Combat

Body weight and mood state modifications in mixed martial arts: An exploratory pilot

Brandt, R, Bevilacqua, GG, Coimbra, DR, Pombo, LC, Miarka, B, and Lane, AM. Body weight and mood state modifications in mixed martial arts: An exploratory pilot. J Strength Cond Res 32(9): 2548-2554, 2018-Mixed martial arts (MMA) fighters typically use rapid weight loss (RWL) as a strategy to make competition weight. The aim of the present study was to compare body weight and mood changes in professional male MMA athletes who used strategies to rapidly lose weight (n = 9) and with MMA athletes who did not (n = 3). Body mass and mood states of anger, confusion, depression, fatigue, tension, and vigor and total mood disturbance were assessed (a) 30 days before competition, (b) at the official weigh-in 1 day before competition, (c) 10 minutes before competition, and (d) 10 minutes postcompetition. Results indicated that RWL associated with reporting higher confusion and greater total mood disturbance at each assessment point. Rapid weight loss also associated with high anger at the official weigh-in. However, in performance, RWL did not have deleterious effects on performance. The RWL group also reported greater total mood disturbance at all assessment points with a moderate difference effect size. Research supports the notion that RWL associates with potentially dysfunctional mood states

Liraglutide, a once-daily human GLP-1 analogue, added to a sulphonylurea over 26 weeks produces greater improvements in glycaemic and weight control compared with adding rosiglitazone or placebo in subjects with Type 2 diabetes (LEAD-1 SU)

Aim: To compare the effects of combining liraglutide (0.6, 1.2 or 1.8 mg/day) or rosiglitazone 4 mg/day (all n ≥ 228) or placebo (n = 114) with glimepiride (2-4 mg/day) on glycaemic control, body weight and safety in Type 2 diabetes. Methods: In total, 1041 adults (mean ± sd), age 56 ± 10 years, weight 82 ± 17 kg and glycated haemoglobin (HbA1c) 8.4 ± 1.0% at 116 sites in 21 countries were stratified based on previous oral glucose-lowering mono : combination therapies (30 : 70%) to participate in a five-arm, 26-week, double-dummy, randomized study. Results: Liraglutide (1.2 or 1.8 mg) produced greater reductions in HbA1c from baseline, (-1.1%, baseline 8.5%) compared with placebo (+0.2%, P < 0.0001, baseline 8.4%) or rosiglitazone (-0.4%, P < 0.0001, baseline 8.4%) when added to glimepiride. Liraglutide 0.6 mg was less effective (-0.6%, baseline 8.4%). Fasting plasma glucose decreased by week 2, with a 1.6 mmol/l decrease from baseline at week 26 with liraglutide 1.2 mg (baseline 9.8 mmol/l) or 1.8 mg (baseline 9.7 mmol/l) compared with a 0.9 mmol/l increase (placebo, P < 0.0001, baseline 9.5 mmol/l) or 1.0 mmol/l decrease (rosiglitazone, P < 0.006, baseline 9.9 mmol/l). Decreases in postprandial plasma glucose from baseline were greater with liraglutide 1.2 or 1.8 mg [-2.5 to -2.7 mmol/l (baseline 12.9 mmol/l for both)] compared with placebo (-0.4 mmol/l, P < 0.0001, baseline 12.7 mmol/l) or rosiglitazone (-1.8 mmol/l, P < 0.05, baseline 13.0 mmol/l). Changes in body weight with liraglutide 1.8 mg (-0.2 kg, baseline 83.0 kg), 1.2 mg (+0.3 kg, baseline 80.0 kg) or placebo (-0.1 kg, baseline 81.9 kg) were less than with rosiglitazone (+2.1 kg, P < 0.0001, baseline 80.6 kg). Main adverse events for all treatments were minor hypoglycaemia (< 10%), nausea (< 11%), vomiting (< 5%) and diarrhoea (< 8%). Conclusions: Liraglutide added to glimepiride was well tolerated and provided improved glycaemic control and favourable weight profile. Diabet. Med. 26, 268-278 (2009)

Stratification of radiosensitive brain metastases based on an actionable S100A9/RAGE resistance mechanism

Whole-brain radiotherapy (WBRT) is the treatment backbone for many patients with brain metastasis; however, its efficacy in preventing disease progression and the associated toxicity have questioned the clinical impact of this approach and emphasized the need for alternative treatments. Given the limited therapeutic options available for these patients and the poor understanding of the molecular mechanisms underlying the resistance of metastatic lesions to WBRT, we sought to uncover actionable targets and biomarkers that could help to refine patient selection. Through an unbiased analysis of experimental in vivo models of brain metastasis resistant to WBRT, we identified activation of the S100A9–RAGE–NF-κB–JunB pathway in brain metastases as a potential mediator of resistance in this organ. Targeting this pathway genetically or pharmacologically was sufficient to revert the WBRT resistance and increase therapeutic benefits in vivo at lower doses of radiation. In patients with primary melanoma, lung or breast adenocarcinoma developing brain metastasis, endogenous S100A9 levels in brain lesions correlated with clinical response to WBRT and underscored the potential of S100A9 levels in the blood as a noninvasive biomarker. Collectively, we provide a molecular framework to personalize WBRT and improve its efficacy through combination with a radiosensitizer that balances therapeutic benefit and toxicity.We thank all members of the Brain Metastasis Group and A. Chalmers, E. Wagner, O. Fernández-Capetillo, R. Ciérvide and A. Hidalgo for critical discussion of the manuscript; the CNIO Core Facilities for their excellent assistance; and Fox Chase Cancer Center Transgenic Facility for generation of S100A9 mice. We thank EuCOMM repository for providing S100A9 targeted embryonic stem cells. We also thank J. Massagué (MSKCC) for some of the BrM cell lines and M. Bosenberg (Yale) for the YUMM1.1 cell line. Samples from patients included in this study that provided by the Girona Biomedical Research Institute (IDIBGI) (Biobanc IDIBGI, B.0000872) are integrated into the Spanish National Biobanks Network and in the Xarxa de Bancs de Tumors de Catalunya (XBTC) financed by the Pla Director d’Oncologia de Catalunya. All patients consented to the storage of these samples in the biobank and for their use in research projects. This study was funded by MINECO (SAF2017-89643-R) (M.V.), Fundació La Marató de TV3 (201906-30-31-32) (J.B.-B., M.V. and A.C.), Fundación Ramón Areces (CIVP19S8163) (M.V.) and CIVP20S10662 (E.O.P.), Worldwide Cancer Research (19-0177) (M.V. and E.C.-J.M.), Cancer Research Institute (Clinic and Laboratory Integration Program CRI Award 2018 (54545) (M.V.), AECC (Coordinated Translational Groups 2017 (GCTRA16015SEOA) (M.V.), LAB AECC 2019 (LABAE19002VALI) (M.V.), ERC CoG (864759) (M.V.), Portuguese Foundation for Science and Technology (SFRH/bd/100089/2014) (C.M.), Boehringer-Ingelheim Fonds MD Fellowship (L.M.), La Caixa International PhD Program Fellowship-Marie Skłodowska-Curie (LCF/BQ/DI17/11620028) (P.G.-G.), La Caixa INPhINIT Fellowship (LCF/BQ/DI19/11730044) (A.P.-A.), MINECO-Severo Ochoa PhD Fellowship (BES-2017-081995) (L.A.-E.) and an AECC postdoctoral fellowship (POSTD19016PRIE) (N.P.). M.V. is an EMBO YIP member (4053). Additional support was provided by Gertrud and Erich Roggenbuck Stiftung (M.M.), Science Foundation Ireland Frontiers for the Future Award (19/FFP/6443) (L.Y.), Science Foundation Ireland Strategic Partnership Programme, Precision Oncology Ireland (18/SPP/3522) (L.Y.), Breast Cancer Now Fellowship Award with the generous support of Walk the Walk (2019AugSF1310) (D.V.), Science Foundation Ireland (20/FFP-P/8597) (D.V.), Paradifference Foundation (C.F.-T.), “la Caixa” Foundation (ID 100010434) (A.I.), European Union’s Horizon 2020 research and innovation programme under Marie Skłodowska-Curie grant agreement 847648 (CF/BQ/PI20/11760029) (A.I.), Champalimaud Centre for the Unknown (N.S.), Lisboa Regional Operational Programme (Lisboa 2020) (LISBOA01-0145-FEDER-022170) (N.S.), NCI (R01 CA227629; R01 CA218133) (S.I.G.), Fundació Roses Contra el Càncer (J.B.-B.), Ministerio de Universidades FPU Fellowship (FPU 18/00069) (P.T.), MICIN-Agencia Estatal de Investigación Fellowships (PRE2020-093032 and BES-2017-080415) (P.M. and E. Cintado, respectively), Ministerio de Ciencia, Innovación y Universidades-E050251 (PID2019-110292RB-I00) (J.L.T.), FCT (PTDC/MED-ONC/32222/2017) (C.C.F.), Fundação Millennium bcp (C.C.F.), private donations (C.C.F.) and the Foundation for Applied Cancer Research in Zurich (E.L.R. and M.W.)

A prospective survey in European Society of Cardiology member countries of atrial fibrillation management: baseline results of EURO bservational Research Programme Atrial Fibrillation (EORP-AF) Pilot General Registry

Aims: Given the advances in atrial fibrillation (AF) management and the availability of new European Society of Cardiology (ESC) guidelines, there is a need for the systematic collection of contemporary data regarding the management and treatment of AF in ESC member countries. Methods and results: We conducted a registry of consecutive in- and outpatients with AF presenting to cardiologists in nine participating ESC countries. All patients with an ECG-documented diagnosis of AF confirmed in the year prior to enrolment were eligible. We enroled a total of 3119 patients from February 2012 to March 2013, with full data on clinical subtype available for 3049 patients (40.4% female; mean age 68.8 years). Common comorbidities were hypertension, coronary disease, and heart failure. Lone AF was present in only 3.9% (122 patients). Asymptomatic AF was common, particularly among those with permanent AF. Amiodarone was the most common antiarrhythmic agent used (~20%), while beta-blockers and digoxin were the most used rate control drugs. Oral anticoagulants (OACs) were used in 80% overall, most often vitamin K antagonists (71.6%), with novel OACs being used in 8.4%. Other antithrombotics (mostly antiplatelet therapy, especially aspirin) were still used in one-third of the patients, and no antithrombotic treatment in only 4.8%. Oral anticoagulants were used in 56.4% of CHA 2DS2-VASc = 0, with 26.3% having no antithrombotic therapy. A high HAS-BLED score was not used to exclude OAC use, but there was a trend towards more aspirin use in the presence of a high HAS-BLED score. Conclusion: The EURObservational Research Programme Atrial Fibrillation (EORP-AF) Pilot Registry has provided systematic collection of contemporary data regarding the management and treatment of AF by cardiologists in ESC member countries. Oral anticoagulant use has increased, but novel OAC use was still low. Compliance with the treatment guidelines for patients with the lowest and higher stroke risk scores remains suboptimal. © The Author 2013

Comparative effectiveness and safety of non-vitamin K antagonists for atrial fibrillation in clinical practice: GLORIA-AF Registry

Background and purpose: Prospectively collected data comparing the safety and effectiveness of individual non-vitamin K antagonists (NOACs) are lacking. Our objective was to directly compare the effectiveness and safety of NOACs in patients with newly diagnosed atrial fibrillation (AF). Methods: In GLORIA-AF, a large, prospective, global registry program, consecutive patients with newly diagnosed AF were followed for 3&nbsp;years. The comparative analyses for (1) dabigatran vs rivaroxaban or apixaban and (2) rivaroxaban vs apixaban were performed on propensity score (PS)-matched patient sets. Proportional hazards regression was used to estimate hazard ratios (HRs) for outcomes of interest. Results: The GLORIA-AF Phase III registry enrolled 21,300 patients between January 2014 and December 2016. Of these, 3839 were prescribed dabigatran, 4015 rivaroxaban and 4505 apixaban, with median ages of 71.0, 71.0, and 73.0&nbsp;years, respectively. In the PS-matched set, the adjusted HRs and 95% confidence intervals (CIs) for dabigatran vs rivaroxaban were, for stroke: 1.27 (0.79–2.03), major bleeding 0.59 (0.40–0.88), myocardial infarction 0.68 (0.40–1.16), and all-cause death 0.86 (0.67–1.10). For the comparison of dabigatran vs apixaban, in the PS-matched set, the adjusted HRs were, for stroke 1.16 (0.76–1.78), myocardial infarction 0.84 (0.48–1.46), major bleeding 0.98 (0.63–1.52) and all-cause death 1.01 (0.79–1.29). For the comparison of rivaroxaban vs apixaban, in the PS-matched set, the adjusted HRs were, for stroke 0.78 (0.52–1.19), myocardial infarction 0.96 (0.63–1.45), major bleeding 1.54 (1.14–2.08), and all-cause death 0.97 (0.80–1.19). Conclusions: Patients treated with dabigatran had a 41% lower risk of major bleeding compared with rivaroxaban, but similar risks of stroke, MI, and death. Relative to apixaban, patients treated with dabigatran had similar risks of stroke, major bleeding, MI, and death. Rivaroxaban relative to apixaban had increased risk for major bleeding, but similar risks for stroke, MI, and death. Registration: URL: https://www.clinicaltrials.gov. Unique identifiers: NCT01468701, NCT01671007. Date of registration: September 2013

Patterns of oral anticoagulant use and outcomes in Asian patients with atrial fibrillation: a post-hoc analysis from the GLORIA-AF Registry

Background: Previous studies suggested potential ethnic differences in the management and outcomes of atrial fibrillation (AF). We aim to analyse oral anticoagulant (OAC) prescription, discontinuation, and risk of adverse outcomes in Asian patients with AF, using data from a global prospective cohort study. Methods: From the GLORIA-AF Registry Phase II–III (November 2011–December 2014 for Phase II, and January 2014–December 2016 for Phase III), we analysed patients according to their self-reported ethnicity (Asian vs. non-Asian), as well as according to Asian subgroups (Chinese, Japanese, Korean and other Asian). Logistic regression was used to analyse OAC prescription, while the risk of OAC discontinuation and adverse outcomes were analysed through Cox-regression model. Our primary outcome was the composite of all-cause death and major adverse cardiovascular events (MACE). The original studies were registered with ClinicalTrials.gov, NCT01468701, NCT01671007, and NCT01937377. Findings: 34,421 patients were included (70.0 ± 10.5 years, 45.1% females, 6900 (20.0%) Asian: 3829 (55.5%) Chinese, 814 (11.8%) Japanese, 1964 (28.5%) Korean and 293 (4.2%) other Asian). Most of the Asian patients were recruited in Asia (n = 6701, 97.1%), while non-Asian patients were mainly recruited in Europe (n = 15,449, 56.1%) and North America (n = 8378, 30.4%). Compared to non-Asian individuals, prescription of OAC and non-vitamin K antagonist oral anticoagulant (NOAC) was lower in Asian patients (Odds Ratio [OR] and 95% Confidence Intervals (CI): 0.23 [0.22–0.25] and 0.66 [0.61–0.71], respectively), but higher in the Japanese subgroup. Asian ethnicity was also associated with higher risk of OAC discontinuation (Hazard Ratio [HR] and [95% CI]: 1.79 [1.67–1.92]), and lower risk of the primary composite outcome (HR [95% CI]: 0.86 [0.76–0.96]). Among the exploratory secondary outcomes, Asian ethnicity was associated with higher risks of thromboembolism and intracranial haemorrhage, and lower risk of major bleeding. Interpretation: Our results showed that Asian patients with AF showed suboptimal thromboembolic risk management and a specific risk profile of adverse outcomes; these differences may also reflect differences in country-specific factors. Ensuring integrated and appropriate treatment of these patients is crucial to improve their prognosis. Funding: The GLORIA-AF Registry was funded by Boehringer Ingelheim GmbH

Anticoagulant selection in relation to the SAMe-TT2R2 score in patients with atrial fibrillation. the GLORIA-AF registry

Aim: The SAMe-TT2R2 score helps identify patients with atrial fibrillation (AF) likely to have poor anticoagulation control during anticoagulation with vitamin K antagonists (VKA) and those with scores &gt;2 might be better managed with a target-specific oral anticoagulant (NOAC). We hypothesized that in clinical practice, VKAs may be prescribed less frequently to patients with AF and SAMe-TT2R2 scores &gt;2 than to patients with lower scores. Methods and results: We analyzed the Phase III dataset of the Global Registry on Long-Term Oral Antithrombotic Treatment in Patients with Atrial Fibrillation (GLORIA-AF), a large, global, prospective global registry of patients with newly diagnosed AF and ≥1 stroke risk factor. We compared baseline clinical characteristics and antithrombotic prescriptions to determine the probability of the VKA prescription among anticoagulated patients with the baseline SAMe-TT2R2 score &gt;2 and ≤ 2. Among 17,465 anticoagulated patients with AF, 4,828 (27.6%) patients were prescribed VKA and 12,637 (72.4%) patients an NOAC: 11,884 (68.0%) patients had SAMe-TT2R2 scores 0-2 and 5,581 (32.0%) patients had scores &gt;2. The proportion of patients prescribed VKA was 28.0% among patients with SAMe-TT2R2 scores &gt;2 and 27.5% in those with scores ≤2. Conclusions: The lack of a clear association between the SAMe-TT2R2 score and anticoagulant selection may be attributed to the relative efficacy and safety profiles between NOACs and VKAs as well as to the absence of trial evidence that an SAMe-TT2R2-guided strategy for the selection of the type of anticoagulation in NVAF patients has an impact on clinical outcomes of efficacy and safety. The latter hypothesis is currently being tested in a randomized controlled trial. Clinical trial registration: URL: https://www.clinicaltrials.gov//Unique identifier: NCT01937377, NCT01468701, and NCT01671007