Generadores ScalaCheck para property-based testing de programas Spark y Spark Streaming

En los últimos años hemos sido testigos de la expansión del paradigma big data a una velocidad vertiginosa. Los cambios en este campo, nos permiten ampliar las áreas a tratar; lo que a su vez implica una mayor complejidad de los sistemas software asociados a estas tareas, como sucede en sistemas de monitorización o en el Internet de las Cosas (Internet of Things). Asimismo, la necesidad de implementar programas cada vez robustos y eficientes, es decir, que permitan el cómputo de datos a mayor velocidad y de los se obtengan información relevante, ahorrando costes y tiempo, ha propiciado la necesidad cada vez mayor de herramientas que permitan evaluar estos programas. En este contexto, el presente proyecto se centra en extender la herramienta sscheck. Sscheck permite la generación de casos de prueba basados en propiedades de programas escritos en Spark y Spark Streaming. Estos lenguajes forman parte de un mismo marco de código abierto para la computación distribuida en clúster. Dado que las pruebas basadas en propiedades generan datos aleatorios, es difícil reproducir los problemas encontrados en una cierta sesion; por ello, la extensión se centrará en cargar y guardar casos de test en disco mediante el muestreo de datos desde colecciones mayores.

"Consolatoria super obitu inclyti principis Hispaniarum Iohannis" de Alfonso Ortiz: introducción, edición crítica, traducción y comentario

The present work submitted as a PhD thesis has the aim of studying from a philological point of view, the Latin text Consolatoria super obitu inclyti principis Hispaniarum Iohannis, written by the Castilian canon Alfonso Ortiz, who lived in the late 15th century in the time of the Catholic Monarchs (Isabel and Fernando), on the death of Prince John, first and only son of the sovereigns. The core of this work is the critical edition (the first complete edition ever made) on the comparison of two extant manuscripts (S and St), the second having the Spanish self-translation of the first. On the basis of this critical text we study the literary references as well as its structure and the literary genre to which it may be ascribed and, besides, we point out some features of the language used therein (Latin), the scope and characteristics of the self-translation and other style and rhetorical topics (e.g. the use of rhythmic clausulae at the end of sentences). Several appendices are added to complete and improve the text-study From that study it may be concluded that although the work follows a long time proven tradition based on medieval religious Ideas, the author, nonetheless, continuously shows within the text that he is willing to adapt that tradition into the new tunes of early Renaissance, not only by means of language and style features, but also through matter nuances that made it clear that life/death concepts were gradually shifting from the medieval times to the ideas of the new epoch. As the value of human life was rising, it needed a more attentive, profound and meticulous consolation through both conceptual and rhetorical arguments...

Garvicin A, a novel class IId bacteriocin from Lactococcus garvieae that inhibits septum formation in L. garvieae strains

Lactococcus garvieae 21881, isolated in a human clinical case, produces a novel class IId bacteriocin, garvicin A (GarA), which is specifically active against other L. garvieae strains, including fish- and bovine-pathogenic isolates. Purification from active supernatants, sequence analyses, and plasmid-curing experiments identified pGL5, one of the five plasmids found in L. garvieae [M. Aguado-Urda et al., PLoS One 7(6):e40119, 2012], as the coding plasmid for the structural gene of GarA (lgnA), its putative immunity protein (lgnI), and the ABC transporter and its accessory protein (lgnC and lgnD). Interestingly, pGL5-cured strains were still resistant to GarA. Other putative bacteriocins encoded by the remaining plasmids were not detected during purification, pointing to GarA as the main inhibitor secreted by L. garvieae 21881. Mode-of-action studies revealed a potent bactericidal activity of GarA. Moreover, transmission microscopy showed that GarA seems to act by inhibiting septum formation in L. garvieae cells. This potent and species-specific inhibition by GarA holds promise for applications in the prevention or treatment of infections caused by pathogenic strains of L. garvieae in both veterinary and clinical settings.