Basic completion strategies as another application of the Maude strategy language

The two levels of data and actions on those data provided by the separation between equations and rules in rewriting logic are completed by a third level of strategies to control the application of those actions. This level is implemented on top of Maude as a strategy language, which has been successfully used in a wide range of applications. First we summarize the Maude strategy language design and review some of its applications; then, we describe a new case study, namely the description of completion procedures as transition rules + control, as proposed by Lescanne.Comment: In Proceedings WRS 2011, arXiv:1204.531

Response to the Novel Corona Virus (COVID-19) Pandemic Across Africa: Successes, Challenges, and Implications for the Future

Background: The COVID-19 pandemic has already claimed considerable lives. There are major concerns in Africa due to existing high prevalence rates for both infectious and non-infectious diseases and limited resources in terms of personnel, beds and equipment. Alongside this, concerns that lockdown and other measures will have on prevention and management of other infectious diseases and non-communicable diseases (NCDs). NCDs are an increasing issue with rising morbidity and mortality rates. The World Health Organization (WHO) warns that a lack of nets and treatment could result in up to 18 million additional cases of malaria and up to 30,000 additional deaths in sub-Saharan Africa. Objective: Document current prevalence and mortality rates from COVID-19 alongside economic and other measures to reduce its spread and impact across Africa. In addition, suggested ways forward among all key stakeholder groups. Our Approach: Contextualise the findings from a wide range of publications including internet-based publications coupled with input from senior-level personnel. Ongoing Activities: Prevalence and mortality rates are currently lower in Africa than among several Western countries and the USA. This could be due to a number of factors including early instigation of lockdown and border closures, the younger age of the population, lack of robust reporting systems and as yet unidentified genetic and other factors. Innovation is accelerating to address concerns with available equipment. There are ongoing steps to address the level of misinformation and its consequences including fines. There are also ongoing initiatives across Africa to start addressing the unintended consequences of COVID-19 activities including lockdown measures and their impact on NCDs including the likely rise in mental health disorders, exacerbated by increasing stigma associated with COVID-19. Strategies include extending prescription lengths, telemedicine and encouraging vaccination. However, these need to be accelerated to prevent increased morbidity and mortality. Conclusion: There are multiple activities across Africa to reduce the spread of COVID-19 and address misinformation, which can have catastrophic consequences, assisted by the WHO and others, which appear to be working in a number of countries. Research is ongoing to clarify the unintended consequences given ongoing concerns to guide future activities. Countries are learning from each other

The TGF-β-inducible miR-23a cluster attenuates IFN-γ levels and antigen-specific cytotoxicity in human CD8+ T cells

Cytokine secretion and degranulation represent key components of CD8(+) T-cell cytotoxicity. While transcriptional blockade of IFN- and inhibition of degranulation by TGF- are well established, we wondered whether TGF- could also induce immune-regulatory miRNAs in human CD8(+) T cells. We used miRNA microarrays and high-throughput sequencing in combination with qRT-PCR and found that TGF- promotes expression of the miR-23a cluster in human CD8(+) T cells. Likewise, TGF- up-regulated expression of the cluster in CD8(+) T cells from wild-type mice, but not in cells from mice with tissue-specific expression of a dominant-negative TGF- type II receptor. Reporter gene assays including site mutations confirmed that miR-23a specifically targets the 3UTR of CD107a/LAMP1 mRNA, whereas the further miRNAs expressed in this clusternamely, miR-27a and -24target the 3UTR of IFN- mRNA. Upon modulation of the miR-23a cluster by the respective miRNA antagomirs and mimics, we observed significant changes in IFN- expression, but only slight effects on CD107a/LAMP1 expression. Still, overexpression of the cluster attenuated the cytotoxic activity of antigen-specific CD8(+) T cells. These functional data thus reveal that the miR-23a cluster not only is induced by TGF-, but also exerts a suppressive effect on CD8(+) T-cell effector functions, even in the absence of TGF- signaling

Response to the novel corona virus (COVID-19) pandemic across Africa : successes, challenges, and implication for the future

BACKGROUND: The COVID-19 pandemic has already claimed considerable lives. There are major concerns in Africa due to existing high prevalence rates for both infectious and non-infectious diseases and limited resources in terms of personnel, beds and equipment. Alongside this, concerns that lockdown and other measures will have on prevention and management of other infectious diseases and non-communicable diseases (NCDs). NCDs are an increasing issue with rising morbidity and mortality rates. The World Health Organization (WHO) warns that a lack of nets and treatment could result in up to 18 million additional cases of malaria and up to 30,000 additional deaths in sub-Saharan Africa. OBJECTIVE: Document current prevalence and mortality rates from COVID-19 alongside economic and other measures to reduce its spread and impact across Africa. In addition, suggested ways forward among all key stakeholder groups. OUR APPROACH: Contextualise the findings from a wide range of publications including internet-based publications coupled with input from senior-level personnel. ONGOING ACTIVITIES: Prevalence and mortality rates are currently lower in Africa than among several Western countries and the USA. This could be due to a number of factors including early instigation of lockdown and border closures, the younger age of the population, lack of robust reporting systems and as yet unidentified genetic and other factors. Innovation is accelerating to address concerns with available equipment. There are ongoing steps to address the level of misinformation and its consequences including fines. There are also ongoing initiatives across Africa to start addressing the unintended consequences of COVID-19 activities including lockdown measures and their impact on NCDs including the likely rise in mental health disorders, exacerbated by increasing stigma associated with COVID-19. Strategies include extending prescription lengths, telemedicine and encouraging vaccination. However, these need to be accelerated to prevent increased morbidity and mortality. CONCLUSION: There are multiple activities across Africa to reduce the spread of COVID-19 and address misinformation, which can have catastrophic consequences, assisted by the WHO and others, which appear to be working in a number of countries. Research is ongoing to clarify the unintended consequences given ongoing concerns to guide future activities. Countries are learning from each other.http://frontiersin.org/Pharmacologypm2021Family MedicineSchool of Health Systems and Public Health (SHSPH