Mightyl: A compositional translation from mitl to timed automata

Metric Interval Temporal Logic (MITL) was first proposed in the early 1990s as a specification formalism for real-time systems. Apart from its appealing intuitive syntax, there are also theoretical evidences that make MITL a prime real-time counterpart of Linear Temporal Logic (LTL). Unfortunately, the tool support for MITL verification is still lacking to this day. In this paper, we propose a new construction from MITL to timed automata via very-weak one-clock alternating timed automata. Our construction subsumes the well-known construction from LTL to Büchi automata by Gastin and Oddoux and yet has the additional benefits of being compositional and integrating easily with existing tools. We implement the construction in our new tool MightyL and report on experiments using Uppaal and LTSmin as back-ends

Leishmania Parasites Drive PD-L1 Expression in Mice and Human Neutrophils With Suppressor Capacity

Neutrophils play an important role in the outcome of leishmaniasis, contributing either to exacerbating or controlling the progression of infection, a dual effect whose underlying mechanisms are not clear. We recently reported that CD4+ and CD8+ T cells, and dendritic cells of Leishmania amazonensis-infected mice present high expression of PD-1 and PD-L1, respectively. Given that the PD-1/PD-L1 interaction may promote cellular dysfunction, and that neutrophils could interact with T cells during infection, we investigated here the levels of PD-L1 in neutrophils exposed to Leishmania parasites. We found that both, promastigotes and amastigotes of L. amazonensis induced the expression of PD-L1 in the human and murine neutrophils that internalized these parasites in vitro. PD-L1-expressing neutrophils were also observed in the ear lesions and the draining lymph nodes of L. amazonensis-infected mice, assessed through cell cytometry and intravital microscopy. Moreover, expression of PD-L1 progressively increased in neutrophils from ear lesions as the disease evolved to the chronic phase. Co-culture of infected neutrophils with in vitro activated CD8+ T cells inhibits IFN-γ production by a mechanism dependent on PD-1 and PD-L1. Importantly, we demonstrated that in vitro infection of human neutrophils by L braziliensis induced PD-L1+ expression and also PD-L1+ neutrophils were detected in the lesions of patients with cutaneous leishmaniasis. Taken together, these findings suggest that the Leishmania parasite increases the expression of PD-L1 in neutrophils with suppressor capacity, which could favor the parasite survival through impairing the immune response

Comparte la felicidad, educando sobre sexualidad con ciudadanos y ciudadanas habitantes de calle

Curso de Especial InterésLos habitantes de calle (en adelante CHC) se han convertido en una problemática social debido a la desarticulación, violencia y pobreza de la sociedad colombiana. A partir de esta situación se diseñó y elaboró la cartilla “Comparte la felicidad, educando sobre sexualidad con Ciudadanos y Ciudadanas Habitantes de calle” que aborda los cuatro holones de la sexualidad: Vinculación afectiva, erotismo, género y reproductividad, con el objetivo de promover la salud sexual y reproductiva, y la prevención de Infecciones de transmisión sexual, incluido el VIH/SIDA. Para identificar el contenido de la cartilla se realizó una entrevista estructurada de la cual se obtuvo la información a incluir en la cartilla, posteriormente validada en la unidad OASIS.Curso de Especial Interés1. Resumen 2. Justificación 3. Marco teórico 4. Objetivos de la investigación 5. Métodología 6. Estudio de mercado 7. Resultados 8. Discusión 9. Conclusiones 10. Recomendaciones 11. Referencias 12. ApéndicesPregradoPsicólog

Immunity to Lutzomyia intermedia Saliva Modulates the Inflammatory Environment Induced by Leishmania braziliensis

Transmission of Leishmania parasites occurs during blood feeding, when infected female sand flies inject humans with parasites and saliva. Chemokines and cytokines are secreted proteins that regulate the initial immune responses and have the potential of attracting and activating cells. Herein, we studied the expression of such molecules and the cellular recruitment induced by salivary proteins of the Lutzomyia intermedia sand fly. Of note, Lutzomyia intermedia is the main vector of Leishmania braziliensis, a parasite species that causes cutaneous leishmaniasis, a disease associated with the development of destructive skin lesions that can be fatal if left untreated. We observed that L. intermedia salivary proteins induce a potent cellular recruitment and modify the expression profile of chemokines and cytokines in mice. More importantly, in mice previously immunized with L. intermedia saliva, the alteration in the initial inflammatory response was even more pronounced, in terms of the number of cells recruited and in terms of gene expression pattern. These findings indicate that an existing immunity to L. intermedia sand fly induces an important modulation in the initial immune response that may, in turn, promote parasite multiplication, leading to the development of cutaneous leishmaniasis

The fate of acetic acid during glucose co-metabolism by the spoilage yeast Zygosaccharomyces bailii

Zygosaccharomyces bailii is one of the most widely represented spoilage yeast species, being able to metabolise acetic acid in the presence of glucose. To clarify whether simultaneous utilisation of the two substrates affects growth efficiency, we examined growth in single- and mixed-substrate cultures with glucose and acetic acid. Our findings indicate that the biomass yield in the first phase of growth is the result of the weighted sum of the respective biomass yields on single-substrate medium, supporting the conclusion that biomass yield on each substrate is not affected by the presence of the other at pH 3.0 and 5.0, at least for the substrate concentrations examined. In vivo(13)C-NMR spectroscopy studies showed that the gluconeogenic pathway is not operational and that [2-(13)C]acetate is metabolised via the Krebs cycle leading to the production of glutamate labelled on C(2), C(3) and C(4). The incorporation of [U-(14)C]acetate in the cellular constituents resulted mainly in the labelling of the protein and lipid pools 51.5% and 31.5%, respectively. Overall, our data establish that glucose is metabolised primarily through the glycolytic pathway, and acetic acid is used as an additional source of acetyl-CoA both for lipid synthesis and the Krebs cycle. This study provides useful clues for the design of new strategies aimed at overcoming yeast spoilage in acidic, sugar-containing food environments. Moreover, the elucidation of the molecular basis underlying the resistance phenotype of Z. bailii to acetic acid will have a potential impact on the improvement of the performance of S. cerevisiae industrial strains often exposed to acetic acid stress conditions, such as in wine and bioethanol production.This work was supported by Fundacao para a Ciencia e Tecnologia (FCT), Portugal Grant PTDC/AGR-ALI/102608/2008 and by project FCOMP-01-0124-FEDER- 007047 and by FEDER through POFC - COMPETE and national funds from FCT - project PEst-C/BIA/UI4050/2011. The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript