Ventricular divergence correlates with epicardial wavebreaks and predicts ventricular arrhythmia in isolated rabbit hearts during therapeutic hypothermia

INTRODUCTION: High beat-to-beat morphological variation (divergence) on the ventricular electrogram during programmed ventricular stimulation (PVS) is associated with increased risk of ventricular fibrillation (VF), with unclear mechanisms. We hypothesized that ventricular divergence is associated with epicardial wavebreaks during PVS, and that it predicts VF occurrence. METHOD AND RESULTS: Langendorff-perfused rabbit hearts (n = 10) underwent 30-min therapeutic hypothermia (TH, 30°C), followed by a 20-min treatment with rotigaptide (300 nM), a gap junction modifier. VF inducibility was tested using burst ventricular pacing at the shortest pacing cycle length achieving 1:1 ventricular capture. Pseudo-ECG (p-ECG) and epicardial activation maps were simultaneously recorded for divergence and wavebreaks analysis, respectively. A total of 112 optical and p-ECG recordings (62 at TH, 50 at TH treated with rotigaptide) were analyzed. Adding rotigaptide reduced ventricular divergence, from 0.13±0.10 at TH to 0.09±0.07 (p = 0.018). Similarly, rotigaptide reduced the number of epicardial wavebreaks, from 0.59±0.73 at TH to 0.30±0.49 (p = 0.036). VF inducibility decreased, from 48±31% at TH to 22±32% after rotigaptide infusion (p = 0.032). Linear regression models showed that ventricular divergence correlated with epicardial wavebreaks during TH (p<0.001). CONCLUSION: Ventricular divergence correlated with, and might be predictive of epicardial wavebreaks during PVS at TH. Rotigaptide decreased both the ventricular divergence and epicardial wavebreaks, and reduced the probability of pacing-induced VF during TH

Breast cancer risk reduction:is it feasible to initiate a randomised controlled trial of a lifestyle intervention programme (ActWell) within a national breast screening programme?

BackgroundBreast cancer is the most commonly diagnosed cancer and the second cause of cancer deaths amongst women in the UK. The incidence of the disease is increasing and is highest in women from least deprived areas. It is estimated that around 42% of the disease in post-menopausal women could be prevented by increased physical activity and reductions in alcohol intake and body fatness. Breast cancer control endeavours focus on national screening programmes but these do not include communications or interventions for risk reductionThis study aimed to assess the feasibility of delivery, indicative effects and acceptability of a lifestyle intervention programme initiated within the NHS Scottish Breast Screening Programme (NHSSBSP).MethodsA 1:1 randomised controlled trial (RCT) of the 3 month ActWell programme (focussing on body weight, physical activity and alcohol) versus usual care conducted in two NHSSBSP sites between June 2013 and January 2014. Feasibility assessments included recruitment, retention, and fidelity to protocol. Indicative outcomes were measured at baseline and 3 month follow-up (body weight, waist circumference, eating and alcohol habits and physical activity. At study end, a questionnaire assessed participant satisfaction and qualitative interviews elicited women¿s, coaches and radiographers¿ experiences. Statistical analysis used Chi squared tests for comparisons in proportions and paired t tests for comparisons of means. Linear regression analyses were performed, adjusted for baseline values, with group allocation as a fixed effectResultsA pre-set recruitment target of 80 women was achieved within 12 weeks and 65 (81%) participants (29 intervention, 36 control) completed 3 month assessments. Mean age was 58¿±¿5.6 years, mean BMI was 29.2¿±¿7.0 kg/m2 and many (44%) reported a family history of breast cancer.The primary analysis (baseline body weight adjusted) showed a significant between group difference favouring the intervention group of 2.04 kg (95%CI ¿3.24 kg to ¿0.85 kg). Significant, favourable between group differences were also detected for BMI, waist circumference, physical activity and sitting time. Women rated the programme highly and 70% said they would recommend it to others.ConclusionsRecruitment, retention, indicative results and participant acceptability support the development of a definitive RCT to measure long term effects.Trial registrationThe trial was registered with Current Controlled Trials (ISRCTN56223933)

Towards outperforming conventional sensor arrays with fabricated individual photonic vapour sensors inspired by Morpho butterflies.

Published onlineJournal ArticleResearch Support, Non-U.S. Gov'tResearch Support, U.S. Gov't, Non-P.H.S.Combining vapour sensors into arrays is an accepted compromise to mitigate poor selectivity of conventional sensors. Here we show individual nanofabricated sensors that not only selectively detect separate vapours in pristine conditions but also quantify these vapours in mixtures, and when blended with a variable moisture background. Our sensor design is inspired by the iridescent nanostructure and gradient surface chemistry of Morpho butterflies and involves physical and chemical design criteria. The physical design involves optical interference and diffraction on the fabricated periodic nanostructures and uses optical loss in the nanostructure to enhance the spectral diversity of reflectance. The chemical design uses spatially controlled nanostructure functionalization. Thus, while quantitation of analytes in the presence of variable backgrounds is challenging for most sensor arrays, we achieve this goal using individual multivariable sensors. These colorimetric sensors can be tuned for numerous vapour sensing scenarios in confined areas or as individual nodes for distributed monitoring.We would like to acknowledge H. Ghiradella (University at Albany), M. Blohm and S. Duclos (GE) and V. Greanya, J. Abo-Shaeer, C. Nehl and M. Sandrock (DARPA) for fruitful discussions. This work has been supported in part from DARPA contract W911NF-10-C-0069 ‘Bio Inspired Photonics’ and from General Electric’s Advanced Technology research funds. The content of the information does not necessarily reflect the position or the policy of the US Government

MicroRNAs in cardiac arrhythmia: DNA sequence variation of MiR-1 and MiR-133A in long QT syndrome.

Long QT syndrome (LQTS) is a genetic cardiac condition associated with prolonged ventricular repolarization, primarily a result of perturbations in cardiac ion channels, which predisposes individuals to life-threatening arrhythmias. Using DNA screening and sequencing methods, over 700 different LQTS-causing mutations have been identified in 13 genes worldwide. Despite this, the genetic cause of 30-50% of LQTS is presently unknown. MicroRNAs (miRNAs) are small (∼ 22 nucleotides) noncoding RNAs which post-transcriptionally regulate gene expression by binding complementary sequences within messenger RNAs (mRNAs). The human genome encodes over 1800 miRNAs, which target about 60% of human genes. Consequently, miRNAs are likely to regulate many complex processes in the body, indeed aberrant expression of various miRNA species has been implicated in numerous disease states, including cardiovascular diseases. MiR-1 and MiR-133A are the most abundant miRNAs in the heart and have both been reported to regulate cardiac ion channels. We hypothesized that, as a consequence of their role in regulating cardiac ion channels, genetic variation in the genes which encode MiR-1 and MiR-133A might explain some cases of LQTS. Four miRNA genes (miR-1-1, miR-1-2, miR-133a-1 and miR-133a-2), which encode MiR-1 and MiR-133A, were sequenced in 125 LQTS probands. No genetic variants were identified in miR-1-1 or miR-133a-1; but in miR-1-2 we identified a single substitution (n.100A> G) and in miR-133a-2 we identified two substitutions (n.-19G> A and n.98C> T). None of the variants affect the mature miRNA products. Our findings indicate that sequence variants of miR-1-1, miR-1-2, miR-133a-1 and miR-133a-2 are not a cause of LQTS in this cohort

Compositionality for Quantitative Specifications

We provide a framework for compositional and iterative design and verification of systems with quantitative information, such as rewards, time or energy. It is based on disjunctive modal transition systems where we allow actions to bear various types of quantitative information. Throughout the design process the actions can be further refined and the information made more precise. We show how to compute the results of standard operations on the systems, including the quotient (residual), which has not been previously considered for quantitative non-deterministic systems. Our quantitative framework has close connections to the modal nu-calculus and is compositional with respect to general notions of distances between systems and the standard operations

An Introductory Guide to Aligning Networks Using SANA, the Simulated Annealing Network Aligner.

Sequence alignment has had an enormous impact on our understanding of biology, evolution, and disease. The alignment of biological networks holds similar promise. Biological networks generally model interactions between biomolecules such as proteins, genes, metabolites, or mRNAs. There is strong evidence that the network topology-the "structure" of the network-is correlated with the functions performed, so that network topology can be used to help predict or understand function. However, unlike sequence comparison and alignment-which is an essentially solved problem-network comparison and alignment is an NP-complete problem for which heuristic algorithms must be used.Here we introduce SANA, the Simulated Annealing Network Aligner. SANA is one of many algorithms proposed for the arena of biological network alignment. In the context of global network alignment, SANA stands out for its speed, memory efficiency, ease-of-use, and flexibility in the arena of producing alignments between two or more networks. SANA produces better alignments in minutes on a laptop than most other algorithms can produce in hours or days of CPU time on large server-class machines. We walk the user through how to use SANA for several types of biomolecular networks

Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata

Probabilistic timed automata are a formalism for modelling systems whose dynamics includes probabilistic, nondeterministic and timed aspects including real-time systems. A variety of techniques have been proposed for the analysis of this formalism and successfully employed to analyse, for example, wireless communication protocols and computer security systems. Augmenting the model with prices (or, equivalently, costs or rewards) provides a means to verify more complex quantitative properties, such as the expected energy usage of a device or the expected number of messages sent during a protocol’s execution. However, the analysis of these properties on probabilistic timed automata currently relies on a technique based on integer discretisation of real-valued clocks, which can be expensive in some cases. In this paper, we propose symbolic techniques for verification and optimal strategy synthesis for priced probabilistic timed automata which avoid this discretisation. We build upon recent work for the special case of expected time properties, using value iteration over a zone-based abstraction of the model

Computing Branching Distances Using Quantitative Games

We lay out a general method for computing branching distances between labeled transition systems. We translate the quantitative games used for defining these distances to other, path-building games which are amenable to methods from the theory of quantitative games. We then show for all common types of branching distances how the resulting path-building games can be solved. In the end, we achieve a method which can be used to compute all branching distances in the linear-time--branching-time spectrum

Increasing condom use in heterosexual men: development of a theory-based interactive digital intervention

Increasing condom use to prevent sexually transmitted infections is a key public health goal. Interventions are more likely to be effective if they are theory- and evidence-based. The Behaviour Change Wheel (BCW) provides a framework for intervention development. To provide an example of how the BCW was used to develop an intervention to increase condom use in heterosexual men (the MenSS website), the steps of the BCW intervention development process were followed, incorporating evidence from the research literature and views of experts and the target population. Capability (e.g. knowledge) and motivation (e.g. beliefs about pleasure) were identified as important targets of the intervention. We devised ways to address each intervention target, including selecting interactive features and behaviour change techniques. The BCW provides a useful framework for integrating sources of evidence to inform intervention content and deciding which influences on behaviour to target