Development after Displacement: Evaluating the Utility of OpenStreetMap Data for Monitoring Sustainable Development Goal Progress in Refugee Settlements

In 2015, 193 countries declared their commitment to “leave no one behind” in pursuit of 17 Sustainable Development Goals (SDGs). However, the world’s refugees have been routinely excluded from national censuses and representative surveys, and, as a result, have broadly been overlooked in SDG evaluations. In this study, we examine the potential of OpenStreetMap (OSM) data for monitoring SDG progress in refugee settlements. We collected all available OSM data in 28 refugee and 26 nearby non-refugee settlements in the major refugee-hosting country of Uganda. We created a novel SDG-OSM data model, measured the spatial and temporal coverages of SDG-relevant OSM data across refugee settlements, and compared these results to non-refugee settlements. We found 11 different SDGs represented across 92% (21,950) of OSM data in refugee settlements, compared to 78% (1919 nodes) in non-refugee settlements. However, most data were created three years after refugee arrival, and 81% of OSM data in refugee settlements were never edited, both of which limit the potential for long-term monitoring of SDG progress. In light of our findings, we offer suggestions for improving OSM-driven SDG monitoring in refugee settlements that have relevance for development and humanitarian practitioners and research communities alike

Hitting all Maximal Independent Sets of a Bipartite Graph

We prove that given a bipartite graph G with vertex set V and an integer k, deciding whether there exists a subset of V of size k hitting all maximal independent sets of G is complete for the class Sigma_2^P.Comment: v3: minor chang

Improving Strategies via SMT Solving

We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widening operators for enforcing convergence within a finite number of iterations (ii) the use of merge operations (often, convex hulls) at the merge points of the control flow graph. It instead computes the least inductive invariant expressible in the domain at a restricted set of program points, and analyzes the rest of the code en bloc. We emphasize that we compute this inductive invariant precisely. For that we extend the strategy improvement algorithm of [Gawlitza and Seidl, 2007]. If we applied their method directly, we would have to solve an exponentially sized system of abstract semantic equations, resulting in memory exhaustion. Instead, we keep the system implicit and discover strategy improvements using SAT modulo real linear arithmetic (SMT). For evaluating strategies we use linear programming. Our algorithm has low polynomial space complexity and performs for contrived examples in the worst case exponentially many strategy improvement steps; this is unsurprising, since we show that the associated abstract reachability problem is Pi-p-2-complete

Ultrafast 2D-IR spectroscopy of [NiFe] hydrogenase from E. coli reveals the role of the protein scaffold in controlling the active site environment

Ultrafast two-dimensional infrared (2D-IR) spectroscopy of Escherichia coli Hyd-1 (EcHyd-1) reveals the structural and dynamic influence of the protein scaffold on the Fe(CO)(CN)2 unit of the active site. Measurements on as-isolated EcHyd-1 probed a mixture of active site states including two, which we assign to Nir-SI/II, that have not been previously observed in the E. coli enzyme. Explicit assignment of carbonyl (CO) and cyanide (CN) stretching bands to each state is enabled by 2D-IR. Energies of vibrational levels up to and including two-quantum vibrationally excited states of the CO and CN modes have been determined along with the associated vibrational relaxation dynamics. The carbonyl stretching mode potential is well described by a Morse function and couples weakly to the cyanide stretching vibrations. In contrast, the two CN stretching modes exhibit extremely strong coupling, leading to the observation of formally forbidden vibrational transitions in the 2D-IR spectra. We show that the vibrational relaxation times and structural dynamics of the CO and CN ligand stretching modes of the enzyme active site differ markedly from those of a model compound K[CpFe(CO)(CN)2] in aqueous solution and conclude that the protein scaffold creates a unique biomolecular environment for the NiFe site that cannot be represented by analogy to simple models of solvation

Sporting embodiment: sports studies and the (continuing) promise of phenomenology

Whilst in recent years sports studies have addressed the calls ‘to bring the body back in’ to theorisations of sport and physical activity, the ‘promise of phenomenology’ remains largely under-realised with regard to sporting embodiment. Relatively few accounts are grounded in the ‘flesh’ of the lived sporting body, and phenomenology offers a powerful framework for such analysis. A wide-ranging, multi-stranded, and interpretatively contested perspective, phenomenology in general has been taken up and utilised in very different ways within different disciplinary fields. The purpose of this article is to consider some selected phenomenological threads, key qualities of the phenomenological method, and the potential for existentialist phenomenology in particular to contribute fresh perspectives to the sociological study of embodiment in sport and exercise. It offers one way to convey the ‘essences’, corporeal immediacy and textured sensuosity of the lived sporting body. The use of Interpretative Phenomenological Analysis (IPA) is also critically addressed. Key words: phenomenology; existentialist phenomenology; interpretative phenomenological analysis (IPA); sporting embodiment; the lived-body; Merleau-Pont

A functional link between bone morphogenetic proteins and insulin-like peptide 3 signaling in modulating ovarian androgen production

Bone morphogenetic proteins (BMP) are firmly implicated as intra-ovarian regulators of follicle development and steroidogenesis. Here we report a microarray analysis showing that treatment of cultured bovine theca cells (TC) with BMP6 significantly (>2-fold; P<0.01) up- or down-regulated expression of 445 genes. Insulin-like peptide 3 (INSL3) was the most heavily down-regulated gene (-43-fold) with CYP17A1 and other key transcripts involved in TC steroidogenesis including LHCGR, INHA, STAR, CYP11A1 and HSD3B1 also down-regulated. BMP6 also reduced expression of NR5A1 encoding steroidogenic factor-1 known to target the promoter regions of the aforementioned genes. Real-time PCR confirmed these findings and also revealed a marked reduction in expression of INSL3 receptor (RXFP2). Secretion of INSL3 protein and androstenedione were also suppressed suggesting a functional link between BMP and INSL3 pathways in controlling androgen synthesis. RNAi-mediated knockdown of INSL3 reduced INSL3 mRNA and secreted protein level (75 and 94%, respectively) and elicited a 77% reduction in CYP17A1 mRNA level and 83% reduction in androstenedione secretion. Knockdown of RXFP2 also reduced CYP17A1 mRNA level (81%) and androstenedione secretion (88%). Conversely, treatment with exogenous (human) INSL3 increased androstenedione secretion ~2-fold. The CYP17 inhibitor abiraterone abolished androgen secretion and reduced expression of both INSL3 and RXFP2. Collectively, these findings indicate a positive autoregulatory role for INSL3 signaling in maintaining thecal androgen production, and visa versa. Moreover, BMP6-induced suppression of thecal androgen synthesis may be mediated, at least in part, by reduced INSL3-RXFP2 signaling

Depression and Motivation

Among the characteristic features of depression is a diminishment in or lack of action and motivation. In this paper, I consider a dominant philosophical account which purports to explain this lack of action or motivation. This approach comes in different versions but a common theme is, I argue, an over reliance on psychologistic assumptions about action–explanation and the nature of motivation. As a corrective I consider an alternative view that gives a prominent place to the body in motivation. Central to the experience of depression are changes to how a person is motivated to act and, also as central, are changes to bodily feelings and capacities. I argue that broadly characterizing motivation in terms of bodily capacities can, in particular, provide a more compelling account of depressive motivational pathology

A tool for examining the role of the zinc finger myelin transcription factor 1 (Myt1) in neural development: Myt1 knock-in mice

The Myt1 family of transcription factors is unique among the many classes of zinc finger proteins in how the zinc-stabilized fingers contact the DNA helix. To examine the function of Myt1 in the developing nervous system, we generated mice in which Myt1 expression was replaced by an enhanced Green Fluorescent Protein fused to a Codon-improved Cre recombinase as a protein reporter. Myt1 knock-in mice die at birth, apparently due to improper innervation of their lungs. Elimination of Myt1 did not significantly affect the number or distribution of neural precursor cells that normally express Myt1 in the embryonic spinal cord. Nor was the general pattern of differentiated neurons altered in the embryonic spinal cord. The Myt1 knock-in mice should provide an important tool for identifying the in vivo targets of Myt1 action and unraveling the role of this structurally distinct zinc finger protein in neural development

Loss and damage livelihood resilience

Climate change Loss and Damage has emerged as a key challenge of the 21st century. This Policy Brief first frames the challenge and then introduces the Resilience Academy, highlighting 5 key insights that both feed the debate and inform action. Finally, it provides 5 recommendations to the Executive Committee of the Warsaw International Mechanism (WIM ExCom) for its 5-year work plan