Development and validation of a Xanthomonas axonopodis pv. citri DNA microarray platform (XACarray) generated from the shotgun libraries previously used in the sequencing of this bacterial genome

Abstract Background From shotgun libraries used for the genomic sequencing of the phytopathogenic bacterium Xanthomonas axonopodis pv. citri (XAC), clones that were representative of the largest possible number of coding sequences (CDSs) were selected to create a DNA microarray platform on glass slides (XACarray). The creation of the XACarray allowed for the establishment of a tool that is capable of providing data for the analysis of global genome expression in this organism. Findings The inserts from the selected clones were amplified by PCR with the universal oligonucleotide primers M13R and M13F. The obtained products were purified and fixed in duplicate on glass slides specific for use in DNA microarrays. The number of spots on the microarray totaled 6,144 and included 768 positive controls and 624 negative controls per slide. Validation of the platform was performed through hybridization of total DNA probes from XAC labeled with different fluorophores, Cy3 and Cy5. In this validation assay, 86% of all PCR products fixed on the glass slides were confirmed to present a hybridization signal greater than twice the standard deviation of the deviation of the global median signal-to-noise ration. Conclusions Our validation of the XACArray platform using DNA-DNA hybridization revealed that it can be used to evaluate the expression of 2,365 individual CDSs from all major functional categories, which corresponds to 52.7% of the annotated CDSs of the XAC genome. As a proof of concept, we used this platform in a previously work to verify the absence of genomic regions that could not be detected by sequencing in related strains of Xanthomonas.

Development of a molecular platform for HTLV confirmatory diagnosis: importance of the internal amplification control

Finnancial Support: CTC/INCTC, FAPESP, FUNDHERP, FINEP.

Neoproterozoic evolution of the basement of the South-American platform

Neoproterozoic geologic and geotectonic processes were of utmost importance in forming and structuring the basement framework of the South-American platform. Two large domains with distinct evolutionary histories are identified with respect to the Neoproterozoic era: the northwest-west (Amazonian craton and surroundings) and the central-southeast (the extra-Amazonian domain). In the first domain, Neoproterozoic events occurred only locally and were of secondary significance, and the geologic events, processes, and structures of the pre-Neoproterozoic (and syn-Brasiliano) cratonic block were much more influential. In the second, the extra-Amazonian domain, the final evolution, structures and forms are assigned to events related to the development of a complex net of Neoproterozoic mobile belts. These in turn resulted in strong reworking of the older pre-Neoproterozoic basement. In this domain, four distinct structural provinces circumscribe or are separated by relatively small pre- Neoproterozoic cratonic nuclei, namely the Pampean, Tocantins, Borborema and Mantiqueira provinces. These extra-Amazonian provinces were formed by a complex framework of orogenic branching systems following a diversified post-Mesoproterozoic paleogeographic scenario. This scenario included many types of basement inliers as well as a diversified organization of accretionary and collisional orogens. The basement inliers date from the Archean toMesoproterozoic periods and are different in nature. The escape tectonics that operated during the final consolidation stages of the provinces were important to and responsible for the final forms currently observed. These latest events, which occurred from the Late Ediacaran to the Early Ordovician, present serious obstacles to paleogeographic reconstructions. Two groups of orogenic collage systems are identified. The older system from the Tonian (>850 Ma) period is of restricted occurrence and is not fully understood due to strong reworking subsequent to Tonian times. The second group of orogenies is more extensive and more important. Its development began with diachronic taphrogenic processes in the Early Cryogenian period (ca. 850e750 Ma) and preceded a complex scenario of continental, transitional and oceanic basins. Subsequent orogenies (post 800 Ma) were also created by diachronic processes that ended in the Early Ordovician. More than one orogeny (plate interaction) can be identified either in space or in time in every province. The orogenic processes were not necessarily synchronous in different parts of the orogenic system, even within the same province. This particular group of orogenic collage events is known as the “Brasiliano”. All of the structural provinces of the extra-Amazonian domain exhibit final events that are marked by extrusion processes, are represented by long lineaments, and are fundamental to unraveling the structural history of the Phanerozoic sedimentary basins.

Sistema de gestión abierto de cita previa

[ES] Este trabajo consiste en la creación de un sistema de gestión abierto de cita previa, surge de la necesidad del personal de las Administración Tributaria de Canarias que trabajan en las oficinas de atención tributaria de tener un sistema que facilite al contribuyente la forma de gestionar una cita previa para solicitar atención tributaria, además de facilitar al coordinador, la gestión de citas solicitadas por los contribuyentes. Para ello se ha realizado un análisis previo para cubrir todos los requisitos que eran necesarios para que se cubrieran todas las necesidades del sistema y que fuera totalmente escalable. Para el desarrollo del sistema se ha utilizado la plataforma Java EE que dota de todas las herramientas necesarias para la creación de un software de estas características, además de numerosas herramientas que ayudan a la consecución satisfactoria del sistema, como pueden ser Hibernate y Spring. Se ha utilizado un sistema de virtualización para tratar de imitar lo máximo posible la forma de desarrollo que tiene la empresa para que así la integración del sistema sea absoluto, por eso se han utilizado las mismas herramientas que utilizan y la misma estructura de base de datos. Además de las diversas herramientas se han utilizado distintos patrones de diseño para el desarrollo del software como pueden ser: Front Controller, Facade y Data Access Object además del patrón Modelo-Vista-Controlador para la arquitectura de este sistema. La utilización de estos patrones ayuda a que el mantenimiento de este sistema sea mucho más óptimo.

JavaFMI una librería Java para el estándar Functional Mockup Interface

[ES] El estándar Functional Mockup Interface (FMI), es un estándar abierto e independiente de cualquier aplicación o herramienta que permite compartir modelos de sistemas dinámicos entre aplicaciones. Provee una interfaz escrita en lenguaje C que ha de ser implementada por las distintas herramientas exportadoras y pone en común un conjunto de funciones para manipular los modelos.
JavaFMI es una herramienta que permite utilizar simulaciones que cumplen con el estándar FMI en aplicaciones Java de una manera muy simple, limpia y eficiente. Es un proyecto open source con licencia LGPL V2.1H y su código fuente se encuentra disponible para ser clonado en la pagina del proyecto. El proyecto se encuentra alojado en www.bitbucket.org/siani/javafmi y cuenta con una página de bienvenida donde se explica como se usa la librería, una página para reportar incidencias o solicitar que se implementen nuevas historias y una página donde se listan todas las versiones que hay disponibles para descargar. JavaFMI se distribuye como un fichero zip que contiene el .jar con el código compilado de la librería una carpeta lib con las dos dependencias que tiene con librerías externas y una copia de la licencia. Comparada con JFMI, con menos lineas de código, una API limpia, expresiva y auto documentada, y un rendimiento que es un 66 % mejor, JavaFMI es objetivamente la mejor herramienta Java que existe para manipular FMUs de la versión 1.0 y 2.0 del estándar FMI.

Automatic code generation: from process algebraic architectural descriptions to multithreaded java programs

Process algebraic architectural description languages provide a formal means for modeling software systems and assessing their properties. In order to bridge the gap between system modeling and system im- plementation, in this thesis an approach is proposed for automatically generating multithreaded object-oriented code from process algebraic architectural descriptions, in a way that preserves – under certain assumptions – the properties proved at the architectural level. The approach is divided into three phases, which are illustrated by means of a running example based on an audio processing system. First, we develop an architecture-driven technique for thread coordination management, which is completely automated through a suitable package. Second, we address the translation of the algebraically-specified behavior of the individual software units into thread templates, which will have to be filled in by the software developer according to certain guidelines. Third, we discuss performance issues related to the suitability of synthesizing monitors rather than threads from software unit descriptions that satisfy specific constraints. In addition to the running example, we present two case studies about a video animation repainting system and the implementation of a leader election algorithm, in order to summarize the whole approach. The outcome of this thesis is the implementation of the proposed approach in a translator called PADL2Java and its integration in the architecture-centric verification tool TwoTowers.

Enabling computationally intensive bioinformatics applications on the Grid platform

Bioinformatics is a recent and emerging discipline which aims at studying biological problems through computational approaches. Most branches of bioinformatics such as Genomics, Proteomics and Molecular Dynamics are particularly computationally intensive, requiring huge amount of computational resources for running algorithms of everincreasing complexity over data of everincreasing size. In the search for computational power, the EGEE Grid platform, world's largest community of interconnected clusters load balanced as a whole, seems particularly promising and is considered the new hope for satisfying the everincreasing computational requirements of bioinformatics, as well as physics and other computational sciences. The EGEE platform, however, is rather new and not yet free of problems. In addition, specific requirements of bioinformatics need to be addressed in order to use this new platform effectively for bioinformatics tasks. In my three years' Ph.D. work I addressed numerous aspects of this Grid platform, with particular attention to those needed by the bioinformatics domain. I hence created three major frameworks, Vnas, GridDBManager and SETest, plus an additional smaller standalone solution, to enhance the support for bioinformatics applications in the Grid environment and to reduce the effort needed to create new applications, additionally addressing numerous existing Grid issues and performing a series of optimizations. The Vnas framework is an advanced system for the submission and monitoring of Grid jobs that provides an abstraction with reliability over the Grid platform. In addition, Vnas greatly simplifies the development of new Grid applications by providing a callback system to simplify the creation of arbitrarily complex multistage computational pipelines and provides an abstracted virtual sandbox which bypasses Grid limitations. Vnas also reduces the usage of Grid bandwidth and storage resources by transparently detecting equality of virtual sandbox files based on content, across different submissions, even when performed by different users. BGBlast, evolution of the earlier project GridBlast, now provides a Grid Database Manager (GridDBManager) component for managing and automatically updating biological flatfile databases in the Grid environment. GridDBManager sports very novel features such as an adaptive replication algorithm that constantly optimizes the number of replicas of the managed databases in the Grid environment, balancing between response times (performances) and storage costs according to a programmed cost formula. GridDBManager also provides a very optimized automated management for older versions of the databases based on reverse delta files, which reduces the storage costs required to keep such older versions available in the Grid environment by two orders of magnitude. The SETest framework provides a way to the user to test and regressiontest Python applications completely scattered with side effects (this is a common case with Grid computational pipelines), which could not easily be tested using the more standard methods of unit testing or test cases. The technique is based on a new concept of datasets containing invocations and results of filtered calls. The framework hence significantly accelerates the development of new applications and computational pipelines for the Grid environment, and the efforts required for maintenance. An analysis of the impact of these solutions will be provided in this thesis. This Ph.D. work originated various publications in journals and conference proceedings as reported in the Appendix. Also, I orally presented my work at numerous international conferences related to Grid and bioinformatics.

Analisi statica dei Deadlock in Featherweight Java con Futuri

Abbiamo studiato ABSFJf, un linguaggio ad oggetti concorrente con tipi di dato futuro ed operazioni per acquisire e rilasciare il controllo delle risorse. I programmi ABSFJf possono manifestare lock (deadlock e livelock) a causa degli errori del programmatore. Per individuare staticamente possibili com- portamenti non voluti abbiamo studiato e implementato una tecnica per l'analisi dei lock basata sui contratti, che sono una descrizione astratta del comportamento dei metodi. I contratti si utilizzano per formare un automa i cui stati racchiudono informazioni di dipendenza di tipo chiamante-chiamato; vengono derivati automaticamente da un algoritmo di type inference e model- lati da un analizzatore che sfrutta la tecnica del punto