Monitoring for a decidable fragment of MTL-∫

Temporal logics targeting real-time systems are traditionally undecidable. Based on a restricted fragment of MTL-R, we propose a new approach for the runtime verification of hard real-time systems. The novelty of our technique is that it is based on incremental evaluation, allowing us to e↵ectively treat duration properties (which play a crucial role in real-time systems). We describe the two levels of operation of our approach: offline simplification by quantifier removal techniques; and online evaluation of a three-valued interpretation for formulas of our fragment. Our experiments show the applicability of this mechanism as well as the validity of the provided complexity results.

Antidepressant induced excessive yawning and indifference

Introduction Antidepressant induced excessive yawning has been described as a possible side effect of pharmacotherapy. A syndrome of indifference has also been described as another possible side effect. The frequency of those phenomena and their physiopathology are unknown. They are both considered benign and reversible after antidepressant discontinuation but severe cases with complications as temporomandibular lesions, have been described. Methods We report two unprecedented cases in which excessive yawning and indifference occurred simultaneously as side effects of antidepressant therapy, discussing possible physiopathological mechanisms for this co-occurrence. Case 1: A male patient presented excessive yawning (approximately 80/day) and apathy after venlafaxine XR treatment. Symptoms reduced after a switch to escitalopram, with a reduction to 50 yawns/day. Case 2: A female patient presented excessive yawning (approximately 25/day) and inability to react to environmental stressors with desvenlafaxine. Conclusion Induction of indifference and excessive yawning may be modulated by serotonergic and noradrenergic mechanisms. One proposal to unify these side effects would be enhancement of serotonin in midbrain, especially paraventricular and raphe nucleus.

Stress induced risk-aversion is reverted by D2/D3 agonist in the rat

Stress exposure triggers cognitive and behavioral impairments that influence decision-making processes. Decisions under a context of uncertainty require complex reward-prediction processes that are known to be mediated by the mesocorticolimbic dopamine (DA) system in brain areas sensitive to the deleterious effects of chronic stress, in particular the orbitofrontal cortex (OFC). Using a decision-making task, we show that chronic stress biases risk-based decision-making to safer behaviors. This decision-making pattern is associated with an increased activation of the lateral part of the OFC and with morphological changes in pyramidal neurons specifically recruited by this task. Additionally, stress exposure induces a hypodopaminergic status accompanied by increased mRNA levels of the dopamine receptor type 2 (Drd2) in the OFC; importantly, treatment with a D2/D3 agonist quinpirole reverts the shift to safer behaviors induced by stress on risky decision-making. These results suggest that the brain mechanisms related to risk-based decision-making are altered after chronic stress, but can be modulated by manipulation of dopaminergic transmission.

Nonrespiratory Sinus Arrhythmia

We report here 2 cases of sinus arrhythmia considered to be a form of nonrespiratory sinus arrhythmia because they did not have variances in the RR interval sequence within the oscillations modulated by respiration. Because the patients had pulsus alternans similar that observed in bigeminy, and because they did not have signs or symptoms of heart failure, we believe the arrhythmias represent intrinsic alterations of the electric activity of the sinus node

Modos de circulação: travessia do Vale do Cávado

Dissertação de mestrado integrado em Arquitectura (área de especialização em Cultura Arquitetónica)

Participación de las células supresoras mieloides (CSM) y T regulatorias (Treg) en el control de la infección con Trypanosoma cruzi y el desarrollo de la patología inflamatoria asociada a la infeccion. Role of Myeloid-Derived Suppressor Cells and regulatory T cells in the control of T. cruzi infection and the infection-associated pathology.

La infección de mamíferos con el T. cruzi resulta en diferentes alteraciones inmunológicas que permiten la persistencia crónica del parásito y destrucción inflamatoria progresiva del tejido cardiaco, nervioso y hepático. Los mecanismos responsables de la patología de la enfermedad de Chagas han sido materia de intensa investigación habiéndose propuesto que el daño producido en esta enfermedad puede ser consecuencia de la respuesta inflamatoria del individuo infectado y/o de una acción directa del parásito sobre los tejidos del hospedador. El propósito del presente proyecto es estudiar comparativamente, en dos cepas de ratones con diferente susceptibilidad a la infección y desarrollo de patología, la participación y los mecanismos efectores de las células supresoras mieloides (CSM) y las celulas T regulatorias inducidas por la infección experimental con Trypanosoma cruzi en el control de la infección con este protozoario y en el desarrollo de la patología hepática siendo los objetivos especificos desarrolar: - Investigar la generación y/o reclutamiento de células de CSM en bazo e hígado de ratones infectados con Trypanosoma cruzi y su contribución a la desigual susceptibilidad a la infección y respuesta inmune desarrollada en las cepas de ratones BALB/c y C57BL/6; - Investigar la capacidad de las CSM inducidas por la infección con T. cruzi en bazo e hígado de ratones de ambas cepas para suprimir la respuesta de células T in vitro e indagar sobre los mecanismos de supresión utilizados; - Investigar la generación y/o reclutamiento de células Treg durante la infección experimental con Trypanosoma cruzi, su participación en la desigual susceptibilidad a la infección y respuesta inmune desarrollada en ambas cepas de ratones y los mecanismos de supresión utilizados. - Analizar en tejido hepático o leucocitos infiltrantes la presencia de COX2, PGE2, MMP2 y 9, IL1b, IL6, IDO, IL10 y GM-CSF capaces de inducir la expansión de las CSM; - Dilucidar si la administración del ligando para TLR2 (Pam3CyS) previo a la infección de ratones C57BL/6 (en los cuales se detecta un menor número de CSM) es capaz de modular la respuesta inflamatoria y el daño hepático a través de la inducción de CSM y/o T reg en hígado y bazo. La comprension de los eventos celulares y moleculares que regulan la producción de citoquinas pro- y anti-inflamatorias y otros mediadores, así como el papel de los receptores de la inmunidad innata durante la infección con T. cruzi contribuirá a responder interrogantes que son claves para el diseño de nuevas estrategias de intervención inmune tendientes a preservar los mecanismos de defensa del huésped. Two nonexclusive mechanisms have been proposed to explain the Chagas’s disease pathology: 1) The pathology of the disease seems to be consequence of the inflammatory response triggered for the parasite; or 2) The damage is produced by the parasite direct effect. Recently, we reported that TLR2, TLR4 and TLR9 (innate immune response receptors) are differentially modulated in injured livers from BALB/c (lesser liver pathology) and C57BL/6 (elevated liver pathology) mice during Trypanosoma cruzi infection. The aim of our proposal is the study of role of Myeloid-Derived Suppressor Cells (MDSC) and regulatory T cells in the control of T. cruzi infection and the infection-associated pathology. Our specific aims are: -To study the induction or recruitment of MDSC in splenn and liver of BALB/c and C57BL/6 mice and their relationship with the differential susceptibility and immune response observed in these both mice strains; - To determine the ability and the mechanisms used by the T. cruzi-induced MDSC to suppress the T cell proliferative response; -To study the induction or recruitment of Treg in liver of BALB/c and C57BL/6 mice and their relationship with the differential susceptibility and immune response observed in these both mice strains; -To analize in liver tissue or tissue infiltrating lymphocytes the activation of COX2, PGE2, MMP2 y 9, IL1b, IL6, IDO, IL10 y GM-CSF known to promote the development of MDSC; -To determine whether the treatment with Pam3CyS (TLR2 ligand) is able to modulate the liver inflammatory respose and damage througth the induction of MDSC or Treg.

4-Second Exercise Test: Reference Values for Ages 18–81 Years

Background: Physiological reflexes modulated primarily by the vagus nerve allow the heart to decelerate and accelerate rapidly after a deep inspiration followed by rapid movement of the limbs. This is the physiological and pharmacologically validated basis for the 4-s exercise test (4sET) used to assess the vagal modulation of cardiac chronotropism. Objective: To present reference data for 4sET in healthy adults. Methods: After applying strict clinical inclusion/exclusion criteria, 1,605 healthy adults (61% men) aged between 18 and 81 years subjected to 4sET were evaluated between 1994 and 2014. Using 4sET, the cardiac vagal index (CVI) was obtained by calculating the ratio between the duration of two RR intervals in the electrocardiogram: 1) after a 4-s rapid and deep breath and immediately before pedaling and 2) at the end of a rapid and resistance-free 4-s pedaling exercise. Results: CVI varied inversely with age (r = -0.33, p < 0.01), and the intercepts and slopes of the linear regressions between CVI and age were similar for men and women (p > 0.05). Considering the heteroscedasticity and the asymmetry of the distribution of the CVI values according to age, we chose to express the reference values in percentiles for eight age groups (years): 18–30, 31–40, 41–45, 46–50, 51–55, 56–60, 61–65, and 66+, obtaining progressively lower median CVI values ranging from 1.63 to 1.24. Conclusion: The availability of CVI percentiles for different age groups should promote the clinical use of 4sET, which is a simple and safe procedure for the evaluation of vagal modulation of cardiac chronotropism.

Investigació integrada amb EPs i RMf de la interacció entre la memòria de treball i la distracció

Estudi elaborat a partir d’una estada a la University of Wales, Bangor, Regne Unit entre setembre i desembre del 2006. Els sons distractors augmenten el temps de reacció i el nombre de respostes incorrectes en una tasca de classificació visual, demostrant que hi ha distracció conductual durant la realització de la tasca visual. L’enregistrament concomitant de potencials evocats durant la distracció mostra un patró neuroelèctric característic, el potencial de distracció, que es caracteritza per una ona trifàsica. Darrerament, s’ha demostrat que factors “des de dalt” associats al muntatge experimental tindrien una gran influència en els efectes que els estímuls distractors tindrien en la tasca. Estudis recents mostrarien que aquesta resposta d’atenció exògena es pot modular per la càrrega en memòria de treball, reduint-ne la distracció amb la càrrega, fet que contradiu altres dades que mostraven l’efecte oposat. L’objectiu d’aquest estudi ha estat investigar en quines condicions la càrrega en memòria de treball pot exercir un efecte modulador en les respostes conductuals i cerebrals als sons novedosos distractors, i establir la dinàmica espacio-temporal d’aquesta modulació.

Learning the ropes and embracing the rules: CFSP institutions as arenas for learning and strategic socialisation

The aim of this article is to analyse those situations in which learning and socialisation take place within the context of the Common Foreign and Security Policy (CFSP), in particular, at the level of experts in the Council Working Groups. Learning can explain the institutional development of CFSP and changes in the foreign policies of the Member States. Some scope conditions for learning and channels of institutionalisation are identified. Socialisation, resulting from learning within a group, is perceived as a strategic action by reflective actors. National diplomats, once they arrive in Brussels, learn the new code of conduct of their Working Groups. They are embedded in two environments and faced with two logics: the European one in the Council and the national one in the Ministries of Foreign Affairs (MFA). The empirical evidence supports the argument that neither rational nor sociological approaches alone can account for these processes.

The Ideas Debate in International and European Studies: Towards a Cartography and Critical Assessment

The appeal to ideas as causal variables and/or constitutive features of political processes increasingly characterises political analysis. Yet, perhaps because of the pace of this ideational intrusion, too often ideas have simply been grafted onto pre-existing explanatory theories at precisely the point at which they seem to get into difficulties, with little or no consideration either of the status of such ideational variables or of the character or consistency of the resulting theoretical hybrid. This is particularly problematic for ideas are far from innocent variables – and can rarely, if ever, be incorporated seamlessly within existing explanatory and/or constitutive theories without ontological and epistemological consequence. We contend that this tendency along with the limitations of the prevailing Humean conception of causality, and associated epistemological polemic between causal and constitutive logics, continue to plague almost all of the literature that strives to accord an explanatory role to ideas. In trying to move beyond the current vogue for epistemological polemic, we argue that the incommensurability thesis between causal and constitutive logics is only credible in the context of a narrow, Humean, conception of causation. If we reject this in favour of a more inclusive (and ontologically realist) understanding then it is perfectly possible to chart the causal significance of constitutive processes and reconstrue the explanatory role of ideas as causally constitutive.

Quality assurance in the 22991 EORTC ROG trial in localized prostate cancer: dummy run and individual case review.

INTRODUCTION: EORTC trial 22991 was designed to evaluate the addition of concomitant and adjuvant short-term hormonal treatments to curative radiotherapy in terms of disease-free survival for patients with intermediate risk localized prostate cancer. In order to assess the compliance to the 3D conformal radiotherapy protocol guidelines, all participating centres were requested to participate in a dummy run procedure. An individual case review was performed for the largest recruiting centres as well. MATERIALS AND METHODS: CT-data of an eligible prostate cancer patient were sent to 30 centres including a description of the clinical case. The investigator was requested to delineate the volumes of interest and to perform treatment planning according to the protocol. Thereafter, the investigators of the 12 most actively recruiting centres were requested to provide data on five randomly selected patients for an individual case review. RESULTS: Volume delineation varied significantly between investigators. Dose constraints for organs at risk (rectum, bladder, hips) were difficult to meet. In the individual case review, no major protocol deviations were observed, but a number of dose reporting problems were documented for centres using IMRT. CONCLUSIONS: Overall, results of this quality assurance program were satisfactory. The efficacy of the combination of a dummy run procedure with an individual case review is confirmed in this study, as none of the evaluated patient files harboured a major protocol deviation. Quality assurance remains a very important tool in radiotherapy to increase the reliability of the trial results. Special attention should be given when designing quality assurance programs for more complex irradiation techniques.

Induced tolerance to Schistosoma mansoni antigens modulates periovular granuloma

Immunological tolerance to Schistosoma mansoni antigens induced by oral exposure of neonatal and adult mice to adult worm, soluble egg and polysaccharide antigens conducted to modulated periovular granuloma of infected mice. However the tolerance do not interfere in the infection. The estimative population and subpopulation of lymphocytes in the spleen of tolerized (not infected) animals do not differ from normal animals but Lyt 2.2 reactive lymphocytes to Schistosoma antigens was demonstrated in the tolerized animals.

HCV infection after liver transplantation is associated with lower levels of alloreactive CD4+CD25+CD45RO+IL-7R+high+ T cells

Aim: Expression of IL-7R discriminates alloreactive CD4 T cells (Foxp3 negative), from IL-7Rlow regulatory CD4 T cells (Foxp3 positive). Chronic hepatitis C virus infection (HCV) reduces expression of IL-7R on T cells thus promoting persistence of infection. The aim of this study was to analyze the effect of HCV infection on the expression of IL-7R of activated CD4+ T cells in liver transplant patients. Patients and methods: We analyzed PBMC from liver transplant recipients for the expression of CD4, CD25, FoxP3, IL-7R (24 HCV negative and 29 HCV-chronically infected). We compared these data with non-transplanted individuals (52 HCV-chronically infected patients and 38 healthy donors). Results: In HCV-infected liver transplant recipients, levels of CD4+CD25+CD45RO+IL-7R+ T cells were significantly reduced (10.5+/-0.9%) when compared to non-HCV-infected liver transplant recipients (17.6+/-1.4%) (P<0.001), while both groups (HCV-infected and negative transplant recipients) had significantly higher levels than healthy individuals (6.6+/-0.9%) (P<0.0001). After successful antiviral therapy (sustained antiviral response), 6 HCV-infected transplant recipients showed an increase of CD4+CD25+CD45RO+IL-7R+ T cells, reaching levels similar to that of non-HCVinfected recipients (10.73+/-2.63% prior therapy versus 21.7+/-6.3% after clearance of HCV). (P<0.05) In 4 non-responders (i.e. HCVRNA remaining present in serum), levels of CD4+CD25+CD45RO+IL-7R+ T cells remained unmodified during and after antiviral treatment (11.8+/- 3.3% versus 11.3+/-3.3% respectively). Conclusions: Overall, these data indicate that CD4+CD25+CD45RO+IL-7R+ T cells appear to be modulated by chronic HCV infection after liver transplantation. Whether lower levels of alloreactive T cells in HCV-infected liver transplant recipients are associated with a tolerogenic profile remains to be studied.

Les trajectoires des footballeurs africains à la lumière de la mondialisation

Depuis la promulgation de l'arrêt « Bosman  » en 1995, le nombre de joueurs expatriés recensés dans les principaux championnats européens a considérablement augmenté. Cet article montre que cette augmentation a surtout concerné les joueurs originaires d'Afrique et d'Amérique latine. Leur mobilité intervient dans un contexte très spéculatif au sein duquel de nombreux intermédiaires interagissent pour construire les canaux migratoires permettant aux joueurs de circuler à travers différents pays. Les trajectoires idéales - typiques de joueurs africains en Europe - permettent d'illustrer les logiques sociales, géographiques et économiques à la base de ces flux. Since the "Bosman" law in 1995, the number of expatriate players in the best European leagues has strongly increased. This paper shows that this increase has above all concerned players from Africa and South America. The mobility of these footballers occurs in a highly speculative context in which numerous intermediaries intervene to build up the migratory channels that allow players for circulating between many countries. The ideal-typical career paths of African footballers in Europe permit to illustrate the social, geographic and economic logics underlying flows.

Molecular mechanisms for the regulation of skin homeostasis

L'ubiquitination est une modification des protéines conservée, consistant en l'addition de résidus « ubiquitine » et régulant le destin cellulaire des protéines. La protéine « TRAF-interacting protein » TRAIP (ou TRIP) est une ligase E3 qui catalyse l'étape finale de l'ubiquitination. TRAIP est conservé dans l'évolution et est nécessaire au développement des organismes puisque l'ablation de TRAIP conduit à la mort embryonnaire aussi bien de la drosophile que de la souris. De plus, la réduction de l'expression de TRAIP dans des kératinocytes épidermiques humains réprime la prolifération cellulaire et induit un arrêt du cycle cellulaire en phase Gl, soulignant le lien étroit entre TRAIP et la prolifération cellulaire. Comme les mécanismes de régulation de la prolifération jouent un rôle majeur dans l'homéostasie de la peau, il est important de caractériser la fonction de TRAIP dans ces mécanismes. En utilisant des approches in vitro, nous avons déterminé que la protéine TRAIP est instable, modifiée par l'addition d'ubiquitine et ayant une demi-vie d'environ 4 heures. Nos analyses ont également révélé que l'expression de TRAIP est dépendante du cycle cellulaire, atteignant un pic d'expression en phase G2/M et que l'induction de son expression s'effectue principalement au cours de la transition Gl/S. Nous avons identifié le facteur de transcription E2F1 comme en étant le responsable, en régulant directement le promoteur de TRAIP. Aussi, TRAIP endogène ou surexprimée est surtout localisée au niveau du nucléole, une organelle nucléaire qui est désassemblée pendant la division cellulaire. Pour examiner la localisation subcellulaire de TRAIP pendant la mitose, nous avons imagé la protéine TRAIP fusionnée à une protéine fluorescente, à l'intérieur de cellules vivantes nommées HeLa, à l'aide d'un microscope confocal. Dans ces conditions, TRAIP est majoritairement localisée autour des chromosomes en début de mitose, puis est arrangée au niveau de l'ADN chromosomique en fin de mitose. La détection de TRAIP endogène à l'aide d'un anticorps spécifique a confirmé cette localisation. Enfin, l'inactivation de TRAIP dans les cellules HeLa par interférence ARN a inhibé leur capacité à s'arrêter en milieu de mitose. Nos résultats suggèrent que le mécanisme sous-jacent peut être lié au point de contrôle de l'assemblage du fuseau mitotique. - Ubiquitination of proteins is a post-translational modification which decides the cellular fate of the protein. The TRAF-interacting protein (TRAIP, TRIP) functions as an E3 ubiquitin ligase mediating addition of ubiquitin moieties to proteins. TRAIP interacts with the deubiquitinase CYLD, a tumor suppressor whose functional inactivation leads to skin appendage tumors. TRAIP is required for early embryonic development since removal of TRAIP either in Drosophila or mice by mutations or knock¬out is lethal due to aberrant regulation of cell proliferation and apoptosis. Furthermore, shRNA- mediated knock-down of TRAIP in human epidermal keratinocytes (HEK) repressed cell proliferation and induced a Gl/S phase block in the cell cycle. Additionally, TRAIP expression is strongly down- regulated during keratinocyte differentiation supporting the notion of a tight link between TRAIP and cell proliferation. We thus examined the biological functions of TRAIP in epithelial cell proliferation. Using an in vitro approach, we could determine that the TRAIP protein is unstable, modified by addition of ubiquitin moieties after translation and exhibits a half-life of 3.7+/-1-6 hours. Our analysis revealed that the TRAIP expression is modulated in a cell-cycle dependent manner, reaching a maximum expression level in G2/M phases. In addition, the expression of TRAIP was particularly activated during Gl/S phase transition and we could identify the transcription factor E2F1 as an activator of the TRAIP gene promoter. Both endogenous and over-expressed TRAIP mainly localized to the nucleolus, a nuclear organelle which is disassembled during cell division. To examine the subcellular localization of TRAIP during M phase, we performed confocal live-cell imaging of a functional fluorescent protein TRAIP-GFP in HeLa cells. TRAIP was distributed in the cytoplasm and accumulated around mitotic chromosomes in pro- and meta-phasic cells. TRAIP was then confined to chromosomal DNA location in anaphase and later phases of mitosis. Immune-detection of endogenous TRAIP protein confirmed its particular localization in mitosis. Finally, inactivating TRAIP expression in HeLa cells using RNA interference abrogated the cells ability to stop or delay mitosis progression. Our results suggested that TRAIP may involve the spindle assembly checkpoint.