Weakly Z symmetric manifolds

We introduce a new kind of Riemannian manifold that includes weakly-, pseudo- and pseudo projective- Ricci symmetric manifolds. The manifold is defined through a generalization of the so called Z tensor; it is named "weakly Z symmetric" and denoted by (WZS)_n. If the Z tensor is singular we give conditions for the existence of a proper concircular vector. For non singular Z tensor, we study the closedness property of the associated covectors and give sufficient conditions for the existence of a proper concircular vector in the conformally harmonic case, and the general form of the Ricci tensor. For conformally flat (WZS)_n manifolds, we derive the local form of the metric tensor.Comment: 13 page

Inhibition of Orai Channel Function Regulates Mas-Related G Protein-Coupled Receptor-Mediated Responses in Mast Cells

Mast cells (MCs) are tissue resident immune cells that play important roles in the pathogenesis of allergic disorders. These responses are mediated via the cross-linking of cell surface high affinity IgE receptor (FcϵRI) by antigen resulting in calcium (Ca2+) mobilization, followed by degranulation and release of proinflammatory mediators. In addition to FcϵRI, cutaneous MCs express Mas-related G protein-coupled receptor X2 (MRGPRX2; mouse ortholog MrgprB2). Activation of MRGPRX2/B2 by the neuropeptide substance P (SP) is implicated in neurogenic inflammation, chronic urticaria, mastocytosis and atopic dermatitis. Although Ca2+ entry is required for MRGPRX2/B2-mediated MC responses, the possibility that calcium release-activated calcium (CRAC/Orai) channels participate in these responses has not been tested. Lentiviral shRNA-mediated silencing of Orai1, Orai2 or Orai3 in a human MC line (LAD2 cells) resulted in partial inhibition of SP-induced Ca2+ mobilization, degranulation and cytokine/chemokine generation (TNF-α, IL-8, and CCL-3). Synta66, which blocks homo and hetero-dimerization of Orai channels, caused a more robust inhibition of SP-induced responses than knockdown of individual Orai channels. Synta66 also blocked SP-induced extracellular signal-regulated kinase 1/2 (ERK1/2) and Akt phosphorylation and abrogated cytokine/chemokine production. It also inhibited SP-induced Ca2+ mobilization and degranulation in primary human skin MCs and mouse peritoneal MCs. Furthermore, Synta66 attenuated both SP-induced cutaneous vascular permeability and leukocyte recruitment in mouse peritoneum. These findings demonstrate that Orai channels contribute to MRGPRX2/B2-mediated MC activation and suggest that their inhibition could provide a novel approach for the modulation of SP-induced MC/MRGPRX2-mediated disorders. Copyright © 2022 Chaki, Alkanfari, Roy, Amponnawarat, Hui, Oskeritzian and Ali

A Logical Verification Methodology for Service-Oriented Computing

We introduce a logical verification methodology for checking behavioural properties of service-oriented computing systems. Service properties are described by means of SocL, a branching-time temporal logic that we have specifically designed to express in an effective way distinctive aspects of services, such as, e.g., acceptance of a request, provision of a response, and correlation among service requests and responses. Our approach allows service properties to be expressed in such a way that they can be independent of service domains and specifications. We show an instantiation of our general methodology that uses the formal language COWS to conveniently specify services and the expressly developed software tool CMC to assist the user in the task of verifying SocL formulae over service specifications. We demonstrate feasibility and effectiveness of our methodology by means of the specification and the analysis of a case study in the automotive domain

Impact of Community-Based Larviciding on the Prevalence of Malaria Infection in Dar es Salaam, Tanzania.

The use of larval source management is not prioritized by contemporary malaria control programs in sub-Saharan Africa despite historical success. Larviciding, in particular, could be effective in urban areas where transmission is focal and accessibility to Anopheles breeding habitats is generally easier than in rural settings. The objective of this study is to assess the effectiveness of a community-based microbial larviciding intervention to reduce the prevalence of malaria infection in Dar es Salaam, United Republic of Tanzania. Larviciding was implemented in 3 out of 15 targeted wards of Dar es Salaam in 2006 after two years of baseline data collection. This intervention was subsequently scaled up to 9 wards a year later, and to all 15 targeted wards in 2008. Continuous randomized cluster sampling of malaria prevalence and socio-demographic characteristics was carried out during 6 survey rounds (2004-2008), which included both cross-sectional and longitudinal data (N = 64,537). Bayesian random effects logistic regression models were used to quantify the effect of the intervention on malaria prevalence at the individual level. Effect size estimates suggest a significant protective effect of the larviciding intervention. After adjustment for confounders, the odds of individuals living in areas treated with larviciding being infected with malaria were 21% lower (Odds Ratio = 0.79; 95% Credible Intervals: 0.66-0.93) than those who lived in areas not treated. The larviciding intervention was most effective during dry seasons and had synergistic effects with other protective measures such as use of insecticide-treated bed nets and house proofing (i.e., complete ceiling or window screens). A large-scale community-based larviciding intervention significantly reduced the prevalence of malaria infection in urban Dar es Salaam

Opinions of key stakeholders on alternative interventions for malaria control and elimination in Tanzania

Malaria control in Tanzania currently relies primarily on long-lasting insecticidal nets and indoor residual spraying, alongside effective case management and behaviour change communication. This study explored opinions of key stakeholders on the national progress towards malaria elimination, the potential of currently available vector control interventions in helping achieve elimination by 2030, and the need for alternative interventions that could be used to supplement malaria elimination efforts in Tanzania. In this exploratory qualitative study, Focus group discussions were held with policy-makers, regulators, research scientists and community members. Malaria control interventions discussed were: (a) improved housing, (b) larval source management, (c) mass drug administration (MDA) with ivermectin to reduce vector densities, (d) release of modified mosquitoes, including genetically modified or irradiated mosquitoes, (e) targeted spraying of mosquito swarms, and (f) spatial repellents. Larval source management and spatial repellents were widely supported across all stakeholder groups, while insecticide-spraying of mosquito swarms was the least preferred. Support for MDA with ivermectin was high among policy makers, regulators and research scientists, but encountered opposition among community members, who instead expressed strong support for programmes to improve housing for poor people in high transmission areas. Policy makers, however, challenged the idea of government-supported housing improvement due to its perceived high costs. Techniques of mosquito modification, specifically those involving gene drives, were viewed positively by community members, policy makers and regulators, but encountered a high degree of scepticism among scientists. Overall, policy-makers, regulators and community members trusted scientists to provide appropriate advice for decision-making. Stakeholder opinions regarding alternative malaria interventions were divergent except for larval source management and spatial repellents, for which there was universal support. MDA with ivermectin, housing improvement and modified mosquitoes were also widely supported, though each faced concerns from at least one stakeholder group. While policy-makers, regulators and community members all noted their reliance on scientists to make informed decisions, their reasoning on the benefits and disadvantages of specific interventions included factors beyond technical efficiency. This study suggests the need to encourage and strengthen dialogue between research scientists, policy makers, regulators and communities regarding new interventions

Genomic signatures of population decline in the malaria mosquito Anopheles gambiae

Population genomic features such as nucleotide diversity and linkage disequilibrium are expected to be strongly shaped by changes in population size, and might therefore be useful for monitoring the success of a control campaign. In the Kilifi district of Kenya, there has been a marked decline in the abundance of the malaria vector Anopheles gambiae subsequent to the rollout of insecticide-treated bed nets. To investigate whether this decline left a detectable population genomic signature, simulations were performed to compare the effect of population crashes on nucleotide diversity, Tajima's D, and linkage disequilibrium (as measured by the population recombination parameter ρ). Linkage disequilibrium and ρ were estimated for An. gambiae from Kilifi, and compared them to values for Anopheles arabiensis and Anopheles merus at the same location, and for An. gambiae in a location 200 km from Kilifi. In the first simulations ρ changed more rapidly after a population crash than the other statistics, and therefore is a more sensitive indicator of recent population decline. In the empirical data, linkage disequilibrium extends 100-1000 times further, and ρ is 100-1000 times smaller, for the Kilifi population of An. gambiae than for any of the other populations. There were also significant runs of homozygosity in many of the individual An. gambiae mosquitoes from Kilifi. These results support the hypothesis that the recent decline in An. gambiae was driven by the rollout of bed nets. Measuring population genomic parameters in a small sample of individuals before, during and after vector or pest control may be a valuable method of tracking the effectiveness of interventions

Assume-Guarantee Abstraction Refinement for Probabilistic Systems

We describe an automated technique for assume-guarantee style checking of strong simulation between a system and a specification, both expressed as non-deterministic Labeled Probabilistic Transition Systems (LPTSes). We first characterize counterexamples to strong simulation as "stochastic" trees and show that simpler structures are insufficient. Then, we use these trees in an abstraction refinement algorithm that computes the assumptions for assume-guarantee reasoning as conservative LPTS abstractions of some of the system components. The abstractions are automatically refined based on tree counterexamples obtained from failed simulation checks with the remaining components. We have implemented the algorithms for counterexample generation and assume-guarantee abstraction refinement and report encouraging results.Comment: 23 pages, conference paper with full proof

Entomological Surveillance of Behavioural Resilience and Resistance in Residual Malaria Vector Populations.

The most potent malaria vectors rely heavily upon human blood so they are vulnerable to attack with insecticide-treated nets (ITNs) and indoor residual spraying (IRS) within houses. Mosquito taxa that can avoid feeding or resting indoors, or by obtaining blood from animals, mediate a growing proportion of the dwindling transmission that persists as ITNs and IRS are scaled up. Increasing frequency of behavioural evasion traits within persisting residual vector systems usually reflect the successful suppression of the most potent and vulnerable vector taxa by IRS or ITNs, rather than their failure. Many of the commonly observed changes in mosquito behavioural patterns following intervention scale-up may well be explained by modified taxonomic composition and expression of phenotypically plastic behavioural preferences, rather than altered innate preferences of individuals or populations. Detailed review of the contemporary evidence base does not yet provide any clear-cut example of true behavioural resistance and is, therefore, consistent with the hypothesis presented. Caution should be exercised before over-interpreting most existing reports of increased frequency of behavioural traits which enable mosquitoes to evade fatal contact with insecticides: this may simply be the result of suppressing the most behaviourally vulnerable of the vector taxa that constituted the original transmission system. Mosquito taxa which have always exhibited such evasive traits may be more accurately described as behaviourally resilient, rather than resistant. Ongoing national or regional entomological monitoring surveys of physiological susceptibility to insecticides should be supplemented with biologically and epidemiologically meaningfully estimates of malaria vector population dynamics and the behavioural phenotypes that determine intervention impact, in order to design, select, evaluate and optimize the implementation of vector control measures

An affordable, quality-assured community-based system for high-resolution entomological surveillance of vector mosquitoes that reflects human malaria infection risk patterns.

ABSTRACT: BACKGROUND: More sensitive and scalable entomological surveillance tools are required to monitor low levels of transmission that are increasingly common across the tropics, particularly where vector control has been successful. A large-scale larviciding programme in urban Dar es Salaam, Tanzania is supported by a community-based (CB) system for trapping adult mosquito densities to monitor programme performance. Methodology An intensive and extensive CB system for routine, longitudinal, programmatic surveillance of malaria vectors and other mosquitoes using the Ifakara Tent Trap (ITT-C) was developed in Urban Dar es Salaam, Tanzania, and validated by comparison with quality assurance (QA) surveys using either ITT-C or human landing catches (HLC), as well as a cross-sectional survey of malaria parasite prevalence in the same housing compounds. RESULTS: Community-based ITT-C had much lower sensitivity per person-night of sampling than HLC (Relative Rate (RR) [95% Confidence Interval (CI)] = 0.079 [0.051, 0.121], P < 0.001 for Anopheles gambiae s.l. and 0.153 [0.137, 0.171], P < 0.001 for Culicines) but only moderately differed from QA surveys with the same trap (0.536 [0.406,0.617], P = 0.001 and 0.747 [0.677,0.824], P < 0.001, for An. gambiae or Culex respectively). Despite the poor sensitivity of the ITT per night of sampling, when CB-ITT was compared with QA-HLC, it proved at least comparably sensitive in absolute terms (171 versus 169 primary vectors caught) and cost-effective (153US$versus 187US$ per An. gambiae caught) because it allowed more spatially extensive and temporally intensive sampling (4284 versus 335 trap nights distributed over 615 versus 240 locations with a mean number of samples per year of 143 versus 141). Despite the very low vectors densities (Annual estimate of about 170 An gambiae s.l bites per person per year), CB-ITT was the only entomological predictor of parasite infection risk (Odds Ratio [95% CI] = 4.43[3.027,7. 454] per An. gambiae or Anopheles funestus caught per night, P =0.0373). Discussion and conclusion CB trapping approaches could be improved with more sensitive traps, but already offer a practical, safe and affordable system for routine programmatic mosquito surveillance and clusters could be distributed across entire countries by adapting the sample submission and quality assurance procedures accordingly