302 research outputs found

    Dysembryoplastic neuroepithelial tumor and probable sudden unexplained death in epilepsy: a case report

    Get PDF
    <p>Abstract</p> <p>Introduction</p> <p>This is the first report of the case of a patient with a natural history of dysembryoplastic neuroepithelial tumor associated with probable sudden unexplained death in epilepsy. These tumors are benign, arising within the supratentorial cortex. Over 100 cases have been reported in the literature since the first description by Daumas-Duport in 1988.</p> <p>Case presentation</p> <p>A 24- year-old Caucasian woman had a long period of intractable complex partial seizures, sometimes with tonic-clonic generalization and neuropsychological abnormalities. Magnetic resonance imaging showed a cortico-subcortical parietal tumor with all the characteristics of these types of tumors. After 14 years of evolution, our patient died suddenly during sleep.</p> <p>Conclusion</p> <p>To the best of our knowledge, this is the first case of probable sudden unexplained death in symptomatic epilepsy due to dysembryoplastic neuroepithelial tumor with natural history. Early and complete excision, with functional studies before and during the surgery, leads to better control of seizures, avoiding neuropsychological changes and the risk of death. Patients with refractory epilepsy should be evaluated for any sleep disorders and should have complete cardiology assessments including electrocardiographic evaluation of cardiac rhythm disturbances.</p

    Automatic Verification of Finite Precision Implementations of Linear Controllers

    Get PDF
    We consider the problem of verifying finite precision implementation of linear time-invariant controllers against mathematical specifications. A specification may have multiple correct implementations which are different from each other in controller state representation, but equivalent from a perspective of input-output behavior (e.g., due to optimization in a code generator). The implementations may use finite precision computations (e.g. floating-point arithmetic) which cause quantization (i.e., roundoff) errors. To address these challenges, we first extract a controller\u27s mathematical model from the implementation via symbolic execution and floating-point error analysis, and then check approximate input-output equivalence between the extracted model and the specification by similarity checking. We show how to automatically verify the correctness of floating-point controller implementation in C language using the combination of techniques such as symbolic execution and convex optimization problem solving. We demonstrate the scalability of our approach through evaluation with randomly generated controller specifications of realistic size

    Influences of Excluded Volume of Molecules on Signaling Processes on Biomembrane

    Get PDF
    We investigate the influences of the excluded volume of molecules on biochemical reaction processes on 2-dimensional surfaces using a model of signal transduction processes on biomembranes. We perform simulations of the 2-dimensional cell-based model, which describes the reactions and diffusion of the receptors, signaling proteins, target proteins, and crowders on the cell membrane. The signaling proteins are activated by receptors, and these activated signaling proteins activate target proteins that bind autonomously from the cytoplasm to the membrane, and unbind from the membrane if activated. If the target proteins bind frequently, the volume fraction of molecules on the membrane becomes so large that the excluded volume of the molecules for the reaction and diffusion dynamics cannot be negligible. We find that such excluded volume effects of the molecules induce non-trivial variations of the signal flow, defined as the activation frequency of target proteins, as follows. With an increase in the binding rate of target proteins, the signal flow varies by i) monotonically increasing; ii) increasing then decreasing in a bell-shaped curve; or iii) increasing, decreasing, then increasing in an S-shaped curve. We further demonstrate that the excluded volume of molecules influences the hierarchical molecular distributions throughout the reaction processes. In particular, when the system exhibits a large signal flow, the signaling proteins tend to surround the receptors to form receptor-signaling protein clusters, and the target proteins tend to become distributed around such clusters. To explain these phenomena, we analyze the stochastic model of the local motions of molecules around the receptor.Comment: 31 pages, 10 figure

    Building Better Bit-Blasting for Floating-Point Problems

    Get PDF
    An effective approach to handling the theory of floating-point is to reduce it to the theory of bit-vectors. Implementing the required encodings is complex, error prone and requires a deep understanding of floating-point hardware. This paper presents SymFPU, a library of encodings that can be included in solvers. It also includes a verification argument for its correctness, and experimental results showing that its use in CVC4 out-performs all previous tools. As well as a significantly improved performance and correctness, it is hoped this will give a simple route to add support for the theory of floating-point

    The fraction of cancer attributable to ways of life, infections, occupation, and environmental agents in Brazil in 2020

    Get PDF
    Many human cancers develop as a result of exposure to risk factors related to the environment and ways of life. The aim of this study was to estimate attributable fractions of 25 types of cancers resulting from exposure to modifiable risk factors in Brazil. The prevalence of exposure to selected risk factors among adults was obtained from population-based surveys conducted from 2000 to 2008. Risk estimates were based on data drawn from metaanalyses or large, high quality studies. Population-attributable fractions (PAF) for a combination of risk factors, as well as the number of preventable deaths and cancer cases, were calculated for 2020. The known preventable risk factors studied will account for 34% of cancer cases among men and 35% among women in 2020, and for 46% and 39% deaths, respectively. The highest attributable fractions were estimated for tobacco smoking, infections, low consumption of fruits and vegetables, excess weight, reproductive factors, and physical inactivity. This is the first study to systematically estimate the fraction of cancer attributable to potentially modifiable risk factors in Brazil. Strategies for primary prevention of tobacco smoking and control of infection and the promotion of a healthy diet and physical activity should be the main priorities in policies for cancer prevention in the country. \ua9 2016 Azevedo e Silva 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

    The application of cortical layer markers in the evaluation of cortical dysplasias in epilepsy

    Get PDF
    The diagnostic criteria for focal cortical dysplasia type I (FCD I) remain to be well and consistently defined. Cortical layer-specific markers (CLM) provide a potential tool for the objective assessment of any dyslamination. We studied expression patterns of recognised CLM using immunohistochemistry for N200, ER81, Otx1, Map1b (subsets of V/VI projection neurones), Pax6, Tbr1, Tbr2 (differentially expressed in cortical neurones from intermediate progenitor cells), Cux 1 (outer cortical layers) and MASH1 (ventricular zone progenitors). Dysplasia subtypes included FCD I and II, dysplasias adjacent to hippocampal sclerosis (HS) or dysembryoplastic neuroepithelial tumours (DNTs); all were compared to neonatal and adult controls. Laminar expression patterns in normal cortex were observed with Tbr1, Map1b, N200 and Otx1. FCDI cases in younger patients were characterised by abnormal expression in layer II for Tbr1 and Otx1. FCDII showed distinct labelling of balloon cells (Pax6, ER81 and Otx1) and dysmorphic neurones (Tbr 1, N200 and Map1b) supporting origins from radial glia and intermediate progenitor cells, respectively. In temporal lobe sclerosis cases with dysplasia adjacent to HS, Tbr1 and Map1b highlighted abnormal orientation of neurones in layer II. Dyslamination was not confirmed in the perilesional cortex of DNT with CLM. Finally, immature cell types (Otx1, Pax6 and Tbr2) were noted in varied pathologies. One possibility is activation of progenitor cell populations which could contribute to the pathophysiology of these lesions

    Molecular imaging of glioblastoma multiforme using anti-insulin-like growth factor-binding protein-7 single-domain antibodies

    Get PDF
    BACKGROUND: Insulin-like growth factor-binding protein 7 (IGFBP7) is an abundant, selective and accessible biomarker of glioblastoma multiforme (GBM) tumour vessels. In this study, an anti-IGFBP7 single-domain antibody (sdAb) was developed to target GBM vessels for molecular imaging applications. METHODS: Human GBM was modelled in mice by intracranial implantation of U87MG.EGFRvIII cells. An anti-IGFBP7 sdAb, isolated from an immune llama library by panning, was assessed in vitro for its binding affinity using surface plasmon resonance and by ex vivo immunobinding on mouse and human GBM tissue. Tumour targeting by Cy5.5-labelled anti-IGFBP7 sdAb as well as by anti-IGFBP7 sdAb conjugated to PEGylated Fe3O4 nanoparticles (NPs)-Cy5.5 were assessed in U87MG.EGFRvIII tumour-bearing mice in vivo using optical imaging and in brain sections using fluorescent microscopy. RESULTS: Surface plasmon resonance analyses revealed a medium affinity (KD\ufffd40\ufffd50 nM) binding of the anti-IGFBP7 sdAb to the purified antigen. The anti-IGFBP7 sdAb also selectively bound to both mouse and human GBM vessels, but not normal brain vessels in tissue sections. In vivo, intravenously injected anti-IGFBP7 sdAb-Cy5.5 bound to GBM vessels creating high imaging signal in the intracranial tumour. Similarly, the anti-IGFBP7 sdAb-functionalised PEGylated Fe3O4 NP-Cy5.5 demonstrated enhanced tumour signal compared with non-targeted NPs. Fluorescent microscopy confirmed the presence of anti-IGFBP7 sdAb and anti-IGFBP7 sdAb- PEGylated Fe3O4 NPs selectively in GBM vessels. CONCLUSIONS: Anti-IGFBP7 sdAbs are novel GBM vessel-targeting moieties suitable for molecular imaging.Peer reviewed: YesNRC publication: Ye

    CD133, CD15/SSEA-1, CD34 or side populations do not resume tumor-initiating properties of long-term cultured cancer stem cells from human malignant glio-neuronal tumors

    Get PDF
    <p>Abstract</p> <p>Background</p> <p>Tumor initiating cells (TICs) provide a new paradigm for developing original therapeutic strategies.</p> <p>Methods</p> <p>We screened for TICs in 47 human adult brain malignant tumors. Cells forming floating spheres in culture, and endowed with all of the features expected from tumor cells with stem-like properties were obtained from glioblastomas, medulloblastoma but not oligodendrogliomas.</p> <p>Results</p> <p>A long-term self-renewal capacity was particularly observed for cells of malignant glio-neuronal tumors (MGNTs). Cell sorting, karyotyping and proteomic analysis demonstrated cell stability throughout prolonged passages. Xenografts of fewer than 500 cells in Nude mouse brains induced a progressively growing tumor. CD133, CD15/LeX/Ssea-1, CD34 expressions, or exclusion of Hoechst dye occurred in subsets of cells forming spheres, but was not predictive of their capacity to form secondary spheres or tumors, or to resist high doses of temozolomide.</p> <p>Conclusions</p> <p>Our results further highlight the specificity of a subset of high-grade gliomas, MGNT. TICs derived from these tumors represent a new tool to screen for innovative therapies.</p

    Acute tubulointerstitial nephritis complicating Legionnaires' disease: a case report

    Get PDF
    <p>Abstract</p> <p>Introduction</p> <p>Legionnaires' disease is recognized as a multi-systemic illness. Afflicted patients may have pulmonary, renal, gastrointestinal tract and central nervous system complications. However, renal insufficiency is uncommon. The spectrum of renal involvement may range from a mild and transient elevation of serum creatinine levels to anuric renal failure requiring dialysis and may be linked to several causes. In our present case report, we would like to draw attention to the importance of the pathological documentation of acute renal failure by reporting a case of a patient with acute tubulointerstitial nephritis complicating Legionnaires' disease.</p> <p>Case presentation</p> <p>A 55-year-old Caucasian man was admitted to our hospital for community-acquired pneumonia complicated by acute renal failure. <it>Legionella pneumophila </it>serogroup type 1 was diagnosed. Although the patient's respiratory illness responded to intravenous erythromycin and ofloxacin therapy, his renal failure worsened, he became anuric, and hemodialysis was started. A renal biopsy was performed, which revealed severe tubulointerstitial nephritis. After initiation of steroid therapy, his renal function improved dramatically.</p> <p>Conclusions</p> <p>This case highlights the importance of kidney biopsies in cases where acute renal failure is a complicating factor in Legionnaires' disease. If the presence of acute tubulointerstitial nephritis can be confirmed, it will likely respond favorably to steroidal treatment and thus irreversible renal damage and chronic renal failure will be avoided.</p
    • 

    corecore