Nominal Logic Programming

Nominal logic is an extension of first-order logic which provides a simple foundation for formalizing and reasoning about abstract syntax modulo consistent renaming of bound names (that is, alpha-equivalence). This article investigates logic programming based on nominal logic. We describe some typical nominal logic programs, and develop the model-theoretic, proof-theoretic, and operational semantics of such programs. Besides being of interest for ensuring the correct behavior of implementations, these results provide a rigorous foundation for techniques for analysis and reasoning about nominal logic programs, as we illustrate via examples.Comment: 46 pages; 19 page appendix; 13 figures. Revised journal submission as of July 23, 200

Regulation of succinate-fuelled mitochondrial respiration in liver and skeletal muscle of hibernating thirteen-lined ground squirrels.

Hibernating ground squirrels (Ictidomys tridecemlineatus) alternate between two distinct metabolic states throughout winter: torpor, during which metabolic rate (MR) and body temperature (Tb) are considerably suppressed, and interbout euthermia (IBE), during which MR and Tb briefly return to euthermic levels. Previous studies showed suppression of succinate-fuelled respiration during torpor in liver and skeletal muscle mitochondria; however, these studies used only a single, saturating succinate concentration. Therefore, they could not address whether mitochondrial metabolic suppression occurs under physiological substrate concentrations or whether differences in the kinetics of mitochondrial responses to changing substrate concentration might also contribute to mitochondrial metabolic regulation during torpor. The present study confirmed that succinate oxidation is reduced during torpor in liver and skeletal muscle at 37 and 10°C over a 100-fold range of succinate concentrations. At 37°C, this suppression resulted from inhibition of succinate dehydrogenase (SDH), which had a greater affinity for oxaloacetate (an SDH inhibitor) during torpor. At 10°C, SDH was not inhibited, suggesting that SDH inhibition initiates but does not maintain mitochondrial suppression during torpor. Moreover, in both liver and skeletal muscle, mitochondria from torpid animals maintained relatively higher respiration rates at low succinate concentrations, which reduces the extent of energy savings that can be achieved during torpor, but may also maintain mitochondrial oxidative capacity above some lower critical threshold, thereby preventing cellular and/or mitochondrial injury during torpor and facilitating rapid recruitment of oxidative capacity during arousal

Identification of a lipid-rich depot in the orbital cavity of the thirteen-lined ground squirrel

We discovered a previously undescribed orbital lipid depot in the thirteen-lined ground squirrel during the first ever magnetic resonance image (MRI) of this common experimental model of mammalian hibernation. In animals housed at constant ambient temperatures (5°C or 25°C, 12 h:12 h light:dark photoperiod), the volume of this depot increased in the autumn and decreased in the spring, suggesting an endogenous circannual pattern. Water-fat MRI revealed that throughout the year this depot is composed of ∼40% lipid, similar to brown adipose tissue (BAT). During arousal from torpor, thermal images showed higher surface temperatures near this depot before the rest of the head warmed, suggesting a thermoregulatory function. This depot, however, does not contain uncoupling protein 1, a BAT biomarker, or uncoupling protein 3. Histology shows blood vessels in close proximity to each other, suggesting it may serve as a vascular rete, perhaps to preferentially warm the eye and brain during arousals

Seasonal abundance of small cladocerans in Lake Mangakaware, Waikato, New Zealand

The seasonal changes in the dynamics and life histories of the Cladocera in Lake Mangakaware, North Island, New Zealand, were studied over 19 months by sampling at weekly or 2-weekly intervals. Lake Mangakaware is a 13.3 ha polymictic lake with high nutrient status, low Secchi disc transparencies, and an unstable thermal regime. The four planktonic cladoceran species (Bosmina longirostris, B. meridionalis, Ceriodaphnia pulchella, and C. dubia) exhibited disjunct population maxima. Only B. longirostris was perennially present. All species exhibited low fecundities and low lipid content, indicating that food resources were limited and that competitive interactions and resistance to starvation were probably important in determining species success. Increases in body size in cooler seasons were unrelated to clutch size, giving further support for the view that available food was limited. These results are consistent with previous experimental findings that subtle differences in life history can determine seasonal success and the outcome of competition between similar species

CORSIA: The first internationally adopted approach to calculate life-cycle GHG emissions for aviation fuels

The aviation sector has grown at a significant pace in recent years, and despite improvements in aircraft efficiency, the sector's impact on climate change is a growing concern. To address this concern, the International Civil Aviation Organization (ICAO) established the Carbon Offsetting and Reduction Scheme for International Aviation (CORSIA) to help reduce aviation greenhouse gas (GHG) emissions. This paper presents a methodology agreed by the 193 ICAO member states to evaluate the life-cycle GHG emissions of sustainable aviation fuels (SAFs), in the CORSIA system. The core life-cycle assessment and induced land use change values of SAFs are presented to determine the GHG savings of certified pathways. The paper aims to present that a number of SAFs can yield significant life-cycle emission reductions compared to petroleum-derived jet fuel. This implies the potentially major role of SAFs in reducing aviation's carbon footprint

The changing of the guard: groupwork with people who have intellectual disabilities

This paper considers the impact of service systems on group activities. It describes an inter-professional groupwork project facilitated by a social worker and a community nurse. The project provided an emancipatory experience for a group of adults who had intellectual disabilities. The group was charged with the task of reviewing and updating the recruitment and interview processes used by a 'Learning Disability Partnership Board', when employing new support workers. The paper begins with a brief history of intellectual disability and provides a context to the underpinning philosophical belief that people should be encouraged and supported to inhabit valued social roles no matter what disability they may have. It then identifies the ways in which the sponsoring health, education and social care services impacted on the creation and development of a groupwork project. It might have been expected that the nature of the intellectual disability would have been the major influence on group process. However the paper reveals that organisational constraints had a significant impact on group functioning. Issues including, staffing budgets and transport contracts impacted on group process and function. The results of the project show how, with adequate support, people with intellectual disability can make important decisions that have long-reaching impacts on the services

Identification of a lipid-rich depot in the orbital cavity of the 13-lined ground squirrel

We discovered a previously undescribed orbital lipid depot in the 13-lined ground squirrel during the first ever magnetic resonance image (MRI) of this common experimental model of mammalian hibernation. In animals housed at constant ambient temperatures (5ºC or 25ºC, 12h L:12h D photoperiod) the volume of this depot increased in the autumn and decreased in the spring, suggesting an endogenous circannual pattern. Water-fat MRI revealed that throughout the year this depot is composed of ~40% lipid, similar to brown adipose tissue (BAT). During arousal from torpor, thermal images showed higher surface temperatures near this depot before the rest of the head warmed, suggesting a thermoregulatory function. This depot, however, does not contain uncoupling protein 1, a BAT biomarker, or uncoupling protein 3. Histology shows blood vessels in close proximity to each other, suggesting it may serve as a vascular rete, perhaps to preferentially warm the eye and brain during arousals