Increased 30-day mortality in very old ICU patients with COVID-19 compared to patients with respiratory failure without COVID-19

Seasonal Trends and Epidemiological Characteristics of COVID-19 in Mexico City Primary Care Facilities: A Descriptive Study

Associated Factors of Polypharmacy among Elderly Patients Attended at Primary Care Setting

Noninvasive ventilation in COVID-19 patients aged ≥ 70 years—a prospective multicentre cohort study

Epidemiological Association between Oral Diseases and COVID-19: Pulpitis as a Key Risk Factor

Analytical Study of the Geographical Distribution and Seasonality Patterns of COVID-19 Cases in Primary Care Units: A Descriptive Analytical Study

Report of the Topical Group on Cosmic Probes of Fundamental Physics for for Snowmass 2021

Autoantibodies to Perilipin-1 Define a Subset of Acquired Generalized Lipodystrophy

Differences in mortality in critically ill elderly patients during the second COVID-19 surge in Europe

Les implications chronoclimatiques, paléoenvironnementales et culturelles du Solutréen de la grotte Rochefort

The impact of frailty on survival in elderly intensive care patients with COVID-19: the COVIP study

Health-related quality of life in older patients surviving ICU treatment for COVID-19: results from an international observational study of patients older than 70 years

Environmental and health impacts of graphene and other two-dimensional materials: a graphene flagship perspective

The Atmospheric Chemistry Suite (ACS) of Three Spectrometers for the ExoMars 2016 Trace Gas Orbiter

LHCb Computing Technical Design Report

Variation in insect herbivory across an urbanization gradient: the role of abiotic factors and leaf secondary metabolites

Narcolepsy risk loci outline role of T cell autoimmunity and infectious triggers in narcolepsy

No detection of methane on Mars from early ExoMars Trace Gas Orbiter observations

Martian dust storm impact on atmospheric H₂O and D/H observed by ExoMars Trace Gas Orbiter

Weaning from mechanical ventilation in intensive care units across 50 countries (WEAN SAFE): a multicentre, prospective, observational cohort study

COVID19 Disease Map, a computational knowledge repository of virus-host interaction mechanisms

The PLATO Mission

Differential $ t\overline{t} $ cross-section measurements using boosted top quarks in the all-hadronic final state with 139 fb$^{−1}$ of ATLAS data

Search for resonant and non-resonant Higgs boson pair production in the $ b\overline{b}{\tau}^{+}{\tau}^{-} $ decay channel using 13 TeV pp collision data from the ATLAS detector

Search for heavy, long-lived, charged particles with large ionisation energy loss in $pp$ collisions at $\sqrt{s} = 13~\text{TeV}$ using the ATLAS experiment and the full Run 2 dataset

Search for flavor-changing neutral-current couplings between the top quark and the <math display="inline"><mi>Z</mi></math> boson with proton-proton collisions at <math display="inline"><msqrt><mi>s</mi></msqrt><mo>=</mo><mn>13</mn><mtext> </mtext><mtext> </mtext><mi>TeV</mi></math> with the ATLAS detector

Search for new phenomena in final states with photons, jets and missing transverse momentum in pp collisions at $ \sqrt{s} $ = 13 TeV with the ATLAS detector

Search for Heavy Neutral Leptons in Decays of <math display="inline"><mi>W</mi></math> Bosons Using a Dilepton Displaced Vertex in <math display="inline"><msqrt><mi>s</mi></msqrt><mo>=</mo><mn>13</mn><mtext> </mtext><mtext> </mtext><mi>TeV</mi></math> <math display="inline"><mi>p</mi><mi>p</mi></math> Collisions with the ATLAS Detector

Deep Generative Models for Fast Photon Shower Simulation in ATLAS

Measurement of the top-quark mass using a leptonic invariant mass in pp collisions at $ \sqrt{s} $ = 13 TeV with the ATLAS detector

Search for light long-lived neutral particles that decay to collimated pairs of leptons or light hadrons in pp collisions at $ \sqrt{s} $ = 13 TeV with the ATLAS detector

Search for a light charged Higgs boson in $t \rightarrow H^{\pm}b$ decays, with $H^{\pm} \rightarrow cb$, in the lepton+jets final state in proton-proton collisions at $\sqrt{s}=13$ TeV with the ATLAS detector

A Pluto-like radius and a high albedo for the dwarf planet Eris from an occultation

Science with the Cherenkov Telescope Array

Specification of temporal properties with OCL

PROVING PROPERTIES OF DISCRETE-VALUED FUNCTIONS USING DEDUCTIVE PROOF: APPLICATION TO THE SQUARE ROOT

Modeling and Verification of Redundancy Policies

Temporal Constraint Support for OCL

HOL-CSPM - Architectural operators for HOL-CSP

An Entirely Model-Based Framework for Hardware Design and Simulation

A Compositional Automata-based Semantics and Preserving Transformation Rules for Testing Property Patterns

Improved Invariant Generation for Industrial Software Model Checking of Time Properties

Capturer les biais cognitifs dans un processus de prise de décision erroné

Proving Properties of Discrete-Valued Functions Using Deductive Proof: Application to the Square Root

Extending the standard execution model of UML for real-time systems

Formal verification of automotive embedded software

A Compositional Automata-Based Semantics for Property Patterns

Extending the Standard Execution Model of UML for Real-Time Systems

A Compositional Automata-based Semantics for Property Patterns

Modeling and analysing Cyber–Physical Systems in HOL-CSP