Refinement in hybridised institutions

Hybrid logics, which add to the modal description of transition structures the ability to refer to specific states, offer a generic framework to approach the specification and design of reconfigurable systems, i.e., systems with reconfiguration mechanisms governing the dynamic evolution of their execution configurations in response to both external stimuli or internal performance measures. A formal representation of such systems is through transition structures whose states correspond to the different configurations they may adopt. Therefore, each node is endowed with, for example, an algebra, or a first-order structure, to precisely characterise the semantics of the services provided in the corresponding configuration. This paper characterises equivalence and refinement for these sorts of models in a way which is independent of (or parametric on) whatever logic (propositional, equational, fuzzy, etc) is found appropriate to describe the local configurations. A Hennessy–Milner like theorem is proved for hybridised logics.

Concise server-wide causality management for eventually consistent data stores

Large scale distributed data stores rely on optimistic replication to scale and remain highly available in the face of net work partitions. Managing data without coordination results in eventually consistent data stores that allow for concurrent data updates. These systems often use anti-entropy mechanisms (like Merkle Trees) to detect and repair divergent data versions across nodes. However, in practice hash-based data structures are too expensive for large amounts of data and create too many false conflicts. Another aspect of eventual consistency is detecting write conflicts. Logical clocks are often used to track data causality, necessary to detect causally concurrent writes on the same key. However, there is a nonnegligible metadata overhead per key, which also keeps growing with time, proportional with the node churn rate. Another challenge is deleting keys while respecting causality: while the values can be deleted, perkey metadata cannot be permanently removed without coordination. Weintroduceanewcausalitymanagementframeworkforeventuallyconsistentdatastores,thatleveragesnodelogicalclocks(BitmappedVersion Vectors) and a new key logical clock (Dotted Causal Container) to provides advantages on multiple fronts: 1) a new efficient and lightweight anti-entropy mechanism; 2) greatly reduced per-key causality metadata size; 3) accurate key deletes without permanent metadata.

Permanent and temporary pacemaker implantation after orthotopic heart transplantation

PURPOSE:To determine the indication for and incidence and evolution of temporary and permanent pacemaker implantation in cardiac transplant recipients. METHODS: A retrospective review of 114 patients who underwent orthotopic heart transplantation InCor (Heart Institute USP BR) between March 1985 and May 1993. We studied the incidence of and indication for temporary pacing, the relationship between pacing and rejection, the need for pemanent pacing and the clinical follow-up. RESULTS: Fourteen of 114 (12%)heart transplant recipients required temporary pacing and 4 of 114 (3.5%) patients required permanent pacing. The indication for temporary pacing was sinus node dysfunction in 11 patients (78.5%) and atrioventricular (AV) block in 3 patients (21.4%). The indication for permanent pacemaker implantation was sinus node dysfunction in 3 patients (75%) and atrioventricular (AV) block in 1 patient (25%). We observed rejection in 3 patients (21.4%) who required temporary pacing and in 2 patients (50%) who required permanent pacing. The previous use of amiodarone was observed in 10 patients (71.4%) with temporary pacing. Seven of the 14 patients (50%) died during follow-up. CONCLUSION: Sinus node dysfunction was the principal indication for temporary and permanent pacemaker implantation in cardiac transplant recipients. The need for pacing was related to worse prognosis after cardiac transplantation.

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

Stroke

Stroke is a preventable and treatable disease. It can present with the sudden onset of any neurological disturbance, including limb weakness or numbness, speech disturbance, visual loss or disturbance of balance. Over the last two decades, a growing body of evidence has overturned the traditional perception that stroke is simply a consequence of aging which inevitably results in death or severe disability. Evidence is accumulating for more effective primary and secondary prevention strategies, better recognition of people at highest risk and thus most in need of active intervention, interventions that are effective so on after the onset of symptoms, and an understanding of the processes of care that contribute to a better outcome. In addition, there is now good evidence to support interventions and care processes in stroke rehabilitation. In the UK, the National Sentinel Stroke Audits 2,3 have documented changes in secondary care provision over the last 10 years, with increasing numbers of patients being treated in stroke units, more evidence-based practice, and reductions in mortality and length of stay. In order for evidence from research studies to improve outcomes for patients, it needs to be put into practice. National guidelines provide clinicians, managers and service users with summaries of evidence and recommendations for clinical practice. Implementation of guidelines in practice, supported by regular audit, improves the processes of care and clinical outcome. This guideline covers interventions in the acute stage of a stroke (‘acute stroke’) or transient ischaemic attack (TIA). Most of the evidence considered relates to interventions in the first 48 hours after onset of symptoms, although some interventions of up to 2 weeks are covered as well. This guideline is a stand-alone document, but is designed to be read alongside the Intercollegiate Stroke Working Party guideline ‘National clinical guideline for stroke’* which considers evidence for interventions from the acute stage into rehabilitation and life after stroke. The Intercollegiate Stroke Working Party guideline is an update of the 2004 2nd edition and includes all the recommendations contained within this guideline. This acute stroke and TIA guideline is also designed to be read alongside the Department of Health’s (DH) ‘National stroke strategy’ (NSS). Where there are differences between the recommendations made within this acute stroke and TIA guideline and the NSS, the Guideline Development Group (GDG) members feel that their recommendations are derived from systematic methodology to identify all of the relevant literature.

Miocardite na forma aguda da doença de Chagas

The autopsy of a case of CHAGAS'S disease or American tryponosomiasis (a girl, 5 years old), dead in the 22nd day of illness is reported. The anatomic diagnosis was a follows: Acute diffuse chagasic nyocarditis. Chagasic encephalitis. Chagasic lymphadenitis of the right posterior auricular node. Tuberculosis of the bronchial and pulmonary nodes. Chronic passive hyperemia and atelectasia of the lungs. Chronic passive congestion and hemorrhages of the spleen. Serous hepatitis. Parotiditis. Edema of the right eyelids. Bilateral hydrothorax. Hydropericardium. Hydroperitoneum. The morphology of Schizotrypanum cruzi in the myocardium is considered. Besides agglomerates with typical small oval or round intracellular bodies, pre-flagellate and flagellate organisms, others are found in which the great amount of parasites and marked pressure exerted by them against each other render very difficult their identification; sometimes the similitude of such agglamerates to Toxoplasma is striking (Fig. 1 and 1 A). In such a case, the structure of the blepharoplast (Fig. 1 and IA), usually preserved, is profitable and allows the identification of the pre-flagellate and flagellate forms of Schizotrypanum cruzi. Most of the small sensitive nerves in the epicardium shows mononuclear infiltration of the perineurium (perineuritis, Figs. 12-14). Microscopically there is extensive Zenker's degeneration (Figs. 6-8) and parasitism of the heart muscle fibers, marked cellular infiltration of the interstitial connective tissue, which are found in the ordinary musculature of every chamber of the heart (Figs. 10-11) as well as in Tawara's node (Fig. 9), main bundle (Fig. 2) and right (Fig. 4) and left (Fig. 5) septal divisions of the bundle of His, and perineuritis. Those anatomic changes are associated to an abnormal electrocardiogram presenting some similitude to that of an anemic infarct of the anterior wall of the heart and which will be discussed elsewhere (unpublished paper by Dias, Nobrega & Laranja).

Sensibility of the hamster (Cricetus auratus) to the Treponema pertenue

In two experiments, 8 Hamsters inoculated with material from yaws lesions (Treponema pertenue), developed skin lesions considered specific by their clinical and histopathological aspects and by the presence of treponemae. These lesions appeared on the scrotumm, testicle, prepuce, anus, tail, muzzle, back and hinders paws (palm surface). In the internal organs no treponemae were found in direct examinations and inoculation of brain, spleen and lymph node. The incubation period was of 35 days for the testicle, 55 days for the scrotum and 107 days for peritoneal cavity inoculation. Positive sub-inoculations were obtained. The serum reactions (Qasserman's and Kahn's) were negative in all 5 tested Hamsters. Out of 4 normal females matched to infected males two developed nasal lesions resulting from direct contact. Apparently the genital lesions hindered copulation. Hamsters are very well suited for an experimental study of yaws.

Minimal lenght elements of Thompson's groups F(p)

We describe a method for determining the minimal length of elements in the generalized Thompson's groups F(p). We compute the length of an element by constructing a tree pair diagram for the element, classifying the nodes of the tree and summing associated weights from the pairs of node classifications. We use this method to effectively find minimal length representatives of an element.

Canine Visceral Leishmaniasis in Rio de Janeiro, Brazil: clinical, parasitological, therapeutical and epidemiological findings (1977-1983)

Forty dogs from the periphery of the city of Rio de Janeiro were studied. All dogs where diagnosed as positive for leishmaniasis either parasitologically and/or serologically. Among them, 19 came from areas where only Visceral Leishmaniasis (VL) occurs (Realengo, Bangu, Senador Camará). Clinical signs of the disease were seen in 36.8% of the cases, including emaciation - 100%, lymphadenopathy and depilation - 85.7%. The other 21 dogs came from an area (Campo Grande) where both diseases (VL, and American Cutaneous Leishmaniasis - ACL) occur. Clinical signs of the disease, mainly cutaneous or mucocutaneous ulcers were seen in 76.2% of the cases. Leishmania parasites were found in 39 cases: 22% in viscera, 42.5% in viscera and normal skin and 35% in cutaneous or mucocutaneous ulcers. All the Leishmania stocks isolated from dogs which came from Realengo, Bangu, Senador Camará (VL area), and from Campo Grande (VL + ACL area) were characterized as L. donovani (except in one case) according to their schizodeme, zymodeme and serodeme. The only stock characterized as L. b. braziliensis, was isolated from the lymph node of a dog from Campo Grande with visceral disease and without skin lesions. Antimony therapy attempted in eight Leishmania donovani positive dogs was unsuccessful.

Preliminary study of cooperation in hybrid ad-hoc networks

In this paper, we present a first approach to evolve a cooperative behavior in ad hoc networks. Since wireless nodes are energy constrained, it may not be in the best interest of a node to always accept relay requests. On the other hand, if all nodes decide not to expend energy in relaying, then network throughput will drop dramatically. Both these extreme scenarios are unfavorable to the interests of a user. In this paper we deal with the issue of user cooperation in ad hoc networks by developing the algorithm called Generous Tit-For-Tat. We assume that nodes are rational, i.e., their actions are strictly determined by self-interest, and that each node is associated with a minimum lifetime constraint. Given these lifetime constraints and the assumption of rational behavior, we study the added behavior of the network.

Interleukin- 2 production during murine infection by Leishmania mexicana amazonensis

Highly susceptible BALB/c mice, resistant C57B1/6 and their F1 progeny (BDF1) were infected subcutaneously in the foot pad with Leishmania mexicana amazonenesis. At various times after infection, spleen or draining popliteal lymph node cells were assayed for their capacity to generate Interleukin-2 (I1-2) by Concanavalin A (ConA) stimulation. In both BALB/c and C57B1/6 strains there was a transient increase in their capacity to produce I1-2, from the 3rd to the 10th week post-infection. Return to pre-infection levels ocurred between 13th to 16th week post-infection in all three strains. BALB/c mice always produced higher titers of 11-2 than C57B1/6, but such differences were statistically significant only at 3 and 10 weeks post-infection. BDF1 mice had titers similar to those observed in BALB/c mice. I1-2 production by ConA-stimulated lymph node cells was lower as compared to the spleen, but with a similar pattern among the three mice strains. Our data show that susceptibility to infection by l. mexicana amazonenesis is not associated with deficient ConA-stimulated I1-2 production.

The retinoid-related orphan receptor RORα promotes keratinocyte differentiation via FOXN1.

RORα is a retinoid-related orphan nuclear receptor that regulates inflammation, lipid metabolism, and cellular differentiation of several non-epithelial tissues. In spite of its high expression in skin epithelium, its functions in this tissue remain unclear. Using gain- and loss-of-function approaches to alter RORα gene expression in human keratinocytes (HKCs), we have found that this transcription factor functions as a regulator of epidermal differentiation. Among the 4 RORα isoforms, RORα4 is prominently expressed by keratinocytes in a manner that increases with differentiation. In contrast, RORα levels are significantly lower in skin squamous cell carcinoma tumors (SCCs) and cell lines. Increasing the levels of RORα4 in HKCs enhanced the expression of structural proteins associated with early and late differentiation, as well as genes involved in lipid barrier formation. Gene silencing of RORα impaired the ability of keratinocytes to differentiate in an in vivo epidermal cyst model. The pro-differentiation function of RORα is mediated at least in part by FOXN1, a well-known pro-differentiation transcription factor that we establish as a novel direct target of RORα in keratinocytes. Our results point to RORα as a novel node in the keratinocyte differentiation network and further suggest that the identification of RORα ligands may prove useful for treating skin disorders that are associated with abnormal keratinocyte differentiation, including cancer.

Prevalence and clinical importance of mesenteric venous thrombosis in the swiss inflammatory bowel disease cohort.

OBJECTIVE. The purpose of this study was to evaluate the prevalence of mesenteric venous thrombosis (MVT) in the Swiss Inflammatory Bowel Disease Cohort Study and to correlate MVT with clinical outcome. MATERIALS AND METHODS. Abdominal portal phase CT was used to examine patients with inflammatory bowel disease (IBD). Two experienced abdominal radiologists retrospectively analyzed the images, focusing on the superior and inferior mesenteric vein branches and looking for signs of acute or chronic thrombosis. The location of abnormalities was registered. The presence of MVT was correlated with IBD-related radiologic signs and complications. RESULTS. The cases of 160 patients with IBD (89 women, 71 men; Crohn disease [CD], 121 patients; ulcerative colitis [UC], 39 patients; median age at diagnosis, 27 years for patients with CD, 32 years for patients with UC) were analyzed. MVT was detected in 43 patients with IBD (26.8%). One of these patients had acute MVT; 38, chronic MVT; and four, both. The prevalence of MVT did not differ between CD (35/121 [28.9%]) and UC (8/39 [20.5%]) (p = 0.303). The location of thrombosis was different between CD and UC (CD, jejunal or ileal veins only [p = 0.005]; UC, rectocolic veins only [p = 0.001]). Almost all (41/43) cases of thrombosis were peripheral. MVT in CD patients was more frequently associated with bowel wall thickening (p = 0.013), mesenteric fat hypertrophy (p = 0.005), ascites (p = 0.002), and mesenteric lymph node enlargement (p = 0.036) and was associated with higher rate of bowel stenosis (p < 0.001) and more intestinal IBD-related surgery (p = 0.016) in the outcome. Statistical analyses for patients with UC were not relevant because of the limited population (n = 8). CONCLUSION. MVT is frequently found in patients with IBD. Among patients with CD, MVT is associated with bowel stenosis and CD-related intestinal surgery.

Role of cytokines in secondary lymphoid organ development

Summary Secondary lymphoid organs are sites of antigen presentation, clonal expansion of B and lymphocytes, and affinity maturation of B lymphocytes. In the intestine, these immune functions occur mainly in Peyer's patches (PP). PP develop through the interplay of two main cell types, haematopoietic cells and meserichyrnal cells. One particular haematopoietic cell type was identified as the inductive cell type in the formation of both PP and lymph nodes and was therefore designated as lymphoid tissue inducer cell. For a successful PP organogenesis, the crucial molecular components involved in the crosstalk of inducer cells and their mesenchymal target cells are adhesion molecules, lymphotoxin (LT) family members, and cytokines. In particular, the interleukin 7 receptor (IL-7R) expressed on inducer cells is absolutely required. To investigate the contribution of the ligand for the IL-7R. the cytokine IL-7, in the process of PP formation, we analyzed double transgenic (TG) mice. These mice resulted from an interbreeding of an IL-7TG mouse strain where the transgene is under the control of the MHC class II promoter with a second transgenic mouse strain, which overexpresses a transactivator for MHC class II genes. Double TG offsprings revealed higher levels of IL-7 mRNA occuring earlier in embryogenesis. Consequently, double TG mice showed a striking phenotype with a 3- to 5-fold increase in PP numbers compared to single IL-7TG or control littermates. Analysis of embryonic double TG intestines demonstrated that the process of PP development was already elevated during development as early as the embryonic day 16.5. Importantly, inducer cells were significantly increased in numbers in these embryonic intestines. Furthermore, the expression of LT? mRNA, which at this early time point is exclusively expressed by inducer cells, was also increased in double TG animals. These data clearly indicate a direct influence of IL-7 on the expansion of lymphoid tissue inducer cells and on the availability of LT? leading to a higher frequency of developing PP in fetal life. Interestingly, in addition to an enhanced frequency of PP development, in double TG mice, three additional phenotypic differences were observed. i) Lymphocyte infiltration in various non-lymphoid organs, such as stomach, salivary gland, and liver. Subsequent analysis demonstrated that B lymphocytes were predominant within these tertiary lymphoid structures. ii) Ectopic lymph node-like structures containing both B and T lymphocytes were found near the inguinal lymph node. iii) Double TG mice had a severe bone resorption syndrome most likely as a consequence of the pro-osteoclastic effect of IL-7. Taken together, these results show that IL-7 plays a key role in the homeostasis of inducer cells, in the generation of PP in the gut, in the formation of ectopic lymphoid tissue, and in bone resorption. Résumé Les organes lymphoïdes secondaires sont les lieux de présentation des antigènes aux lymphocytes, permettant l'expansion des lymphocytes B et T et la maturation d'affinité des lymphocytes B. Dans l'intestin, ces fonctions immunitaires se déroulent dans les plaques de Peyer (PP). Ces plaques se développent grâce à l'interaction des cellules hématopoïétiques avec des cellules mésenchymales. Un type particulier de cellules hématopoïétiques a été identifié comme cellule inductrice dans la formation des PP et des ganglions lymphatiques et de ce fait a été désigné cellule inductrice des tissus lymphoïdes. Durant l'organogénèse des PP, les composants moléculaires cruciaux impliqués dans l'interaction des cellules inductrices et des cellules mésenchymales sont les molécules d'adhésion, les membres de la famille des lymphotoxines (LT) et les cytokines. En particulier, le récepteur de l'interleukine 7 (IL-7R) exprimé par les cellules inductrices est absolument nécessaire. Pour étudier le rôle du ligand de l'IL-7R, l'interleukine IL-7, dans la formation des PP, nous avons croisé une lignée de souris transgénique (TG) surexprimant IL-7 sous contrôle du promoteur MHC class Il avec une lignée de souris transgénique surexprimant un transactivateur des genes MHC class II. Les souris doubles TG présentent une concentration élevée d'ARNm de l'IL-7 durant l'embryogénèse, ce qui résulte en une augmentation du nombre de PP de 3 à 5 fois en comparaison aux souris ayant seul le transgène IL-7 et aux souris contrôles. L'analyse des intestins des souris doubles TG démontre que le processus de développement des PP était élevé dès le jour 16.5 du développement embryonnaire. L'augmentation du nombre des cellules inductrices dans ces intestins embryonnaires est signilicative. De plus l'expression de l'ARNm LT?, qui à ce stade précoce est exclusivement exprimé dans les cellules inductrices, est également augmenté dans les doubles TG. Ces résultats indiquent clairement une influence directe d'IL-7 sur l'expansion des cellules inductrices des tissues lymphoïdes et sur la synthèse de LT? induisant une augmentation des PP se développant durant la vie foetale. En plus du développement accru des PP dans les souris doubles TG, trois différences phénotypiques ont été observées. i) L'infiltration lymphocytaire dans différents organes non-lymphoïdes, comme l'estomac, les glandes salivaires et le foie. Des analyses complémentaires ont demontré que les lymphocytes B étaient prédominants dans ces structures lymphoïdes tertiaires. ii) Des structures de ganglions lymphatiques ectopiques contenant des lymphocytes B et T ont été trouvées près des ganglions lymphatiques inguinaux. iii) Les souris doubles TG présentent un syndrome de résorption osseuse sévère probablement dû à l'effet pro-osteoclaste d'IL-7. Globalement, ces résultats montrent que IL-7 joue un rôle clé dans l'homéostasie des cellules inductrices dans la génèse de PP de l'intestin, dans la formation des tissus lymphoïdes ectopiques et dans la résorption osseuse.

Influenza surveillance using data from a telemedicine centre.

OBJECTIVES: This study aimed at investigating whether data from medical teleconsultations may contribute to influenza surveillance. METHODS: International Classification of Primary Care 2nd Edition (ICPC-2) codes were used to analyse the proportion of teleconsultations due to influenza-related symptoms. Results were compared with the weekly Swiss Sentinel reports. RESULTS: When using the ICPC-2 code for fever we could reproduce the seasonal influenza peaks of the winter seasons 07/08, 08/09 and 09/10 as depicted by the Sentinel data. For the pandemic influenza 09/10, we detected a much higher first peak in summer 2009 which correlated with a potential underreporting in the Sentinel system. CONCLUSIONS: ICPC-2 data from medical teleconsultations allows influenza surveillance in real time and correlates very well with the Swiss Sentinel system.