A cost-effectiveness analysis of temperate silvoarable systems - what contribution do ecosystem services make?

N/

Hilbert-Post completeness for the state and the exception effects

In this paper, we present a novel framework for studying the syntactic completeness of computational effects and we apply it to the exception effect. When applied to the states effect, our framework can be seen as a generalization of Pretnar's work on this subject. We first introduce a relative notion of Hilbert-Post completeness, well-suited to the composition of effects. Then we prove that the exception effect is relatively Hilbert-Post complete, as well as the "core" language which may be used for implementing it; these proofs have been formalized and checked with the proof assistant Coq.Comment: Siegfried Rump (Hamburg University of Technology), Chee Yap (Courant Institute, NYU). Sixth International Conference on Mathematical Aspects of Computer and Information Sciences , Nov 2015, Berlin, Germany. 2015, LNC

The chloroplast RNA helicase ISE2 is required for multiple chloroplast RNA processing steps in Arabidopsis thaliana

INCREASED SIZE EXCLUSION LIMIT2 (ISE2) is a chloroplast-localized RNA helicase that is indispensable for proper plant development. Chloroplasts in leaves with reduced ISE2expression have previously been shown to exhibit reduced thylakoid contents and increased stromal volume, indicative of defective development. It has recently been reported that ISE2 is required for the splicing of group II introns from chloroplast transcripts. The current study extends these findings, and presents evidence for ISE2’s role in multiple aspects of chloroplast RNA processing beyond group II intron splicing. Loss of ISE2 from Arabidopsis thaliana leaves resulted in defects in C-to-U RNA editing, altered accumulation of chloroplast transcripts and chloroplast-encoded proteins, and defective processing of chloroplast ribosomal RNAs. Potential ISE2 substrates were identified by RNA immunoprecipitation followed by next-generation sequencing (RIP-seq), and the diversity of RNA species identified supports ISE2’s involvement in multiple aspects of chloroplast RNA metabolism. Comprehensive phylogenetic analyses revealed that ISE2 is a non-canonical Ski2-like RNA helicase that represents a separate sub-clade unique to green photosynthetic organisms, consistent with its function as an essential protein. Thus ISE2’s evolutionary conservation may be explained by its numerous roles in regulating chloroplast gene expression

On coalgebras with internal moves

In the first part of the paper we recall the coalgebraic approach to handling the so-called invisible transitions that appear in different state-based systems semantics. We claim that these transitions are always part of the unit of a certain monad. Hence, coalgebras with internal moves are exactly coalgebras over a monadic type. The rest of the paper is devoted to supporting our claim by studying two important behavioural equivalences for state-based systems with internal moves, namely: weak bisimulation and trace semantics. We continue our research on weak bisimulations for coalgebras over order enriched monads. The key notions used in this paper and proposed by us in our previous work are the notions of an order saturation monad and a saturator. A saturator operator can be intuitively understood as a reflexive, transitive closure operator. There are two approaches towards defining saturators for coalgebras with internal moves. Here, we give necessary conditions for them to yield the same notion of weak bisimulation. Finally, we propose a definition of trace semantics for coalgebras with silent moves via a uniform fixed point operator. We compare strong and weak bisimilation together with trace semantics for coalgebras with internal steps.Comment: Article: 23 pages, Appendix: 3 page

Neuropilin-2 expression in breast cancer: correlation with lymph node metastasis, poor prognosis, and regulation of CXCR4 expression

<p>Abstract</p> <p>Background</p> <p>Neuropilin-2 (Nrp2) is a receptor for vascular endothelial growth factor-C (VEGF-C), which is a well-known lymphangiogenic factor and plays an important role in lymph node metastasis of various human cancers, including breast cancer. Recently, Nrp2 was shown to play a role in cancer by promoting tumor cell metastasis. CXC chemokine receptor 4 (CXCR4) also promotes tumor metastasis. In the previous studies, we demonstrated that VEGF-C and cytoplasmic CXCR4 expressions were correlated with poorer patient prognosis (BMC Cancer 2008,8:340; Breast Cancer Res Treat 2005, 91:125–132).</p> <p>Methods</p> <p>The relationship between Nrp2 expression and lymph node metastasis, VEGF-C expression, CXCR4 expression, and other established clinicopathological variables (these data were cited in our previous papers), including prognosis, was analyzed in human breast cancer. Effects of neutralizing anti-Nrp2 antibody on CXCR4 expression and chemotaxis were assessed in MDA-MB-231 breast cancer cells.</p> <p>Results</p> <p>Nrp2 expression was observed in 53.1% (60 of 113) of the invasive breast carcinomas. Nrp2 expression was significantly correlated with lymph node metastasis, VEGF-C expression, and cytoplasmic CXCR4 expression. Survival curves determined by the Kaplan-Meier method showed that Nrp2 expression was associated with reduced overall survival. In multivariate analysis, Nrp2 expression emerged as a significant independent predictor for overall survival. Neutralizing anti-Nrp2 antibody blocks cytoplasmic CXCR4 expression and CXCR4-induced migration in MDA-MB-231 cells.</p> <p>Conclusion</p> <p>Nrp2 expression was correlated with lymph node metastasis, VEGF-C expression, and cytoplasmic CXCR4 expression. Nrp2 expression may serve as a significant prognostic factor for long-term survival in breast cancer. Our data also showed a role for Nrp2 in regulating cytoplasmic CXCR4 expression <it>in vitro</it>.</p

Loved Ones Near and Far: Feinberg's Personal Significance Theory

This paper examines Todd Feinberg's theory of the misidentification syndromes

Collaborative fisheries research reveals reserve size and age determine efficacy across a network of marine protected areas

A variety of criteria may influence the efficacy of networks of marine protected areas (MPA) designed to enhance biodiversity conservation and provide fisheries benefits. Meta-analyses have evaluated the influence of MPA attributes on abundance, biomass, and size structure of harvested species, reporting that MPA size, age, depth, and connectivity influence the strength of MPA responses. However, few empirical MPA evaluation studies have used consistent sampling methodology across multiple MPAs and years. Our collaborative fisheries research program systematically sampled 12 no-take or highly protective limited-take MPAs and paired fished reference areas across a network spanning 1100 km of coastline to evaluate the factors driving MPA efficacy across a large geographic region. We found that increased size and age consistently contributed to increased fish catch, biomass, and positive species responses inside MPAs, while accounting for factors such as latitude, primary productivity, and distance to the nearest MPA. Our study provides a model framework to collaboratively engage diverse stakeholders in fisheries research and provide high-quality data to assess the success of conservation strategies