Stack-based Typed Assembly Language

In previous work, we presented a Typed Assembly Language (TAL). TAL is sufficiently expressive to serve as a target language for compilers of high-level languages such as ML. This work assumed such a compiler would perform a continuation-passing style transform and eliminate the control stack by heap-allocating activation records. However, most compilers are based on stack allocation. This paper presents STAL, an extension of TAL with stack constructs and stack types to support the stack allocation style. We show that STAL is sufficiently expressive to support languages such as Java, Pascal, and ML; constructs such as exceptions and displays; and optimizations such as tail call elimination and callee-saves registers. This paper also formalizes the typing connection between CPS-based compilation and stack-based compilation and illustrates how STAL can formally model calling conventions by specifying them as formal translations of source function types to STAL types.Engineering and Applied Science

A Heat Loss Sensitivity Index to Inform Housing Retrofit Policy in the UK

A substantial number of dwellings in the UK have poor building fabric, leading to higher carbon emissions, fuel expenses, and the risk of cold homes. To tackle these challenges, domestic energy efficiency policies are being implemented. One effective approach is the use of energy models, which enable sensitivity analysis to provide valuable insights for policymakers. This study employed dynamic thermal simulation models for 32 housing archetypes representative of solid-walled homes in the UK to calculate the heat loss and the sensitivity coefficient per building fabric feature, after which a metric Heat Loss Sensitivity (HLS) index was established to guide the selection of retrofit features for each archetype. The building fabric features’ inputs were then adjusted to establish both lower and upper bounds, simulating low and high performance levels, to predict the how space heating energy demand varies. The analysis was extended by replicating the process with various scenarios considering climates, window-to-wall ratios, and overshadowing. The findings highlight the external wall as the primary consideration in retrofitting due to its high HLS index, even at high window-to-wall ratios. It was also established that dwelling type is important in retrofit decision-making, with floor and loft retrofits having a high HLS index in bungalows. Furthermore, the analysis underlines the necessity for Standard Assessment Procedure assessors to evaluate loft U-value and air permeability rates prior to implementing retrofit measures, given the significance of these factors in the lower and upper bounds analysis. Researchers globally can replicate the HLS index approach, facilitating the implementation of housing retrofit policies worldwide

Accounting for refrigeration heat exchange in energy performance simulations of large food retail buildings

Heat exchange between chilled food storage and conditioned spaces in large food retail stores is not currently required as part of design stage regulatory compliance energy performance models. Existing work has identified that this exchange has a significant impact on store energy demand and subsequently leads to unrealistic assessment of building performance. Research presented in this article uses whole building dynamic thermal simulation models that are calibrated against real store performance data, quantifying the impact of the refrigeration driven heat exchange. Proxy refrigerated units are used to simulate the impact of these units for the sales floor areas. A methodology is presented that allows these models to be simplified with the aim of calculating a realistic process heat exchange for refrigeration and including this in thermal simulation models; a protocol for the measurement of chilled sales areas and their inclusion in the building models is also proposed. It is intended that this modelling approach and the calculated process heat exchange inputs can be used to improve the dynamic thermal simulation of large food retail stores, reduce gaps between predicted and actual performance and provide more representative inputs for design stage and regulatory compliance energy calculations

Evaluating the Potential for Harmonized Prediction and Comparison of Disposal?Stage Greenhouse Gas Emissions for Biomaterial Products

The carbon footprint (CF) of biofuels and biomaterials is a barrier to their acceptance, yet the greenhouse gas emissions associated with disposing of biomaterials are frequently omitted from analyses. This article investigates whether harmonization is appropriate for calculating the importance of biomaterials’ disposal. This research shows that disposal stages could double a biomaterial's CF, or reduce it to the point that it could claim to be zero carbon. Incineration with combined heat and power coupled with on-site energy production in the biorefinery are identified as prerequisites to being zero carbon. The article assesses the current UK waste infrastructure's ability to support a low-carbon bio-based future economy, and finds that presently it only achieves marginal net reductions when compared to landfill and so cannot be said to support low-carbon biomaterials, though the article challenges the polluter pays principle where low-carbon disposal infrastructure are not available. Reuse and recycling are shown to have the potential to offset all the emissions caused by landfill of biomaterials. However, the savings are not so great as to offset the biomaterial's upstream emissions. The study explores the ability to overcome the barriers to incorporating disposal into life cycle assessment while identifying limitations of using harmonization as an assessment method. Specifically, data availability and industry consensus are flagged as major barriers. The study also uses sensitivity analysis to investigate the influence of methodological choices, such as allowing additional reuse and recycling stages, classifying biomaterials into different types, and choosing between opposing allocation methods

22 years of predictive testing for Huntington's disease: the experience of the UK Huntington's Prediction Consortium

Huntington’s disease (HD) is a progressive neurodegenerative condition. At-risk individuals have accessed predictive testing via direct mutation testing since 1993. The UK Huntington’s Prediction Consortium has collected anonymised data on UK predictive tests, annually, from 1993 to 2014: 9407 predictive tests were performed across 23 UK centres. Where gender was recorded, 4077 participants were male (44.3%) and 5122 were female (55.7%). The median age of participants was 37 years. The most common reason for predictive testing was to reduce uncertainty (70.5%). Of the 8441 predictive tests on individuals at 50% prior risk, 4629 (54.8%) were reported as mutation negative and 3790 (44.9%) were mutation positive, with 22 (0.3%) in the database being uninterpretable. Using a prevalence figure of 12.3 × 10−5, the cumulative uptake of predictive testing in the 50% at-risk UK population from 1994 to 2014 was estimated at 17.4% (95% CI: 16.9–18.0%). We present the largest study conducted on predictive testing in HD. Our findings indicate that the vast majority of individuals at risk of HD (>80%) have not undergone predictive testing. Future therapies in HD will likely target presymptomatic individuals; therefore, identifying the at-risk population whose gene status is unknown is of significant public health value

A theory-based framework for understanding the establishment, persistence, and diffusion of community-based conservation

Over decades, biodiversity conservation researchers and practitioners have developed theories and conceptual frameworks to inform the planning, implementation, and evaluation of community-based conservation (CBC). While a diversity of mechanisms for understanding and supporting CBC has helped tailor approaches to local needs and conditions, the absence of a unified lens to understand CBC has limited the capacity for integrating foundational theory into practice more systemically, and for learning across different projects, stakeholders, and institutions. We introduce a theory-based framework called “the CBC framework” that draws upon three foundational theories from sociology, economics, and political science to understand the establishment, persistence, and diffusion of CBC. Experience applying aspects of the framework within different conservation organizations demonstrates how this integrative approach can provide a gateway for practitioners to engage with social science theory to understand the status and context of CBC interventions and efforts. For practitioners, scientists, evaluators, and strategists, the framework can guide the design of CBC interventions and monitoring and evaluation systems to facilitate theory-based learning and enable evidence-informed decision-making. Approaches like the CBC framework that facilitate collaborative planning, evaluation, and research can help better integrate social science theory in conservation practice while increasing the capacity for conservation scientists, practitioners, and stakeholders to learn together and adaptively manage CBC to deliver positive results for both people and nature

Quantifying the performance a passive deaerator in a gas-fired closed loop domestic wet central heating system

In the UK, approximately 16% of the energy use can be attributed to domestic wet central heating systems. Government financial support and advances in technology have led to boilers becoming more efficient and a range of technologies are now available that claim to be able to improve the efficiency of domestic wet central heating systems. One such low cost technology is a passive deaerator. This paper presents the results obtained from installing a passive deaerator on the closed loop of a gas-fired wet central heating system, under controlled conditions in the Salford Energy House. The results indicate that although marginally less heat output was required from the boiler when the passive deaerator was operating, these savings are more or less out weighted by the boiler short cycling more frequently. Consequently, the overall reduction is gas consumption achieved by utilising the passive deaerator device is only of the order of 0.5%; this scale of savings may just be a consequence of measurement noise. The implications are that although a marginal benefit may be attributed to these products, if short cycling takes place, then these savings may become insignificant

Identification of epitopes recognised by mucosal CD4+ T-cell populations from cattle experimentally colonised with Escherichia coli O157:H7

Additional file 5. Sequence alignment of Intimin epitopes against Intimin sequences from non-O157 EHEC serotypes. Alignment of Intimin CD4+ T-cell epitope sequences with representative Intimin sequences from EHEC serotypes O145, O127, O26, O103, O121, O45 and O111. Percentage values indicate % similarity to the EHEC O157:H7 reference sequence

Training future generations to deliver evidence-based conservation and ecosystem management

1. To be effective, the next generation of conservation practitioners and managers need to be critical thinkers with a deep understanding of how to make evidence-based decisions and of the value of evidence synthesis. 2. If, as educators, we do not make these priorities a core part of what we teach, we are failing to prepare our students to make an effective contribution to conservation practice. 3. To help overcome this problem we have created open access online teaching materials in multiple languages that are stored in Applied Ecology Resources. So far, 117 educators from 23 countries have acknowledged the importance of this and are already teaching or about to teach skills in appraising or using evidence in conservation decision-making. This includes 145 undergraduate, postgraduate or professional development courses. 4. We call for wider teaching of the tools and skills that facilitate evidence-based conservation and also suggest that providing online teaching materials in multiple languages could be beneficial for improving global understanding of other subject areas.Peer reviewe

A Program for At-Risk High School Students Informed by Evolutionary Science

Improving the academic performance of at-risk high school students has proven difficult, often calling for an extended day, extended school year, and other expensive measures. Here we report the results of a program for at-risk 9th and 10th graders in Binghamton, New York, called the Regents Academy that takes place during the normal school day and year. The design of the program is informed by the evolutionary dynamics of cooperation and learning, in general and for our species as a unique product of biocultural evolution. Not only did the Regents Academy students outperform their comparison group in a randomized control design, but they performed on a par with the average high school student in Binghamton on state-mandated exams. All students can benefit from the social environment provided for at-risk students at the Regents Academy, which is within the reach of most public school districts