A robust semantics hides fewer errors

In this paper we explore how formal models are interpreted and to what degree meaning is captured in the formal semantics and to what degree it remains in the informal interpretation of the semantics. By applying a robust approach to the definition of refinement and semantics, favoured by the event-based community, to state-based theory we are able to move some aspects from the informal interpretation into the formal semantics

Low-Mass Baryon-Antibaryon Enhancements in B Decays

The nature of low-mass baryon-antibaryon enhancements seen in B decays is explored. Three possibilities include (i) states near threshold as found in a model by Nambu and Jona-Lasinio, (ii) isoscalar states with $J^{PC} = 0^{\pm +}$ coupled to a pair of gluons, and (iii) low-mass enhancements favored by the fragmentation process. Ways of distinguishing these mechanisms using angular distributions and flavor symmetry are proposed.Comment: 8 pages, LaTeX, no figures, to be submitted to Phys. Rev. D. One reference adde

Dust Devil Tracks

Dust devils that leave dark- or light-toned tracks are common on Mars and they can also be found on the Earth’s surface. Dust devil tracks (hereinafter DDTs) are ephemeral surface features with mostly sub-annual lifetimes. Regarding their size, DDT widths can range between ∼1 m and ∼1 km, depending on the diameter of dust devil that created the track, and DDT lengths range from a few tens of meters to several kilometers, limited by the duration and horizontal ground speed of dust devils. DDTs can be classified into three main types based on their morphology and albedo in contrast to their surroundings; all are found on both planets: (a) dark continuous DDTs, (b) dark cycloidal DDTs, and (c) bright DDTs. Dark continuous DDTs are the most common type on Mars. They are characterized by their relatively homogenous and continuous low albedo surface tracks. Based on terrestrial and martian in situ studies, these DDTs most likely form when surficial dust layers are removed to expose larger-grained substrate material (coarse sands of ≥500 μm in diameter). The exposure of larger-grained materials changes the photometric properties of the surface; hence leading to lower albedo tracks because grain size is photometrically inversely proportional to the surface reflectance. However, although not observed so far, compositional differences (i.e., color differences) might also lead to albedo contrasts when dust is removed to expose substrate materials with mineralogical differences. For dark continuous DDTs, albedo drop measurements are around 2.5 % in the wavelength range of 550–850 nm on Mars and around 0.5 % in the wavelength range from 300–1100 nm on Earth. The removal of an equivalent layer thickness around 1 μm is sufficient for the formation of visible dark continuous DDTs on Mars and Earth. The next type of DDTs, dark cycloidal DDTs, are characterized by their low albedo pattern of overlapping scallops. Terrestrial in situ studies imply that they are formed when sand-sized material that is eroded from the outer vortex area of a dust devil is redeposited in annular patterns in the central vortex region. This type of DDT can also be found in on Mars in orbital image data, and although in situ studies are lacking, terrestrial analog studies, laboratory work, and numerical modeling suggest they have the same formation mechanism as those on Earth. Finally, bright DDTs are characterized by their continuous track pattern and high albedo compared to their undisturbed surroundings. They are found on both planets, but to date they have only been analyzed in situ on Earth. Here, the destruction of aggregates of dust, silt and sand by dust devils leads to smooth surfaces in contrast to the undisturbed rough surfaces surrounding the track. The resulting change in photometric properties occurs because the smoother surfaces have a higher reflectance compared to the surrounding rough surface, leading to bright DDTs. On Mars, the destruction of surficial dust-aggregates may also lead to bright DDTs. However, higher reflective surfaces may be produced by other formation mechanisms, such as dust compaction by passing dust devils, as this may also cause changes in photometric properties. On Mars, DDTs in general are found at all elevations and on a global scale, except on the permanent polar caps. DDT maximum areal densities occur during spring and summer in both hemispheres produced by an increase in dust devil activity caused by maximum insolation. Regionally, dust devil densities vary spatially likely controlled by changes in dust cover thicknesses and substrate materials. This variability makes it difficult to infer dust devil activity from DDT frequencies. Furthermore, only a fraction of dust devils leave tracks. However, DDTs can be used as proxies for dust devil lifetimes and wind directions and speeds, and they can also be used to predict lander or rover solar panel clearing events. Overall, the high DDT frequency in many areas on Mars leads to drastic albedo changes that affect large-scale weather patterns

Safety and efficacy of the ChAdOx1 nCoV-19 vaccine (AZD1222) against SARS-CoV-2: an interim analysis of four randomised controlled trials in Brazil, South Africa, and the UK.

BACKGROUND: A safe and efficacious vaccine against severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2), if deployed with high coverage, could contribute to the control of the COVID-19 pandemic. We evaluated the safety and efficacy of the ChAdOx1 nCoV-19 vaccine in a pooled interim analysis of four trials. METHODS: This analysis includes data from four ongoing blinded, randomised, controlled trials done across the UK, Brazil, and South Africa. Participants aged 18 years and older were randomly assigned (1:1) to ChAdOx1 nCoV-19 vaccine or control (meningococcal group A, C, W, and Y conjugate vaccine or saline). Participants in the ChAdOx1 nCoV-19 group received two doses containing 5 × 1010 viral particles (standard dose; SD/SD cohort); a subset in the UK trial received a half dose as their first dose (low dose) and a standard dose as their second dose (LD/SD cohort). The primary efficacy analysis included symptomatic COVID-19 in seronegative participants with a nucleic acid amplification test-positive swab more than 14 days after a second dose of vaccine. Participants were analysed according to treatment received, with data cutoff on Nov 4, 2020. Vaccine efficacy was calculated as 1 - relative risk derived from a robust Poisson regression model adjusted for age. Studies are registered at ISRCTN89951424 and ClinicalTrials.gov, NCT04324606, NCT04400838, and NCT04444674. FINDINGS: Between April 23 and Nov 4, 2020, 23 848 participants were enrolled and 11 636 participants (7548 in the UK, 4088 in Brazil) were included in the interim primary efficacy analysis. In participants who received two standard doses, vaccine efficacy was 62·1% (95% CI 41·0-75·7; 27 [0·6%] of 4440 in the ChAdOx1 nCoV-19 group vs71 [1·6%] of 4455 in the control group) and in participants who received a low dose followed by a standard dose, efficacy was 90·0% (67·4-97·0; three [0·2%] of 1367 vs 30 [2·2%] of 1374; pinteraction=0·010). Overall vaccine efficacy across both groups was 70·4% (95·8% CI 54·8-80·6; 30 [0·5%] of 5807 vs 101 [1·7%] of 5829). From 21 days after the first dose, there were ten cases hospitalised for COVID-19, all in the control arm; two were classified as severe COVID-19, including one death. There were 74 341 person-months of safety follow-up (median 3·4 months, IQR 1·3-4·8): 175 severe adverse events occurred in 168 participants, 84 events in the ChAdOx1 nCoV-19 group and 91 in the control group. Three events were classified as possibly related to a vaccine: one in the ChAdOx1 nCoV-19 group, one in the control group, and one in a participant who remains masked to group allocation. INTERPRETATION: ChAdOx1 nCoV-19 has an acceptable safety profile and has been found to be efficacious against symptomatic COVID-19 in this interim analysis of ongoing clinical trials. FUNDING: UK Research and Innovation, National Institutes for Health Research (NIHR), Coalition for Epidemic Preparedness Innovations, Bill & Melinda Gates Foundation, Lemann Foundation, Rede D'Or, Brava and Telles Foundation, NIHR Oxford Biomedical Research Centre, Thames Valley and South Midland's NIHR Clinical Research Network, and AstraZeneca

Safety and efficacy of the ChAdOx1 nCoV-19 vaccine (AZD1222) against SARS-CoV-2: an interim analysis of four randomised controlled trials in Brazil, South Africa, and the UK

Background A safe and efficacious vaccine against severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2), if deployed with high coverage, could contribute to the control of the COVID-19 pandemic. We evaluated the safety and efficacy of the ChAdOx1 nCoV-19 vaccine in a pooled interim analysis of four trials. Methods This analysis includes data from four ongoing blinded, randomised, controlled trials done across the UK, Brazil, and South Africa. Participants aged 18 years and older were randomly assigned (1:1) to ChAdOx1 nCoV-19 vaccine or control (meningococcal group A, C, W, and Y conjugate vaccine or saline). Participants in the ChAdOx1 nCoV-19 group received two doses containing 5 × 1010 viral particles (standard dose; SD/SD cohort); a subset in the UK trial received a half dose as their first dose (low dose) and a standard dose as their second dose (LD/SD cohort). The primary efficacy analysis included symptomatic COVID-19 in seronegative participants with a nucleic acid amplification test-positive swab more than 14 days after a second dose of vaccine. Participants were analysed according to treatment received, with data cutoff on Nov 4, 2020. Vaccine efficacy was calculated as 1 - relative risk derived from a robust Poisson regression model adjusted for age. Studies are registered at ISRCTN89951424 and ClinicalTrials.gov, NCT04324606, NCT04400838, and NCT04444674. Findings Between April 23 and Nov 4, 2020, 23 848 participants were enrolled and 11 636 participants (7548 in the UK, 4088 in Brazil) were included in the interim primary efficacy analysis. In participants who received two standard doses, vaccine efficacy was 62·1% (95% CI 41·0–75·7; 27 [0·6%] of 4440 in the ChAdOx1 nCoV-19 group vs71 [1·6%] of 4455 in the control group) and in participants who received a low dose followed by a standard dose, efficacy was 90·0% (67·4–97·0; three [0·2%] of 1367 vs 30 [2·2%] of 1374; pinteraction=0·010). Overall vaccine efficacy across both groups was 70·4% (95·8% CI 54·8–80·6; 30 [0·5%] of 5807 vs 101 [1·7%] of 5829). From 21 days after the first dose, there were ten cases hospitalised for COVID-19, all in the control arm; two were classified as severe COVID-19, including one death. There were 74 341 person-months of safety follow-up (median 3·4 months, IQR 1·3–4·8): 175 severe adverse events occurred in 168 participants, 84 events in the ChAdOx1 nCoV-19 group and 91 in the control group. Three events were classified as possibly related to a vaccine: one in the ChAdOx1 nCoV-19 group, one in the control group, and one in a participant who remains masked to group allocation. Interpretation ChAdOx1 nCoV-19 has an acceptable safety profile and has been found to be efficacious against symptomatic COVID-19 in this interim analysis of ongoing clinical trials