Abstract
More than half of mammalian genes generate multiple messenger RNA isoforms that differ in their 3' untranslated regions (3' UTRs) and therefore in regulatory sequences(1), often associated with cell proliferation and cancer(2,3); however, the mechanisms coordinating alternative 3'-UTR processing for specific mRNA populations remain poorly defined. Here we report that the cytoplasmic-polyadenylation element binding protein 1 (CPEB1), an RNA-binding protein that regulates mRNA translation(4), also controls alternative 3'-UTR processing. CPEB1 shuttles to the nudeus(5,6), where it co-localizes with splicing factors and mediates shortening of hundreds of mRNA 3' UTRs, thereby modulating their translation efficiency in the cytoplasm. CPEB1-mediated 3'-UTR shortening correlates with cell proliferation and tumorigenesis. CPEB1 binding to pre-mRNAs not only directs the use of alternative polyadenylation sites, but also changes alternative splicing by preventing U2AF65 recruitment. Our results reveal a novel function of CPEB1 in mediating alternative 3'-UTR processing, which is coordinated with regulation of mRNA translation, through its dual nuclear and cytoplasmic functions.

Abstract
The overall performance improvement in Byzantine fault-tolerant state machine replication algorithms has made them a viable option for critical high-performance systems. However, the construction of the proofs necessary to support these algorithms are complex and often make assumptions that may or may not be true in a particular implementation. Furthermore, the transition from theory to practice is difficult and can lead to the introduction of subtle bugs that may break the assumptions that support these algorithms. To address these issues we have developed Hermes, a fault-injector framework that provides an infrastructure for injecting faults in a Byzantine fault-tolerant state machine. Our main goal with Hermes is to help practitioners in the complex process of debugging their implementations of these algorithms, and at the same time increase the confidence of possible adopters, e.g., systems researchers, industry, by allowing them to test the implementations. In this paper, we discuss our experiences with Hermes to inject faults in BFT-SMaRt, a high-performance Byzantine fault-tolerant state machine replication library. © IFIP International Federation for Information Processing 2013.

Abstract

Abstract

Abstract

Abstract
This paper presents a framework for robot programming by demonstration using gesture. It is based on a luminous multi-LED marker which is captured by a pair of industrial cameras. Using stereoscopy the marker supplies a complete 6-DoF human gesture tracking output with both position and orientation. Tests show that the developed setup is industrial grade, being precise for many industrial applications and robust particularly to lighting conditions. Attaching the marker to an operator work tool provides an efficient way to track the human movements without further intrusion in the process. The resulting path is used to generate a program for an industrial manipulator ending the cycle in an human-robot skill transfer framework.