The nuclear envelope can control gene expression and cell cycle progression via miRNA regulation

This article is available open access through the publisher’s website. Copyright @ 2010 Landes Bioscience.The nuclear envelope can regulate gene expression through its interaction with chromatin and by the sequestration of specific transcription factors. In this study, we show that such regulation can be achieved via microRNA regulation. We identify a set of miRNAs that are dysregulated in the absence of a fully functional nuclear lamina. We then focus on miRNA-31 and experimentally confirm its targets. The target set identified is significantly enriched in genes involved in controlling progress through the cell cycle such as Cdkn2a. Normalizing miRNA-31 levels, either using a specific inhibitor or by restoration of the nuclear lamina, also normalizes cell cycle distribution and cell proliferation rates. We show that the 3’UTR of p16Ink4a/p19Arf has a functional miRNA-31 binding site which contributes to the observed regulation of cell cycle progression. Our findings are the first demonstration that the nuclear envelope can control gene expression by regulating specific miRNA levels, and that miRNA-31 is involved in the regulation of cell proliferation and progress through the cell cycle at least in part by regulating the levels of p16Ink4a/p19Arf.The EPA Trust and the MRC

RCN: Diadromous Species Restoration Research Network (DSRRN)

The primary goal of the Diadromous Species Restoration Research Network (DSRRN) was to advance the science of diadromous fish restoration, promote state-of-the-art scientific approaches to multiple-species restoration on a watershed scale, and facilitate interactions among scientists, managers, and stakeholders throughout the North Atlantic region. This goal was achieved by a series of conferences and workshops over a five-year period between 2008 and 2013. In all, DSRRN organized two multi-day conferences with over 160 participants in attendance and five multiday workshops with an average of 25 participants. The objective of these workshops was to produce new directions for restoration science by exploring key scientific issues related to interdisciplinary scientific approaches to diadromous species restoration

Linearity in the non-deterministic call-by-value setting

We consider the non-deterministic extension of the call-by-value lambda calculus, which corresponds to the additive fragment of the linear-algebraic lambda-calculus. We define a fine-grained type system, capturing the right linearity present in such formalisms. After proving the subject reduction and the strong normalisation properties, we propose a translation of this calculus into the System F with pairs, which corresponds to a non linear fragment of linear logic. The translation provides a deeper understanding of the linearity in our setting.Comment: 15 pages. To appear in WoLLIC 201

Call-by-value non-determinism in a linear logic type discipline

We consider the call-by-value lambda-calculus extended with a may-convergent non-deterministic choice and a must-convergent parallel composition. Inspired by recent works on the relational semantics of linear logic and non-idempotent intersection types, we endow this calculus with a type system based on the so-called Girard's second translation of intuitionistic logic into linear logic. We prove that a term is typable if and only if it is converging, and that its typing tree carries enough information to give a bound on the length of its lazy call-by-value reduction. Moreover, when the typing tree is minimal, such a bound becomes the exact length of the reduction

Potential vector for West Nile virus prevalent in Kent

THE mosquito Culex modestus is considered the main bridge vector of West Nile virus in continental Europe, responsible for transmitting the virus from birds to humans (Balenghien and others 2008). Cx modestus was reported in three nature reserves in north Kent in 2010 (Golding and others 2012) – 60 years after the previous UK report. Isolated specimens were then reported from Dorset and Cambridgeshire (Medlock and Vaux 2012)

Real Time Global Tests of the ALICE High Level Trigger Data Transport Framework

The High Level Trigger (HLT) system of the ALICE experiment is an online event filter and trigger system designed for input bandwidths of up to 25 GB/s at event rates of up to 1 kHz. The system is designed as a scalable PC cluster, implementing several hundred nodes. The transport of data in the system is handled by an object-oriented data flow framework operating on the basis of the publisher-subscriber principle, being designed fully pipelined with lowest processing overhead and communication latency in the cluster. In this paper, we report the latest measurements where this framework has been operated on five different sites over a global north-south link extending more than 10,000 km, processing a ``real-time'' data flow.Comment: 8 pages 4 figure

Mosquito Magnet ® traps as a potential means of monitoring blackflies of medical and veterinary importance

Mosquito Magnet® traps, deployed in widespread parts of England as part of nationwide mosquito surveillance projects, also caught blackflies. As many as 1242 blackflies were caught in a trapping session lasting 4 days. Principal among the species caught were Simulium equinum, Simulium lineatum and Simulium ornatum s.l. As S. ornatum s.l. is a vector that transmits Onchocerca linealis to cattle and S. equinum is responsible for dermatitis ('sweet itch') in cattle and horses, it is suggested that Mosquito Magnet® traps could be used to monitor and partially control these pests, as well as nuisance anthropophilic blackflies such as Simulium posticatum that can cause simuliidosis in southern England