997 research outputs found

    Monomorphic Ventricular Arrhythmias in Athletes.

    Get PDF
    Ventricular arrhythmias are challenging to manage in athletes with concern for an elevated risk of sudden cardiac death (SCD) during sports competition. Monomorphic ventricular arrhythmias (MMVA), while often benign in athletes with a structurally normal heart, are also associated with a unique subset of idiopathic and malignant substrates that must be clearly defined. A comprehensive evaluation for structural and/or electrical heart disease is required in order to exclude cardiac conditions that increase risk of SCD with exercise, such as hypertrophic cardiomyopathy and arrhythmogenic right ventricular cardiomyopathy. Unique issues for physicians who manage this population include navigating athletes through the decision of whether they can safely continue their chosen sport. In the absence of structural heart disease, therapies such as radiofrequency catheter ablation are very effective for certain arrhythmias and may allow for return to competitive sports participation. In this comprehensive review, we summarise the recommendations for evaluating and managing athletes with MMVA

    From coinductive proofs to exact real arithmetic: theory and applications

    Full text link
    Based on a new coinductive characterization of continuous functions we extract certified programs for exact real number computation from constructive proofs. The extracted programs construct and combine exact real number algorithms with respect to the binary signed digit representation of real numbers. The data type corresponding to the coinductive definition of continuous functions consists of finitely branching non-wellfounded trees describing when the algorithm writes and reads digits. We discuss several examples including the extraction of programs for polynomials up to degree two and the definite integral of continuous maps

    Implementing QVT-R bidirectional model transformations using alloy

    Get PDF
    QVT Relations (QVT-R) is the standard language proposed by the OMG to specify bidirectional model transformations. Unfortunately, in part due to ambiguities and omissions in the original semantics, acceptance and development of effective tool support has been slow. Recently, the checking semantics of QVT-R has been clarified and formalized. In this paper we propose a QVT-R tool that complies to such semantics. Unlike any other existing tool, it also supports meta-models enriched with OCL constraints (thus avoiding returning ill-formed models), and proposes an alternative enforcement semantics that works according to the simple and predictable “principle of least change”. The implementation is based on an embedding of both QVT-R transformations and UML class diagrams (annotated with OCL) in Alloy, a lightweight formal specification language with support for automatic model finding via SAT solving.Fundação para a Ciência e a Tecnologi

    Raised temperatures over the Kericho tea estates: revisiting the climate in the East African highlands malaria debate

    Get PDF
    <p>Abstract</p> <p>Background</p> <p>Whether or not observed increases in malaria incidence in the Kenyan Highlands during the last thirty years are associated with co-varying changes in local temperature, possibly connected to global changes in climate, has been debated for over a decade. Studies, using differing data sets and methodologies, produced conflicting results regarding the occurrence of temperature trends and their likelihood of being responsible, at least in part, for the increases in malaria incidence in the highlands of western Kenya. A time series of quality controlled daily temperature and rainfall data from Kericho, in the Kenyan Highlands, may help resolve the controversy. If significant temperature trends over the last three decades have occurred then climate should be included (along with other factors such as land use change and drug resistance) as a potential driver of the observed increases in malaria in the region.</p> <p>Methods</p> <p>Over 30 years (1 January 1979 to 31 December 2009) of quality controlled daily observations ( > 97% complete) of maximum, minimum and mean temperature were used in the analysis of trends at Kericho meteorological station, sited in a tea growing area of Kenya's western highlands. Inhomogeneities in all the time series were identified and corrected. Linear trends were identified via a least-squares regression analysis with statistical significance assessed using a two-tailed t-test. These 'gold standard' meteorological observations were compared with spatially interpolated temperature datasets that have been developed for regional or global applications. The relationship of local climate processes with larger climate variations, including tropical sea surface temperatures (SST), and El Niño-Southern Oscillation (ENSO) was also assessed.</p> <p>Results</p> <p>An upward trend of ≈0.2°C/decade was observed in all three temperature variables (P < 0.01). Mean temperature variations in Kericho were associated with large-scale climate variations including tropical SST (r = 0.50; p < 0.01). Local rainfall was found to have inverse effects on minimum and maximum temperature. Three versions of a spatially interpolated temperature data set showed markedly different trends when compared with each other and with the Kericho station observations.</p> <p>Conclusion</p> <p>This study presents evidence of a warming trend in observed maximum, minimum and mean temperatures at Kericho during the period 1979 to 2009 using gold standard meteorological observations. Although local factors may be contributing to these trends, the findings are consistent with variability and trends that have occurred in correlated global climate processes. Climate should therefore not be dismissed as a potential driver of observed increases in malaria seen in the region during recent decades, however its relative importance compared to other factors needs further elaboration. Climate services, pertinent to the achievement of development targets such as the Millennium Development Goals and the analysis of infectious disease in the context of climate variability and change are being developed and should increase the availability of relevant quality controlled climate data for improving development decisions. The malaria community should seize this opportunity to make their needs heard.</p

    Trichotillometry: the reliability and practicality of hair pluckability as a method of nutritional assessment

    Get PDF
    <p>Abstract</p> <p>Background</p> <p>A nutritional assessment method that is quick and easy to conduct would be extremely useful in a complex emergency, where currently there is no agreed practical and acceptable method. Hair pluckability has been suggested to be a useful method of assessing protein nutritional status. The aim was to investigate the reliability of the trichotillometer and to explore the effects of patient characteristics on hair epilation force.</p> <p>Methods</p> <p>Three observers plucked hair from twelve participants to investigate the within- and between-observer reliability. To investigate the effect of patient characteristics on hair pluckability, 12 black African and 12 white volunteers were recruited. Participants completed a short questionnaire to provide basic information on their characteristics and hair.</p> <p>Results</p> <p>Mean hair pluckability measurements for the 12 participants obtained by the three observers (39.5 g, 41.2 g and 32.7 g) were significantly different (p < 0.001). Significant variation between patients was also found (p < 0.001). None of the patient characteristics significantly affected hair pluckability, with the exception of age, although this relationship was not consistent.</p> <p>Conclusion</p> <p>Due to significant variation in measurements, hair pluckability does not appear to be a reliable method for assessing adult nutritional status. Hair pluckability could be a useful method of nutritional assessment in complex humanitarian emergencies but only if the reliability was improved.</p

    Thalamic inputs to dorsomedial striatum are involved in inhibitory control: evidence from the five-choice serial reaction time task in rats

    Get PDF
    Rationale Corticostriatal circuits are widely implicated in the top-down control of attention including inhibitory control and behavioural flexibility. However, recent neurophysiological evidence also suggests a role for thalamic inputs to striatum in behaviours related to salient, reward-paired cues. Objectives Here, we used designer receptors exclusively activated by designer drugs (DREADDs) to investigate the role of parafascicular (Pf) thalamic inputs to the dorsomedial striatum (DMS) using the five-choice serial reaction time task (5CSRTT) in rats. Methods The 5CSRTT requires sustained attention in order to detect spatially and temporally distributed visual cues and provides measures of inhibitory control related to impulsivity (premature responses) and compulsivity (perseverative responses). Rats underwent bilateral Pf injections of the DREADD vector, AAV2-CaMKIIa-HA-hM4D(Gi)-IRES-mCitrine. The DREADD agonist, clozapine N-oxide (CNO; 1 μl bilateral; 3 μM) or vehicle, was injected into DMS 1 h before behavioural testing. Task parameters were manipulated to increase attention load or reduce stimulus predictability respectively. Results We found that inhibition of the Pf-DMS projection significantly increased perseverative responses when stimulus predictability was reduced but had no effect on premature responses or response accuracy, even under increased attentional load. Control experiments showed no effects on locomotor activity in an open field. Conclusions These results complement previous lesion work in which the DMS and orbitofrontal cortex were similarly implicated in perseverative responses and suggest a specific role for thalamostriatal inputs in inhibitory control
    corecore