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

Overcoming cross-cultural group work tensions: mixed student perspectives on the role of social relationships

As universities worldwide rapidly internationalise, higher education classrooms have become unique spaces for collaboration between students from different countries. One common way to encourage collaboration between diverse peers is through group work. However, previous research has highlighted that cross-cultural group work can be challenging and has hinted at potential social tensions. To understand this notion better, we have used robust quantitative tools in this study to select 20 participants from a larger classroom of 860 students to take part in an in-depth qualitative interview about cross-cultural group work experiences. Participant views on social tensions in cross-cultural group work were elicited using a unique mediating artefact method to encourage reflection and in-depth discussion. In our analysis of emergent interview themes, we compared student perspectives on the role of social relationships in group work by their academic performance level. Our findings indicated that all students interviewed desired the opportunity to form social relationships with their group work members, but their motivations for doing so varied widely by academic performance level

Impact of calcium on salivary α-amylase activity, starch paste apparent viscosity and thickness perception

Thickness perception of starch-thickened products during eating has been linked to starch viscosity and salivary amylase activity. Calcium is an essential cofactor for α-amylase and there is anecdotal evidence that adding extra calcium affects amylase activity in processes like mashing of beer. The aims of this paper were to (1) investigate the role of salivary calcium on α-amylase activity and (2) to measure the effect of calcium concentration on apparent viscosity and thickness perception when interacting with salivary α-amylase in starch-based samples. α-Amylase activity in saliva samples from 28 people was assessed using a typical starch pasting cycle (up to 95 °C). The activity of the enzyme (as measured by the change in starch apparent viscosity) was maintained by the presence of calcium, probably by protecting the enzyme from heat denaturation. Enhancement of α-amylase activity by calcium at 37 °C was also observed although to a smaller extent. Sensory analysis showed a general trend of decreased thickness perception in the presence of calcium, but the result was only significant for one pair of samples, suggesting a limited impact of calcium enhanced enzyme activity on perceived thickness

Analysis of dental care of children receiving comprehensive care under general anaesthesia at a teaching hospital in England

Objectives: This study aimed to analyse the characteristics of comprehensive dental care provided under general anaesthesia (CDGA) and to review the additional treatment required by children over the 6 years subsequent to CDGA. Method: Information collected from hospital records for the 6-year period following the first CDGA included the types of dental treatment performed at CDGA, the return rates for follow-up appointments, further treatment required subsequent to CDGA and the types of dental treatment performed at repeat DGA. Results: The study population consisted of 263 children, of whom 129 had a significant medical history, with mean age of 6.7 years. The results revealed that the waiting time for CDGA was significantly shorter in children who had a significant medical history, with 49 % being admitted for CDGA within 3 months of pre-GA assessment, as compared to 29 % of healthy children. 67 % of children had follow-up care recorded, with a slightly higher proportion of children with significant medical history returning for follow-up [70 % (90/129)] compared with 65 % (87/134) of healthy children. Re-treatment rates were 34 % (88/263), the majority of cases being treated under local analgesia (42/88). 34 of 263 children had repeat DGA (12.9 %). Of these 71 % (24/34) were children with significant medical history. The mean age at repeat DGA was 9 years. In 25 of 34 children (74 %), repeat DGA was due to trauma, oral pathology, supernumerary removal, hypomineralized teeth or new caries of previously sound or un-erupted teeth at CDGA. The ratio of extraction over restoration (excluding fissure sealants) performed at repeat DGA was 2.8, compared with the ratio of 1.3 in the initial CDGA. Conclusions: There was a higher ratio of extraction over restorations at the repeat DGA. This suggests that the prescribed treatments at repeat DGA were more aggressive as compared to the initial CDGA in 1997. The majority of the treatment required at repeat DGA was to treat new disease

A new concurrent chemotherapy with vinorelbine and mitomycin C in combination with radiotherapy in patients with locally advanced squamous cell carcinoma of the head and neck

Objective: The purpose of this pilot study was to evaluate the feasibility and toxicity of concurrent chemotherapy with vinorelbine and mitomycin C in combination with accelerated radiotherapy (RT) in patients with locally advanced cancer of the head and neck. Patients and Methods: Between January 2003 and March 2004, 15 patients with T4/N2-3 squamous cell carcinoma (12/15) and with N3 cervical lymph node metastases of carcinoma of unknown primary (3/15) were treated with chemotherapy and simultaneous accelerated RT. Results: 11 patients completed therapy without interruption or dose reduction. Grade 3 - 4 acute mucosal toxicity was observed in 9/15 patients, grade 4 hematologic toxicity in 6/15 patients. At a median follow-up of 7.5 months, 2 patients have died of intercurrent disease, 2 patients have experienced local relapse; 5 patients are alive with no evidence of disease at the primary tumor site. Discussion: The described regimen is highly effective, but led to remarkable side effects

Impaired brain glymphatic flow in experimental hepatic encephalopathy

Background & Aims: Neuronal function is exquisitely sensitive to alterations in the extracellular environment. In patients with hepatic encephalopathy (HE), accumulation of metabolic waste products and noxious substances in the interstitial fluid of the brain is thought to result from liver disease and may contribute to neuronal dysfunction and cognitive impairment. This study was designed to test the hypothesis that the accumulation of these substances, such as bile acids, may result from reduced clearance from the brain. Methods: In a rat model of chronic liver disease with minimal HE (the bile duct ligation [BDL] model), we used emerging dynamic contrast-enhanced MRI and mass-spectroscopy techniques to assess the efficacy of the glymphatic system, which facilitates clearance of solutes from the brain. Immunofluorescence of aquaporin-4 (AQP4) and behavioural experiments were also performed. Results: We identified discrete brain regions (olfactory bulb, prefrontal cortex and hippocampus) of altered glymphatic clearance in BDL rats, which aligned with cognitive/behavioural deficits. Reduced AQP4 expression was observed in the olfactory bulb and prefrontal cortex in HE, which could contribute to the pathophysiological mechanisms underlying the impairment in glymphatic function in BDL rats. Conclusions: This study provides the first experimental evidence of impaired glymphatic flow in HE, potentially mediated by decreased AQP4 expression in the affected regions. Lay summary: The 'glymphatic system' is a newly discovered brain-wide pathway that facilitates clearance of various sub-stances that accumulate in the brain due to its activity. This study evaluated whether the function of this system is altered in a model of brain dysfunction that occurs in cirrhosis. For the first time, we identified that the clearance of substances from the brain in cirrhosis is reduced because this clearance system is defective. This study proposes a new mechanism of brain dysfunction in patients with cirrhosis and provides new targets for therapy

Introduction to Cybersecurity and Government Minitrack

N/

Adaptive remodeling of the bacterial proteome by specific ribosomal modification regulates Pseudomonas infection and niche colonisation

Post-transcriptional control of protein abundance is a highly important, underexplored regulatory process by which organisms respond to their environments. Here we describe an important and previously unidentified regulatory pathway involving the ribosomal modification protein RimK, its regulator proteins RimA and RimB, and the widespread bacterial second messenger cyclic-di-GMP (cdG). Disruption of rimK affects motility and surface attachment in pathogenic and commensal Pseudomonas species, with rimK deletion significantly compromising rhizosphere colonisation by the commensal soil bacterium P. fluorescens, and plant infection by the pathogens P. syringae and P. aeruginosa. RimK functions as an ATP-dependent glutamyl ligase, adding glutamate residues to the C-terminus of ribosomal protein RpsF and inducing specific effects on both ribosome protein complement and function. Deletion of rimK in P. fluorescens leads to markedly reduced levels of multiple ribosomal proteins, and also of the key translational regulator Hfq. In turn, reduced Hfq levels induce specific downstream proteomic changes, with significant increases in multiple ABC transporters, stress response proteins and non-ribosomal peptide synthetases seen for both ΔrimK and Δhfq mutants. The activity of RimK is itself controlled by interactions with RimA, RimB and cdG. We propose that control of RimK activity represents a novel regulatory mechanism that dynamically influences interactions between bacteria and their hosts; translating environmental pressures into dynamic ribosomal changes, and consequently to an adaptive remodeling of the bacterial proteome