Theory Morphisms in Church's Type Theory with Quotation and Evaluation

${\rm CTT}_{\rm qe}$ is a version of Church's type theory with global quotation and evaluation operators that is engineered to reason about the interplay of syntax and semantics and to formalize syntax-based mathematical algorithms. ${\rm CTT}_{\rm uqe}$ is a variant of ${\rm CTT}_{\rm qe}$ that admits undefined expressions, partial functions, and multiple base types of individuals. It is better suited than ${\rm CTT}_{\rm qe}$ as a logic for building networks of theories connected by theory morphisms. This paper presents the syntax and semantics of ${\rm CTT}_{\rm uqe}$, defines a notion of a theory morphism from one ${\rm CTT}_{\rm uqe}$ theory to another, and gives two simple examples that illustrate the use of theory morphisms in ${\rm CTT}_{\rm uqe}$.Comment: 17 page

Virtual outreach: economic evaluation of joint teleconsultations for patients referred by their general practitioner for a specialist opinion

Objectives To test the hypotheses that, compared with conventional outpatient consultations, joint teleconsultation (virtual outreach) would incur no increased costs to the NHS, reduce costs to patients, and reduce absences from work by patients and their carers.Design Cost consequences study alongside randomised controlled trial.Setting Two hospitals in London and Shrewsbury and 29 general practices in inner London and Wales.Participants 3170 patients identified; 2094 eligible for inclusion and willing to participate. 1051 randomised to virtual outreach and 1043 to standard outpatient appointments.Main outcome measures NHS costs, patient costs, health status (SF-12), time spent attending index consultation, patient satisfaction.Results Overall six month costs were greater for the virtual outreach consultations (pound724 per patient) than for conventional outpatient appointments (pound625): difference in means pound99 ($162; is not an element of138) (95% confidence interval pound10 to pound187, P=0.03). if the analysis is restricted to resource items deemed "attributable" to the index consultation, six month costs were still greater for virtual outreach: difference in means pound108 (pound73 to pound142, P < 0.0001). In both analyses the index consultation accounted for the excess cost. Savings to patients in terms of costs and time occurred in both centres: difference in mean total patient cost 8 pound (5 pound to 10 pound, P < 0.0001). Loss of productive time was less in the virtual outreach group: difference in mean cost pound11 (pound10 to pound12, P < 0.0001).Condusion The main hypothesis that virtual outreach would be cost neutral is rejected, but the hypotheses that costs to patients and losses in productivity would be lower are supported

Reduced global plant respiration due to the acclimation of leaf dark respiration coupled to photosynthesis

Leaf dark respiration (Rd) acclimates to environmental changes. However, the magnitude, controls and time scales of acclimation remain unclear and are inconsistently treated in ecosystem models. We hypothesized that Rd and Rubisco carboxylation capacity (Vcmax) at 25°C (Rd,25, Vcmax,25) are coordinated so that Rd,25 variations support Vcmax,25 at a level allowing full light use, with Vcmax,25 reflecting daytime conditions (for photosynthesis), and Rd,25/Vcmax,25 reflecting night-time conditions (for starch degradation and sucrose export). We tested this hypothesis temporally using a 5-yr warming experiment, and spatially using an extensive field-measurement data set. We compared the results to three published alternatives: Rd,25 declines linearly with daily average prior temperature; Rd at average prior night temperatures tends towards a constant value; and Rd,25/Vcmax,25 is constant. Our hypothesis accounted for more variation in observed Rd,25 over time (R2 = 0.74) and space (R2 = 0.68) than the alternatives. Night-time temperature dominated the seasonal time-course of Rd, with an apparent response time scale of c. 2 wk. Vcmax dominated the spatial patterns. Our acclimation hypothesis results in a smaller increase in global Rd in response to rising CO2 and warming than is projected by the two of three alternative hypotheses, and by current models

Wider Access to Genotypic Space Facilitates Loss of Cooperation in a Bacterial Mutator

Understanding the ecological, evolutionary and genetic factors that affect the expression of cooperative behaviours is a topic of wide biological significance. On a practical level, this field of research is useful because many pathogenic microbes rely on the cooperative production of public goods (such as nutrient scavenging molecules, toxins and biofilm matrix components) in order to exploit their hosts. Understanding the evolutionary dynamics of cooperation is particularly relevant when considering long-term, chronic infections where there is significant potential for intra-host evolution. The impact of responses to non-social selection pressures on social evolution is arguably an under-examined area. In this paper, we consider how the evolution of a non-social trait – hypermutability – affects the cooperative production of iron-scavenging siderophores by the opportunistic human pathogen Pseudomonas aeruginosa. We confirm an earlier prediction that hypermutability accelerates the breakdown of cooperation due to increased sampling of genotypic space, allowing mutator lineages to generate non-cooperative genotypes with the ability to persist at high frequency and dominate populations. This may represent a novel cost of hypermutability

Gene mobility promotes the spread of resistance in bacterial populations

Theory predicts that horizontal gene transfer (HGT) expands the selective conditions under which genes spread in bacterial populations. Whereas vertically inherited genes can only spread by positively selected clonal expansion, mobile genetic elements can drive fixation of genes by infectious HGT. We tested this using populations of Pseudomonas fluorescens and the conjugative mercury resistance (Hg R) plasmid pQBR57. HGT expanded the selective conditions allowing the spread of Hg R: Chromosomal Hg R only increased in frequency under positive selection, whereas plasmid-encoded Hg R reached fixation with or without positive selection. Tracking plasmid dynamics over time revealed that the mode of Hg R inheritance varied across mercury environments. Under mercury selection, the spread of Hg R was driven primarily by clonal expansion while in the absence of mercury Hg R dynamics were dominated by infectious transfer. Thus, HGT is most likely to drive the spread of resistance genes in environments where resistance is useless

Engineering self-organising helium bubble lattices in tungsten

The self-organisation of void and gas bubbles in solids into a superlattices is an intriguing nanoscale phenomenon. Despite the discovery of these lattices 30 years ago, the atomistics behind the ordering mechanisms responsible for the formation of these nanostructures are yet to be fully elucidated. Here we report on the direct observation via transmission electron microscopy of the formation of bubble lattices under He+ ion bombardment. By careful control of the irradiation conditions, it has been possible to engineer the bubble size and spacing of the superlattice leading to important conclusions about the significance of vacancy supply in determining the physical characteristics of the system. Furthermore, no bubble lattice alignment was observed in the directions pointing to a key driving mechanism for the formation of these ordered nanostructures being the two-dimensional diffusion of self-interstitial atoms

Acute kidney injury in patients hospitalized with COVID-19 from the ISARIC WHO CCP-UK Study: a prospective, multicentre cohort study.

BACKGROUND: Acute kidney injury (AKI) is common in coronavirus disease 2019 (COVID-19). This study investigated adults hospitalized with COVID-19 and hypothesized that risk factors for AKI would include comorbidities and non-White race. METHODS: A prospective multicentre cohort study was performed using patients admitted to 254 UK hospitals with COVID-19 between 17 January 2020 and 5 December 2020. RESULTS: Of 85 687 patients, 2198 (2.6%) received acute kidney replacement therapy (KRT). Of 41 294 patients with biochemistry data, 13 000 (31.5%) had biochemical AKI: 8562 stage 1 (65.9%), 2609 stage 2 (20.1%) and 1829 stage 3 (14.1%). The main risk factors for KRT were chronic kidney disease (CKD) [adjusted odds ratio (aOR) 3.41: 95% confidence interval 3.06-3.81], male sex (aOR 2.43: 2.18-2.71) and Black race (aOR 2.17: 1.79-2.63). The main risk factors for biochemical AKI were admission respiratory rate >30 breaths per minute (aOR 1.68: 1.56-1.81), CKD (aOR 1.66: 1.57-1.76) and Black race (aOR 1.44: 1.28-1.61). There was a gradated rise in the risk of 28-day mortality by increasing severity of AKI: stage 1 aOR 1.58 (1.49-1.67), stage 2 aOR 2.41 (2.20-2.64), stage 3 aOR 3.50 (3.14-3.91) and KRT aOR 3.06 (2.75-3.39). AKI rates peaked in April 2020 and the subsequent fall in rates could not be explained by the use of dexamethasone or remdesivir. CONCLUSIONS: AKI is common in adults hospitalized with COVID-19 and it is associated with a heightened risk of mortality. Although the rates of AKI have fallen from the early months of the pandemic, high-risk patients should have their kidney function and fluid status monitored closely

Brassinolide interacts with auxin and ethylene in the root gravitropic response of maize ( Zea mays )

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/72956/1/j.0031-9317.2004.00356.x.pd

Multi-host environments select for host-generalist conjugative plasmids

BACKGROUND: Conjugative plasmids play an important role in bacterial evolution by transferring ecologically important genes within and between species. A key limit on interspecific horizontal gene transfer is plasmid host range. Here, we experimentally test the effect of single and multi-host environments on the host-range evolution of a large conjugative mercury resistance plasmid, pQBR57. Specifically, pQBR57 was conjugated between strains of a single host species, either P. fluorescens or P. putida, or alternating between P. fluorescens and P. putida. Crucially, the bacterial hosts were not permitted to evolve allowing us to observe plasmid evolutionary responses in isolation. RESULTS: In all treatments plasmids evolved higher conjugation rates over time. Plasmids evolved in single-host environments adapted to their host bacterial species becoming less costly, but in the case of P. fluorescens-adapted plasmids, became costlier in P. putida, suggesting an evolutionary trade-off. When evolved in the multi-host environment plasmids adapted to P. fluorescens without a higher cost in P. putida. CONCLUSION: Whereas evolution in a single-host environment selected for host-specialist plasmids due to a fitness trade-off, this trade-off could be circumvented in the multi-host environment, leading to the evolution of host-generalist plasmids

Ecological strategies in California chaparral: Interacting effects of soils, climate, and fire on specific leaf area

Background: High values of specific leaf area (SLA) are generally associated with high maximal growth rates in resource-rich conditions, such as mesic climates and fertile soils. However, fire may complicate this relationship since its frequency varies with both climate and soil fertility, and fire frequency selects for regeneration strategies (resprouting versus seeding) that are not independent of resource-acquisition strategies. Shared ancestry is also expected to affect the distribution of resource-use and regeneration traits. Aims: We examined climate, soil, and fire as drivers of community-level variation in a key functional trait, SLA, in chaparral in California. Methods: We quantified the phylogenetic, functional, and environmental non-independence of key traits for 87 species in 115 plots. Results: Among species, SLA was higher in resprouters than seeders, although not after phylogeny correction. Among communities, mean SLA was lower in harsh interior climates, but in these climates it was higher on more fertile soils and on more recently burned sites; in mesic coastal climates, mean SLA was uniformly high despite variation in soil fertility and fire history. Conclusions: We conclude that because important correlations exist among both species traits and environmental filters, interpreting the functional and phylogenetic structure of communities may require an understanding of complex interactive effects