Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions

In this paper we turn the spotlight on a class of lexicographic ranking functions introduced by Bradley, Manna and Sipma in a seminal CAV 2005 paper, and establish for the first time the complexity of some problems involving the inference of such functions for linear-constraint loops (without precondition). We show that finding such a function, if one exists, can be done in polynomial time in a way which is sound and complete when the variables range over the rationals (or reals). We show that when variables range over the integers, the problem is harder -- deciding the existence of a ranking function is coNP-complete. Next, we study the problem of minimizing the number of components in the ranking function (a.k.a. the dimension). This number is interesting in contexts like computing iteration bounds and loop parallelization. Surprisingly, and unlike the situation for some other classes of lexicographic ranking functions, we find that even deciding whether a two-component ranking function exists is harder than the unrestricted problem: NP-complete over the rationals and $\Sigma^P_2$-complete over the integers.Comment: Technical report for a corresponding CAV'15 pape

Functional site prediction selects correct protein models

<p>Abstract</p> <p>Background</p> <p>The prediction of protein structure can be facilitated by the use of constraints based on a knowledge of functional sites. Without this information it is still possible to predict which residues are likely to be part of a functional site and this information can be used to select model structures from a variety of alternatives that would correspond to a functional protein.</p> <p>Results</p> <p>Using a large collection of protein-like decoy models, a score was devised that selected those with predicted functional site residues that formed a cluster. When tested on a variety of small <it>α</it>/<it>β</it>/<it>α </it>type proteins, including enzymes and non-enzymes, those that corresponded to the native fold were ranked highly. This performance held also for a selection of larger <it>α</it>/<it>β</it>/<it>α </it>proteins that played no part in the development of the method.</p> <p>Conclusion</p> <p>The use of predicted site positions provides a useful filter to discriminate native-like protein models from non-native models. The method can be applied to any collection of models and should provide a useful aid to all modelling methods from <it>ab initio </it>to homology based approaches.</p

Multi-Family Psycho-Education Group for Assertive Community Treatment Clients and Families of Culturally Diverse Background: A Pilot Study

This study evaluates the incorporation of Multi-Family Psycho-education Group (MFPG) to an Assertive Community Treatment Team developed to serve culturally diverse clients who suffers from severe mental illness. Participants included Chinese and Tamil clients and their family members. Family members’ well-being, perceived burden, and acceptance of clients were assessed before and after the intervention. Focus group interviews with clinicians were conducted to qualitatively examine MFPG. Family members’ acceptance increased after MFPG. Regular attendance was associated with reduction in perceived family burden. Culturally competent delivery of MFPG enhanced family members’ understanding of mental illness and reduced stress levels and negative feelings towards clients

Sexual Arousal Patterns of Identical Twins with Discordant Sexual Orientations

Genetically identical twins can differ in their self-reported sexual orientations. However, whether the twins’ subjective reports reflect valid differences in their sexual orientations is unknown. Measures of sexual orientation, which are free of the limitations of self-report, include genital arousal and pupil dilation while viewing sexual stimuli depicting men or women. We examined these responses in 6 male twin pairs and 9 female twin pairs who reported discordant sexual orientations. Across measures, heterosexual male twins responded more strongly to women than to men. Their homosexual co-twins showed an opposite pattern. Heterosexual female twins responded equally to both sexes, whereas their homosexual co-twins responded somewhat more to women than men. These differences within pairs were similar to differences between unrelated heterosexual and homosexual males and females. Our study provides physiological evidence confirming twins’ discordant sexual orientations, thereby supporting the importance of the non-shared environment for the development of sexual orientation and sexual arousal

Nonlinear landscape and cultural response to sea-level rise

Rising sea levels have been associated with human migration and behavioral shifts throughout prehistory, often with an emphasis on landscape submergence and consequent societal collapse. However, the assumption that future sea-level rise will drive similar adaptive responses is overly simplistic. While the change from land to sea represents a dramatic and permanent shift for preexisting human populations, the process of change is driven by a complex set of physical and cultural processes with long transitional phases of landscape and socioeconomic change. Here, we use reconstructions of prehistoric sea-level rise, paleogeographies, terrestrial landscape change, and human population dynamics to show how the gradual inundation of an island archipelago resulted in decidedly nonlinear landscape and cultural responses to rising sea levels. Interpretation of past and future responses to sea-level change requires a better understanding of local physical and societal contexts to assess plausible human response patterns in the future

Family Planning Decisions, Perceptions and Gender Dynamics among Couples in Mwanza, Tanzania: A Qualitative Study.

Contraceptive use is low in developing countries which are still largely driven by male dominated culture and patriarchal values. This study explored family planning (FP) decisions, perceptions and gender dynamics among couples in Mwanza region of Tanzania. Twelve focus group discussions and six in-depth interviews were used to collect information from married or cohabiting males and females aged 18-49. The participants were purposively selected. Qualitative methods were used to explore family planning decisions, perceptions and gender dynamics among couples. A guide with questions related to family planning perceptions, decisions and gender dynamics was used. The discussions and interviews were tape-recorded, transcribed verbatim and analyzed manually and subjected to content analysis. Four themes emerged during the study. First, "risks and costs" which refer to the side effects of FP methods and the treatment of side -effects as well as the costs inherit in being labeled as an unfaithful spouse. Second, "male involvement" as men showed little interest in participating in family planning issues. However, the same men were mentioned as key decision-makers even on the number of children a couple should have and the child spacing of these children. Third, "gender relations and communication" as participants indicated that few women participated in decision-making on family planning and the number of children to have. Fourth, "urban-rural differences", life in rural favoring having more children than urban areas therefore, the value of children depended on the place of residence. Family Planning programs should adapt the promotion of communication as well as joint decision-making on FP among couples as a strategy aimed at enhancing FP use

“Am I my genes?”: Questions of identity among individuals confronting genetic disease

Purpose: To explore many questions raised by genetics concerning personal identities that have not been fully investigated. Methods: We interviewed in depth, for 2 hours each, 64 individuals who had or were at risk for Huntington disease, breast cancer, or alpha-1 antitrypsin deficiency. Results: These individuals struggled with several difficult issues of identity. They drew on a range of genotypes and phenotypes (e.g., family history alone; mutations, but no symptoms; or symptoms). They often felt that their predicament did not fit preexisting categories well (e.g., “sick,” “healthy,” “disabled,” “predisposed”), due in part to uncertainties involved (e.g., unclear prognoses, since mutations may not produce symptoms). Hence, individuals varied in how much genetics affected their identity, in what ways, and how negatively. Factors emerged related to disease, family history, and other sources of identity. These identities may, in turn, shape disclosure, coping, and other health decisions. Conclusions: Individuals struggle to construct a genetic identity. They view genetic information in highly subjective ways, varying widely in what aspects of genetic information they focus on and how. These data have important implications for education of providers (to assist patients with these issues), patients, and family members; and for research, to understand these issues more fully

Patterns of default mode network deactivation in obsessive compulsive disorder

The objective of the present study was to research the patterns of Default Mode Network (DMN) deactivation in Obsessive Compulsive Disorder (OCD) in the transition between a resting and a non-rest emotional condition. Twenty-seven participants, 15 diagnosed with OCD and 12 healthy controls (HC), underwent a functional neuroimaging paradigm in which DMN brain activation in a resting condition was contrasted with activity during a non-rest condition consisting in the presentation of emotionally pleasant and unpleasant images. Results showed that HC, when compared with OCD, had a significant deactivation in two anterior nodes of the DMN (medial frontal and superior frontal) in the non-rest pleasant stimuli condition. Additional analysis for the whole brain, contrasting the resting condition with all the non-rest conditions grouped together, showed that, compared with OCD, HC had a significantly deactivation of a widespread brain network (superior frontal, insula, middle and superior temporal, putamen, lingual, cuneus, and cerebellum). Concluding, the present study found that OCD patients had difficulties with the deactivation of DMN even when the non-rest condition includes the presentation of emotional provoking stimuli, particularly evident for images with pleasant content.The first author was funded by the Brazilian National Counsel for Scientific and Technological Development (CNPq) as a Special Visiting Researcher of the Science Without Borders program (grant number: 401143/20147). This study was partially conducted at the Neuropsychophysiology Lab from the Psychology Research Centre (UID/PSI/01662/2013), University of Minho, and supported by the Portuguese Foundation for Science and Technology and the Portuguese Ministry of Science, Technology and Higher Education through national funds and co-financed by FEDER through COMPETE2020 under the PT2020 Partnership Agreement (POCI-01-0145FEDER-007653).info:eu-repo/semantics/publishedVersio

Six-month outcomes of a web-based intervention for users of amphetamine-type stimulants: Randomized controlled trial

Background: The use of amphetamine-type stimulants (ATS) places a large burden on health services.Objective: The aim was to evaluate the effectiveness of a self-guided Web-based intervention (“breakingtheice”) for ATS users over 6 months via a free-to-access site.Methods: We conducted a randomized trial comparing a waitlist control with a fully automated intervention containing 3 modules derived from cognitive behavioral therapy and motivation enhancement. The main outcome was self-reported ATS use in the past 3 months assessed at 3- and 6-month follow-ups using the Alcohol, Smoking, and Substance Involvement Screening Test (ASSIST). Secondary outcomes were help-seeking intentions (general help-seeking questionnaire), actual help seeking (actual help-seeking questionnaire), psychological distress (Kessler 10), polydrug use (ASSIST), quality of life (European Health Interview Survey), days out of role, and readiness to change. Follow-up data were evaluated using an intention-to-treat (ITT) analysis with a group by time interaction.Results: We randomized 160 people (intervention: n=81; control: n=79). At 6 months, 38 of 81 (47%) intervention and 41 of 79 (52%) control participants provided data. ATS scores significantly declined for both groups, but the interaction effect was not significant. There were significant ITT time by group interactions for actual help seeking (rate ratio [RR] 2.16; d=0.45) and help-seeking intentions (RR 1.17; d=0.32), with help seeking increasing for the intervention group and declining for the control group. There were also significant interactions for days completely (RR 0.50) and partially (RR 0.74) out of role favoring the intervention group. However, 37% (30/81) of the intervention group did not complete even 1 module.Conclusions: This self-guided Web-based intervention encouraged help seeking associated with ATS use and reduced days out of role, but it did not reduce ATS use. Thus, this program provides a means of engaging with some sections of a difficult-to-reach group to encourage treatment, but a substantial minority remained disengaged.Trial Registration: Australian and New Zealand Clinical Trials Registry: ACTRN12611000947909;https://www.anzctr.org.au/Trial/Registration/TrialReview.aspx?id=343307 (Archived by WebCite athttp://www.webcitation.org/6Y0PGGp8q).URL http://dx.doi.org/10.2196/jmir.3778</a

Protein 3D Structure Computed from Evolutionary Sequence Variation

The evolutionary trajectory of a protein through sequence space is constrained by its function. Collections of sequence homologs record the outcomes of millions of evolutionary experiments in which the protein evolves according to these constraints. Deciphering the evolutionary record held in these sequences and exploiting it for predictive and engineering purposes presents a formidable challenge. The potential benefit of solving this challenge is amplified by the advent of inexpensive high-throughput genomic sequencing