No longer true

There are sentences that express the same temporally fully specified proposition at all contexts--call them 'context-insensitive, temporally specific sentences.' Sentence (1) 'Obama was born in 1961' is a case in point: at all contexts, it expresses the proposition ascribing to the year 1961 the property of being a time in which Obama was born. Suppose that someone uttered (1) in a context located on Christmas 2000 in our world. In this context, (1) is a true sentence about the past. Moreover, it seems impossible that (1) will be false in a successive context (one located, say, on Christmas 2020 in our world). More generally, one might be tempted to endorse the following principle: if a context-insensitive, temporally specific sentence is uttered in a context in which it is about the past and takes a certain truth value in this context, it cannot be the case that it takes a different truth value in a successive context located in the same world. In this paper, we present linguistic evidence that shows that this principle fails. On this basis, we draw an apparently crazy conclusion: the past can change. We then explain why this conclusion is not that crazy, after all

OSHI - Open Source Hybrid IP/SDN networking (and its emulation on Mininet and on distributed SDN testbeds)

The introduction of SDN in IP backbones requires the coexistence of regular IP forwarding and SDN based forwarding. The former is typically applied to best effort Internet traffic, the latter can be used for different types of advanced services (VPNs, Virtual Leased Lines, Traffic Engineering...). In this paper we first introduce the architecture and the services of an "hybrid" IP/SDN networking scenario. Then we describe the design and implementation of an Open Source Hybrid IP/SDN (OSHI) node. It combines Quagga for OSPF routing and Open vSwitch for OpenFlow based switching on Linux. The availability of tools for experimental validation and performance evaluation of SDN solutions is fundamental for the evolution of SDN. We provide a set of open source tools that allow to facilitate the design of hybrid IP/SDN experimental networks, their deployment on Mininet or on distributed SDN research testbeds and their test. Finally, using the provided tools, we evaluate key performance aspects of the proposed solutions. The OSHI development and test environment is available in a VirtualBox VM image that can be downloaded.Comment: Final version (Last updated August, 2014

The Systemic Criterion in the Use of Infringement Proceedings

The aim of the present contribution is to assess how infringement proceedings under Articles 258 to 260 TFEU have dealt with ‘systemic’ breaches of EU law by the Member States’ authorities. It will be argue that two, or possibly three, strands of case-law appear to specifically concern systemic breaches of EU law

The role of Micro-RNAs in Hepatocellular Carcinoma: From Molecular Biology to Treatment

Hepatocellular carcinoma (HCC) is the fifth most common cancer worldwide and the third leading cause of cancer deaths. microRNAs (miRNAs) are evolutionary conserved small non-coding RNA that negatively regulate gene expression and protein translation. Recent evidences have shown that they are involved in many biological processes, from development and cell-cycle regulation to apoptosis. miRNAs can behave as tumor suppressor or promoter of oncogenesis depending on the cellular function of their targets. Moreover, they are frequently dysregulated in HCC. In this review we summarize the latest findings of miRNAs regulation in HCC and their role as potentially diagnostic and prognostic biomarkers for HCC. We highlight development of miRNAs as potential therapeutic targets for HCC

Protonography, a new technique for the analysis of carbonic anhydrase activity.

All proteolytic enzymes, which are able to renature and reacquire the proteolytic activity on a copolymerized substrate, can be analyzed by zymography upon removal of sodium dodecyl sulfate (SDS). Protonography, the new technique described in this study, unlike zymography, allows the detection of a different protein, not a protease, i.e. of the carbonic anhydrase (CA, EC 4.2.1.1) activity on a SDS polyacrylamide gel electrophoresis gel. CAs are zinc-containing enzymes that catalyze the reversible conversion of carbon dioxide to bicarbonate and protons. Hydrogen ions produced during the catalyzed reaction are responsible for the change of color that appears on the gel around the CA band. For this reason, we named the new technique "protonography". The following four salient features characterize this new technique: (a) on the basis of molecular weight markers, recombinant or native CAs with different molecular weights can be detected and quantified rapidly on a single gel; (b) the hydratase activity can be reversibly inhibited by SDS during electrophoresis and recovered by incubating the gel in aqueous Triton X-100; (c) it is possible to separate active oligomeric forms of CAs on the gel enabling their activities to be determined independently of one another. This feature is not possible when using solution assays; and (d) it can be a useful tool to establish if a putative or a newly identified CA in a genome is expressed and enzymatically active. This article outlines the general principles employed in protonography, providing an easy procedure to implement it in laboratories working with CAs. It also presents an overview of its development and current research applications through specific examples