Progressive hearing loss in Fabry's disease: a case report

Fabry's disease is a chromosomal X-linked inherited disease, which causes a lack of the lysosomal alpha-galactosidase A enzyme leading to a cellular accumulation of glycosphingolipids. This accumulation leads to various clinical disorders, including inner ear lesions, with sensorineural hearing loss and dizziness. This article proposes to describe a clinical case of a patient suffering from Fabry's disease with inner ear associated problems and to review the literature focusing on this subject

A Fully Differential Digital CMOS Pulse UWB Generator

A new fully-digital CMOS pulse generator for impulse-radio Ultra-Wide-Band (UWB) systems is presented. First, the shape of the pulse which best fits the FCC regulation in the 3.1-5 GHz sub-band of the entire 3.1-10.6 GHz UWB bandwidth is derived and approximated using rectangular digital pulses. In particular, the number and width of pulses that approximate an ideal template is found through an ad-hoc optimization methodology. Then a fully differential digital CMOS circuit that synthesizes the pulse sequence is conceived and its functionality demonstrated through post-layout simulations. The results show a very good agreement with the FCC requirements and a low power consumptio

A WXW Motif Is Required for the Anticancer Activity of the TAT-RasGAP317-326 Peptide.

TAT-RasGAP317-326, a cell-permeable 10-amino acid-long peptide derived from the N2 fragment of p120 Ras GTPase-activating protein (RasGAP), sensitizes tumor cells to apoptosis induced by various anticancer therapies. This RasGAP-derived peptide, by targeting the deleted in liver cancer-1 (DLC1) tumor suppressor, also hampers cell migration and invasion by promoting cell adherence and by inhibiting cell movement. Here, we systematically investigated the role of each amino acid within the RasGAP317-326 sequence for the anticancer activities of TAT-RasGAP317-326. We report here that the first three amino acids of this sequence, tryptophan, methionine, and tryptophan (WMW), are necessary and sufficient to sensitize cancer cells to cisplatin-induced apoptosis and to reduce cell migration. The WMW motif was found to be critical for the binding of fragment N2 to DLC1. These results define the interaction mode between the active anticancer sequence of RasGAP and DLC1. This knowledge will facilitate the design of small molecules bearing the tumor-sensitizing and antimetastatic activities of TAT-RasGAP317-326

Isabelle/DOF: Design and Implementation

This is the author accepted manuscript. The final version is available from Springer Verlag via the DOI in this record17th International Conference, SEFM 2019 Oslo, Norway, September 18–20, 2019DOF is a novel framework for defining ontologies and enforcing them during document development and evolution. A major goal of DOF is the integrated development of formal certification documents (e. g., for Common Criteria or CENELEC 50128) that require consistency across both formal and informal arguments. To support a consistent development of formal and informal parts of a document, we provide Isabelle/DOF, an implementation of DOF on top of the formal methods framework Isabelle/HOL. A particular emphasis is put on a deep integration into Isabelleâs IDE, which allows for smooth ontology development as well as immediate ontological feedback during the editing of a document. In this paper, we give an in-depth presentation of the design concepts of DOFâs Ontology Definition Language (ODL) and key aspects of the technology of its implementation. Isabelle/DOF is the first ontology language supporting machine-checked links between the formal and informal parts in an LCF-style interactive theorem proving environment. Sufficiently annotated, large documents can easily be developed collabo- ratively, while ensuring their consistency, and the impact of changes (in the formal and the semi-formal content) is tracked automatically.IRT SystemX, Paris-Saclay, Franc

Non-severe aortic regurgitation increases short-term mortality in acute heart failure with preserved ejection fraction.

Mild or moderate aortic regurgitation (AR) has only little effect on cardiovascular outcome in people with normal left ventricular ejection fraction (EF); therefore, it is not perceived as a major clinical problem. This study investigates whether mild or moderate AR is associated with increased short-term mortality in patients hospitalized for treatment of acute heart failure (AHF) and whether mild or moderate AR impacts differently on short-term mortality in AHF patients with reduced EF (AHFrEF), mid-range EF (AHFmrEF), or preserved EF (AHFpEF). This mono-centric study included 505 consecutive adult patients hospitalized for de novo or worsening chronic HF not related to acute ischaemia or severe valvular pathology in the echocardiogram at index hospitalization. Cox regression analysis studied the impact of AR on all-cause mortality (ACM) over the 150 days' study period. Mild or moderate AR was associated with increased ACM (HR 1.75 [95% CI: 1.1-2.7]; P = 0.009). The prevalence of mild or moderate AR in the study population was 42% and not significantly different between AHFpEF (n = 227), AHFmrEF (n = 86), and AHFrEF (n = 192) study participants (37.9% vs. 50.0% vs. 42.7%; P = 0.144). In AHFpEF patients, the age-adjusted hazard for ACM was increased in patients with AR compared with patients without AR (HR 2.17 [95% CI: 1.1-4.2]; P = 0.002). The age-adjusted hazard for ACM was increased by a trend in AHFmrEF with AR (HR 7.11, [95% CI: 0.9-57.8]; P = 0.067) and not different between the AHFrEF groups (HR 0.95 [95% CI: 0.5-1.8]; P = 0.875). Mild or moderate AR increased ACM only in AHFpEF patients, highlighting a distinct clinical relevance

Equality, Quasi-Implicit Products, and Large Eliminations

This paper presents a type theory with a form of equality reflection: provable equalities can be used to coerce the type of a term. Coercions and other annotations, including implicit arguments, are dropped during reduction of terms. We develop the metatheory for an undecidable version of the system with unannotated terms. We then devise a decidable system with annotated terms, justified in terms of the unannotated system. Finally, we show how the approach can be extended to account for large eliminations, using what we call quasi-implicit products.Comment: In Proceedings ITRS 2010, arXiv:1101.410

Strategies used as spectroscopy of financial markets reveal new stylized facts

We propose a new set of stylized facts quantifying the structure of financial markets. The key idea is to study the combined structure of both investment strategies and prices in order to open a qualitatively new level of understanding of financial and economic markets. We study the detailed order flow on the Shenzhen Stock Exchange of China for the whole year of 2003. This enormous dataset allows us to compare (i) a closed national market (A-shares) with an international market (B-shares), (ii) individuals and institutions and (iii) real investors to random strategies with respect to timing that share otherwise all other characteristics. We find that more trading results in smaller net return due to trading frictions. We unveiled quantitative power laws with non-trivial exponents, that quantify the deterioration of performance with frequency and with holding period of the strategies used by investors. Random strategies are found to perform much better than real ones, both for winners and losers. Surprising large arbitrage opportunities exist, especially when using zero-intelligence strategies. This is a diagnostic of possible inefficiencies of these financial markets.Comment: 13 pages including 5 figures and 1 tabl

Decongestion improving right heart function ameliorates prognosis after an acute heart failure episode.

The prognostic role of decongestion-related change of cardiac morphology and in particular right heart function has not been investigated comprehensively in AHF patients. This prospective observational single-centre study included consecutive patients hospitalized for treatment of AHF with reduced, mildly-reduced or preserved left ventricular ejection fraction (LVEF). Comprehensive transthoracic echocardiography at admission and discharge assessed decongestion-related change of cardiac function and morphology. The combined endpoint of 1 year all-cause mortality and cardiovascular rehospitalization explored the prognostic importance of decongestion-related change. The 176 study participants were 83 years old [74-87] and 54% were men. Fifty one (29%) had rLVEF, 65 (37%) mrLVEF, and 60 (34%) pLVEF. The proportion of de novo or worsening chronic HF was not different between LVEF groups. HF aetiology and cardiovascular risk factors were equally distributed across all groups except for a higher BMI in the pLVEF group. Decongestion equally reduced body weight, heart rate, systolic and diastolic blood pressure, tricuspid regurgitation gradient, and inferior vena cava diameter across all groups (P < 0.004 for all). Decongestion-related increase in TAPSE independent of the LVEF was associated with improvement of right-ventricular-pulmonary artery coupling and a lower incidence of the combined outcome in the Cox proportional hazard risk analysis (unadjusted HR 0.50 95% CI 0.33-0.78, P = 0.002; adjusted HR 0.46 95% CI: 0.33-0.78, P = 0.001). Decongestion-related increase in TAPSE and recovery of RV/pulmonary artery coupling was observed across all LVEF groups and associated with a risk reduction for the combined endpoint highlighting the important prognostic role of right heart recovery after an AHF episode

Impact of extracardiac findings during cardiac MR on patient management and outcome.

Cardiac magnetic resonance (CMR) is increasingly used to assess heart diseases. Relevant non-cardiac diseases may also be incidentally found on CMR images. The aim of this study was to determine the prevalence and nature of incidental extra-cardiac findings (IEF) and their clinical impact in non-selected patients referred for CMR. MR images of 762 consecutive patients (515 men, age: 56±18 years) referred for CMR were prospectively interpreted by 2 radiologists blinded for any previous imaging study. IEFs were classified as major when requiring treatment, follow-up, or further investigation. Clinical follow-up was performed by checking hospital information records and by calling referring physicians. The 2 endpoints were: 1) non-cardiac death and new treatment related to major IEFs, and 2) hospitalization related to major IEFs during follow-up. Major IEFs were proven in 129 patients (18.6% of the study population), 14% of those being unknown before CMR. During 15±6 month follow-up, treatment of confirmed major IEFs was initiated in 1.4%, and no non-cardiac deaths occurred. Hospitalization occurred in 8 patients (1.0% of the study population) with confirmed major IEFs and none occurred in the remaining 110 patients with unconfirmed/unexplored major IEFs (p<0.001). Screening for major IEFs in a population referred for routine CMR changed management in 1.4% of patients. Major IEFs unknown before CMR but without further exploration, however, carried a favorable prognosis over a follow-up period of 15 months