Strong isomorphism reductions in complexity theory

We give the first systematic study of strong isomorphism reductions, a notion of reduction more appropriate than polynomial time reduction when, for example, comparing the computational complexity of the isomorphim problem for different classes of structures. We show that the partial ordering of its degrees is quite rich. We analyze its relationship to a further type of reduction between classes of structures based on purely comparing for every n the number of nonisomorphic structures of cardinality at most n in both classes. Furthermore, in a more general setting we address the question of the existence of a maximal element in the partial ordering of the degrees.

Aplicación de la ingeniería del software sobre la herramienta MATE: Common y DMLib

Aquest projecte intenta implantar una metodologia de treball sobre MATE. MATE es una eina de sintonització d'aplicacions paral·leles sorgida de la tesis doctoral d'Anna Sikora a 2003. Vistos els resultats obtinguts, es va decidir donar un pas endavant i convertir-la en un producte software Open Source. Per fer-ho ha sigut necessari aplicar una serie d'estàndards i fer un proces de tests. En aquest treball s'ha creat part de la metodologia i s'han modificat dos dels mòduls principals.

Inventari de CO2 a l’àrea de Barcelona com exemple d’emissions de gasos amb efecte hivernacle: càlcul de les emissions amb les eines de SIG i publicació dels resultats amb software lliure

El present document és la memòria descriptiva dels treballs realitzats per Matthias Wozel durant el projecte final del Màster en Tecnologies de la Informació Geogràfica, 12ª edició, durant el transcurs del conveni de col·labració entre el Departament de Geografia i AUMA Consultores en medio ambiente y energía SL. El projecte final consisteix, en primer lloc, en l’elaboració d’un inventari d’emissions de CO2 causades per la combustió i per processos industrials per a l’àrea de Barcelona per l’any 2008. L’inventari diferencia les emissions segons els tipus d’activitat: trànsit, port, aeroport, focus industrials, singulars i centrals elèctriques i focus domèstics i comercials. A la segona part del projecte es publiquen els resultats de l’inventari a una aplicació web amb software lliure

Disseny i desenvolupament d’una aplicació web basada en software lliure per a la gestió d’incidències de les Vies Verdes de Girona

El present document és la memòria descriptiva dels treballs realitzats per la Laura Vergoñós Pascual durant el projecte final del Màster en Tecnologies de la Informació Geogràfica, 12a edició, durant el transcurs del conveni de col·labració entre el Departament de Geografia i el SIGTE (Servei d’Informació Geogràfica i Teledetecció). S’hi exposen la seqüència de tasques realitzades durant el desenvolupament d’una aplicació web basada en software lliure per a la gestió d’incidències de les Vies Verdes de Girona. Processos: construcció de la base de dades, disseny i anàlisi de requeriments de l’aplicació, solució de programació, resultats

EORTC Radiation Oncology Group quality assurance platform: establishment of a digital central review facility.

OBJECTIVE: Quality assurance (QA) in clinical trials is essential to ensure treatment is safely and effectively delivered. As QA requirements have increased in complexity in parallel with evolution of radiation therapy (RT) delivery, a need to facilitate digital data exchange emerged. Our objective is to present the platform developed for the integration and standardization of QART activities across all EORTC trials involving RT. METHODS: The following essential requirements were identified: secure and easy access without on-site software installation; integration within the existing EORTC clinical remote data capture system; and the ability to both customize the platform to specific studies and adapt to future needs. After retrospective testing within several clinical trials, the platform was introduced in phases to participating sites and QART study reviewers. RESULTS: The resulting QA platform, integrating RT analysis software installed at EORTC Headquarters, permits timely, secure, and fully digital central DICOM-RT based data review. Participating sites submit data through a standard secure upload webpage. Supplemental information is submitted in parallel through web-based forms. An internal quality check by the QART office verifies data consistency, formatting, and anonymization. QART reviewers have remote access through a terminal server. Reviewers evaluate submissions for protocol compliance through an online evaluation matrix. Comments are collected by the coordinating centre and institutions are informed of the results. CONCLUSIONS: This web-based central review platform facilitates rapid, extensive, and prospective QART review. This reduces the risk that trial outcomes are compromised through inadequate radiotherapy and facilitates correlation of results with clinical outcomes.

Aplicación de la ingeniería software sobre la herramienta MATE Analyzer

MATE (Monitoring, Analysis and Tuning Environment) es un proyecto que surge en 2004 como tesis doctoral de Anna Sikora con el propósito de investigar la mejora de rendimiento de aplicaciones paralelas a través de la modificación dinámica. Nuestro proyecto supone un paso adelante en cuestiones de calidad de software y pretende dotar al proyecto MATE de una base de desarrollo sólida de cara a futuras lineas de trabajo. Para ello se hace frente a la problemática desde tres perspectivas: la creación de una metodología de desarrollo (y su aplicación sobre el proyecto existente), la implantación de un entorno de desarrollo de soporte y el desarrollo de nuevas características para favorecer la portabilidad y la usabilidad, entre otros aspectos.

Aplicación de la ingeniería del software sobre la herramienta MATE : application controller

Este proyecto tiene como objetivo crear y aplicar una metodología a una aplicación llamada MATE que fue creada en en el año 2003 por Anna Sikora para su tesis doctoral. Se trata de dotar el proyecto MATE de las herramientas necesarias para garantizar su evolución. La metodología creada consta de la especificación de un entorno de trabajo y una serie de documentos que detallan los procesos relativos al desarrollo de MATE. Además se han creado algunas nuevas características que hacen de MATE una herramienta más completa y cómoda.

Detecting the number of clusters of individuals using the software STRUCTURE: a simulation study.

The identification of genetically homogeneous groups of individuals is a long standing issue in population genetics. A recent Bayesian algorithm implemented in the software STRUCTURE allows the identification of such groups. However, the ability of this algorithm to detect the true number of clusters (K) in a sample of individuals when patterns of dispersal among populations are not homogeneous has not been tested. The goal of this study is to carry out such tests, using various dispersal scenarios from data generated with an individual-based model. We found that in most cases the estimated 'log probability of data' does not provide a correct estimation of the number of clusters, K. However, using an ad hoc statistic DeltaK based on the rate of change in the log probability of data between successive K values, we found that STRUCTURE accurately detects the uppermost hierarchical level of structure for the scenarios we tested. As might be expected, the results are sensitive to the type of genetic marker used (AFLP vs. microsatellite), the number of loci scored, the number of populations sampled, and the number of individuals typed in each sample.

Software de gestión de reclamaciones y denuncias on-line

Alta y gestión de reclamaciones de consumo a través de la web.

Análisis y diseño del software para la gestión y divulgación de resultados de un grupo de investigación

Diseño de una aplicación informática que facilite la gestión y divulgación de la información de un Grupo de Investigación.