Decision Problems for Petri Nets with Names

We prove several decidability and undecidability results for nu-PN, an extension of P/T nets with pure name creation and name management. We give a simple proof of undecidability of reachability, by reducing reachability in nets with inhibitor arcs to it. Thus, the expressive power of nu-PN strictly surpasses that of P/T nets. We prove that nu-PN are Well Structured Transition Systems. In particular, we obtain decidability of coverability and termination, so that the expressive power of Turing machines is not reached. Moreover, they are strictly Well Structured, so that the boundedness problem is also decidable. We consider two properties, width-boundedness and depth-boundedness, that factorize boundedness. Width-boundedness has already been proven to be decidable. We prove here undecidability of depth-boundedness. Finally, we obtain Ackermann-hardness results for all our decidable decision problems.Comment: 20 pages, 7 figure

Reflexiones sobre masculinidades e identidad entre los chamorros de Guam

Durante más de cuatrocientos años los habitantes (chamorros) de las islas Marianas han sufrido un proceso continuo de globalización y resistencia adaptativa, que a nuestro juicio, se ha ido definiendo principalmente en la exhibición del cuerpo – femenino, en las relaciones de parentesco; masculino, a través del cuerpo físico – como una matriz creadora de identidad y pertenencia. Siguiendo esta línea de interpretación, queremos proponer aquí la nocentralidad de la experiencia colonial en la construcción corporal de la masculinidad a partir de una narrativa visual que emerge principalmente de la exhibición del cuerpo físico. Palabras clave: masculinidad, Guam, identidad, chamorros, islas Marianas Abstract For more than 400 years the inhabitants of the Mariana Islands, the Chamorros, have experienced a continuous process of globalization and adaptive resistence which has come to be defined mainly through exhibition of the body – feminine in kinship relations, and masculine through the physical body – as the matrix of identity and belonging. Following this line of interpretation, we make an argument for the non-centrality of colonial experience in the bodily construction of masculinity through a visual narrative that emerges principally from the exhibition of the physical body. Keywords: masculinity, Guam, identity, Chamorros, Mariana Island

Estudio comparativo entre aislados clínicos y no clínicos de S. cerevisiae y su papel como patógeno emergente.

RESUMEN La levadura Saccharomyces cerevisiae es la especie más utilizada desde un punto de vista biotecnológico. En la industria agroalimentaria interviene en la elaboración de pan y bebidas alcohólicas como el vino y la cerveza, además se emplea como suplemento dietético y como agente probiótico bajo el nombre de S. cerevisiae var. boulardii. A pesar de sus propiedades beneficiosas, S. cerevisiae se considera actualmente una levadura patógena oportunista emergente de baja virulencia, capaz de causar infecciones principalmente en hospedadores inmunodeprimidos. Con el fin de conocer el posible papel de esta levadura como patógeno emergente, el presente trabajo aborda un estudio comparativo entre aislados clínicos y no clínicos de S. cerevisiae desde diferentes puntos de vista. En primer lugar, la caracterización mediante técnicas moleculares de un gran número de aislados clínicos y su comparación con aislados no clínicos, ha sido de gran ayuda para esclarecer el origen de colonización en infecciones por S. cerevisiae. Dicha caracterización junto con un estudio filogenético de secuencias del gen COX2, evidenciaron dos posibles casos de colonización exógena por parte de cepas de panadería y la cepa probiótica S. cerevisiae var. boulardii. Por otro lado, los estudios de rasgos fenotípicos asociados con virulencia de esta levadura, mostraron que la capacidad de crecimiento a 42º C, el crecimiento pseudohifal y niveles altos en la actividad fosfolipasa, son rasgos de virulencia que marcan la diferencia entre los aislados clínicos y las cepas industriales. Dicho estudio junto con los ensayos en sistemas murino de infección sistémica, han permitido establecer el potencial patógeno de algunas cepas de S. cerevisiae. Finalmente se han observado diferentes grados de activación de las MAP quinasas Slt2 y Kss1 entre los aislados clínicos y no clínicos incluidos en este estudio, además de detectarse la presencia de dos proteínas Slt2 para un grupo de aislados clínicos. El análisis de la secuencia del gen SLT2 ha revelado que estos aislados tienen más de dos alelos que se diferencian en el tamaño, como consecuencia de la variación en un gran número de repeticiones de los trinucleótidos CAA/que codifican glutaminas. Estos estudios pueden ser de gran interés para las industrias de alimentos que incluyen a S. cerevisiae en sus preparados, así como en el ámbito hospitalario, advirtiendo del peligro que conlleva la administración de productos que contengan dicha levadura, a individuos inmunodeprimidos. __________________________________________________________________________________________________Saccharomyces cerevisiae has traditionally been used in industrial fermentative processes, beer and wine production, baking, and as a nutritional supplement or even as a probiotic. This is the case of the probiotic strain of this species, S. cerevisiae var. boulardii which has been widely used in Europe to treat several types of diarrhoea. Although S. cerevisiae and S. boulardii have commonly been considered as safe microorganism, this concept has changed due to an increased number of human infections. Consequently, S. cerevisiae is now considered an emerging opportunistic pathogen that can cause clinically relevant infections, mainly associated with immunocompromised patients. With the aim of know the possible role of this yeast as an opportunistic pathogen, the present work tackles a comparative study between clinical and no clinical isolates of S. cerevisiae from different point of view. This study could be of great interest for all food industry that include S. cerevisiae inside their preparation, just as in the hospital environment, warning of the risk that entail the administration of products which contain the above mentioned yeast to immunosuppressed person

Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems

AbstractThe term Ubiquitous Computing was coined by Mark Weiser almost two decades ago. Despite all the time that has passed since Weiser's vision, ubiquitous computing still has a long way ahead to become a pervasive reality. One of the reasons for this may be the lack of widely accepted formal models capable of capturing and analyzing the complexity of the new paradigm. We propose a simple Petri Net based model to study some of its main characteristics. We model both devices and software components as a special kind of coloured Petri Nets, located in locations, that can move to other locations and synchronize with other co-located nets, offering and requesting services. We obtain an amenable model for ubiquitous computing, due to its graphical representation. We present our proposal in a progressive way, first presenting a basic model where coordination is formalized by the synchronized firing of pairs of compatible transitions that offer and request a specific service, and ad hoc networks are modeled by constraining mobility by the dynamic acquisition of locality names. Next, we introduce a mechanism for the treatment of robust security properties, namely the generation of fresh private names, to be used for authentication properties

Estudio de la oferta de los paradores de turismo de Castilla y León

Este trabajo es un estudio de la oferta de los Paradores de turismo de Castilla y León. Los paradores de turismo son agrupaciones de hoteles repartidos por España y, desde 2015, se une el Parador Casa de Ínsua en Portugal. Actualmente existen 97 paradores, que la mayoría de ellos están situados en monumentos históricos. Destacan de los demás establecimientos turísticos por su ubicación, su precio, su calidad y gastronomía. En Castilla y León podemos encontrar quince Paradores de turismo que ofertan gran número de plazas, en concreto 2.342 y todas las provincias cuentan con al menos un establecimiento. Por lo que se refiere al tipo de Parador, esta comunidad autónoma ofrece una gran variedad, estando representados todos, Esentia (seis), Civia (cinco) y Naturia (cuatro). Los servicios adicionales más habituales son las salas de reuniones, los restaurantes y el parking. El tipo de restaurante que destaca es el Marmitia en el que se ofrecen platoss con productos de calidad utilizados en recetas tradicionalesGrado en Turism

Perspectivas aritméticas para la Conjetura de Casas-Alvero

La tesis tiene como objetivo el estudio sistemático de la Conjetura de Casas-Alvero, formulada en 2001 y cuya dificultad ha sido puesta de relieve en el número 80 de la Newsletter EMS de 2011. La tesis trata de manera unificada los resultados parciales existentes en la literatura sobre el problema, y aporta nuevos métodos, resultados originales y comprensión de la Conjetura, demostrando para ella que: 1) Es equivalente a un problema puramente aritmético. 2) Es equivalente a otras conjeturas sobre preservación de hipótesis. 3) Existe para ella una formulación bien definida módulo números primos, que reduce su verificación a la búsqueda de primos adecuados. 4) Es cierta para multitud de enteros n con a lo más tres divisores primos, pero tratar cualquier entero con cuatro o más divisores está aún lejos del alcance. 5) La computación permite experimentar, pero sus métodos son inoperantes para la verificación de la Conjetura. Valladolid, 26Departamento de Algebra, Geometría y Topologí

Genetic differentiation between natural populations of Drosophila subobscura in the Western Mediterranean Area with respect to chromosomal variation

International audienc

FOXP2 gene and language impairment in schizophrenia: association and epigenetic studies

<p>Abstract</p> <p>Background</p> <p>Schizophrenia is considered a language related human specific disease. Previous studies have reported evidence of positive selection for schizophrenia-associated genes specific to the human lineage. <it>FOXP2 </it>shows two important features as a convincing candidate gene for schizophrenia vulnerability: <it>FOXP2 </it>is the first gene related to a language disorder, and it has been subject to positive selection in the human lineage.</p> <p>Methods</p> <p>Twenty-seven SNPs of <it>FOXP2 </it>were genotyped in a cohort of 293 patients with schizophrenia and 340 controls. We analyzed in particular the association with the poverty of speech and the intensity of auditory hallucinations. Potential expansion of three trinucleotide repeats of <it>FOXP2 </it>was also screened in a subsample. Methylation analysis of a CpG island, located in the first exon of the gene, was performed in post-mortem brain samples, as well as qRT-PCR analysis.</p> <p>Results</p> <p>A significant association was found between the SNP rs2253478 and the item Poverty of speech of the Manchester scale (p = 0.038 after Bonferroni correction). In patients, we detected higher degree of methylation in the left parahippocampus gyrus than in the right one.</p> <p>Conclusions</p> <p><it>FOXP2 </it>might be involved in the language disorder in patients with schizophrenia. Epigenetic factors might be also implicated in the developing of this disorder.</p