Endothelial Cell Junctional Adhesion Molecules: Role and Regulation of Expression in Inflammation

The authors are funded by the Wellcome Trust (Investigator Award to S. Nourshargh Ref: 098291/Z/12/Z). N. Reglero-Real is additionally supported by funding from the People Programme (Marie Curie Actions) of the European Union’s Seventh Framework Programme (FP7/2007–2013) under REA grant agreement no [608765]

Certified compilation for cryptography: Extended x86 instructions and constant-time verification

We present a new tool for the generation and verification of high-assurance high-speed machine-level cryptography implementations: a certified C compiler supporting instruction extensions to the x86. We demonstrate the practical applicability of our tool by incorporating it into supercop: a toolkit for measuring the performance of cryptographic software, which includes over 2000 different implementations. We show i. that the coverage of x86 implementations in supercop increases significantly due to the added support of instruction extensions via intrinsics and ii. that the obtained verifiably correct implementations are much closer in performance to unverified ones. We extend our compiler with a specialized type system that acts at pre-assembly level; this is the first constant-time verifier that can deal with extended instruction sets. We confirm that, by using instruction extensions, the performance penalty for verifiably constant-time code can be greatly reduced.This work is financed by National Funds through the FCT - Fundação para a Ciência e a Tecnologia (Portuguese Foundation for Science and Technology) within the project PTDC/CCI-INF/31698/2017, and by the Norte Portugal Regional Operational Programme (NORTE 2020) under the Portugal 2020 Partnership Agreement, through the European Regional Development Fund (ERDF) and also by national funds through the FCT, within project NORTE-01-0145-FEDER-028550 (REASSURE)

A formally verified compiler back-end

This article describes the development and formal verification (proof of semantic preservation) of a compiler back-end from Cminor (a simple imperative intermediate language) to PowerPC assembly code, using the Coq proof assistant both for programming the compiler and for proving its correctness. Such a verified compiler is useful in the context of formal methods applied to the certification of critical software: the verification of the compiler guarantees that the safety properties proved on the source code hold for the executable compiled code as well

Longitudinal trends of future climate change and oil palm growth: empirical evidence for tropical Africa

Palms are highly significant tropical plants. Oil palms produce palm oil, the basic commodity of a highly important industry. Climate change from greenhouse gasses is likely to decrease the ability of palms to survive, irrespective of them providing ecosystem services to communities. Little information about species survival in tropical regions under climate change is available and data on species migration under climate change is important. Palms are particularly significant in Africa: a palm oil industry already exists with Nigeria being the largest producer. Previous work using CLIMEX modelling indicated that Africa will have reduced suitable climate for oil palm in Africa. The current paper employs this modelling to assess how suitable climate for growing oil palm changed in Africa from current time to 2100. An increasing trend in suitable climate from west to east was observed indicating that refuges could be obtained along the African tropical belt. Most countries had reduced suitable climates but others had increased, with Uganda being particularly high. There may be a case for developing future oil palm plantations towards the east of Africa. The information may be usefully applied to other palms. However, it is crucial that any developments will fully adhere to environmental regulations. Future climate change will have severe consequences to oil palm cultivation but there may be scope for eastwards mitigation in Africa.info:eu-repo/semantics/publishedVersio

Chemical–Genetic Profiling of Imidazo[1,2-a]pyridines and -Pyrimidines Reveals Target Pathways Conserved between Yeast and Human Cells

Small molecules have been shown to be potent and selective probes to understand cell physiology. Here, we show that imidazo[1,2-a]pyridines and imidazo[1,2-a]pyrimidines compose a class of compounds that target essential, conserved cellular processes. Using validated chemogenomic assays in Saccharomyces cerevisiae, we discovered that two closely related compounds, an imidazo[1,2-a]pyridine and -pyrimidine that differ by a single atom, have distinctly different mechanisms of action in vivo. 2-phenyl-3-nitroso-imidazo[1,2-a]pyridine was toxic to yeast strains with defects in electron transport and mitochondrial functions and caused mitochondrial fragmentation, suggesting that compound 13 acts by disrupting mitochondria. By contrast, 2-phenyl-3-nitroso-imidazo[1,2-a]pyrimidine acted as a DNA poison, causing damage to the nuclear DNA and inducing mutagenesis. We compared compound 15 to known chemotherapeutics and found resistance required intact DNA repair pathways. Thus, subtle changes in the structure of imidazo-pyridines and -pyrimidines dramatically alter both the intracellular targeting of these compounds and their effects in vivo. Of particular interest, these different modes of action were evident in experiments on human cells, suggesting that chemical–genetic profiles obtained in yeast are recapitulated in cultured cells, indicating that our observations in yeast can: (1) be leveraged to determine mechanism of action in mammalian cells and (2) suggest novel structure–activity relationships

Glial Processes at the Drosophila Larval Neuromuscular Junction Match Synaptic Growth

Glia are integral participants in synaptic physiology, remodeling and maturation from blowflies to humans, yet how glial structure is coordinated with synaptic growth is unknown. To investigate the dynamics of glial development at the Drosophila larval neuromuscular junction (NMJ), we developed a live imaging system to establish the relationship between glia, neuronal boutons, and the muscle subsynaptic reticulum. Using this system we observed processes from two classes of peripheral glia present at the NMJ. Processes from the subperineurial glia formed a blood-nerve barrier around the axon proximal to the first bouton. Processes from the perineurial glial extended beyond the end of the blood-nerve barrier into the NMJ where they contacted synapses and extended across non-synaptic muscle. Growth of the glial processes was coordinated with NMJ growth and synaptic activity. Increasing synaptic size through elevated temperature or the highwire mutation increased the extent of glial processes at the NMJ and conversely blocking synaptic activity and size decreased the presence and size of glial processes. We found that elevated temperature was required during embryogenesis in order to increase glial expansion at the nmj. Therefore, in our live imaging system, glial processes at the NMJ are likely indirectly regulated by synaptic changes to ensure the coordinated growth of all components of the tripartite larval NMJ

Rapid Transcriptional Pulsing Dynamics of High Expressing Retroviral Transgenes in Embryonic Stem Cells

Single cell imaging studies suggest that transcription is not continuous and occurs as discrete pulses of gene activity. To study mechanisms by which retroviral transgenes can transcribe to high levels, we used the MS2 system to visualize transcriptional dynamics of high expressing proviral integration sites in embryonic stem (ES) cells. We established two ES cell lines each bearing a single copy, self-inactivating retroviral vector with a strong ubiquitous human EF1α gene promoter directing expression of mRFP fused to an MS2-stem-loop array. Transfection of MS2-EGFP generated EGFP focal dots bound to the mRFP-MS2 stem loop mRNA. These transcription foci colocalized with the transgene integration site detected by immunoFISH. Live tracking of single cells for 20 minutes detected EGFP focal dots that displayed frequent and rapid fluctuations in transcription over periods as short as 25 seconds. Similarly rapid fluctuations were detected from focal doublet signals that colocalized with replicated proviral integration sites by immunoFISH, consistent with transcriptional pulses from sister chromatids. We concluded that retroviral transgenes experience rapid transcriptional pulses in clonal ES cell lines that exhibit high level expression. These events are directed by a constitutive housekeeping gene promoter and may provide precedence for rapid transcriptional pulsing at endogenous genes in mammalian stem cells

The economic case for prioritizing governance over financial incentives in REDD+

This article contributes to the ongoing debate on the role of public policies and financial incentives in Reducing Emissions from Deforestation and forest Degradation (REDD+). It argues that the subordination of policies to results-based payments for emission reductions causes severe economic inefficiencies affecting the opportunity cost, transaction cost and economic rent of the programme. Such problems can be addressed by establishing sound procedural, land and financial governance at the national level, before REDD+ economic incentives are delivered at scale. Consideration is given to each governance dimension, the entry points for policy intervention and the impact on costs. International support must consider the financial and political cost of governance reforms, and use a pay-for-results ethos based on output and outcome indicators. This can be done in the readiness process but only if the latter’s legal force, scope, magnitude and time horizon are adequately reconsidered. In sum, the paper provides ammunition for the institutionalist argument that UNFCCC Parties must prioritise governance reform between now and the entry into force of the new climate agreement in 2020, and specific recommendations about how this can be done: only by doing so will they create the basis for the programme’s financial sustainability