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

Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation

The actor model eases the definition of concurrent programs with non uniform behaviors. Static analysis of such a model was previously done in a data-flow oriented way, with type systems. This approach was based on constraint set resolution and was not able to deal with precise properties for communications of behaviors. We present here a new approach, control-flow oriented, based on the abstract interpretation framework, able to deal with communication of behaviors. Within our new analyses, we are able to verify most of the previous properties we observed as well as new ones, principally based on occurrence counting

Conservation tillage and residue management improve soil health and crop productivity-Evidence from a rice-maize cropping system in Bangladesh.

The rice-maize (R-M) system is rapidly expanding in Bangladesh due to its greater suitability for diverse soil types and environments. The present conventional method of cultivating puddled transplanted rice and maize is input-intensive, decreases soil health through intense ploughing, and ultimately reduces farm profitability. There is a need to investigate alternatives. Accordingly, we conducted a replicated 2-year (2020–2021) field study to investigate the effects of conservation agriculture (CA) based tillage and crop establishment (TCE) techniques and residue management practices on the physical, chemical, and biological properties of soil along with crop productivity and the profitability of rice-maize systems in the sandy loam soil of Northwest Bangladesh. Two TCE techniques Puddled transplanted rice (PTR) followed by Conventional tillage maize (CTM) and strip tillage direct-seeded rice (STDSR) followed by strip-tilled maize (STM) were assigned to the main plots and different percentages of crop residue retention (0, 25, and 50% by height) were allocated to the subplots. Results showed that a reduction in bulk density (BD), soil penetration resistance (SPR), and increased soil porosity were associated with STDSR/STM-based scenarios (strip tillage coupled with 25 and 50% residue retention). The soil organic carbon (SOC) fractions, such as dissolved organic C (DOC), light and heavy particulate organic matter C (POM-C), MAOM, and microbial biomass C (MBC) levels in the 0–10 cm layer under ST based treatments were 95, 8, 6, 2 and 45% greater, respectively, compared to CT with no residue treatment. When compared to the CT treatment, the DOC, light POM-C, heavy POM-C, and MAOM in the 10–20 cm layer with ST treatment were 8, 34, 25, 4 and 37% higher, respectively. Residue retention in ST increased average rice, maize, and system yields by 9.2, 14.0, and 14.12%, respectively, when compared to CT. The system gross margin and benefit-cost ratio (BCR) were $1,515 ha−1 and 1.90 under conventional tillage to$1,696 ha−1 and 2.15 under strip-tillage practices. Thus, our study suggests that CA could be an appropriate practice for sustaining soil fertility and crop yield under R-M systems in light-textured soils or other similar soils in Banglades

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

Measuring, manipulating and exploiting behaviours of adult mosquitoes to optimise malaria vector control impact.

Residual malaria transmission can persist despite high coverage with effective long-lasting insecticidal nets (LLINs) and/or indoor residual spraying (IRS), because many vector mosquitoes evade them by feeding on animals, feeding outdoors, resting outdoors or rapidly exiting from houses after entering them. However, many of these behaviours that render vectors resilient to control with IRS and LLINs also make them vulnerable to some emerging new alternative interventions. Furthermore, vector control measures targeting preferred behaviours of mosquitoes often force them to express previously rare alternative behaviours, which can then be targeted with these complementary new interventions. For example, deployment of LLINs against vectors that historically fed predominantly indoors on humans typically results in persisting transmission by residual populations that survive by feeding outdoors on humans and animals, where they may then be targeted with vapour-phase insecticides and veterinary insecticides, respectively. So while the ability of mosquitoes to express alternative behaviours limits the impact of LLINs and IRS, it also creates measurable and unprecedented opportunities for deploying complementary additional approaches that would otherwise be ineffective. Now that more diverse vector control methods are finally becoming available, well-established entomological field techniques for surveying adult mosquito behaviours should be fully exploited by national malaria control programmes, to rationally and adaptively map out new opportunities for their effective deployment

Nitroproteínas implicadas en la maduración de frutos y en el estrés por baja temperatura en plantas de pimiento (Capsicum annuum L)

Comunicaciones a congreso

Evaluation of personal protection afforded by repellent-treated sandals against mosquito bites in south-eastern Tanzania

Outdoor and early evening mosquito biting needs to be addressed if malaria elimination is to be achieved. While indoor-targeted interventions, such as insecticide-treated nets and indoor residual spraying, remain essential, complementary approaches that tackle persisting outdoor transmission are urgently required to maximize the impact. Major malaria vectors principally bite human hosts around the feet and ankles. Consequently, this study investigated whether sandals treated with efficacious spatial repellents can protect against outdoor biting mosquitoes. Sandals affixed with hessian bands measuring 48 cm treated with 0.06 g, 0.10 g and 0.15 g of transfluthrin were tested in large cage semi-field and full field experiments. Sandals affixed with hessian bands measuring 240 cm and treated with 0.10 g and 0.15 g of transfluthrin were also tested semi field experiments. Human landing catches (HLC) were used to assess reduction in biting exposure by comparing proportions of mosquitoes landing on volunteers wearing treated and untreated sandals. Sandals were tested against insectary reared Anopheles arabiensis mosquitoes in semi-field experiments and against wild mosquito species in rural Tanzania. In semi-field tests, sandals fitted with hessian bands measuring 48 cm and treated with 0.15 g, 0.10 g and 0.06 g transfluthrin reduced mosquito landings by 45.9%, (95% confidence interval (C.I.) 28-59%), 61.1% (48-71%), and 25.9% (9-40%), respectively compared to untreated sandals. Sandals fitted with hessian bands measuring 240 cm and treated with 0.15 g and 0.10 g transfluthrin reduced mosquito landings by 59% (43-71%) and 64% (48-74%), respectively. In field experiments, sandals fitted with hessian bands measuring 48 cm and treated with 0.15 g transfluthrin reduced mosquito landings by 70% (60-76%) against Anopheles gambiae sensu lato, and 66.0% (59-71%) against all mosquito species combined. Transfluthrin-treated sandals conferred significant protection against mosquito bites in semi-field and field settings. Further evaluation is recommended for this tool as a potential complementary intervention against malaria. This intervention could be particularly useful for protecting against outdoor exposure to mosquito bites. Additional studies are necessary to optimize treatment techniques and substrates, establish safety profiles and determine epidemiological impact in different settings

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

Análisis de la nitración fisiológica de proteínas en órganos de plantas de guisante (Pisum sativum L) durante su desarrollo y senescencia

Comunicaciones a congreso

Suppression of malaria vector densities and human infection prevalence associated with scale-up of mosquito-proofed housing in Dar es Salaam, Tanzania: re-analysis of an observational series of parasitological and entomological surveys.

BACKGROUND In the city of Dar es Salaam, Tanzania, rapid and spontaneous scale-up of window screening occurred through purely horizontal commercial distribution systems without any public subsidies or promotion. Scale-up of window screening coincided with a planned evaluation of programmatic, vertically managed scale-up of regular larvicide application as an intervention against malaria vectors and transmission. We aimed to establish whether scale-up of window screening was associated with suppression of mosquito populations, especially for malaria vectors that strongly prefer humans as their source of blood. METHODS This study was a re-analysis of a previous observational series of epidemiological data plus new analyses of previously partly reported complementary entomological data, from Dar es Salaam. Between 2004 and 2008, six rounds of cluster-sampled, rolling, cross-sectional parasitological and questionnaire surveys were done in urban Dar es Salaam to assess the effect of larviciding and other determinants of malaria risk, such as use of bed nets and antimalarial drugs, socioeconomic status, age, sex, travel history, mosquito-proofed housing, and spending time outdoors. The effects of scaled-up larvicide application and window screening were estimated by fitting generalised linear mixed models that allowed for both spatial variation between survey locations and temporal autocorrelation within locations. We also conducted continuous longitudinal entomological surveys of outdoor human biting rates by mosquitoes and experimental measurements of mosquito host preferences. FINDINGS Best-fit models of Plasmodium falciparum malaria infection prevalence among humans were largely consistent with the results of the previous analyses. Re-analysis of previously reported epidemiological data revealed that most of the empirically fitted downward time trend in P falciparum malaria prevalence over the course of the study (odds ratio [OR] 0·04; 95% CI 0·03-0·06; p<0·0001), which was not previously reported numerically or attributed to any explanatory factor, could be plausibly explained by association with an upward trend in city-wide window screening coverage (OR 0·07; 0·05-0·09; p<0·0001) and progressive rollout of larviciding (OR 0·50; 0·41-0·60; p<0·0001). Increasing coverage of complete window screening was also associated with reduced biting densities of all taxonomic groups of mosquitoes (all p<0·0001), especially the Anopheles gambiae complex (relative rate [RR] 0·23; 95% CI 0·16-0·33) and Anopheles funestus group (RR 0·08; 0·04-0·16), which were confirmed as the most efficient vectors of malaria with strong preferences for humans over cattle. Larviciding was also associated with reduced biting densities of all mosquito taxa (p<0·0001), to an extent that varied consistently with the larvicide targeting scheme and known larval ecology of each taxon. INTERPRETATION Community-wide mosquito proofing of houses might deliver greater impacts on vector populations and malaria transmission than previously thought. The spontaneous nature of the scale-up observed here is also encouraging with regards to practicality, acceptability, and affordability in low-income settings. FUNDING United States Agency for International Development, Bill & Melinda Gates Foundation, Wellcome Trust, and Valent BioSciences LLC