Trace models of concurrent valuation algebras

This paper introduces Concurrent Valuation Algebras (CVAs), extending ordered valuation algebras (OVAs) by incorporating two combine operators representing parallel and sequential products that adhere to a weak exchange law. CVAs present significant theoretical and practical advantages for specifying and modelling concurrent and distributed systems. As a presheaf on a space of domains, a CVA facilitates localised specifications, promoting modularity, compositionality, and the capability to represent large and complex systems. Moreover, CVAs facilitate lattice-based refinement reasoning, and are compatible with standard methodologies such as Hoare and Rely-Guarantee logics. We demonstrate the flexibility of CVAs through three trace models that represent distinct paradigms of concurrent/distributed computing, and interrelate them via morphisms. We also discuss the potential for importing a powerful local computation framework from valuation algebras for the model checking of concurrent and distributed systems.Comment: 25 page

The influence of ambient cure chemistry and stoichiometry on epoxy coating surfaces

The surface properties of epoxy resin coatings influence their function as substrates for subsequent coats. Variation in ambient cure conditions (temperature and relative humidity, RH), stoichiometry (ratio of epoxy: amine) and delay time between epoxy component mixing and film casting (“induction time”) significantly altered the surface properties of ambient cured epoxy resin coatings (Dow Epoxy Novolac D.E.N. 431, resorcinol diglycidyl ether and 4,4-diaminodicyclohexylmethane). Gravimetric analysis showed that increasing induction time significantly reduced surface layer formation (carbamation) of cured epoxy resin coatings at 80% RH but had no measurable effect at 40% RH and below. RMS surface roughness increased with increasing RH and decreased with increasing induction time and ambient cure temperature, at two stoichiometric extremes. However, the net change in surface area arising from these conditions was not sufficient to significantly alter the equilibrium contact angles or wetting regime. We conclude that the observed significant variation in surface wettability was more likely to depend on variation in surface chemistry than roughness; stoichiometry was the variable which most significantly influenced surface wettability, average void volume and fractional free volume, while cure temperature significantly influenced the extent of cure at both stoichiometries. Off-stoichiometry formulation and elevated ambient cure temperature significantly increased system average void volume while fractional free volume decreased, which may be significant for the barrier properties of the final coating

Can colored object enrichment reduce the escape behavior of captive freshwater turtles?

The effect of environmental enrichment on the behavior and welfare in captivity of reptiles and of freshwater turtles in particular, which are popular aquarium and pet species, is very little studied compared to other taxa. We carried out a small scale case‐study on the effect of colored object enrichment, with and without fish scent, on the behavior of a group of 15 cooters (Pseudemys sp.) and sliders (Trachemys scripta ssp.) on display at a public aquarium. The new enrichment aimed to reduce the escape behavior (interaction with transparent boundaries) and increase exploration and random swimming. We used simultaneous recording of behavior at whole group level and for focal individually‐marked turtles. The escape behavior decreased on days with new enrichment before feeding at whole group level and for the focal turtles overall, in spite of the relatively low interest in the colored objects. Fish‐scented objects attracted significantly more interest. Random swimming, enrichment focus, aggression and submission increased significantly, and basking decreased significantly at whole group level before feeding, with smaller differences after feeding. There were large differences between individual turtles with respect to activity budgets and changes in behavior on days with new enrichment, with both increases and decreases seen in escape behavior, aggression, and levels of activity. Our outcomes suggested that introducing new colored objects with food scent may be beneficial for reducing escape behavior in captive freshwater turtles. However, careful monitoring of effects at individual level and much larger scale investigations, including postenrichment periods, are needed

Interest in coloured objects and behavioural budgets of individual captive freshwater turtles

Recent studies showed that freshwater turtles display inter-individual differences in variousbehavioural traits, which may influence their health and welfare in captivity due to differences inresponse to husbandry and enrichment strategies and in ability to cope with the limitations of thecaptive environment. This study investigated a possible correlation between individual level ofescape behaviour under standard enrichment conditions and level of interest in coloured objects ina group of cooters Pseudemys sp. and sliders Trachemys scripta ssp. on display at a public aquarium.Interest in different colours, colour preference and individual differences in behavioural changes inthe presence of the new enrichment were also studied. Turtles categorised as ‘high’ and ‘moderateescape behaviour’ (17–34 of behavioural budget) showed more interest in coloured objects andtended to display less escape behaviour in their presence, while turtles categorised as ‘low escapebehaviour’ (<10 of behavioural budget) were less interested in coloured objects and tended todisplay more escape behaviour in their presence. Overall, there was more interest in yellow than inred, white or green objects, with more contacts with coloured objects before feeding and at the startof each observation period and a preference for yellow against red objects. The individual differencesin behavioural changes in the presence of the new enrichment suggested that more studies into colourpreference and response to novelty in turtles would be beneficial to ensure that no individuals areunduly stressed by new enrichments

Reactivation of tectonics, crustal underplating, and uplift after 60 Myr of passive subsidence, Raukumara Basin, Hikurangi-Kermadec fore arc, New Zealand: implications for global growth and recycling of continents

We use seismic reflection and refraction data to determine crustal structure, to map a fore-arc basin containing 12 km of sediment, and to image the subduction thrust at 35 km depth. Seismic reflection megasequences within the basin are correlated with onshore geology: megasequence X, Late Cretaceous and Paleogene marine passive margin sediments; megasequence Y, a similar to 10,000 km(3) submarine landslide emplaced during subduction initiation at 22 Ma; and megasequence Z, a Neogene subduction margin megasequence. The Moho lies at 17 km beneath the basin center and at 35 km at the southern margin. Beneath the western basin margin, we interpret reflective units as deformed Gondwana fore-arc sediment that was thrust in Cretaceous time over oceanic crust 7 km thick. Raukumara Basin has normal faults at its western margin and is uplifted along its eastern and southern margins. Raukumara Basin represents a rigid fore-arc block &gt; 150 km long, which contrasts with widespread faulting and large Neogene vertical axis rotations farther south. Taper of the western edge of allochthonous unit Y and westward thickening and downlap of immediately overlying strata suggest westward or northwestward paleoslope and emplacement direction rather than southwestward, as proposed for the correlative onshore allochthon. Spatial correlation between rock uplift of the eastern and southern basin margins with the intersection between Moho and subduction thrust leads us to suggest that crustal underplating is modulated by fore-arc crustal thickness. The trench slope has many small extensional faults and lacks coherent internal reflections, suggesting collapse of indurated rock, rather than accretion of &gt; 1 km of sediment from the downgoing plate. The lack of volcanic intrusion east of the active arc, and stratigraphic evidence for the broadening of East Cape Ridge with time, suggests net fore-arc accretion since 22 Ma. We propose a cyclical fore-arc kinematic: rock moves down a subduction channel to near the base of the crust, where underplating drives rock uplift, oversteepens the trench slope, and causes collapse toward the trench and subduction channel. Cyclical rock particle paths led to persistent trench slope subsidence during net accretion. Existing global estimates of fore-arc loss are systematically too high because they assume vertical particle paths. Citation: Sutherland, R., et al. (2009), Reactivation of tectonics, crustal underplating, and uplift after 60 Myr of passive subsidence, Raukumara Basin, Hikurangi-Kermadec fore arc, New Zealand: Implications for global growth and recycling of continents, Tectonics, 28, TC5017, doi: 10.1029/2008TC002356

Factors Associated with Revision Surgery after Internal Fixation of Hip Fractures

Background: Femoral neck fractures are associated with high rates of revision surgery after management with internal fixation. Using data from the Fixation using Alternative Implants for the Treatment of Hip fractures (FAITH) trial evaluating methods of internal fixation in patients with femoral neck fractures, we investigated associations between baseline and surgical factors and the need for revision surgery to promote healing, relieve pain, treat infection or improve function over 24 months postsurgery. Additionally, we investigated factors associated with (1) hardware removal and (2) implant exchange from cancellous screws (CS) or sliding hip screw (SHS) to total hip arthroplasty, hemiarthroplasty, or another internal fixation device. Methods: We identified 15 potential factors a priori that may be associated with revision surgery, 7 with hardware removal, and 14 with implant exchange. We used multivariable Cox proportional hazards analyses in our investigation. Results: Factors associated with increased risk of revision surgery included: female sex, [hazard ratio (HR) 1.79, 95% confidence interval (CI) 1.25-2.50; P = 0.001], higher body mass index (fo

Tocilizumab in patients admitted to hospital with COVID-19 (RECOVERY): a randomised, controlled, open-label, platform trial

Background: In this study, we aimed to evaluate the effects of tocilizumab in adult patients admitted to hospital with COVID-19 with both hypoxia and systemic inflammation. Methods: This randomised, controlled, open-label, platform trial (Randomised Evaluation of COVID-19 Therapy [RECOVERY]), is assessing several possible treatments in patients hospitalised with COVID-19 in the UK. Those trial participants with hypoxia (oxygen saturation &lt;92% on air or requiring oxygen therapy) and evidence of systemic inflammation (C-reactive protein ≥75 mg/L) were eligible for random assignment in a 1:1 ratio to usual standard of care alone versus usual standard of care plus tocilizumab at a dose of 400 mg–800 mg (depending on weight) given intravenously. A second dose could be given 12–24 h later if the patient's condition had not improved. The primary outcome was 28-day mortality, assessed in the intention-to-treat population. The trial is registered with ISRCTN (50189673) and ClinicalTrials.gov (NCT04381936). Findings: Between April 23, 2020, and Jan 24, 2021, 4116 adults of 21 550 patients enrolled into the RECOVERY trial were included in the assessment of tocilizumab, including 3385 (82%) patients receiving systemic corticosteroids. Overall, 621 (31%) of the 2022 patients allocated tocilizumab and 729 (35%) of the 2094 patients allocated to usual care died within 28 days (rate ratio 0·85; 95% CI 0·76–0·94; p=0·0028). Consistent results were seen in all prespecified subgroups of patients, including those receiving systemic corticosteroids. Patients allocated to tocilizumab were more likely to be discharged from hospital within 28 days (57% vs 50%; rate ratio 1·22; 1·12–1·33; p&lt;0·0001). Among those not receiving invasive mechanical ventilation at baseline, patients allocated tocilizumab were less likely to reach the composite endpoint of invasive mechanical ventilation or death (35% vs 42%; risk ratio 0·84; 95% CI 0·77–0·92; p&lt;0·0001). Interpretation: In hospitalised COVID-19 patients with hypoxia and systemic inflammation, tocilizumab improved survival and other clinical outcomes. These benefits were seen regardless of the amount of respiratory support and were additional to the benefits of systemic corticosteroids. Funding: UK Research and Innovation (Medical Research Council) and National Institute of Health Research

Convalescent plasma in patients admitted to hospital with COVID-19 (RECOVERY): a randomised controlled, open-label, platform trial

Background: Many patients with COVID-19 have been treated with plasma containing anti-SARS-CoV-2 antibodies. We aimed to evaluate the safety and efficacy of convalescent plasma therapy in patients admitted to hospital with COVID-19. Methods: This randomised, controlled, open-label, platform trial (Randomised Evaluation of COVID-19 Therapy [RECOVERY]) is assessing several possible treatments in patients hospitalised with COVID-19 in the UK. The trial is underway at 177 NHS hospitals from across the UK. Eligible and consenting patients were randomly assigned (1:1) to receive either usual care alone (usual care group) or usual care plus high-titre convalescent plasma (convalescent plasma group). The primary outcome was 28-day mortality, analysed on an intention-to-treat basis. The trial is registered with ISRCTN, 50189673, and ClinicalTrials.gov, NCT04381936. Findings: Between May 28, 2020, and Jan 15, 2021, 11558 (71%) of 16287 patients enrolled in RECOVERY were eligible to receive convalescent plasma and were assigned to either the convalescent plasma group or the usual care group. There was no significant difference in 28-day mortality between the two groups: 1399 (24%) of 5795 patients in the convalescent plasma group and 1408 (24%) of 5763 patients in the usual care group died within 28 days (rate ratio 1·00, 95% CI 0·93–1·07; p=0·95). The 28-day mortality rate ratio was similar in all prespecified subgroups of patients, including in those patients without detectable SARS-CoV-2 antibodies at randomisation. Allocation to convalescent plasma had no significant effect on the proportion of patients discharged from hospital within 28 days (3832 [66%] patients in the convalescent plasma group vs 3822 [66%] patients in the usual care group; rate ratio 0·99, 95% CI 0·94–1·03; p=0·57). Among those not on invasive mechanical ventilation at randomisation, there was no significant difference in the proportion of patients meeting the composite endpoint of progression to invasive mechanical ventilation or death (1568 [29%] of 5493 patients in the convalescent plasma group vs 1568 [29%] of 5448 patients in the usual care group; rate ratio 0·99, 95% CI 0·93–1·05; p=0·79). Interpretation: In patients hospitalised with COVID-19, high-titre convalescent plasma did not improve survival or other prespecified clinical outcomes. Funding: UK Research and Innovation (Medical Research Council) and National Institute of Health Research