Proof Relevant Corecursive Resolution

Resolution lies at the foundation of both logic programming and type class context reduction in functional languages. Terminating derivations by resolution have well-defined inductive meaning, whereas some non-terminating derivations can be understood coinductively. Cycle detection is a popular method to capture a small subset of such derivations. We show that in fact cycle detection is a restricted form of coinductive proof, in which the atomic formula forming the cycle plays the role of coinductive hypothesis. This paper introduces a heuristic method for obtaining richer coinductive hypotheses in the form of Horn formulas. Our approach subsumes cycle detection and gives coinductive meaning to a larger class of derivations. For this purpose we extend resolution with Horn formula resolvents and corecursive evidence generation. We illustrate our method on non-terminating type class resolution problems.Comment: 23 pages, with appendices in FLOPS 201

Digit-only sauropod pes trackways from China - evidence of swimming or a preservational phenomenon?

For more than 70 years unusual sauropod trackways have played a pivotal role in debates about the swimming ability of sauropods. Most claims that sauropods could swim have been based on manus-only or manus-dominated trackways. However none of these incomplete trackways has been entirely convincing, and most have proved to be taphonomic artifacts, either undertracks or the result of differential depth of penetration of manus and pes tracks, but otherwise showed the typical pattern of normal walking trackways. Here we report an assemblage of unusual sauropod tracks from the Lower Cretaceous Hekou Group of Gansu Province, northern China, characterized by the preservation of only the pes claw traces, that we interpret as having been left by walking, not buoyant or swimming, individuals. They are interpreted as the result of animals moving on a soft mud-silt substrate, projecting their claws deeply to register their traces on an underlying sand layer where they gained more grip during progression. Other sauropod walking trackways on the same surface with both pes and manus traces preserved, were probably left earlier on relatively firm substrates that predated the deposition of soft mud and silt . Presently, there is no convincing evidence of swimming sauropods from their trackways, which is not to say that sauropods did not swim at all

Changing gender roles and attitudes and their implications for well-being around the new millennium

<b>Purpose</b><p></p> Given evidence that gender role attitudes (GRAs) and actual gender roles impact on well-being, we examine associations between GRAs, three roles (marital status, household chore division, couple employment) and psychological distress in working-age men and women. We investigate time-trends reflecting broader social and economic changes, by focusing on three age groups at two dates.<p></p> <b>Methods</b><p></p> We used British Household Panel Survey data from 20- to 64-year-olds in heterosexual couple households in 1991 (N = 5,302) and 2007 (N = 6,621). We examined: levels of traditional GRAs according to gender, age, date, household and employment roles; associations which GRAs and roles had with psychological distress (measured via the GHQ-12); whether psychological distress increased when GRAs conflicted with actual roles; and whether any of these associations differed according to gender, age or date.<p></p> <b>Results</b><p></p> Gender traditionalism was lower among women, younger people, those participating in 2007 and in ‘less traditional’ relationships and households. Psychological distress was higher among those with more traditional GRAs and, particularly among men, for those not employed, and there was some evidence of different patterns of association according to age-group. There was limited evidence, among women only, of increased psychological distress when GRAs and actual roles conflicted and/or reductions when GRAs and roles agreed, particularly in respect of household chores and paid employment.<p></p> <b>Conclusions</b><p></p> Although some aspects of gender roles and attitudes (traditionalism and paid employment) are associated with well-being, others (marital status and household chores), and attitude-role consistency, may have little impact on the well-being of contemporary UK adults.<p></p&gt

Bowling Together: Scientific Collaboration Networks of Demographers at European Population Conferences

Studies of collaborative networks of demographers are relatively scarce. Similar studies in other social sciences provide insight into scholarly trends of both the fields and characteristics of their successful scientists. Exploiting a unique database of metadata for papers presented at six European Population Conferences, this report explores factors explaining research collaboration among demographers. We find that (1) collaboration among demographers has increased over the past 10 years, however, among co-authored papers, collaboration across institutions remains relatively unchanged over the period, (2) papers based on core demographic subfields such as fertility, mortality, migration and data and methods are more likely to involve multiple authors and (3) multiple author teams that are all female are less likely to co-author with colleagues in different institutions. Potential explanations for these results are discussed alongside comparisons with similar studies of collaboration networks in other related social sciences

CRISPR transcriptional repression devices and layered circuits in mammalian cells

A key obstacle to creating sophisticated genetic circuits has been the lack of scalable device libraries. Here we present a modular transcriptional repression architecture based on clustered regularly interspaced palindromic repeats (CRISPR) system and examine approaches for regulated expression of guide RNAs in human cells. Subsequently we demonstrate that CRISPR regulatory devices can be layered to create functional cascaded circuits, which provide a valuable toolbox for engineering purposes.National Institutes of Health (U.S.) (Grant 5R01CA155320-04)National Institutes of Health (U.S.) (Grant P50 GM098792)Korea (South). Ministry of Science, Information and Communication Technolgy. Intelligent Synthetic Biology Center of Global Frontier Project (2013M3A6A8073557

What we talk about when we talk about "global mindset": managerial cognition in multinational corporations

Recent developments in the global economy and in multinational corporations have placed significant emphasis on the cognitive orientations of managers, giving rise to a number of concepts such as “global mindset” that are presumed to be associated with the effective management of multinational corporations (MNCs). This paper reviews the literature on global mindset and clarifies some of the conceptual confusion surrounding the construct. We identify common themes across writers, suggesting that the majority of studies fall into one of three research perspectives: cultural, strategic, and multidimensional. We also identify two constructs from the social sciences that underlie the perspectives found in the literature: cosmopolitanism and cognitive complexity and use these two constructs to develop an integrative theoretical framework of global mindset. We then provide a critical assessment of the field of global mindset and suggest directions for future theoretical and empirical research

A systematic review of frameworks for the interrelationships of mental health evidence and policy in low- and middle-income countries

Background: The interrelationships between research evidence and policy-making are complex. Different theoretical frameworks exist to explain general evidence–policy interactions. One largely unexplored element of these interrelationships is how evidence interrelates with, and influences, policy/political agenda-setting. This review aims to identify the elements and processes of theories, frameworks and models on interrelationships of research evidence and health policy-making, with a focus on actionability and agenda-setting in the context of mental health in low- and middle-income countries (LMICs). Methods: A systematic review of theories was conducted based on the BeHeMOTh search method, using a tested and refined search strategy. Nine electronic databases and other relevant sources were searched for peer-reviewed and grey literature. Two reviewers screened the abstracts, reviewed full-text articles, extracted data and performed quality assessments. Analysis was based on a thematic analysis. The included papers had to present an actionable theoretical framework/model on evidence and policy interrelationships, such as knowledge translation or evidence-based policy, specifically target the agenda-setting process, focus on mental health, be from LMICs and published in English. Results: From 236 publications included in the full text analysis, no studies fully complied with our inclusion criteria. Widening the focus by leaving out ‘agenda-setting’, we included ten studies, four of which had unique conceptual frameworks focusing on mental health and LMICs but not agenda-setting. The four analysed frameworks confirmed research gaps from LMICs and mental health, and a lack of focus on agenda-setting. Frameworks and models from other health and policy areas provide interesting conceptual approaches and lessons with regards to agenda-setting. Conclusion: Our systematic review identified frameworks on evidence and policy interrelations that differ in their elements and processes. No framework fulfilled all inclusion criteria. Four actionable frameworks are applicable to mental health and LMICs, but none specifically target agenda-setting. We have identified agenda-setting as a research theory gap in the context of mental health knowledge translation in LMICs. Frameworks from other health/policy areas could offer lessons on agenda-setting and new approaches for creating policy impact for mental health and to tackle the translational gap in LMICs

Production properties of K*(892) vector mesons and their spin alignment as measured in the NOMAD experiment

First measurements of K*(892) mesons production properties and their spin alignment in nu_mu charged current (CC) and neutral current (NC) interactions are presented. The analysis of the full data sample of the NOMAD experiment is performed in different kinematic regions. For K*+ and K*- mesons produced in nu_mu CC interactions and decaying into K0 pi+/- we have found the following yields per event: (2.6 +/- 0.2 (stat.) +/- 0.2 (syst.))% and (1.6 +/- 0.1 (stat.) +/- 0.1 (syst.))% respectively, while for the K*+ and K*- mesons produced in nu NC interactions the corresponding yields per event are: (2.5 +/- 0.3 (stat.) +/- 0.3 (syst.))% and (1.0 +/- 0.3 (stat.) +/- 0.2 (syst.))%. The results obtained for the rho00 parameter, 0.40 +/- 0.06 (stat) +/- 0.03 (syst) and 0.28 +/- 0.07 (stat) +/- 0.03 (syst) for K*+ and K*- produced in nu_mu CC interactions, are compared to theoretical predictions tuned on LEP measurements in e+e- annihilation at the Z0 pole. For K*+ mesons produced in nu NC interactions the measured rho00 parameter is 0.66 +/- 0.10 (stat) +/- 0.05 (syst).Comment: 20 p