A Suspension-Trace Semantics for CSP

CSP is well established as a process algebra for refinement. Most refinement relations for CSP do not differentiate between inputs and outputs, and so are unsuitable for testing. This paper provides CSP with a denotational semantics based on suspension traces; it gives the traditional CSP operators a novel view, catering for the differences between inputs and outputs. We identify healthiness conditions for the suspension-Traces model and include a treatment of termination not contemplated in the context of input-output labelled transition systems. Using our suspension-Traces semantics, we provide for CSP a characterisation of the conformance relation ioco, which is widely used in testing. Finally, we propose a strategy to mechanise the verification of conformance according to ioco and suspension-Trace refinement using CSP tools. This work provides the basis for a theory of testing for CSP with inputs and outputs, and opens up the possibility of studying algebraic laws and compositional reasoning techniques based on ioco. Ultimately, it contributes to making CSP models useful for both design and testing of systems.We thank Bill Roscoe for useful discussions. The work was carried out with the support of EPSRC hiJaC project, the CNPq (Brazil), INES, and the grants FACEPE 573964/2008-4, APQ-1037-1.03/08, CNPq 573964/2008-4, 476821/2011-8 and 249710/2013-7

Functionalised thermally induced phase separation (TIPS) microparticles enabled for “click” chemistry

Due to their homogeneity, tuneable properties, low cost and ease of manufacture, thermally induced phase separation (TIPS) polymeric microparticles are emerging as an exciting class of injectable device for the treatment of damaged tissue or complex diseases, such as cancer. However, relatively little work has explored enhancing surface functionalisation of this system. Herein, we present the functionalisation of TIPS microparticles with both small molecules and an antibody fragment of Herceptin™, via a heterobifunctional pyridazinedione linker capable of participating in SPAAC “click” chemistry, and compare it to the traditional method of preparing active-targeted microparticle systems, that is, physisorption of antibodies to the microparticle surface. Antigen-binding assays demonstrated that functionalisation of microparticles with Herceptin Fab, via a pyridazinedione linker, provided an enhanced avidity to HER2+ when compared to traditional physisorption methods

Rupture of a Congenital Aneurysm of the Non-Coronary Sinus of Valsalva Into the Right Atrium

Apresenta-se o caso de um doente avaliado por sopro cardíaco contínuo, em que o estudo ecocardiográfico permitiu diagnosticar ruptura de aneurisma congénito do seio de Valsalva (SV) para a aurícula direita. Os autores fazem uma breve revisão sobre os aspectos clínicos desta patologia

Echocardiographic Variables Predictive of Appropriate Therapies for Ventricular Tachyarrhythmia in Patients Undergoing Combined Cardiac Resynchronization Therapy

INTRODUCTION: The significant risk of sudden arrhythmic death in patients with congestive heart failure and electromechanical ventricular dyssynchrony has led to increased use of combined cardiac resynchronization therapy defibrillator (CRT-D) devices. OBJECTIVES: To evaluate the echocardiographic variables in patients undergoing CRT-D that predict the occurrence of appropriate therapies (AT) for ventricular tachyarrhythmia. METHODS: We analyzed 38 consecutive patients (mean age 60 +/- 12 years, 63% male) with echocardiographic evaluation before and 6 months after CRT-D implantation. Patients with AT were identified in a mean follow-up of 471 +/- 323 days. A standard echocardiographic study was performed including tissue Doppler imaging (TDI). Responders were defined as patients with improvement in NYHA class of 25%. RESULTS: The responder rate was 74%, and the reverse remodeling rate was 55%. AT occurred in 21% of patients, who presented with greater left ventricular end-diastolic internal diameter (LVEDD) before implantation (86 +/- 8 vs. 76 +/- 11 mm, p = 0.03) and at 6 months (81 +/- 8 vs. 72 +/- 14 mm, p = 0.08), and increased left ventricular end-systolic internal diameter (66 +/- 14 vs. 56 +/- 14 mm, p = 0.03) and lower ejection fraction (24 +/- 6 vs. 34 +/- 14%, p = 0.08) at 6 months. In the group with AT, the responder rate was lower (38 vs. 83%, p = 0.03), without significant differences in reverse remodeling (38% for the AT group vs. 60%, p = 0.426) or in the other variables. By univariate analysis, predictors of AT were LVEDD before implantation and E' after implantation. Age, gender, ischemic etiology, use of antiarrhythmic drugs, reverse remodeling and the other echocardiographic parameters did not predict AT. In multivariate logistic regression analysis, both LVEDD before implantation (OR 1.24, 95% CI 1.04-1.48, p = 0.019) and postimplantation E' (OR 0.27, 95% CI 0.09-0.76, p = 0.014) remained as independent predictors of AT. CONCLUSIONS: In patients undergoing CRT-D, episodes of ventricular tachyarrhythmia occur with high incidence, independently of echocardiographic response, with LVEDD before implantation and E' after implantation as the only independent predictors of AT in the medium-term. These results highlight the importance of combined devices with defibrillation capability

Circulation of Different Lineages of Dengue Virus 2, Genotype American/Asian in Brazil: Dynamics and Molecular and Phylogenetic Characterization

The American/Asian genotype of Dengue virus type 2 (DENV-2) was introduced into the Americas in the 80′s. Although there is no data showing when this genotype was first introduced into Brazil, it was first detected in Brazil in 1990. After which the virus spread throughout the country and major epidemics occurred in 1998, 2007/08 and 2010. In this study we sequenced 12 DENV-2 genomes obtained from serum samples of patients with dengue fever residing in São José do Rio Preto, São Paulo (SJRP/SP), Brazil, in 2008. The whole open reading frame or envelope sequences were used to perform phylogenetic, phylogeographic and evolutionary analyses. Isolates from SJRP/SP were grouped within one lineage (BR3) close to isolates from Rio de Janeiro, Brazil. Isolates from SJRP were probably introduced there at least in 2007, prior to its detection in the 2008 outbreak. DENV-2 circulation in Brazil is characterized by the introduction, displacement and circulation of three well-defined lineages in different times, most probably from the Caribbean. Thirty-seven unique amino acid substitutions were observed among the lineages, including seven amino acid differences in domains I to III of the envelope protein. Moreover, we dated here, for the first time, the introduction of American/Asian genotype into Brazil (lineage BR1) to 1988/89, followed by the introduction of lineages BR2 (1998–2000) and BR3 (2003–05). Our results show a delay between the introduction and detection of DENV-2 lineages in Brazil, reinforcing the importance and need for surveillance programs to detect and trace the evolution of these viruses. Additionally, Brazilian DENV-2 differed in genetic diversity, date of introduction and geographic origin and distribution in Brazil, and these are important factors for the evolution, dynamics and control of dengue.Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq Grant )Fundação de Amparo à Pesquisa do Estado de São PauloFundação de Amparo à Pesquisa do Estado de Minas Gerais (FAPEMIG grant

Benefits of Cardiac Resynchronization Therapy in "Very Dilated Cardiomyopathy"

INTRODUCTION: Recent clinical trials have studied parameters that could predict response to cardiac resynchronization therapy (CRT) in patients with advanced heart failure. Left ventricular end-diastolic dimension (LVEDD) is regarded as a possible predictor of response to CRT. OBJECTIVE: To study the response to CRT in patients with very dilated cardiomyopathy, i.e. those at a more advanced stage of the pathology, analyzing both the responder rate and reverse remodeling in two groups of patients classified according to LVEDD. METHODS: We performed a retrospective analysis of 71 patients who underwent CRT (aged 62 +/- 11 years; 65% male; 93% in NYHA functional class > or = III; 31% with ischemic cardiomyopathy; left ventricular ejection fraction [LVEF] 25.6 +/- 6.8%; 32% in atrial fibrillation; QRS 176 +/- 31 ms). Twenty-two (31%) patients with LVEDD > or = 45 mm/m2 (49.2 +/- 3.5 mm/m2) were considered to have very dilated cardiomyopathy (Group A) and 49 patients had LVEDD > 37 mm/m2 and or = 1 NYHA class) and by echocardiography, with a minimum 15% increase over baseline LVEF combined with a reduction in LVEDD (reverse remodeling). RESULTS: There were no significant differences in baseline demographic characteristics between the two groups. At six-month followup, we observed an improvement in LVEF (delta 8.5 +/- 11.8%) and a reduction in LVEDD (delta 3.7 +/- 6.8 mm/m2), with fifty-seven (79%) patients being classified as clinical responders. The percentage of patients with reverse remodeling was similar in both groups (64% vs. 73%, p = NS), as were percentages of improved LVEF (delta 6.3 +/- 11% vs. delta 9.6 +/- 12%; p = NS) and decreased LVEDD (delta 3.7 +/- 5.5 mm/m2 vs. delta 3.7 +/- 7.4 mm/m2; p = NS). We found a higher percentage of clinical responders in patients with very dilated cardiomyopathy (96% vs. 72%, p < 0.05). CONCLUSION: In this study, a significant number of responders showed reverse remodeling after CRT. Although a higher percentage of patients with very dilated cardiomyopathy showed improvement in functional class, the extent of reverse remodeling was similar in both groups

First report of multiple lineages of dengue viruses type 1 in Rio de Janeiro, Brazil

<p>Abstract</p> <p>Background</p> <p>In Brazil dengue has been a major public health problem since DENV-1 introduction and spread in 1986. After a low or silent co-circulation, DENV-1 re-emerged in 2009 causing a major epidemic in the country in 2010 and 2011. In this study, the phylogeny of DENV-1 strains isolated in RJ after its first introduction in 1986 and after its emergence in 2009 and 2010 was performed in order to document possible evolutionary patterns or introductions in a re-emergent virus.</p> <p>Findings</p> <p>The analysis of the E gene sequences demonstrated that DENV-1 isolated during 2009/2010 still belong to genotype V (Americas/Africa) but grouping in a distinct clade (lineage II) of that represented by earlier DENV-1 (lineage I). However, strains isolated in 2011 grouped together forming another distinct clade (lineage III).</p> <p>Conclusions</p> <p>The monitoring of DENV is important to observe the spread of potentially virulent strains as well to evaluate its impact over the population during an outbreak. Whether explosive epidemics reported in Brazil caused mainly by DENV-1 was due to lineage replacement, or due the population susceptibility to this serotype which has not circulated for almost a decade or even due to the occurrence of secondary infections in a hyperendemic country, is not clear. This is the first report of multiple lineages of DENV-1 detected in Brazil.</p

What traits are carried on mobile genetic elements, and why?

Although similar to any other organism, prokaryotes can transfer genes vertically from mother cell to daughter cell, they can also exchange certain genes horizontally. Genes can move within and between genomes at fast rates because of mobile genetic elements (MGEs). Although mobile elements are fundamentally self-interested entities, and thus replicate for their own gain, they frequently carry genes beneficial for their hosts and/or the neighbours of their hosts. Many genes that are carried by mobile elements code for traits that are expressed outside of the cell. Such traits are involved in bacterial sociality, such as the production of public goods, which benefit a cell's neighbours, or the production of bacteriocins, which harm a cell's neighbours. In this study we review the patterns that are emerging in the types of genes carried by mobile elements, and discuss the evolutionary and ecological conditions under which mobile elements evolve to carry their peculiar mix of parasitic, beneficial and cooperative genes