Speeding up the constraint-based method in difference logic

"The final publication is available at http://link.springer.com/chapter/10.1007%2F978-3-319-40970-2_18"Over the years the constraint-based method has been successfully applied to a wide range of problems in program analysis, from invariant generation to termination and non-termination proving. Quite often the semantics of the program under study as well as the properties to be generated belong to difference logic, i.e., the fragment of linear arithmetic where atoms are inequalities of the form u v = k. However, so far constraint-based techniques have not exploited this fact: in general, Farkas’ Lemma is used to produce the constraints over template unknowns, which leads to non-linear SMT problems. Based on classical results of graph theory, in this paper we propose new encodings for generating these constraints when program semantics and templates belong to difference logic. Thanks to this approach, instead of a heavyweight non-linear arithmetic solver, a much cheaper SMT solver for difference logic or linear integer arithmetic can be employed for solving the resulting constraints. We present encouraging experimental results that show the high impact of the proposed techniques on the performance of the VeryMax verification systemPeer ReviewedPostprint (author's final draft

Genetic variation among species, races, forms and inbred lines of lac insects belonging to the genus Kerria (Homoptera, Tachardiidae)

The lac insects (Homoptera: Tachardiidae), belonging to the genus Kerria, are commercially exploited for the production of lac. Kerria lacca is the most commonly used species in India. RAPD markers were used for assessing genetic variation in forty-eight lines of Kerria, especially among geographic races, infrasubspecific forms, cultivated lines, inbred lines, etc., of K. lacca. In the 48 lines studied, the 26 RAPD primers generated 173 loci, showing 97.7% polymorphism. By using neighbor-joining, the dendrogram generated from the similarity matrix resolved the lines into basically two clusters and outgroups. The major cluster, comprising 32 lines, included mainly cultivated lines of the rangeeni form, geographic races and inbred lines of K. lacca. The second cluster consisted of eight lines of K. lacca, seven of the kusmi form and one of the rangeeni from the southern state of Karnataka. The remaining eight lines formed a series of outgroups, this including a group of three yellow mutant lines of K. lacca and other species of the Kerria studied, among others. Color mutants always showed distinctive banding patterns compared to their wild-type counterparts from the same population. This study also adds support to the current status of kusmi and rangeeni, as infraspecific forms of K. lacca

Inhibitory Potential of Prodomain of Plasmodium falciparum Protease Serine Repeat Antigen 5 for Asexual Blood Stages of Parasite

Plasmodium falciparum serine repeat antigen 5 (SERA5) is a target for both drug and vaccine intervention against malaria. SERA5 is secreted in the parasitophorous vacuole where it is proteolytically processed before schizont rupture. Among the processed products is a 50.8-kDa central domain of the protease, which possesses chymotrypsin-like activity and consists of a 28.9-kDa catalytic domain with a 21.9-kDa N-terminal prodomain, which remain attached together. Because SERA5 has been implicated in merozoite egress from host erythrocytes, the effect of the prodomain and a heptapeptide derived from its C-terminus spanning from D560 to F566 (DNSDNMF) on parasite growth was studied. When E. coli-expressed prodomain was incubated with parasite culture, a significant delay in transition from schizont to ring stages was observed up to nanomolar concentrations. The peptide, DNSDNMF also showed similar effects but at nearly 1000-fold higher concentrations. The peptide was also found to interact with the catalytic domain. These data demonstrate the crucial role of SERA5 prodomain for the egress process. Given the inhibitory potential of the prodomain for the parasite, we suggest that peptidomimetic inhibitors based on SERA5 prodomain sequences can be developed as future therapeutics against malaria

Ethnobotany in the Nepal Himalaya

<p>Abstract</p> <p>Background</p> <p>Indigenous knowledge has become recognized worldwide not only because of its intrinsic value but also because it has a potential instrumental value to science and conservation. In Nepal, the indigenous knowledge of useful and medicinal plants has roots in the remote past.</p> <p>Methods</p> <p>The present study reviews the indigenous knowledge and use of plant resources of the Nepal Himalayas along the altitudinal and longitudinal gradient. A total of 264 studies focusing on ethnobotany, ethnomedicine and diversity of medicinal and aromatic plants, carried out between 1979 and 2006 were consulted for the present analysis. In order to cross check and verify the data, seven districts of west Nepal were visited in four field campaigns.</p> <p>Results</p> <p>In contrast to an average of 21–28% ethnobotanically/ethnomedicinally important plants reported for Nepal, the present study found that up to about 55% of the flora of the study region had medicinal value. This indicates a vast amount of undocumented knowledge about important plant species that needs to be explored and documented. The richness of medicinal plants decreased with increasing altitude but the percentage of plants used as medicine steadily increased with increasing altitude. This was due to preferences given to herbal remedies in high altitude areas and a combination of having no alternative choices, poverty and trust in the effectiveness of folklore herbal remedies.</p> <p>Conclusion</p> <p>Indigenous knowledge systems are culturally valued and scientifically important. Strengthening the wise use and conservation of indigenous knowledge of useful plants may benefit and improve the living standard of poor people.</p

Responsibility for managing musculoskeletal disorders – A cross-sectional postal survey of attitudes

Background: Musculoskeletal disorders are a major burden on individuals, health systems and social care systems and rehabilitation efforts in these disorders are considerable. Self-care is often considered a cost effective treatment alternative owing to limited health care resources. But what are the expectations and attitudes in this question in the general population? The purpose of this study was to describe general attitudes to responsibility for the management of musculoskeletal disorders and to explore associations between attitudes and background variables. Methods: A cross-sectional, postal questionnaire survey was carried out with a random sample of a general adult Swedish population of 1770 persons. Sixty-one percent (n = 1082) responded to the questionnaire and was included for the description of general attitudes towards responsibility for the management of musculoskeletal disorders. For the further analyses of associations to background variables 683–693 individuals could be included. Attitudes were measured by the &quot;Attitudes regarding Responsibility for Musculoskeletal disorders&quot; (ARM) instrument, where responsibility is attributed on four dimensions; to myself, as being out of my hands, to employers or to (medical) professionals. Multiple logistic regression was used to explore associations between attitudes to musculoskeletal disorders and the background variables age, sex, education, physical activity, presence of musculoskeletal disorders, sick leave and whether the person had visited a care provider. Results: A majority of participants had internal views, i.e. showed an attitude of taking personal responsibility for musculoskeletal disorders, and did not place responsibility for the management out of their own hands or to employers. However, attributing shared responsibility between self and medical professionals was also found.The main associations found between attitude towards responsibility for musculoskeletal disorders and investigated background variables were that physical inactivity (OR 2.92–9.20), musculoskeletal disorder related sick leave (OR 2.31–3.07) and no education beyond the compulsory level (OR 3.12–4.76) increased the odds of attributing responsibility externally, i.e placing responsibility on someone or something else.Conclusion: Respondents in this study mainly saw themselves as responsible for managing musculoskeletal disorders. The associated background variables refined this finding and one conclusion is that, to optimise outcome when planning the prevention, treatment and management of these disorders, people&apos;s attitudes should be taken into account

What do young adolescents think about taking part in longitudinal self-harm research?: findings from a school-based study

Background: Research about self-harm in adolescence is important given the high incidence in youth, and strong links to suicide and other poor outcomes. Clarifying the impact of involvement in school based self-harm studies on young adolescents is an ethical priority given heightened risk at this developmental stage. Methods: Here, 594 school-based students aged mainly 13-14 years completed a survey on self-harm at baseline and again 12-weeks later. Change in mood following completion of each survey, ratings and thoughts about participation, and responses to a mood-mitigation activity were analysed using a multi-method approach. Results: Baseline participation had no overall impact on mood. However, boys and girls reacted differently to the survey depending on self-harm status. Having a history of self-harm had a negative impact on mood for girls, but a positive impact on mood for boys. In addition, participants rated the survey in mainly positive/neutral terms, and cited benefits including personal insight and altruism. At follow-up, there was a negative impact on mood following participation, but no significant effect of gender or self-harm status. Ratings at follow-up were mainly positive/neutral. Those who had self-harmed reported more positive and fewer negative ratings than at baseline: the opposite pattern of response was found for those who had not self-harmed. Mood mitigation activities were endorsed. Conclusions: Self-harm research with youth is feasible in school settings. Most young people are happy to take part and cite important benefits. However, the impact of participation in research appears to vary according to gender, self-harm risk and method/time of assessment. The impact of repeated assessment requires clarification. Simple mood-elevation techniques may usefully help to mitigate distress

Biophysics of Malarial Parasite Exit from Infected Erythrocytes

Upon infection and development within human erythrocytes, P. falciparum induces alterations to the infected RBC morphology and bio-mechanical properties to eventually rupture the host cells through parasitic and host derived proteases of cysteine and serine families. We used previously reported broad-spectrum inhibitors (E64d, EGTA-AM and chymostatin) to inhibit these proteases and impede rupture to analyze mechanical signatures associated with parasite escape. Treatment of late-stage iRBCs with E64d and EGTA-AM prevented rupture, resulted in no major RBC cytoskeletal reconfiguration but altered schizont morphology followed by dramatic re-distribution of three-dimensional refractive index (3D-RI) within the iRBC. These phenotypes demonstrated several-fold increased iRBC membrane flickering. In contrast, chymostatin treatment showed no 3D-RI changes and caused elevated fluctuations solely within the parasitophorous vacuole. We show that E64d and EGTA-AM supported PV breakdown and the resulting elevated fluctuations followed non-Gaussian pattern that resulted from direct merozoite impingement against the iRBC membrane. Optical trapping experiments highlighted reduced deformability of the iRBC membranes upon rupture-arrest, more specifically in the treatments that facilitated PV breakdown. Taken together, our experiments provide novel mechanistic interpretations on the role of parasitophorous vacuole in maintaining the spherical schizont morphology, the impact of PV breakdown on iRBC membrane fluctuations leading to eventual parasite escape and the evolution of membrane stiffness properties of host cells in which merozoites were irreversibly trapped, recourse to protease inhibitors. These findings provide a comprehensive, previously unavailable, body of information on the combined effects of biochemical and biophysical factors on parasite egress from iRBCs.Singapore. Agency for Science, Technology and ResearchSingapore-MIT AllianceGlobal Enterprise for Micro-Mechanics and Molecular MedicineNational University of SingaporeNational Institutes of Health (U.S.) (Grant R01 HL094270-01A1)National Institutes of Health (U.S.) (Grant 1-R01-GM076689-01)National Institutes of Health (U.S.) (P41-RR02594-18-24

The effect of dopamine agonists on adaptive and aberrant salience in Parkinson's disease

Clinical evidence suggests that after initiation of dopaminergic medications some patients with Parkinson's disease (PD) develop psychotic symptoms, such as hallucinations and delusions. Here, we tested the hypothesis that the neurocognitive basis of this phenomenon can be defined as the formation of arbitrary and illusory associations between conditioned stimuli and reward signals, called aberrant salience. Young, never-medicated PD patients and matched controls were assessed on a speeded reaction time task in which the probe stimulus was preceded by conditioned stimuli that could signal monetary reward by color or shape. The patients and controls were re-evaluated after 12 weeks during which the patients received a dopamine agonist (pramipexole or ropinirole). Results indicated that dopamine agonists increased both adaptive and aberrant salience in PD patients, that is, formation of real and illusory associations between conditioned stimuli and reward, respectively. This effect was present when associations were assessed by means of faster responding after conditioned stimuli signaling reward (implicit salience) and overt rating of stimulus-reward links (explicit salience). However, unusual feelings and experiences, which are subclinical manifestations of psychotic-like symptoms, were specifically related to irrelevant and illusory stimulus-reward associations (aberrant salience) in PD patients receiving dopamine agonists. The learning of relevant and real stimulus-reward associations (adaptive salience) was not related to unusual experiences. These results suggest that dopamine agonists may increase psychotic-like experiences in young patients with PD, possibly by facilitating dopaminergic transmission in the ventral striatum, which results in aberrant associations between conditioned stimuli and reward

Clues to Evolution of the SERA Multigene Family in 18 Plasmodium Species

SERA gene sequences were newly determined from 11 primate Plasmodium species including two human parasites, P. ovale and P. malariae, and the evolutionary history of SERA genes was analyzed together with 7 known species. All have one each of Group I to III cysteine-type SERA genes and varying number of Group IV serine-type SERA genes in tandem cluster. Notably, Group IV SERA genes were ascertained in all mammalian parasite lineages; and in two primate parasite lineages gene events such as duplication, truncation, fragmentation and gene loss occurred at high frequency in a manner that mimics the birth-and-death evolution model. Transcription profile of individual SERA genes varied greatly among rodent and monkey parasites. Results support the lineage-specific evolution of the Plasmodium SERA gene family. These findings provide further impetus for studies that could clarify/provide proof-of-concept that duplications of SERA genes were associated with the parasites' expansion of host range and the evolutionary conundrums of multigene families in Plasmodium