Signal reconstruction of pulmonary vein recordings using a phenomenological mathematical model: Application to pulmonary vein isolation therapy

This is the final version of the article. Available from Frontiers Media via the DOI in this record.Atrial fibrillation (AF), the most prevalent cardiac arrhythmia, is commonly initiated by ectopic beats originating from a small myocardial sleeve extending over the pulmonary veins. Pulmonary vein isolation therapy attempts to isolate the pulmonary veins from the left atrium by ablating tissue, commonly by using radiofrequency ablation. During this procedure, the cardiologist records electrical activity using a lasso catheter, and the activation pattern recorded is used as a guide toward which regions to ablate. However, poor contact between electrode and tissue ca n lead to important regions of electrical activity not being recorded in clinic. We reproduce these signals through the use of a phenomenological model of the cardiac action potential on a cylinder, which we fit to post-AF atrial cells, and model the bipolar electrodes of the lasso catheter by an approximation of the surface potential. The resulting activation pattern is validated by direct comparison with those of clinical recordings. A potential application of the model is to reconstruct the missing electrical activity, minimizing the impact of the information loss on the clinical procedure, and we present results to demonstrate this.JT acknowledges the generous support of the Wellcome Trust via Institutional Strategic Support Award (WT105618MA). JT further acknowledges financial support of the EPSRC via grant EP/N014391/1. HG acknowledges the financial support of the University of Exeter

Folic Acid: A Marker of Endothelial Function in Type 2 Diabetes?

Arduino A Mangoni1, Roy A Sherwood2, Belinda Asonganyi2, Emma L Ouldred3, Stephen Thomas4, Stephen HD Jackson31Department of Clinical Pharmacology, Centre for Neuroscience, School of Medicine, Flinders University, Adelaide, SA, Australia; 2Clinical Biochemistry, King’s College Hospital, London, UK; 3Department of Health Care of the Elderly, Guy’s, King’s, and St Thomas’ School of Medicine, King’s College, London, UK; 4Department of Diabetic Medicine, King’s College Hospital, London, UKObjectives: Endothelial dysfunction is a common feature of type 2 diabetes. Recent studies suggest that the B-vitamin folic acid exerts direct beneficial effects on endothelial function, beyond the well known homocysteine lowering effects. Therefore, folic acid might represent a novel “biomarker” of endothelial function. We sought to determine whether plasma levels of folic acid determine endothelial-dependent vasodilation in patients with type 2 diabetes.Methods: Forearm arterial blood flow (FABF) was measured at baseline and during intrabrachial infusion of the endothelial-dependent vasodilator acetylcholine (15 µg/min) and the endothelial-independent vasodilator sodium nitroprusside (2 µg/min) in 26 type 2 diabetic patients (age 56.5 ± 0.9 years, means ± SEM) with no history of cardiovascular disease.Results: FABF ratio (ie, the ratio between the infused and control forearm FABF) significantly increased during acetylcholine (1.10 ± 0.04 vs 1.52 ± 0.07, p < 0.001) and sodium nitroprusside (1.12 ± 0.11 vs 1.62 ± 0.06, p < 0.001) infusions. After correcting for age, gender, diabetes duration, smoking, hypertension, body mass index, microalbuminuria, glycated hemoglobin, low-density lipoprotein cholesterol, and homocysteine, multiple regression analysis showed that plasma folic acid concentration was the only independent determinant (p = 0.037, R2 = 0.22) of acetylcholine-mediated, but not sodium nitroprusside-mediated, vasodilatation.Conclusions: Folic acid plasma concentrations determine endothelium-mediated vasodilatation in patients with type 2 diabetes. These results support the hypothesis of a direct effect of folic acid on endothelial function and the rationale for interventions aimed at increasing folic acid levels to reduce cardiovascular risk.Keywords: folic acid, homocysteine, endothelium, type 2 diabete

Satisfiability of ECTL* with tree constraints

Recently, we have shown that satisfiability for $\mathsf{ECTL}^*$ with constraints over $\mathbb{Z}$ is decidable using a new technique. This approach reduces the satisfiability problem of $\mathsf{ECTL}^*$ with constraints over some structure A (or class of structures) to the problem whether A has a certain model theoretic property that we called EHD (for "existence of homomorphisms is decidable"). Here we apply this approach to concrete domains that are tree-like and obtain several results. We show that satisfiability of $\mathsf{ECTL}^*$ with constraints is decidable over (i) semi-linear orders (i.e., tree-like structures where branches form arbitrary linear orders), (ii) ordinal trees (semi-linear orders where the branches form ordinals), and (iii) infinitely branching trees of height h for each fixed $h\in \mathbb{N}$. We prove that all these classes of structures have the property EHD. In contrast, we introduce Ehrenfeucht-Fraisse-games for $\mathsf{WMSO}+\mathsf{B}$ (weak $\mathsf{MSO}$ with the bounding quantifier) and use them to show that the infinite (order) tree does not have property EHD. As a consequence, a different approach has to be taken in order to settle the question whether satisfiability of $\mathsf{ECTL}^*$ (or even $\mathsf{LTL}$) with constraints over the infinite (order) tree is decidable

Large scale single nucleotide polymorphism discovery in unsequenced genomes using second generation high throughput sequencing technology: applied to turkey

<p>Abstract</p> <p>Background</p> <p>The development of second generation sequencing methods has enabled large scale DNA variation studies at moderate cost. For the high throughput discovery of single nucleotide polymorphisms (SNPs) in species lacking a sequenced reference genome, we set-up an analysis pipeline based on a short read de novo sequence assembler and a program designed to identify variation within short reads. To illustrate the potential of this technique, we present the results obtained with a randomly sheared, enzymatically generated, 2-3 kbp genome fraction of six pooled <it>Meleagris gallopavo </it>(turkey) individuals.</p> <p>Results</p> <p>A total of 100 million 36 bp reads were generated, representing approximately 5-6% (~62 Mbp) of the turkey genome, with an estimated sequence depth of 58. Reads consisting of bases called with less than 1% error probability were selected and assembled into contigs. Subsequently, high throughput discovery of nucleotide variation was performed using sequences with more than 90% reliability by using the assembled contigs that were 50 bp or longer as the reference sequence. We identified more than 7,500 SNPs with a high probability of representing true nucleotide variation in turkeys. Increasing the reference genome by adding publicly available turkey BAC-end sequences increased the number of SNPs to over 11,000. A comparison with the sequenced chicken genome indicated that the assembled turkey contigs were distributed uniformly across the turkey genome. Genotyping of a representative sample of 340 SNPs resulted in a SNP conversion rate of 95%. The correlation of the minor allele count (MAC) and observed minor allele frequency (MAF) for the validated SNPs was 0.69.</p> <p>Conclusion</p> <p>We provide an efficient and cost-effective approach for the identification of thousands of high quality SNPs in species currently lacking a sequenced genome and applied this to turkey. The methodology addresses a random fraction of the genome, resulting in an even distribution of SNPs across the targeted genome.</p

Modelling Realistic User Behaviour in Information Systems Simulations as Fuzzing Aspects

In this paper we contend that the engineering of information systems is hampered by a paucity of tools to tractably model, simulate and predict the impact of realistic user behaviours on the emergent properties of the wider socio-technical system, evidenced by the plethora of case studies of system failure in the literature. We address this gap by presenting a novel approach that models ideal user behaviour as workflows, and introduces irregularities in that behaviour as aspects which fuzz the model. We demonstrate the success of this approach through a case study of software development workflows, showing that the introduction of realistic user behaviour to idealised workflows better simulates outcomes reported in the empirical software engineering literature

Gill Damage to Atlantic Salmon (Salmo salar) Caused by the Common Jellyfish (Aurelia aurita) under Experimental Challenge

Peer-reviewed. Copyright © 2011 E.J. Baxter et al. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.Background: Over recent decades jellyfish have caused fish kill events and recurrent gill problems in marine-farmed salmonids. Common jellyfish (Aurelia spp.) are among the most cosmopolitan jellyfish species in the oceans, with populations increasing in many coastal areas. The negative interaction between jellyfish and fish in aquaculture remains a poorly studied area of science. Thus, a recent fish mortality event in Ireland, involving Aurelia aurita, spurred an investigation into the effects of this jellyfish on marine-farmed salmon. Methodology/Principal Findings: To address the in vivo impact of the common jellyfish (A. aurita) on salmonids, we exposed Atlantic salmon (Salmo salar) smolts to macerated A. aurita for 10 hrs under experimental challenge. Gill tissues of control and experimental treatment groups were scored with a system that rated the damage between 0 and 21 using a range of primary and secondary parameters. Our results revealed that A. aurita rapidly and extensively damaged the gills of S. salar, with the pathogenesis of the disorder progressing even after the jellyfish were removed. After only 2 hrs of exposure, significant multi-focal damage to gill tissues was apparent. The nature and extent of the damage increased up to 48 hrs from the start of the challenge. Although the gills remained extensively damaged at 3 wks from the start of the challenge trial, shortening of the gill lamellae and organisation of the cells indicated an attempt to repair the damage suffered. Conclusions: Our findings clearly demonstrate that A. aurita can cause severe gill problems in marine-farmed fish. With aquaculture predicted to expand worldwide and evidence suggesting that jellyfish populations are increasing in some areas, this threat to aquaculture is of rising concern as significant losses due to jellyfish could be expected to increase in the future

Common variants in FOXP1 are associated with generalized vitiligo

In a recent genome-wide association study of generalized vitiligo, we identified ten confirmed susceptibility loci. By testing additional loci that showed suggestive association in the genome-wide study, using two replication cohorts of European descent, we observed replicated association of generalized vitiligo with variants at 3p13 encompassing FOXP1 (rs17008723, combined P = 1.04 × 10−8) and with variants at 6q27 encompassing CCR6 (rs6902119, combined P = 3.94 × 10−7)

High incidence of metastatic disease in primary high grade and large extremity soft tissue sarcomas treated without chemotherapy

BACKGROUND: The risk of metastasis and the survival in patients with primary extremity soft tissue sarcomas is worse when tumour size is large and the grade of malignancy is high. Such tumours may receive chemotherapy and/or radiation therapy (RTX) for optimising local control. Irradiation can either be applied preoperatively or after tumour resection. The question arises if the kind of RTX in the absence of chemotherapy influences the outcome concerning local control, metastatic disease, survival and complications. METHODS: We retrospectively reviewed the clinical outcome of 233 patients with a primary extremity soft tissue sarcoma treated between 1990 – 2000 with a mean follow-up of 35.8 (4–120) months in our institute. 41 patients had high grade, deep and large tumours (>8 cm), an AJCC stage III (no evidence of metastasis prior to treatment) and were treated with limb salvage surgery and irradiation but stayed without additional chemotherapy. Two groups of patients were compared: the first group received postoperative RTX after tumour resection (n = 33); the second group was treated with preoperative RTX (n = 8). Both groups did not differ concerning clinical parameters. We analysed primary and secondary outcomes. RESULTS: 56% (23/41) of the population developed metastatic disease, 24% (10/41) local recurrence. The risk of metastasis was higher in the group with preoperative irradiation (p = 0.046). The overall (p = 0.0248) and relapse free survival (p = 0.104) were worse in this group. The delay to tumour resection amounted 8 weeks on average in the preoperative group. Local control was not different (p = 0.38) in both study groups. Wound infections and other combined therapy related complications were equally distributed (p = 0.22). CONCLUSION: Without chemotherapy there remains a high risk of metastasis in AJCC grade 3 patients. In high risk patients treated without chemotherapy the elapsed time to tumour resection after preoperative radiation might contribute to the development of metastasis. This outcome may support the thesis that a combination of RTX and offensive multimodal treatment protocols is advantageous in such a subset of patient

Clades of huge phages from across Earth's ecosystems.

Bacteriophages typically have small genomes1 and depend on their bacterial hosts for replication2. Here we sequenced DNA from diverse ecosystems and found hundreds of phage genomes with lengths of more than 200&nbsp;kilobases (kb), including a genome of 735&nbsp;kb, which is-to our knowledge-the largest phage genome to be described to date. Thirty-five genomes were manually curated to completion (circular and no gaps). Expanded genetic repertoires include diverse and previously undescribed CRISPR-Cas systems, transfer RNAs (tRNAs), tRNA synthetases, tRNA-modification enzymes, translation-initiation and elongation factors, and ribosomal proteins. The CRISPR-Cas systems of phages have the capacity to silence host transcription factors and translational genes, potentially as part of a larger interaction network that intercepts translation to redirect biosynthesis to phage-encoded functions. In addition, some phages may repurpose bacterial CRISPR-Cas systems to eliminate competing phages. We phylogenetically define the major clades of huge phages from human and other animal microbiomes, as well as from oceans, lakes, sediments, soils and the built environment. We conclude that the large gene inventories of huge phages reflect a conserved biological strategy, and that the phages are distributed across a broad bacterial host range and across Earth's ecosystems