Verification of PCP-Related Computational Reductions in Coq

We formally verify several computational reductions concerning the Post correspondence problem (PCP) using the proof assistant Coq. Our verifications include a reduction of a string rewriting problem generalising the halting problem for Turing machines to PCP, and reductions of PCP to the intersection problem and the palindrome problem for context-free grammars. Interestingly, rigorous correctness proofs for some of the reductions are missing in the literature

Cultural differences in postnatal quality of life among German-speaking women - a prospective survey in two countries.

Assessment of quality of life after childbirth is an important health-outcome measurement for new mothers and is of special interest in midwifery. The Mother-Generated Index (MGI) is a validated instrument to assess postnatal quality of life. The tool has not been applied for making a cross-cultural comparison before. This study investigated (a) responses to the MGI in German-speaking women in Germany and Switzerland; and (b) associations between MGI scores on the one hand and maternity and midwifery care on the other

Orientation Sensitivity at Different Stages of Object Processing: Evidence from Repetition Priming and Naming

An ongoing debate in the object recognition literature centers on whether the shape representations used in recognition are coded in an orientation-dependent or orientation-invariant manner. In this study, we asked whether the nature of the object representation (orientation-dependent vs orientation-invariant) depends on the information-processing stages tapped by the task

Is there an orthographic boost for ambiguous words during their processing?

The present study explores the issue of why ambiguous words are recognized faster than unambiguous ones during word recognition. To this end we contrasted two different hypotheses: the semantic feedback hypothesis (Hino and Lupker in J Exp Psychol Hum Percept Perform 22:1331-1356, 1996. https://doi.org/10.1037/0096-1523.22.6.1331 ), and the hypothesis proposed by Borowsky and Masson (J Exp Psychol Learn Mem Cognit 22:63-85, 1996. https://doi.org/10.1037/0278-7393.22.1.63 ). Although both hypotheses agree that ambiguous words benefit during recognition in that they engage more semantic activation, they disagree as to whether or not this greater semantic activation feeds back to the orthographic level, hence speeding up the orthographic coding of ambiguous words. Participants were presented with ambiguous and unambiguous words in two tasks, a lexical decision task (LDT) and a two-alternative forced-choice task (2AFC). We found differences between ambiguous and unambiguous words in both the LDT and the 2AFC tasks. These results suggest that the orthographic coding of ambiguous words is boosted during word processing. This finding lends support to the semantic feedback hypothesis.This research was funded by the Spanish Ministry of Economy and Competitiveness (PSI2015-63525-P) and by the Research Promotion Program of the Universitat Rovira i Virgili (2016PFR-URV-B2-37). This has also been partially supported by the FCT (Foundation for Science and Technology) through the state budget with Reference IF/00784/2013/CP1158/CT0013. The first author also holds a grant from the Universitat Rovira i Virgili (2015PMF-PIPF-16)

Endogenous cholinergic inputs and local circuit mechanisms govern the phasic mesolimbic dopamine response to nicotine

Nicotine exerts its reinforcing action by stimulating nicotinic acetylcholine receptors (nAChRs) and boosting dopamine (DA) output from the ventral tegmental area (VTA). Recent data have led to a debate about the principal pathway of nicotine action: direct stimulation of the DAergic cells through nAChR activation, or disinhibition mediated through desensitization of nAChRs on GABAergic interneurons. We use a computational model of the VTA circuitry and nAChR function to shed light on this issue. Our model illustrates that the α4β2-containing nAChRs either on DA or GABA cells can mediate the acute effects of nicotine. We account for in vitro as well as in vivo data, and predict the conditions necessary for either direct stimulation or disinhibition to be at the origin of DA activity increases. We propose key experiments to disentangle the contribution of both mechanisms. We show that the rate of endogenous acetylcholine input crucially determines the evoked DA response for both mechanisms. Together our results delineate the mechanisms by which the VTA mediates the acute rewarding properties of nicotine and suggest an acetylcholine dependence hypothesis for nicotine reinforcement.Peer reviewe

Genetic variation for tuber mineral concentrations in accessions of the Commonwealth Potato Collection

The variation in tuber mineral concentrations amongst accessions of wild tuber-bearing Solanum species in the Commonwealth Potato Collection (CPC) was evaluated under greenhouse conditions. Selected CPC accessions, representing the eco-geographical distribution of wild potatoes, were grown to maturity in peat-based compost under controlled conditions. Tubers from five plants of each accession were harvested, bulked and their mineral composition analysed. Among the germplasm investigated, there was a greater range in tuber concentrations of some elements of nutritional significance to both plants and animals, such as (Ca, Fe and Zn; 6.7, 3.6, and 4.5-fold respectively) than others, such as (K, P and S; all <3-fold). Significant positive correlations were found between mean altitude of the species' range and tuber P, K, Cu and Mg concentrations. The amount of diversity observed in the CPC collection indicates the existence of wide differences in tuber mineral accumulation among different potato accessions. This might be useful in breeding for nutritional improvement of potato tubers

Animal-related factors associated with moderate-to-severe diarrhea in children younger than five years in western Kenya: A matched case-control study

Background Diarrheal disease remains among the leading causes of global mortality in children younger than 5 years. Exposure to domestic animals may be a risk factor for diarrheal disease. The objectives of this study were to identify animal-related exposures associated with cases of moderate-to-severe diarrhea (MSD) in children in rural western Kenya, and to identify the major zoonotic enteric pathogens present in domestic animals residing in the homesteads of case and control children. Methodology/Principal findings We characterized animal-related exposures in a subset of case and control children (n = 73 pairs matched on age, sex and location) with reported animal presence at home enrolled in the Global Enteric Multicenter Study in western Kenya, and analysed these for an association with MSD. We identified potentially zoonotic enteric pathogens in pooled fecal specimens collected from domestic animals resident at children’s homesteads. Variables that were associated with decreased risk of MSD were washing hands after animal contact (matched odds ratio [MOR] = 0.2; 95% CI 0.08–0.7), and presence of adult sheep that were not confined in a pen overnight (MOR = 0.1; 0.02–0.5). Variables that were associated with increased risk of MSD were increasing number of sheep owned (MOR = 1.2; 1.0–1.5), frequent observation of fresh rodent excreta (feces/urine) outside the house (MOR = 7.5; 1.5–37.2), and participation of the child in providing water to chickens (MOR = 3.8; 1.2–12.2). Of 691 pooled specimens collected from 2,174 domestic animals, 159 pools (23%) tested positive for one or more potentially zoonotic enteric pathogens (Campylobacter jejuni, C. coli, non-typhoidal Salmonella, diarrheagenic E. coli, Giardia, Cryptosporidium, or rotavirus). We did not find any association between the presence of particular pathogens in household animals, and MSD in children. Conclusions and significance Public health agencies should continue to promote frequent hand washing, including after animal contact, to reduce the risk of MSD. Future studies should address specific causal relations of MSD with sheep and chicken husbandry practices, and with the presence of rodents

Mitochondrial echoes of first settlement and genetic continuity in El Salvador

Background: From Paleo-Indian times to recent historical episodes, the Mesoamerican isthmus played an important role in the distribution and patterns of variability all around the double American continent. However, the amount of genetic information currently available on Central American continental populations is very scarce. In order to shed light on the role of Mesoamerica in the peopling of the New World, the present study focuses on the analysis of the mtDNA variation in a population sample from El Salvador. Methodology/Principal Findings: We have carried out DNA sequencing of the entire control region of the mitochondrial DNA (mtDNA) genome in 90 individuals from El Salvador. We have also compiled more than 3,985 control region profiles from the public domain and the literature in order to carry out inter-population comparisons. The results reveal a predominant Native American component in this region: by far, the most prevalent mtDNA haplogroup in this country (at ~90%) is A2, in contrast with other North, Meso- and South American populations. Haplogroup A2 shows a star-like phylogeny and is very diverse with a substantial proportion of mtDNAs (45%; sequence range 16090–16365) still unobserved in other American populations. Two different Bayesian approaches used to estimate admixture proportions in El Salvador shows that the majority of the mtDNAs observed come from North America. A preliminary founder analysis indicates that the settlement of El Salvador occurred about 13,400±5,200 Y.B.P.. The founder age of A2 in El Salvador is close to the overall age of A2 in America, which suggests that the colonization of this region occurred within a few thousand years of the initial expansion into the Americas. Conclusions/Significance: As a whole, the results are compatible with the hypothesis that today's A2 variability in El Salvador represents to a large extent the indigenous component of the region. Concordant with this hypothesis is also the observation of a very limited contribution from European and African women (~5%). This implies that the Atlantic slave trade had a very small demographic impact in El Salvador in contrast to its transformation of the gene pool in neighbouring populations from the Caribbean facade

Resolving the ancestry of Austronesian-speaking populations

There are two very different interpretations of the prehistory of Island Southeast Asia (ISEA), with genetic evidence invoked in support of both. The “out-of-Taiwan” model proposes a major Late Holocene expansion of Neolithic Austronesian speakers from Taiwan. An alternative, proposing that Late Glacial/postglacial sea-level rises triggered largely autochthonous dispersals, accounts for some otherwise enigmatic genetic patterns, but fails to explain the Austronesian language dispersal. Combining mitochondrial DNA (mtDNA), Y-chromosome and genome-wide data, we performed the most comprehensive analysis of the region to date, obtaining highly consistent results across all three systems and allowing us to reconcile the models. We infer a primarily common ancestry for Taiwan/ISEA populations established before the Neolithic, but also detected clear signals of two minor Late Holocene migrations, probably representing Neolithic input from both Mainland Southeast Asia and South China, via Taiwan. This latter may therefore have mediated the Austronesian language dispersal, implying small-scale migration and language shift rather than large-scale expansion