Regular hedge model checking

We extend the regular model checking framework so that it can handle systems with arbitrary width tree-like structures. Con gurations of a system are represented by trees of arbitrary arities, sets of con gurations are represented by regular hedge automata, and the dynamics of a system is modeled by a regular hedge transducer. We consider the problem of computing the transitive closure T + of a regular hedge transducer T. This construction is not possible in general. Therefore, we present a general acceleration technique for computing T+. Our method consists of enhancing the termination of the iterative computation of the different compositions Ti by merging the states of the hedge transducers according to an appropriate equivalence relation that preserves the traces of the transducers. We provide a methodology for effectively deriving equivalence relations that are appropriate. We have successfully applied our technique to compute transitive closures for some mutual exclusion protocols de ned on arbitrary width tree topologies, as well as for an XML application.4th IFIP International Conference on Theoretical Computer ScienceRed de Universidades con Carreras en Informática (RedUNCI

Functional interplay between PPM1G and the transcription elongation machinery

Transcription elongation is a critical regulatory step in the gene expression cycle. One key regulator of the switch between transcription initiation and elongation is the P-TEFb kinase, which phosphorylates RNA polymerase II (Pol II) and several negative elongation factors to relieve the elongation block at paused promoters to facilitate productive elongation. Here, we highlight recent findings signifying the role of the PPM1G/PP2Cg phosphatase in activating and maintaining the active transcription elongation state by regulating the availability of P-TEFb and blocking its assembly into the catalytic inactive 7SK small nuclear ribonucleoprotein (snRNP) complex

The Go2School project for promoting cycling to school: A case study in Palermo

The identification of transport policy measures able to reduce the use of private cars for home-to-school travel is very relevant to reduce congestion during peak hours and to ensure that the areas around schools have livable environments. An action that policymakers could apply is promoting cycling to school through the introduction of bikesharing programs and creating safe routes to school through the construction of new cycle infrastructure. The aim of the paper has been, therefore, to assess if these policies could lead the high-school students to cycle to school, considering the city of Palermo as a case study. The goal is reached through the calibration of a modal choice model based on Stated Preference interviews. The costs that the local authority have to support have been compared with the benefits that the realization of new cycle paths entails in terms of the modal shift, reduction of car mileage and reduction of the externalities. According to the model, the construction of the new cycle paths will lead to an impressive increase in the use of the bicycle for home-to-school travel and also to greater use of public transport, due to the multimodality guaranteed by the bikesharing stations near the railway stations and tram stops

A GIS-based methodology for evaluating the increase in multimodal transport between bicycle and rail transport systems. A case study in Palermo

Background: In a world where every municipality is pursuing the goals of more sustainable mobility, bicycle plays a fundamental role in getting rid of private cars and travelling by an eco-friendly mode of transport. Also, private and shared bikes can be used as a feeder transit system, solving the problem of the first and last-mile trips. Thanks to GIS (Geographic Information System) software, it is possible to evaluate the effectiveness of such a sustainable mean of transport in the future users’ modal choice. Methods: Running an accessibility analysis of cycling and rail transport services, the potential mobility demand attracted by these services and the possible multimodality between bicycle and rail transport systems can be assessed. Moreover, thanks to a modal choice model calibrated for high school students, it could be verified if students will be really motivated to adopt this solution for their home-to-school trips. Results: The GIS-based analysis showed that almost half of the active population in the study area might potentially abandon the use of their private car in favour of bike and its combination with public transport systems; furthermore, the percentage of the students of one high school of Palermo, the Einstein High School, sharply increases from 1.5% up to 10.1%, thanks also to the combination with the rail transport service. Conclusions: The GIS-based methodology shows that multimodal transport can be an effective way to pursue a more sustainable mobility in cities and efficiently connect suburbs with low-frequent public transport services to the main public transport nodes

Lavoro organizzato e salute in un laboratorio di analisi cliniche

This contribution presents the main results of a research aimed at interpreting the relationships between organized work and workers' health in a clinical analysis laboratory. The analysis has been carried out in the biomedical laboratory of the Desio hospital, by adopting the Method of Organizational Congruencies. All units operating within the laboratory were studied in detail by means of MOC. The analysis allowed to identify, for each technical action, the typical elements of organizational constraint, and to suggest different organizational choices. It was also possible to plan detailed biomedical analysis to assess operators’ distress and to prearrange specific measures of primary and secondary prevention

Imaginace, jazyk, tělo: místopis hlasu v díle Giacoma Leopardiho

Univerzita Karlova Filozofická fakulta Ústav románských studií Románské literatury Abstrakt Mgr. Angela Alexandra DʹOrso IMMAGINAZIONE, LINGUA, CORPO: la geografia della voce nell'opera di Giacomo Leopardi IMAGINACE, JAZYK, TĚLO: místopis hlasu v díle Giacoma Leopardiho IMAGINATION, LANGUAGE, BODY: the path of the voice in Leopardi's literary work Školitelka: PhDr. Alice Flemrová, Ph.D. 2021 Předmětem této disertační práce je oralita v literárním díle Giacoma Leopardiho. Bádání se soustředí především na vazbu, která existuje mezi Leopardiho teorií rozkoše (teoria del piacere) a oralitou jako způsobem vyjadřování a poznávání. Oralita je přítomna v autorově díle nejen jako koncepční prvek, ale i ve formě jazykového rejstříku, zahrnujícího fonetické, stylistické a syntaktické prostředky, které básníkovi umožňují znovu zavést do psaného textu stylémy mluvené řeči. Próza a poezie tedy obsahují příklady reprodukce hlasu, které přispívají k objasnění důležitého postavení reflexe orality uvnitř Leopardiho poezie a filozofie. Ve Zpěvech je též přítomna spekulace na toto téma, vyjádřená prostřednictvím básnických motivů zahrnujících dva prvky: hlas a mlčení. Z prováděného bádání jasně vyplývá básníkovo neustálé směřování k primitivnímu výrazu, jehož odpadním produktem i reziduem se stává právě oralita. Práce tedy...Univerzita Karlova Filozofická fakulta Ústav románských studií Románské literatury Abstract Mgr. Angela Alexandra DʹOrso IMMAGINAZIONE, LINGUA, CORPO: la geografia della voce nell'opera di Giacomo Leopardi IMAGINACE, JAZYK, TĚLO: místopis hlasu v díle Giacoma Leopardiho IMAGINATION, LANGUAGE, BODY: the path of the voice in Leopardi's literary work Školitelka: PhDr. Alice Flemrová, Ph.D. 2021 This thesis deals with orality in Giacomo Leopardi's literary work. The study focuses on the connection between Teoria del piacere and orality. Orality is an important subject in Leopardi's mindset; the author reproduces the effect of orality in writing by using a specific linguistic style, special phonetic elements and syntactic structure typically used in spoken language. Prose and poetry therefore contain examples of spoken language which help to explain the centrality of reflection about orality in Leopardi's poetics and philosophy. This reflection is also present in Canti as a poetic motif involving two elements: voice and silence. The study shows Leopardi's constant tension towards a primitive universe, whose orality is a trace. The research therefore intercepts Leopardi's sensitivity about nature, a dimension in which body is central and a more immediate and spontaneous contact with life exists. The category of...Institute of Romance StudiesÚstav románských studiíFaculty of ArtsFilozofická fakult

Regular hedge model checking

We extend the regular model checking framework so that it can handle systems with arbitrary width tree-like structures. Con gurations of a system are represented by trees of arbitrary arities, sets of con gurations are represented by regular hedge automata, and the dynamics of a system is modeled by a regular hedge transducer. We consider the problem of computing the transitive closure T + of a regular hedge transducer T. This construction is not possible in general. Therefore, we present a general acceleration technique for computing T+. Our method consists of enhancing the termination of the iterative computation of the different compositions Ti by merging the states of the hedge transducers according to an appropriate equivalence relation that preserves the traces of the transducers. We provide a methodology for effectively deriving equivalence relations that are appropriate. We have successfully applied our technique to compute transitive closures for some mutual exclusion protocols de ned on arbitrary width tree topologies, as well as for an XML application.4th IFIP International Conference on Theoretical Computer ScienceRed de Universidades con Carreras en Informática (RedUNCI

The ARF tumor suppressor targets PPM1G/PP2Cγ to counteract NF-κB transcription tuning cell survival and the inflammatory response

Inducible transcriptional programs mediate the regulation of key biological processes and organismal functions. Despite their complexity, cells have evolved mechanisms to precisely control gene programs in response to environmental cues to regulate cell fate and maintain normal homeostasis. Upon stimulation with proinflammatory cytokines such as tumor necrosis factor-α (TNF), the master transcriptional regulator nuclear factor (NF)-κB utilizes the PPM1G/PP2Cγ phosphatase as a coactivator to normally induce inflammatory and cell survival programs. However, how PPM1G activity is precisely regulated to control NF-κB transcription magnitude and kinetics remains unknown. Here, we describe a mechanism by which the ARF tumor suppressor binds PPM1G to negatively regulate its coactivator function in the NF-κB circuit thereby promoting insult resolution. ARF becomes stabilized upon binding to PPM1G and forms a ternary protein complex with PPM1G and NF-κB at target gene promoters in a stimulidependent manner to provide tunable control of the NF-κB transcriptional program. Consistently, loss of ARF in colon epithelial cells leads to up-regulation of NF-κB antiapoptotic genes upon TNF stimulation and renders cells partially resistant to TNFinduced apoptosis in the presence of agents blocking the antiapoptotic program. Notably, patient tumor data analysis validates these findings by revealing that loss of ARF strongly correlates with sustained expression of inflammatory and cell survival programs. Collectively, we propose that PPM1G emerges as a therapeutic target in a variety of cancers arising from ARF epigenetic silencing, to loss of ARF function, as well as tumors bearing oncogenic NF-κB activation.Fil: Hyder, Usman. University of Texas; Estados UnidosFil: McCann, Jennifer L.. University of Texas; Estados UnidosFil: Wang, Jinli. University of Texas; Estados UnidosFil: Fung, Victor. University of Texas; Estados UnidosFil: Bayo Fina, Juan Miguel. Universidad Austral. Facultad de Ciencias Biomédicas. Instituto de Investigaciones en Medicina Traslacional. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones en Medicina Traslacional; ArgentinaFil: D'Orso, Iván. University of Texas; Estados Unido