Whole-body MRI for preventive health screening:A systematic review of the literature

Background The yield of whole-body MRI for preventive health screening is currently not completely clear. Purpose To systematically review the prevalence of whole-body MRI findings in asymptomatic subjects. Study Type Systematic review and meta-analysis. Subjects MEDLINE and Embase were searched for original studies reporting whole-body MRI findings in asymptomatic adults without known disease, syndrome, or genetic mutation. Twelve studies, comprising 5373 asymptomatic subjects, were included. Field Strength/Sequence 1.5T or 3.0T, whole-body MRI. Assessment The whole-body MRI literature findings were extracted and reviewed by two radiologists in consensus for designation as either critical or indeterminate incidental finding. Statistical Tests Data were pooled using a random effects model on the assumption that most subjects had 5-year) verification of negative findings. Only one study reported false-negative findings, with a proportion of 2.0%. Data Conclusion Prevalence of critical and indeterminate incidental whole-body MRI findings in asymptomatic subjects is overall substantial and with variability dependent to some degree on the protocol. Verification data are lacking. The proportion of false-positive findings appears to be substantial. Technical Efficacy: Stage 3 J. Magn. Reson. Imaging 2019;50:1489-1503

Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables

We show that Branching-time temporal logics CTL and CTL*, as well as Alternating-time temporal logics ATL and ATL*, are as semantically expressive in the language with a single propositional variable as they are in the full language, i.e., with an unlimited supply of propositional variables. It follows that satisfiability for CTL, as well as for ATL, with a single variable is EXPTIME-complete, while satisfiability for CTL*, as well as for ATL*, with a single variable is 2EXPTIME-complete,--i.e., for these logics, the satisfiability for formulas with only one variable is as hard as satisfiability for arbitrary formulas.Comment: Prefinal version of the published pape

Parameterized Verification of Systems with Global Synchronization and Guards

Inspired by distributed applications that use consensus or other agreement protocols for global coordination, we define a new computational model for parameterized systems that is based on a general global synchronization primitive and allows for global transition guards. Our model generalizes many existing models in the literature, including broadcast protocols and guarded protocols. We show that reachability properties are decidable for systems without guards, and give sufficient conditions under which they remain decidable in the presence of guards. Furthermore, we investigate cutoffs for reachability properties and provide sufficient conditions for small cutoffs in a number of cases that are inspired by our target applications.Comment: Accepted at CAV 202

Simply imagining sunshine, lollipops and rainbows will not budge the bias: The role of ambiguity in interpretive bias modification

Imagery-based interpretive bias modification (CBM-I) involves repeatedly imagining scenarios that are initially ambiguous before being resolved as either positive or negative in the last word/s. While the presence of such ambiguity is assumed to be important to achieve change in selective interpretation, it is also possible that the act of repeatedly imagining positive or negative events could produce such change in the absence of ambiguity. The present study sought to examine whether the ambiguity in imagery-based CBM-I is necessary to elicit change in interpretive bias, or, if the emotional content of the imagined scenarios is sufficient to produce such change. An imagery-based CBM-I task was delivered to participants in one of four conditions, where the valence of imagined scenarios were either positive or negative, and the ambiguity of the scenario was either present (until the last word/s) or the ambiguity was absent (emotional valence was evident from the start). Results indicate that only those who received scenarios in which the ambiguity was present acquired an interpretive bias consistent with the emotional valence of the scenarios, suggesting that the act of imagining positive or negative events will only influence patterns of interpretation when the emotional ambiguity is a consistent feature

Changes in and predictors of length of stay in hospital after surgery for breast cancer between 1997/98 and 2004/05 in two regions of England: a population-based

BACKGROUND Decreases in length of stay (LOS) in hospital after breast cancer surgery can be partly attributed to the change to less radical surgery, but many other factors are operating at the patient, surgeon and hospital levels. This study aimed to describe the changes in and predictors of length of stay (LOS) in hospital after surgery for breast cancer between 1997/98 and 2004/05 in two regions of England. METHODS Cases of female invasive breast cancer diagnosed in two English cancer registry regions were linked to Hospital Episode Statistics data for the period 1st April 1997 to 31st March 2005. A subset of records where women underwent mastectomy or breast conserving surgery (BCS) was extracted (n = 44,877). Variations in LOS over the study period were investigated. A multilevel model with patients clustered within surgical teams and NHS Trusts was used to examine associations between LOS and a range of factors. RESULTS Over the study period the proportion of women having a mastectomy reduced from 58% to 52%. The proportion varied from 14% to 80% according to NHS Trust. LOS decreased by 21% from 1997/98 to 2004/05 (LOSratio = 0.79, 95%CI 0.77-0.80). BCS was associated with 33% shorter hospital stays compared to mastectomy (LOSratio = 0.67, 95%CI 0.66-0.68). Older age, advanced disease, presence of comorbidities, lymph node excision and reconstructive surgery were associated with increased LOS. Significant variation remained amongst Trusts and surgical teams. CONCLUSION The number of days spent in hospital after breast cancer surgery has continued to decline for several decades. The change from mastectomy to BCS accounts for only 9% of the overall decrease in LOS. Other explanations include the adoption of new techniques and practices, such as sentinel lymph node biopsy and early discharge. This study has identified wide variation in practice with substantial cost implications for the NHS. Further work is required to explain this variation

Cannibalism, cell survival, and endocrine resistance in breast cancer

Breast cancer cells often respond to an endocrine therapy by altering expression of specific estrogen-responsive genes and inducing autophagy, a cannibalistic lysosomal pathway. Autophagy eliminates damaged or other organelles, allowing the recovery of the energy stored in their macromolecules to attempt restoration of metabolic homeostasis. Induction of autophagy can result from activation of the unfolded protein response following metabolic stress, the final cell fate often being determined by the extent and duration of autophagy. A study by Gonzalez-Malerva and colleagues builds upon this extensive knowledge, adding HSPB8 to the list of altered genes associated with endocrine resistance in breast cancer and describing the ability of HSPB8 to regulate autophagy and confer tamoxifen resistance

Promptness and Bounded Fairness in Concurrent and Parameterized Systems

We investigate the satisfaction of specifications in Prompt Linear Temporal Logic (Prompt-LTL) by concurrent systems. Prompt-LTL is an extension of LTL that allows to specify parametric bounds onthe satisfaction of eventualities, thus adding a quantitative aspect to the specification language. We establish a connection between bounded fairness, bounded stutter equivalence, and the satisfaction of Prompt-LTL\X formulas. Based on this connection, we prove the first cutoff results for different classes of systems with a parametric number of components and quantitative specifications, thereby identifying previously unknown decidable fragments of the parameterized model checking problem

A survey of owners' perceptions of fear of fireworks in a sample of dogs and cats in New Zealand

AIMS: To establish reliable information regarding the behavioural responses of dogs and cats to fireworks in New Zealand; record interventions used by owners, and their perceived efficacies; and establish the prevalence of firework-related injury, and quantify owners' attitudes towards fireworks. METHODS: A questionnaire targeting dog and cat owners was distributed via the Auckland Society for the Prevention of Cruelty to Animals (SPCA) Animals Voice magazine and 25 veterinary clinics. The questionnaire covered demographics of animals, fear of fireworks, severity of the fear, and behaviours exhibited. Also included were treatments tried, source and perceived efficacy, prevalence of injury, and owners' attitudes towards the sale of fireworks for private use. RESULTS: From a total of 8,966 questionnaires distributed, 1,007 valid questionnaires were returned, representing 3,527 animals. Of these 1,635 (46%) animals displayed a level of fear of fireworks recognisable to their owners. Owners of dogs identified a significantly higher fear response than owners of cats but the duration of these fear responses did not differ between species. Fear of fireworks frequently resulted in dogs exhibiting active fear behaviours, whereas cats were more likely to exhibit hiding and cowering behaviours. A significantly increased severity and duration of fear response over time in dogs and cats was associated with owners who comforted them when they displayed a fearful response. Only 141/890 (15.8%) of owners sought professional treatment from a veterinarian, animal behaviourist or animal trainer for their animals, with variable efficacy. Six percent (51/923) of animals had received physical injuries from fireworks. The majority (837/1,007; 83%) of respondents, regardless of whether they owned a fearful animal or not, supported a ban on the sale of fireworks for private use. CONCLUSIONS: The results provide valuable information that is, as yet, unsubstantiated in New Zealand, although potential biases exist due to the non-random selection of respondents. Differences between dogs and cats were likely due to differing responses to fear-provoking stimuli between the species. Owner-reported increase in fearful response over time for comforted animals may indicate a negative impact on the longer-term psychological welfare of their animal. CLINICAL RELEVANCE: The greater the awareness of effective treatment plans for animals that suffer from a fear of fireworks, the greater the possibility that this fear can be reduced. Wider dissemination of effective owner behaviour and treatment programmes for firework fears is needed to improve levels of professional treatment for dogs and cats

Care home manager attitudes to balancing risk and autonomy for residents with dementia

Objective: To determine how care home managers negotiate the conflict between maintaining a safe environment while enabling the autonomy of residents with dementia. This is important because there is limited research with care home managers; yet, they are key agents in the implementation of national policies. Method: Semi-structured interviews were conducted with 18 managers from care homes offering dementia care in the Northwest of England. Data were analysed using a thematic analysis approach. Results: There were three areas in which care home staff reported balancing safety and risk against the individual needs of residents. First, the physical environment created a tension between safety and accessibility to the outside world, which meant that care homes provided highly structured or limited access to outdoor space. Second, care home managers reflected a balancing act between an individual's autonomy and the need to protect their residents’ dignity. Finally, care home managers highlighted the ways in which an individual's needs were framed by the needs of other residents to the extent that on some occasions an individual's needs were subjugated to the needs of the general population of a home. Conclusion: There was a strong, even dominant, ethos of risk management and keeping people safe. Managing individual needs while maintaining a safe care home environment clearly is a constant dynamic interpersonal process of negotiating and balancing competing interests for care home managers

Dysregulated plasma lipid mediator profiles in critically ill COVID-19 patients.

Coronavirus disease (COVID)-19, as a result of Severe Acute Respiratory Syndrome Coronavirus 2 (SARS-CoV-2) infection, has been the direct cause of over 2.2 million deaths worldwide. A timely coordinated host-immune response represents the leading driver for restraining SARS-CoV-2 infection. Indeed, several studies have described dysregulated immunity as the crucial determinant for critical illness and the failure of viral control. Improved understanding and management of COVID-19 could greatly reduce the mortality and morbidity caused by SARS-CoV-2. One aspect of the immune response that has to date been understudied is whether lipid mediator production is dysregulated in critically ill patients. In the present study, plasma from COVID-19 patients with either severe disease and those that were critically ill was collected and lipid mediator profiles were determined using liquid chromatography tandem mass spectrometry. Results from these studies indicated that plasma concentrations of both pro-inflammatory and pro-resolving lipid mediator were reduced in critically ill patients when compared with those with severe disease. Furthermore, plasma concentrations of a select group of mediators that included the specialized pro-resolving mediators (SPM) Resolvin (Rv) D1 and RvE4 were diagnostic of disease severity. Interestingly, peripheral blood SPM concentrations were also linked with outcome in critically ill patients, where we observed reduced overall concentrations of these mediators in those patients that did not survive. Together the present findings establish a link between plasma lipid mediators and disease severity in patients with COVID-19 and indicate that plasma SPM concentrations may be linked with survival in these patients