From ACT-ONE to Miranda, a Translation Experiment

It is now almost universally acknowledged that the data language ACT-ONE associated with the formal description technique LOTOS is inappropriate for the purpose of OSI formal description. In response to this the LOTOS restandardisation activity plans to replace ACT-ONE with a functional language. Thus, compatibility between ACT-ONE and the replacement data language becomes an issue. In response to this, we present an experimental investigation of backward compatibility between ACT-ONE and the new LOTOS data language. Specifically, we investigate translating ACT-ONE data types into the functional language Miranda. Miranda has been chosen as it is a widely used functional programming language and it is close in form to the anticipated new data language. This work serves as a ``verification of concept'' for translating ACT-ONE to the E-LOTOS data language. It identifies the bounds on embedding ACT-ONE in a functional data language. In particular, it indicates what can be translated and what cannot be translated. In addition, the paper reveals pertinent issues which can inform the E-LOTOS work. For example, which constructs are needed in E-LOTOS in order to support the class of data type specifications typically made in the LOTOS setting? We conclude with a number of specific recommendations for the E-LOTOS data language

A structural view of microRNA-target recognition

It is well established that the correct identification of the messenger RNA targeted by a given microRNA (miRNA) is a difficult problem, and that available methods all suffer from low specificity. We hypothesize that the correct identification of the pairing should take into account the effect of the Argonaute protein (AGO), an essential catalyst of the recognition process. Therefore, we developed a strategy named MiREN for building and scoring three-dimensional models of the ternary complex formed by AGO, a miRNA and 22 nt of a target mRNA that putatively interacts with it. We show here that MiREN can be used to assess the likelihood that an RNA molecule is the target of a given miRNA and that this approach is more accurate than other existing methods, usually based on sequence or sequence-related features. Our results also suggest that AGO plays a relevant role in the selection of the miRNA targets. Our method can represent an additional step for refining predictions made by faster but less accurate classical methods for the identification of miRNA targets

One Decade of Development and Evolution of MicroRNA Target Prediction Algorithms

Nearly two decades have passed since the publication of the first study reporting the discovery of microRNAs (miRNAs). The key role of miRNAs in post-transcriptional gene regulation led to the performance of an increasing number of studies focusing on origins, mechanisms of action and functionality of miRNAs. In order to associate each miRNA to a specific functionality it is essential to unveil the rules that govern miRNA action. Despite the fact that there has been significant improvement exposing structural characteristics of the miRNA-mRNA interaction, the entire physical mechanism is not yet fully understood. In this respect, the development of computational algorithms for miRNA target prediction becomes increasingly important. This manuscript summarizes the research done on miRNA target prediction. It describes the experimental data currently available and used in the field and presents three lines of computational approaches for target prediction. Finally, the authors put forward a number of considerations regarding current challenges and future direction

The role of ICT in teacher education. The development of web pages by project method

This paper is a description of an in-service teacher training experience that used ICT to develop a project that involved teachers (nursery and primary) and also children, parents and other members of the educational community. Its aim was to build an Internet site that would give information about school life. It's an open web space where teachers, parents and students can express and share their ideals and activities. This project is still in progress and is being developed in three interconnected phases: conception, development and evaluation. The most important issue to relate is that the technical or instrumental learning is dependent on the ideas and purposes of teachers, students and parents. We believe that when we talk about ICT in schools and also in teacher education we shouldn't only be concerned with the 'means', that is to say, how to introduce computers or how to use a word processor and Internet resources, but also with the 'ends'. Only when we question the ends do we begin to pay attention to what we do, that is, to construct a story that is worth telling " ... to tell that we are merely tools makers (and tools users) is to miss the entire narrative aim? We are world's makers and world's weavers" (Postman, 2002, p. 108)

Viral proteins expressed in the protozoan parasite Eimeria tenella are detected by the chicken immune system

BACKGROUND: Eimeria species are parasitic protozoa that cause coccidiosis, an intestinal disease commonly characterised by malabsorption, diarrhoea and haemorrhage that is particularly important in chickens. Vaccination against chicken coccidiosis is effective using wild-type or attenuated live parasite lines. The development of protocols to express foreign proteins in Eimeria species has opened up the possibility of using Eimeria live vaccines to deliver heterologous antigens and function as multivalent vaccine vectors that could protect chickens against a range of pathogens. RESULTS: In this study, genetic complementation was used to express immunoprotective virus antigens in Eimeria tenella. Infectious bursal disease virus (IBDV) causes Gumboro, an immunosuppressive disease that affects productivity and can interfere with the efficacy of poultry vaccination programmes. Infectious laryngotracheitis virus (ILTV) causes a highly transmissible respiratory disease for which strong cellular immunity and antibody responses are required for effective vaccination. Genes encoding the VP2 protein from a very virulent strain of IBDV (vvVP2) and glycoprotein I from ILTV (gI) were cloned downstream of 5’Et-Actin or 5’Et-TIF promoter regions in plasmids that also contained a mCitrine fluorescent reporter cassette under control of the 5’Et-MIC1 promoter. The plasmids were introduced by nucleofection into E. tenella sporozoites, which were then used to infect chickens. Progeny oocysts were sorted by FACS and passaged several times in vivo until the proportion of fluorescent parasites in each transgenic population reached ~20 % and the number of transgene copies per parasite genome decreased to < 10. All populations were found to transcribe and express the transgene and induced the generation of low titre, transgene-specific antibodies when used to immunise chickens. CONCLUSIONS: E. tenella can express antigens of other poultry pathogens that are successfully recognised by the chicken immune system. Nonetheless, further work has to be done in order to improve the levels of expression for its future use as a multivalent vaccine vector. ELECTRONIC SUPPLEMENTARY MATERIAL: The online version of this article (doi:10.1186/s13071-016-1756-2) contains supplementary material, which is available to authorized users

Theatre Reviews

The Tempest. Dir. Janice Honeyman. The Baxter Theatre Centre (Cape Town, South Africa) and the Royal Shakespeare Company (Stratford-upon- Avon, United Kingdom). As You Like It. Dir. Damianos Constantinidis. “Angelus Novus” Theatre Group, “Vafeio” Theatre. Queen Lear. Dir. Kostis Kapelonis. “Delos G8” Theatre Group, “Delos” Theatre. Hamlet Committed Suicide. Dir. Stella Mari. Street theatre, “Minus [two]” Theatre Group, Thission pedestrian zone (Apostolou Pavlou & Heracleidon). The Documentary. Dir. Sergios Gakas. “Ex Animo” Theatre Group, “Altera Pars” Theatre. Othello. Dir. Yorgos Kimoulis and Konstantinos Markoulakis. Badminton Theatre, Athens, Greece