762 research outputs found

    Cardiovascular magnetic resonance of the charcoal heart

    Get PDF
    We report a case of malignant melanoma metastasis to the heart presenting as complete heart block. The highlight of the case is to demonstrate that silent cardiac metastasis is not uncommon and CMR has the potential to characterize these cardiac metastases and should be used routinely as a screening tool for those cancers with a high chance of cardiac involvement

    Using genetic algorithms to generate test sequences for complex timed systems

    Get PDF
    The generation of test data for state based specifications is a computationally expensive process. This problem is magnified if we consider that time con- straints have to be taken into account to govern the transitions of the studied system. The main goal of this paper is to introduce a complete methodology, sup- ported by tools, that addresses this issue by represent- ing the test data generation problem as an optimisa- tion problem. We use heuristics to generate test cases. In order to assess the suitability of our approach we consider two different case studies: a communication protocol and the scientific application BIPS3D. We give details concerning how the test case generation problem can be presented as a search problem and automated. Genetic algorithms (GAs) and random search are used to generate test data and evaluate the approach. GAs outperform random search and seem to scale well as the problem size increases. It is worth to mention that we use a very simple fitness function that can be eas- ily adapted to be used with other evolutionary search techniques

    Simultaneous whole-animal 3D-imaging of neuronal activity using light field microscopy

    Get PDF
    3D functional imaging of neuronal activity in entire organisms at single cell level and physiologically relevant time scales faces major obstacles due to trade-offs between the size of the imaged volumes, and spatial and temporal resolution. Here, using light-field microscopy in combination with 3D deconvolution, we demonstrate intrinsically simultaneous volumetric functional imaging of neuronal population activity at single neuron resolution for an entire organism, the nematode Caenorhabditis elegans. The simplicity of our technique and possibility of the integration into epi-fluoresence microscopes makes it an attractive tool for high-speed volumetric calcium imaging.Comment: 25 pages, 7 figures, incl. supplementary informatio

    Exploring C semantics and pointer provenance

    Get PDF
    The semantics of pointers and memory objects in C has been a vexed question for many years. C values cannot be treated as either purely abstract or purely concrete entities: the language exposes their representations, but compiler optimisations rely on analyses that reason about provenance and initialisation status, not just runtime representations. The ISO WG14 standard leaves much of this unclear, and in some respects differs with de facto standard usage - which itself is difficult to investigate. In this paper we explore the possible source-language semantics for memory objects and pointers, in ISO C and in C as it is used and implemented in practice, focussing especially on pointer provenance. We aim to, as far as possible, reconcile the ISO C standard, mainstream compiler behaviour, and the semantics relied on by the corpus of existing C code. We present two coherent proposals, tracking provenance via integers and not; both address many design questions. We highlight some pros and cons and open questions, and illustrate the discussion with a library of test cases. We make our semantics executable as a test oracle, integrating it with the Cerberus semantics for much of the rest of C, which we have made substantially more complete and robust, and equipped with a web-interface GUI. This allows us to experimentally assess our proposals on those test cases. To assess their viability with respect to larger bodies of C code, we analyse the changes required and the resulting behaviour for a port of FreeBSD to CHERI, a research architecture supporting hardware capabilities, which (roughly speaking) traps on the memory safety violations which our proposals deem undefined behaviour. We also develop a new runtime instrumentation tool to detect possible provenance violations in normal C code, and apply it to some of the SPEC benchmarks. We compare our proposal with a source-language variant of the twin-allocation LLVM semantics proposal of Lee et al. Finally, we describe ongoing interactions with WG14, exploring how our proposals could be incorporated into the ISO standard

    Mendelian randomization study of B-type natriuretic peptide and type 2 diabetes: evidence of causal association from population studies

    Get PDF
    <p>Background: Genetic and epidemiological evidence suggests an inverse association between B-type natriuretic peptide (BNP) levels in blood and risk of type 2 diabetes (T2D), but the prospective association of BNP with T2D is uncertain, and it is unclear whether the association is confounded.</p> <p>Methods and Findings: We analysed the association between levels of the N-terminal fragment of pro-BNP (NT-pro-BNP) in blood and risk of incident T2D in a prospective case-cohort study and genotyped the variant rs198389 within the BNP locus in three T2D case-control studies. We combined our results with existing data in a meta-analysis of 11 case-control studies. Using a Mendelian randomization approach, we compared the observed association between rs198389 and T2D to that expected from the NT-pro-BNP level to T2D association and the NT-pro-BNP difference per C allele of rs198389. In participants of our case-cohort study who were free of T2D and cardiovascular disease at baseline, we observed a 21% (95% CI 3%-36%) decreased risk of incident T2D per one standard deviation (SD) higher log-transformed NT-pro-BNP levels in analysis adjusted for age, sex, body mass index, systolic blood pressure, smoking, family history of T2D, history of hypertension, and levels of triglycerides, high-density lipoprotein cholesterol, and low-density lipoprotein cholesterol. The association between rs198389 and T2D observed in case-control studies (odds ratio = 0.94 per C allele, 95% CI 0.91-0.97) was similar to that expected (0.96, 0.93-0.98) based on the pooled estimate for the log-NT-pro-BNP level to T2D association derived from a meta-analysis of our study and published data (hazard ratio = 0.82 per SD, 0.74-0.90) and the difference in NT-pro-BNP levels (0.22 SD, 0.15-0.29) per C allele of rs198389. No significant associations were observed between the rs198389 genotype and potential confounders.</p> <p>Conclusions: Our results provide evidence for a potential causal role of the BNP system in the aetiology of T2D. Further studies are needed to investigate the mechanisms underlying this association and possibilities for preventive interventions.</p&gt

    Men, rheumatoid arthritis, psychosocial impact and self-management: A narrative review.

    Get PDF
    Rheumatoid arthritis (RA) is a chronic disease affecting fewer men than women. We systematically reviewed the literature on impact and self-management of RA men. Twenty eight papers were included, and grouped into two categories: Psychosocial impact of RA; and Coping and self-management. This review finds gender differences relating to quality of life; work; distress; self-management; coping; and support. We conclude there is a dearth of literature focussing on RA men only, and mixed gender studies include insufficient men to draw strong conclusions about men. Thus, further research is needed to understand the support needs of men with RA in depth

    Psychometric properties of the Multidimensional Health Locus of Control Scale Form C in a non-Western culture

    Get PDF
    Form C of the Multidimensional Health Locus of Control Scales (MHLC-C) was designed to investigate health-related control beliefs of persons with an existing medical condition. The aim of the present study was to examine the psychometric properties of this instrument in a culture characterized by external control beliefs and learned helplessness—contrary to the societal context of original test development. Altogether, 374 Hungarian patients with cancer, irritable bowel syndrome, diabetes, and cardiovascular and musculoskeletal disorders were enrolled in the study. Besides the MHLC-C, instruments measuring general control beliefs, anxiety, depression, self-efficacy, and health behaviors were also administered to evaluate the validity of the scale. Both exploratory and confirmatory factor analytic techniques were used to investigate the factor structure of the scale. Our results showed that the Hungarian adaptation of the instrument had a slightly different structure than the one originally hypothesized: in the present sample, a three-factor structure emerged where the items of the Doctors and the Others subscales loaded onto a single common component. Internal reliability of all three subscales was adequate (alphas between .71 and .79). Data concerning the instrument's validity were comparable with previous results from Western countries. These findings may suggest that health locus of control can be construed very similarly to Western countries even in a post-communist society—regardless of the potential differences in general control beliefs

    Creatinine clearance versus serum creatinine as a risk factor in cardiac surgery

    Get PDF
    BACKGROUND: Renal impairment is one of the predictors of mortality in cardiac surgery. Usually a binarized value of serum creatinine is used to assess the renal function in risk models. Creatinine clearance can be easily estimated by the Cockcroft and Gault equation from serum creatinine, gender, age and body weight. In this work we examine whether this estimation of the glomerular filtration rate can advantageously replace the serum creatinine in the EuroSCORE preoperative risk assessment. METHODS: In a group of 8138 patients out of a total of 11878 patients, who underwent cardiac surgery in our hospital between January 1996 and July 2002, the 18 standard EuroSCORE parameters could retrospectively be determined and logistic regression analysis performed. In all patients scored, creatinine clearance was calculated according to Cockcroft and Gault. The relationship between the predicted and observed 30-days mortality was evaluated in systematically selected intervals of creatinine clearance and significance values computed by employing Monte Carlo methods. Afterwards, risk scoring was performed using a continuous or a categorical value of creatinine clearance instead of serum creatinine. The predictive ability of several risk score models and the individual contribution of their predictor variables were studied using ROC curve analysis. RESULTS: The comparison between the expected and observed 30-days mortalities, which were determined in different intervals of creatinine clearance, revealed the best threshold value of 55 ml/min. A significantly higher 30-days mortality was observed below this threshold and vice versa (both with p < 0.001). The local adaptation of the EuroSCORE is better than the standard EuroSCORE and was further improved by replacing serum creatinine (SC) by creatinine clearance (CC). Differential ROC analysis revealed that CC is superior to SC in providing predictive power within the logistic regression. Variable rank comparison identified CC as the best single variable predictor, even better than the variable age, former number 1, and SC, previously number 9 in the standard set of EuroSCORE variables. CONCLUSION: The renal function is an important determinant of mortality in heart surgery. This risk factor is not well captured in the standard EuroSCORE risk evaluation system. Our study shows that creatinine clearance, calculated according to the Cockcroft and Gault equation, should be applied to estimate the preoperative renal function instead of serum creatinine. This predictor variable replacement gains a significant improvement in the predictive accuracy of the scoring model
    • 

    corecore