ConSUS: A light-weight program conditioner

Program conditioning consists of identifying and removing a set of statements which cannot be executed when a condition of interest holds at some point in a program. It has been applied to problems in maintenance, testing, re-use and re-engineering. All current approaches to program conditioning rely upon both symbolic execution and reasoning about symbolic predicates. The reasoning can be performed by a ‘heavy duty’ theorem prover but this may impose unrealistic performance constraints. This paper reports on a lightweight approach to theorem proving using the FermaT Simplify decision procedure. This is used as a component to ConSUS, a program conditioning system for the Wide Spectrum Language WSL. The paper describes the symbolic execution algorithm used by ConSUS, which prunes as it conditions. The paper also provides empirical evidence that conditioning produces a significant reduction in program size and, although exponential in the worst case, the conditioning system has low degree polynomial behaviour in many cases, thereby making it scalable to unit level applications of program conditioning

Aging Predicts Decline in Explicit and Implicit Memory: A Life-Span Study

Explicit memory declines with age, but age effects on implicit memory are debated. This issue is important because if implicit memory is age invariant, it may support effective interventions in individuals experiencing memory decline. In this study, we overcame several methodological issues in past research to clarify age effects on implicit memory (priming) and their relationship to explicit memory (recognition, source memory). We (a) recruited a large life-span sample of participants (N = 1,072) during a residency at the Science Museum in London, (b) employed an implicit task that was unaffected by explicit contamination, and (c) systematically manipulated attention and depth of processing to assess their contribution to age effects. Participants witnessed a succession of overlapping colored objects, attending to one color stream and ignoring the other, and identified masked objects at test before judging whether they were previously attended, unattended, or new. Age significantly predicted decline in both explicit and implicit memory for attended items

An effect of age on implicit memory that is not due to explicit contamination: implications for single and multiple-systems theories

Recognition memory is typically weaker in healthy older relative to young adults, while performance on implicit tests (e.g., repetition priming) is often comparable between groups. Such observations are commonly taken as evidence for independent explicit and implicit memory systems. On a picture version of the continuous identification with recognition (CID-R) task, we found a reliable age-related reduction in recognition memory, while the age effect on priming did not reach statistical significance (Experiment 1). This pattern was consistent with the predictions of a formal single-system model. Experiment 2 replicated these observations using separate priming (continuous identification; CID) and recognition phases, while a combined data analysis revealed a significant effect of age on priming. In Experiment 3, we provide evidence that priming in this task is unaffected by explicit processing, and we conclude that the age difference in priming is unlikely to have been driven by differences in explicit processing between groups of young and older adults ("explicit contamination"). The results support the view that explicit and implicit expressions of memory are driven by a single underlying memory system

In Vivo Analysis of Trypanosoma cruzi Persistence Foci at Single-Cell Resolution

Infections with Trypanosoma cruzi are usually lifelong despite generating a strong adaptive immune response. Identifying the sites of parasite persistence is therefore crucial to understanding how T. cruzi avoids immune-mediated destruction. However, this is a major technical challenge, because the parasite burden during chronic infections is extremely low. Here, we describe an integrated approach involving comprehensive tissue processing, ex vivo imaging, and confocal microscopy, which allowed us to visualize infected host cells in murine tissue with exquisite sensitivity. Using bioluminescence-guided tissue sampling, with a detection level of 200 parasites, which we term mega-nests. In contrast, during the acute stage, when the total parasite burden is considerably higher and many cells are infected, nests containing >50 parasites are rarely found. In C3H/HeN mice, but not BALB/c mice, we identified skeletal muscle as a major site of persistence during the chronic stage, with most parasites being found in large mega-nests within the muscle fibers. Finally, we report that parasites are also frequently found in the skin during chronic murine infections, often in multiple infection foci. In addition to being a site of parasite persistence, this anatomical reservoir could play an important role in insect-mediated transmission and have implications for drug development.IMPORTANCETrypanosoma cruzi causes Chagas disease, the most important parasitic infection in Latin America. Major pathologies include severe damage to the heart and digestive tract, although symptoms do not usually appear until decades after infection. Research has been hampered by the complex nature of the disease and technical difficulties in locating the extremely low number of parasites. Here, using highly sensitive imaging technology, we reveal the sites of parasite persistence during chronic-stage infections of experimental mice at single-cell resolution. We show that parasites are frequently located in smooth muscle cells in the circular muscle layer of the colon and that skeletal muscle cells and the skin can also be important reservoirs. This information provides a framework for investigating how the parasite is able to survive as a lifelong infection, despite a vigorous immune response. It also informs drug development strategies by identifying tissue sites that must be accessed to achieve a curative outcome

Awareness and perceptions of Long COVID among people in the REACT programme: early insights from a pilot interview study

BACKGROUND: Long COVID is a patient-made term describing new or persistent symptoms experienced following SARS-CoV-2 infection. The Real-time Assessment of Community Transmission-Long COVID (REACT-LC) study aims to understand variation in experiences following infection, and to identify biological, social, and environmental factors associated with Long COVID. We undertook a pilot interview study to inform the design, recruitment approach, and topic guide for the REACT-LC qualitative study. We sought to gain initial insights into the experience and attribution of new or persistent symptoms and the awareness or perceived applicability of the term Long COVID. METHODS: People were invited to REACT-LC assessment centres if they had taken part in REACT, a random community-based prevalence study, and had a documented history of SARS-CoV-2 infection. We invited people from REACT-LC assessment centres who had reported experiencing persistent symptoms for more than 12 weeks to take part in an interview. We conducted face to face and online semi-structured interviews which were transcribed and analysed using Thematic Analysis. RESULTS: We interviewed 13 participants (6 female, 7 male, median age 31). Participants reported a wide variation in both new and persistent symptoms which were often fluctuating or unpredictable in nature. Some participants were confident about the link between their persistent symptoms and COVID-19; however, others were unclear about the underlying cause of symptoms or felt that the impact of public health measures (such as lockdowns) played a role. We found differences in awareness and perceived applicability of the term Long COVID. CONCLUSION: This pilot has informed the design, recruitment approach and topic guide for our qualitative study. It offers preliminary insights into the varied experiences of people living with persistent symptoms including differences in symptom attribution and perceived applicability of the term Long COVID. This variation shows the value of recruiting from a nationally representative sample of participants who are experiencing persistent symptoms

Preference for different relaxation techniques by COPD patients: comparison between six techniques.

BACKGROUND: A review of the effectiveness of relaxation techniques for chronic obstructive pulmonary disease patients has shown inconsistent results, but studies have varied in terms of technique and outcome measures. AIM: To determine patient preference for different relaxation techniques. METHODS: Chronic obstructive pulmonary disease patients were presented with six techniques via a DVD and asked to rate the techniques in terms of effectiveness, rank in order of likely use, and comment. RESULTS: Patients differed in the technique preferred and reason for that preference, but the most commonly preferred technique both for effectiveness and ease of use was "thinking of a nice place" followed by progressive relaxation and counting. Familiarity and ease of activity were commonly given reasons for preference. CONCLUSION: Rather than providing patients with a single technique that they might find difficult to implement, these results suggest that it would be better to give a choice. "Thinking of a nice place" is a popular but under-investigated technique

Interfacial Origin of the Magnetisation Suppression of Thin Film Yttrium Iron Garnet

Yttrium iron garnet has a very high Verdet constant, is transparent in the infrared and is an insulating ferrimagnet leading to its use in optical and magneto-optical applications. Its high Q-factor has been exploited to make resonators and filters in microwave devices, but it also has the lowest magnetic damping of any known material. In this article we describe the structural and magnetic properties of single crystal thin-film YIG where the temperature dependence of the magnetisation reveals a decrease in the low temperature region. In order to understand this complex material we bring a large number of structural and magnetic techniques to bear on the same samples. Through a comprehensive analysis we show that at the substrate -YIG interface, an interdiffusion zone of only 4 - 6nm exists. Due to the interdiffusion of Y from the YIG and Gd from the substrate, an addition magnetic layer is formed at the interface whose properties are crucially important in samples with a thickness of YIG less than 200nm

Submillimeter Studies of Prestellar Cores and Protostars: Probing the Initial Conditions for Protostellar Collapse

Improving our understanding of the initial conditions and earliest stages of protostellar collapse is crucial to gain insight into the origin of stellar masses, multiple systems, and protoplanetary disks. Observationally, there are two complementary approaches to this problem: (1) studying the structure and kinematics of prestellar cores observed prior to protostar formation, and (2) studying the structure of young (e.g. Class 0) accreting protostars observed soon after point mass formation. We discuss recent advances made in this area thanks to (sub)millimeter mapping observations with large single-dish telescopes and interferometers. In particular, we argue that the beginning of protostellar collapse is much more violent in cluster-forming clouds than in regions of distributed star formation. Major breakthroughs are expected in this field from future large submillimeter instruments such as Herschel and ALMA.Comment: 12 pages, 9 figures, to appear in the proceedings of the conference "Chemistry as a Diagnostic of Star Formation" (C.L. Curry & M. Fich eds.