The word problem distinguishes counter languages

Counter automata are more powerful versions of finite state automata where addition and subtraction operations are permitted on a set of n integer registers, called counters. We show that the word problem of Zn is accepted by a nondeterministic m-counter automaton if and only if m &= n.

Sistema de secreción de tipo III en Aeromonas mesòfilas

Aeromonas hydrophila és un bacil gram-negatiu, patogen oportunista d’animal i humans. La patogènesi d’A. Hydrophila és multifactorial. A fi d'identificar gens implicats en la virulència de la soca PPD134/91 d’A. hydrophila, vam realitzar experiments de substracció gènica, que van dur a la detecció de 22 fragments d’ADN que codificaven 19 potencials factors de virulencia, incloent un gen que codificava una proteïna de sistema de secreció de tipus III (T3SS). La importància creixent del T3SS en la patogènesi de diversos bacteris, ens va dur a identificar i analitzar l'agrupació gènica del T3SS de les soques AH-1 i AH-3 d’A. hydrophila. La inactivació dels gens de T3SS aopB i aopD d’A. hydrophila AH-1, i ascV d’A. hydrophila AH-3, comporta una disminució de la citotoxicitat, un increment de la fagocitosi, i una reducció de la virulència en diferents models animals. Aquests resultats demostren que el T3SS és necessari per a la patogenicitat. També vam clonar i seqüenciar una ADP-ribosiltransferasa (AexT) a la soca AH-3 d’A. hydrophila, i vam demostrar que aquesta toxina és translocada via el T3SS, sistema que al seu torn sembla ser induïble in vitro en condicions de depleció de calci. El mutant en el gen aexT de la soca AH-3 d’A. hydrophila va mostrar una lleugera reducció de la virulència, assajada amb diferents mètodes. Mitjançant l'ús de diferents sondes d’ADN, vam determinar la presència del T3SS en soques tant clíniques com ambientals de diferents espècies del gènere Aeromonas: A. hydrophila, A. veronii, i A. caviae, i la codistribució d'aquesta agrupació gènica i el gen aexT. Finalment, amb la finalitat d'estudiar la regulació transcripcional de l'agrupació gènica de T3SS i de l’efector AexT A. hydrophila AH-3, vam aïllar els promotors predits per l’operó aopN-aopD i el gen aexT, i els vam fusionar amb el gen reporter gfp (Green Fluorescence Protein). A més, vam demostrar que l'expressió d'ambdós promotors depèn de diferents components bacterians, com per exemple el sistema de dos components PhoP/PhoQ, el sistema de quorum sensing AhyI/AhyR, o el complex piruvat deshidrogenasa.

Visió per computador en una plataforma basada en un DSP

En aquest projecte s'usa el servidor de vídeo d'Axis Communications 242s IV, basat en el DSP TMS320DM642 de Texas Instruments, com a plataforma per a la implementació d'un algorisme d'extracció de fons i pel desenvolupament d'una solució completa de comptatge de persones per a càmera zenital. En el primer cas, s'ha optimitzat i comparat el rendiment de l'algorisme amb el d'una versió per a PC per a avaluar el DSP com a processador per a lamigració d'una aplicació completa de vídeovigilància. En el segon cas s'han integrat tots els components del servidor en el desenvolupament del comptador per avaluar la plataforma com a base per a solucions completes.

On the way to solve lighting problems in underwater imaging

A major obstacle to processing images of the ocean floor comes from the absorption and scattering effects of the light in the aquatic environment. Due to the absorption of the natural light, underwater vehicles often require artificial light sources attached to them to provide the adequate illumination. Unfortunately, these flashlights tend to illuminate the scene in a nonuniform fashion, and, as the vehicle moves, induce shadows in the scene. For this reason, the first step towards application of standard computer vision techniques to underwater imaging requires dealing first with these lighting problems. This paper analyses and compares existing methodologies to deal with low-contrast, nonuniform illumination in underwater image sequences. The reviewed techniques include: (i) study of the illumination-reflectance model, (ii) local histogram equalization, (iii) homomorphic filtering, and, (iv) subtraction of the illumination field. Several experiments on real data have been conducted to compare the different approaches

Bristle pattern formation in the thorax formation of Drosophila: a systems level approach

A fundamental question in developmental biology is how tissues are patterned to give rise to differentiated body structures with distinct morphologies. The Drosophila wing disc offers an accessible model to understand epithelial spatial patterning. It has been studied extensively using genetic and molecular approaches. Bristle patterns on the thorax, which arise from the medial part of the wing disc, are a classical model of pattern formation, dependent on a pre-pattern of trans-activators and –repressors. Despite of decades of molecular studies, we still only know a subset of the factors that determine the pre-pattern. We are applying a novel and interdisciplinary approach to predict regulatory interactions in this system. It is based on the description of expression patterns by simple logical relations (addition, subtraction, intersection and union) between simple shapes (graphical primitives). Similarities and relations between primitives have been shown to be predictive of regulatory relationships between the corresponding regulatory factors in other Systems, such as the Drosophila egg. Furthermore, they provide the basis for dynamical models of the bristle-patterning network, which enable us to make even more detailed predictions on gene regulation and expression dynamics. We have obtained a data-set of wing disc expression patterns which we are now processing to obtain average expression patterns for each gene. Through triangulation of the images we can transform the expression patterns into vectors which can easily be analysed by Standard clustering methods. These analyses will allow us to identify primitives and regulatory interactions. We expect to identify new regulatory interactions and to understand the basic Dynamics of the regulatory network responsible for thorax patterning. These results will provide us with a better understanding of the rules governing gene regulatory networks in general, and provide the basis for future studies of the evolution of the thorax-patterning network in particular.

Wall motion estimation in intracranial aneurysms

The quantification of wall motion in cerebral aneurysms is becoming important owing to its potential connection to rupture, and as a way to incorporate the effects of vascular compliance in computational fluid dynamics (CFD) simulations.Most of papers report values obtained with experimental phantoms, simulated images, or animal models, but the information for real patients is limited. In this paper, we have combined non-rigid registration (IR) with signal processing techniques to measure pulsation in real patients from high frame rate digital subtraction angiography (DSA). We have obtained physiological meaningful waveforms with amplitudes in therange 0mm-0.3mm for a population of 18 patients including ruptured and unruptured aneurysms. Statistically significant differences in pulsation were found according to the rupture status, in agreement with differences in biomechanical properties reported in the literature.

Identificació d’estratègies informals per a resoldre problemes de suma i resta

Aquest treball està enfocat en la identificació de les estratègies informals per resoldre problemes de suma i resta que utilitzen els infants d’una aula de P4. A més a més, en aquest treball també parlaré de la importància que tenen les tècniques de comptatge per millorar les estratègies informals. Per reflectir això, compararé dues proves realitzades amb uns infants en concret, una al novembre i una altra a l’abril, per veure si, després d’aplicar una proposta didàctica per millorar els factors que poden condicionar les estratègies informals i que es van detectar analitzant la prova del novembre, aquests propis factors han millorat i han permès una evolució de les estratègies informals per resoldre problemes de suma i resta.

Evaluating the Performance of a Regional-Scale Photochemical Modelling System: Part I Ozone Predictions

We present a detailed evaluation of the seasonal performance of the Community Multiscale Air Quality (CMAQ) modelling system and the PSU/NCAR meteorological model coupled to a new Numerical Emission Model for Air Quality (MNEQA). The combined system simulates air quality at a fine resolution (3 km as horizontal resolution and 1 h as temporal resolution) in north-eastern Spain, where problems of ozone pollution are frequent. An extensive database compiled over two periods, from May to September 2009 and 2010, is used to evaluate meteorological simulations and chemical outputs. Our results indicate that the model accurately reproduces hourly and 1-h and 8-h maximum ozone surface concentrations measured at the air quality stations, as statistical values fall within the EPA and EU recommendations. However, to further improve forecast accuracy, three simple bias-adjustment techniques mean subtraction (MS), ratio adjustment (RA), and hybrid forecast (HF) based on 10 days of available comparisons are applied. The results show that the MS technique performed better than RA or HF, although all the bias-adjustment techniques significantly reduce the systematic errors in ozone forecasts.