Validation et Vérification Formelles de Systèmes Interactifs Multi-Modaux Fondées sur la Preuve.

International audienceCet article s'intéresse à la validation et à la vérification formelles d'IHM Multi-Modales (IHM3). Il décrit une partie des résultats obtenus dans le cadre du projet RNRT VERBATIM, dont l'objet est la VERification Biformelle et l'Automatisation du Test des Interfaces Multimodales. Ce projet s'intéresse, entre autres, à la mise en œuvre d'une technique formelle fondée sur la preuve : la méthode B événementiel. Nous discutons les apports de cette technique pour la conception d'IHM3, en particulier, sa capacité à exprimer et à vérifier des propriétés de la famille CARE. Notre approche utilise et propose de formaliser des notations et techniques semi-formelles issues du domaine des IHM

Inhibitory Effect of TNF-α on Malaria Pre-Erythrocytic Stage Development: Influence of Host Hepatocyte/Parasite Combinations

BACKGROUND: The liver stages of malaria parasites are inhibited by cytokines such as interferon-gamma or Interleukin (IL)-6. Binding of these cytokines to their receptors at the surface of the infected hepatocytes leads to the production of nitric oxide (NO) and radical oxygen intermediates (ROI), which kill hepatic parasites. However, conflicting results were obtained with TNF-alpha possibly because of differences in the models used. We have reassessed the role of TNF-alpha in the different cellular systems used to study the Plasmodium pre-erythrocytic stages. METHODS AND FINDINGS: Human or mouse TNF-alpha were tested against human and rodent malaria parasites grown in vitro in human or rodent primary hepatocytes, or in hepatoma cell lines. Our data demonstrated that TNF-alpha treatment prevents the development of malaria pre-erythrocytic stages. This inhibitory effect however varies with the infecting parasite species and with the nature and origin of the cytokine and hepatocytes. Inhibition was only observed for all parasite species tested when hepatocytes were pre-incubated 24 or 48 hrs before infection and activity was directed only against early hepatic parasite. We further showed that TNF-alpha inhibition was mediated by a soluble factor present in the supernatant of TNF-alpha stimulated hepatocytes but it was not related to NO or ROI. Treatment TNF-alpha prevents the development of human and rodent malaria pre-erythrocytic stages through the activity of a mediator that remains to be identified. CONCLUSIONS: Treatment TNF-alpha prevents the development of human and rodent malaria pre-erythrocytic stages through the activity of a mediator that remains to be identified. However, the nature of the cytokine-host cell-parasite combination must be carefully considered for extrapolation to the human infection

Design and integration of lower ports for ITER diagnostic systems

All around the ITER vacuum vessel, forty-four ports will provide access to the vacuum vessel for remotehandling operations, diagnostic systems, heating, and vacuum systems: 18 upper ports, 17 equatorialports, and 9 lower ports. Among the lower ports, three of them will be used for the remote handlinginstallation of the ITER divertor. Once the divertor is in place, these ports will host various diagnosticsystems mounted in the so-called diagnostic racks. The diagnostic racks must allow the support andcooling of the diagnostics, extraction of the required diagnostic signals, and providing access and main-tainability while minimizing the leakage of radiation toward the back of the port where the humans areallowed to enter. A fully integrated inner rack, carrying the near plasma diagnostic components, will bean stainless steel structure, 4.2 m long, with a maximum weight of 10 t. This structure brings water forcooling and baking at maximum temperature of 240?C and provides connection with gas, vacuum andelectric services. Additional racks (placed away from plasma and not requiring cooling) may be requiredfor the support of some particular diagnostic components. The diagnostics racks and its associated exvessel structures, which are in its conceptual design phase, are being designed to survive the lifetimeof ITER of 20 years. This paper presents the current state of development including interfaces, diagnos-tic integration, operation and maintenance, shielding requirements, remote handling, loads cases anddiscussion of the main challenges coming from the severe environment and engineering requirements

Associations of baseline use of biologic or targeted synthetic DMARDs with COVID-19 severity in rheumatoid arthritis : Results from the COVID-19 Global Rheumatology Alliance physician registry

Funding Information: Competing interests JAS is supported by the National Institute of Arthritis and Funding Information: Musculoskeletal and Skin Diseases (grant numbers K23 AR069688, R03 AR075886, L30 AR066953, P30 AR070253 and P30 AR072577), the Rheumatology Research Foundation (K Supplement Award and R Bridge Award), the Brigham Research Institute, and the R Bruce and Joan M Mickey Research Scholar Fund. JAS has received research support from Amgen and Bristol-Myers Squibb and performed consultancy for Bristol-Myers Squibb, Gilead, Inova, Janssen and Optum, unrelated to this work. ZSW reports grant support from Bristol-Myers Squibb and Principia/ Sanofi and performed consultancy for Viela Bio and MedPace, outside the submitted work. His work is supported by grants from the National Institutes of Health. MG is supported by the National Institute of Arthritis and Musculoskeletal and Skin Diseases (grant numbers K01 AR070585 and K24 AR074534; JY). KLH reports she has received speaker’s fees from AbbVie and grant income from BMS, UCB and Pfizer, all unrelated to this study. KLH is also supported by the NIHR Manchester Biomedical Research Centre. LC has not received fees or personal grants from any laboratory, but her institute works by contract for laboratories such as, among other institutions, AbbVie Spain, Eisai, Gebro Pharma, Merck Sharp & Dohme España, Novartis Farmaceutica, Pfizer, Roche Farma, Sanofi Aventis, Astellas Pharma, Actelion Pharmaceuticals España, Grünenthal and UCB Pharma. LG reports research grants from Amgen, Galapagos, Janssen, Lilly, Pfizer, Sandoz and Sanofi; consulting fees from AbbVie, Amgen, BMS, Biogen, Celgene, Galapagos, Gilead, Janssen, Lilly, Novartis, Pfizer, Samsung Bioepis, Sanofi Aventis and UCB, all unrelated to this study. EFM reports that LPCDR received support for specific activities: grants from AbbVie, Novartis, Janssen-Cilag, Lilly Portugal, Sanofi, Grünenthal, MSD, Celgene, Medac, Pharma Kern and GAfPA; grants and non-financial support from Pfizer; and non-financial support from Grünenthal, outside the submitted work. AS reports grants from a consortium of 13 companies (among them AbbVie, BMS, Celltrion, Fresenius Kabi, Lilly, Mylan, Hexal, MSD, Pfizer, Roche, Samsung, Sanofi Aventis and UCB) supporting the German RABBIT register, and personal fees from lectures for AbbVie, MSD, Roche, BMS and Pfizer, outside the submitted work. AD-G has no disclosures relevant to this study. His work is supported by grants from the Centers for Disease Control and Prevention and the Rheumatology Research Foundation. KMD is supported by the National Institute of Arthritis and Musculoskeletal and Skin Diseases (T32-AR-007258) and the Rheumatology Research Foundation. NJP is supported by the National Institute of Arthritis and Musculoskeletal and Skin Diseases (T32-AR-007258). PD has received research support from Bristol-Myers Squibb, Chugai and Pfizer, and performed consultancy for Boehringer Ingelheim, Bristol-Myers Squibb, Lilly, Sanofi, Pfizer, Chugai, Roche and Janssen, unrelated to this work. NS is supported by the RRF Investigator Award and the American Heart Association. MFU-G reports grant support from Janssen and Pfizer. SB reports no competing interests related to this work. He reports non-branded consulting fees for AbbVie, Horizon, Novartis and Pfizer (all <$10 000). RG reports no competing interests related to this work. Outside of this work she reports personal and/or speaking fees from AbbVie, Janssen, Novartis, Pfizer and Cornerstones, and travel assistance from Pfizer (all <$10 000). JH reports no competing interests related to this work. He is supported by grants from the Rheumatology Research Foundation and the Childhood Arthritis and Rheumatology Research Alliance. He has performed consulting for Novartis, Sobi and Biogen, all unrelated to this work (<$10 000). JL has received research funding from Pfizer, outside the submitted work. ES is a Board Member of the Canadian Arthritis Patient Alliance, a patient-run, volunteer-based organisation whose activities are largely supported by independent grants from pharmaceutical companies. PS reports no competing interests related to this work. He reports honorarium for doing social media for American College of Rheumatology journals (<$10 000). PMM has received consulting/speaker’s fees from AbbVie, BMS, Celgene, Eli Lilly, Janssen, MSD, Novartis, Pfizer, Roche and UCB, all unrelated to this study (all <$10 000). PMM is supported by the National Institute for Health Research (NIHR) University College London Hospitals (UCLH) Biomedical Research Centre (BRC). PCR reports no competing interests related to this work. Outside of this work he reports personal consulting and/or speaking fees from AbbVie, Eli Lilly, Janssen, Novartis, Pfizer and UCB, and travel assistance from Roche (all <$10 000). JY reports no competing interests related to this work. Her work is supported by grants from the National Institutes of Health, Centers for Disease Control, and the Agency for Healthcare Research and Quality. She has performed consulting for Eli Lilly and AstraZeneca, unrelated to this project. Publisher Copyright: © Author(s) (or their employer(s)) 2021. No commercial re-use. See rights and permissions. Published by BMJ.Objective To investigate baseline use of biologic or targeted synthetic (b/ts) disease-modifying antirheumatic drugs (DMARDs) and COVID-19 outcomes in rheumatoid arthritis (RA). Methods We analysed the COVID-19 Global Rheumatology Alliance physician registry (from 24 March 2020 to 12 April 2021). We investigated b/tsDMARD use for RA at the clinical onset of COVID-19 (baseline): abatacept (ABA), rituximab (RTX), Janus kinase inhibitors (JAKi), interleukin 6 inhibitors (IL-6i) or tumour necrosis factor inhibitors (TNFi, reference group). The ordinal COVID-19 severity outcome was (1) no hospitalisation, (2) hospitalisation without oxygen, (3) hospitalisation with oxygen/ventilation or (4) death. We used ordinal logistic regression to estimate the OR (odds of being one level higher on the ordinal outcome) for each drug class compared with TNFi, adjusting for potential baseline confounders. Results Of 2869 people with RA (mean age 56.7 years, 80.8% female) on b/tsDMARD at the onset of COVID-19, there were 237 on ABA, 364 on RTX, 317 on IL-6i, 563 on JAKi and 1388 on TNFi. Overall, 613 (21%) were hospitalised and 157 (5.5%) died. RTX (OR 4.15, 95% CI 3.16 to 5.44) and JAKi (OR 2.06, 95% CI 1.60 to 2.65) were each associated with worse COVID-19 severity compared with TNFi. There were no associations between ABA or IL6i and COVID-19 severity. Conclusions People with RA treated with RTX or JAKi had worse COVID-19 severity than those on TNFi. The strong association of RTX and JAKi use with poor COVID-19 outcomes highlights prioritisation of risk mitigation strategies for these people.publishersversionPeer reviewe

The Changing Landscape for Stroke\ua0Prevention in AF: Findings From the GLORIA-AF Registry Phase 2

Background GLORIA-AF (Global Registry on Long-Term Oral Antithrombotic Treatment in Patients with Atrial Fibrillation) is a prospective, global registry program describing antithrombotic treatment patterns in patients with newly diagnosed nonvalvular atrial fibrillation at risk of stroke. Phase 2 began when dabigatran, the first non\u2013vitamin K antagonist oral anticoagulant (NOAC), became available. Objectives This study sought to describe phase 2 baseline data and compare these with the pre-NOAC era collected during phase&nbsp;1. Methods During phase 2, 15,641 consenting patients were enrolled (November 2011 to December 2014); 15,092 were eligible. This pre-specified cross-sectional analysis describes eligible patients\u2019 baseline characteristics. Atrial fibrillation&nbsp;disease characteristics, medical outcomes, and concomitant diseases and medications were collected. Data were analyzed using descriptive statistics. Results Of the total patients, 45.5% were female; median age was 71 (interquartile range: 64, 78) years. Patients were from Europe (47.1%), North America (22.5%), Asia (20.3%), Latin America (6.0%), and the Middle East/Africa (4.0%). Most had high stroke risk (CHA2DS2-VASc [Congestive heart failure, Hypertension, Age&nbsp; 6575 years, Diabetes mellitus, previous Stroke, Vascular disease, Age 65 to 74 years, Sex category] score&nbsp; 652; 86.1%); 13.9% had moderate risk (CHA2DS2-VASc&nbsp;= 1). Overall, 79.9% received oral anticoagulants, of whom 47.6% received NOAC and 32.3% vitamin K antagonists (VKA); 12.1% received antiplatelet agents; 7.8% received no antithrombotic treatment. For comparison, the proportion of phase 1 patients (of N&nbsp;= 1,063 all eligible) prescribed VKA was 32.8%, acetylsalicylic acid 41.7%, and no therapy 20.2%. In Europe in phase 2, treatment with NOAC was more common than VKA (52.3% and 37.8%, respectively); 6.0% of patients received antiplatelet treatment; and 3.8% received no antithrombotic treatment. In North America, 52.1%, 26.2%, and 14.0% of patients received NOAC, VKA, and antiplatelet drugs, respectively; 7.5% received no antithrombotic treatment. NOAC use was less common in Asia (27.7%), where 27.5% of patients received VKA, 25.0% antiplatelet drugs, and 19.8% no antithrombotic treatment. Conclusions The baseline data from GLORIA-AF phase 2 demonstrate that in newly diagnosed nonvalvular atrial fibrillation patients, NOAC have been highly adopted into practice, becoming more frequently prescribed than VKA in&nbsp;Europe and North America. Worldwide, however, a large proportion of patients remain undertreated, particularly in&nbsp;Asia&nbsp;and North America. (Global Registry on Long-Term Oral Antithrombotic Treatment in Patients With Atrial Fibrillation [GLORIA-AF]; NCT01468701

New genetic loci link adipose and insulin biology to body fat distribution.

Body fat distribution is a heritable trait and a well-established predictor of adverse metabolic outcomes, independent of overall adiposity. To increase our understanding of the genetic basis of body fat distribution and its molecular links to cardiometabolic traits, here we conduct genome-wide association meta-analyses of traits related to waist and hip circumferences in up to 224,459 individuals. We identify 49 loci (33 new) associated with waist-to-hip ratio adjusted for body mass index (BMI), and an additional 19 loci newly associated with related waist and hip circumference measures (P < 5 × 10(-8)). In total, 20 of the 49 waist-to-hip ratio adjusted for BMI loci show significant sexual dimorphism, 19 of which display a stronger effect in women. The identified loci were enriched for genes expressed in adipose tissue and for putative regulatory elements in adipocytes. Pathway analyses implicated adipogenesis, angiogenesis, transcriptional regulation and insulin resistance as processes affecting fat distribution, providing insight into potential pathophysiological mechanisms

The genetic architecture of the human cerebral cortex

The cerebral cortex underlies our complex cognitive capabilities, yet little is known about the specific genetic loci that influence human cortical structure. To identify genetic variants that affect cortical structure, we conducted a genome-wide association meta-analysis of brain magnetic resonance imaging data from 51,665 individuals. We analyzed the surface area and average thickness of the whole cortex and 34 regions with known functional specializations. We identified 199 significant loci and found significant enrichment for loci influencing total surface area within regulatory elements that are active during prenatal cortical development, supporting the radial unit hypothesis. Loci that affect regional surface area cluster near genes in Wnt signaling pathways, which influence progenitor expansion and areal identity. Variation in cortical structure is genetically correlated with cognitive function, Parkinson's disease, insomnia, depression, neuroticism, and attention deficit hyperactivity disorder

Contributions of mean and shape of blood pressure distribution to worldwide trends and variations in raised blood pressure: A pooled analysis of 1018 population-based measurement studies with 88.6 million participants

© The Author(s) 2018. Background: Change in the prevalence of raised blood pressure could be due to both shifts in the entire distribution of blood pressure (representing the combined effects of public health interventions and secular trends) and changes in its high-blood-pressure tail (representing successful clinical interventions to control blood pressure in the hypertensive population). Our aim was to quantify the contributions of these two phenomena to the worldwide trends in the prevalence of raised blood pressure. Methods: We pooled 1018 population-based studies with blood pressure measurements on 88.6 million participants from 1985 to 2016. We first calculated mean systolic blood pressure (SBP), mean diastolic blood pressure (DBP) and prevalence of raised blood pressure by sex and 10-year age group from 20-29 years to 70-79 years in each study, taking into account complex survey design and survey sample weights, where relevant. We used a linear mixed effect model to quantify the association between (probittransformed) prevalence of raised blood pressure and age-group- and sex-specific mean blood pressure. We calculated the contributions of change in mean SBP and DBP, and of change in the prevalence-mean association, to the change in prevalence of raised blood pressure. Results: In 2005-16, at the same level of population mean SBP and DBP, men and women in South Asia and in Central Asia, the Middle East and North Africa would have the highest prevalence of raised blood pressure, and men and women in the highincome Asia Pacific and high-income Western regions would have the lowest. In most region-sex-age groups where the prevalence of raised blood pressure declined, one half or more of the decline was due to the decline in mean blood pressure. Where prevalence of raised blood pressure has increased, the change was entirely driven by increasing mean blood pressure, offset partly by the change in the prevalence-mean association. Conclusions: Change in mean blood pressure is the main driver of the worldwide change in the prevalence of raised blood pressure, but change in the high-blood-pressure tail of the distribution has also contributed to the change in prevalence, especially in older age groups

Combined searches for the production of supersymmetric top quark partners in proton-proton collisions at root s=13 TeV

A combination of searches for top squark pair production using proton-proton collision data at a center-of-mass energy of 13 TeV at the CERN LHC, corresponding to an integrated luminosity of 137 fb(-1) collected by the CMS experiment, is presented. Signatures with at least 2 jets and large missing transverse momentum are categorized into events with 0, 1, or 2 leptons. New results for regions of parameter space where the kinematical properties of top squark pair production and top quark pair production are very similar are presented. Depending on themodel, the combined result excludes a top squarkmass up to 1325 GeV for amassless neutralino, and a neutralinomass up to 700 GeV for a top squarkmass of 1150 GeV. Top squarks with masses from 145 to 295 GeV, for neutralino masses from 0 to 100 GeV, with a mass difference between the top squark and the neutralino in a window of 30 GeV around the mass of the top quark, are excluded for the first time with CMS data. The results of theses searches are also interpreted in an alternative signal model of dark matter production via a spin-0 mediator in association with a top quark pair. Upper limits are set on the cross section for mediator particle masses of up to 420 GeV

Search for new particles in events with energetic jets and large missing transverse momentum in proton-proton collisions at root s=13 TeV

A search is presented for new particles produced at the LHC in proton-proton collisions at root s = 13 TeV, using events with energetic jets and large missing transverse momentum. The analysis is based on a data sample corresponding to an integrated luminosity of 101 fb(-1), collected in 2017-2018 with the CMS detector. Machine learning techniques are used to define separate categories for events with narrow jets from initial-state radiation and events with large-radius jets consistent with a hadronic decay of a W or Z boson. A statistical combination is made with an earlier search based on a data sample of 36 fb(-1), collected in 2016. No significant excess of events is observed with respect to the standard model background expectation determined from control samples in data. The results are interpreted in terms of limits on the branching fraction of an invisible decay of the Higgs boson, as well as constraints on simplified models of dark matter, on first-generation scalar leptoquarks decaying to quarks and neutrinos, and on models with large extra dimensions. Several of the new limits, specifically for spin-1 dark matter mediators, pseudoscalar mediators, colored mediators, and leptoquarks, are the most restrictive to date.Peer reviewe