Formalization of Transform Methods using HOL Light

Transform methods, like Laplace and Fourier, are frequently used for analyzing the dynamical behaviour of engineering and physical systems, based on their transfer function, and frequency response or the solutions of their corresponding differential equations. In this paper, we present an ongoing project, which focuses on the higher-order logic formalization of transform methods using HOL Light theorem prover. In particular, we present the motivation of the formalization, which is followed by the related work. Next, we present the task completed so far while highlighting some of the challenges faced during the formalization. Finally, we present a roadmap to achieve our objectives, the current status and the future goals for this project.Comment: 15 Pages, CICM 201

Minocycline but not valproic acid influence the density of NogoA-immunoreactive neurons in the hilus of the dentate gyrus of the rats subjected to intracerebral haematoma

Intracerebral haemorrhage is a devastating neurological disease with high mortality rate and poor prognosis. The most prominent manifestation of the disease arethe movement disorders, but many patients also suffer from cognitive impairment. Taking into account vulnerability of the neurons located within the hilus of the dentate gyrus (HDG) to many brain insults we decided to study the effectof experimentally induced intracerebral haematoma on density of neurons expressing NogoA protein in HDG. In addition, we studied how administration of valproic acid and minocycline, the two drugs generally believed to be neuroprotective agents, influences the density of these neurons. Our study revealed that 4 weeks after intracerebral haematoma induction, minocycline and valproic acid treatment increased the densities of NogoA-ir neurons in the hilus of contralateral dentate gyrus once the data were compared to ipsilateral hemispheres within the same group. The analysis of contralateral hemisphere data, however, revealed increased densities of NogoA-positive neurons in haematoma and valproic acidtreated animals when compared to contralateral hemispheres of control animals.The administration of minocycline was, however, able to alleviate this increase.These changes may influence the haematoma-induced reorganisation of neuronal circuitries in the dentate gyrus

TDP-43 proteinopathy in Theiler’s murine encephalomyelitis virus infection

TDP-43, an RNA-binding protein that is primarily nuclear and important in splicing and RNA metabolism, is mislocalized from the nucleus to the cytoplasm of neural cells in amyotrophic lateral sclerosis (ALS), and contributes to disease. We sought to investigate whether TDP-43 is mislocalized in infections with the acute neuronal GDVII strain and the persistent demyelinating DA strain of Theiler’s virus murine encephalomyelitis virus (TMEV), a member of the Cardiovirus genus of Picornaviridae because: i) L protein of both strains is known to disrupt nucleocytoplasmic transport, including transport of polypyrimidine tract binding protein, an RNA-binding protein, ii) motor neurons and oligodendrocytes are targeted in both TMEV infection and ALS. TDP-43 phosphorylation, cleavage, and cytoplasmic mislocalization to an aggresome were observed in wild type TMEV-infected cultured cells, with predicted splicing abnormalities. In contrast, cells infected with DA and GDVII strains that have L deletion had rare TDP-43 mislocalization and no aggresome formation. TDP-43 mislocalization was also present in neural cells of TMEV acutely-infected mice. Of note, TDP-43 was mislocalized six weeks after DA infection to the cytoplasm of oligodendrocytes and other glial cells in demyelinating lesions of spinal white matter. A recent study showed that TDP-43 knock down in oligodendrocytes in mice led to demyelination and death of this neural cell [1], suggesting that TMEV infection mislocalization of TDP-43 and other RNA-binding proteins is predicted to disrupt key cellular processes and contribute to the pathogenesis of TMEV-induced diseases. Drugs that inhibit nuclear export may have a role in antiviral therapy

The LAGUNA design study- towards giant liquid based underground detectors for neutrino physics and astrophysics and proton decay searches

The feasibility of a next generation neutrino observatory in Europe is being considered within the LAGUNA design study. To accommodate giant neutrino detectors and shield them from cosmic rays, a new very large underground infrastructure is required. Seven potential candidate sites in different parts of Europe and at several distances from CERN are being studied: Boulby (UK), Canfranc (Spain), Fr\'ejus (France/Italy), Pyh\"asalmi (Finland), Polkowice-Sieroszowice (Poland), Slanic (Romania) and Umbria (Italy). The design study aims at the comprehensive and coordinated technical assessment of each site, at a coherent cost estimation, and at a prioritization of the sites within the summer 2010.Comment: 5 pages, contribution to the Workshop "European Strategy for Future Neutrino Physics", CERN, Oct. 200

A randomised, double-blind, placebo-controlled trial of repeated nebulisation of non-viral cystic fibrosis transmembrane conductance regulator (CFTR) gene therapy in patients with cystic fibrosis

BACKGROUND: Cystic fibrosis (CF) is a chronic, life-limiting disease caused by mutations in the CF transmembrane conductance regulator (CFTR) gene leading to abnormal airway surface ion transport, chronic lung infections, inflammation and eventual respiratory failure. With the exception of the small-molecule potentiator, ivacaftor (Kalydeco®, Vertex Pharmaceuticals, Boston, MA, USA), which is suitable for a small proportion of patients, there are no licensed therapies targeting the basic defect. The UK Cystic Fibrosis Gene Therapy Consortium has taken a cationic lipid-mediated CFTR gene therapy formulation through preclinical and clinical development. OBJECTIVE: To determine clinical efficacy of the formulation delivered to the airways over a period of 1 year in patients with CF. DESIGN: This was a randomised, double-blind, placebo-controlled Phase IIb trial of the CFTR gene–liposome complex pGM169/GL67A. Randomisation was performed via InForm™ version 4.6 (Phase Forward Incorporated, Oracle, CA, USA) and was 1 : 1, except for patients in the mechanistic subgroups (2 : 1). Allocation was blinded by masking nebuliser chambers. SETTINGS: Data were collected in the clinical and scientific sites and entered onto a trial-specific InForm, version 4.6 database. PARTICIPANTS: Patients with CF aged ≥ 12 years with forced expiratory volume in the first second (FEV1) between 50% and 90% predicted and any combination of CFTR mutations. The per-protocol group (≥ 9 doses) consisted of 54 patients receiving placebo (62 randomised) and 62 patients receiving gene therapy (78 randomised). INTERVENTIONS: Subjects received 5 ml of nebulised pGM169/G67A (active) or 0.9% saline (placebo) at 28 (±5)-day intervals over 1 year. MAIN OUTCOME MEASURES: The primary end point was the relative change in percentage predicted FEV1 over the 12-month period. A number of secondary clinical outcomes were assessed alongside safety measures: other spirometric values; lung clearance index (LCI) assessed by multibreath washout; structural disease on computed tomography (CT) scan; the Cystic Fibrosis Questionnaire – Revised (CFQ-R), a validated quality-of-life questionnaire; exercise capacity and monitoring; systemic and sputum inflammatory markers; and adverse events (AEs). A mechanistic study was performed in a subgroup in whom transgene deoxyribonucleic acid (DNA) and messenger ribonucleic acid (mRNA) was measured alongside nasal and lower airway potential difference. RESULTS: There was a significant (p = 0.046) treatment effect (TE) of 3.7% [95% confidence interval (CI) 0.1% to 7.3%] in the primary end point at 12 months and in secondary end points, including forced vital capacity (FVC) (p = 0.031) and CT gas trapping (p = 0.048). Other outcomes, although not reaching statistical significance, favoured active treatment. Effects were noted by 1 month and were irrespective of sex, age or CFTR mutation class. Subjects with a more severe baseline FEV1 had a FEV1 TE of 6.4% (95% CI 0.8% to 12.1%) and greater changes in many other secondary outcomes. However, the more mildly affected group also demonstrated benefits, particularly in small airway disease markers such as LCI. The active group showed a significantly (p = 0.032) greater bronchial chloride secretory response. No difference in treatment-attributable AEs was seen between the placebo and active groups. CONCLUSIONS: Monthly application of the pGM169/GL67A gene therapy formulation was associated with an improvement in lung function, other clinically relevant parameters and bronchial CFTR function, compared with placebo. LIMITATIONS: Although encouraging, the improvement in FEV1 was modest and was not accompanied by detectable improvement in patients’ quality of life. FUTURE WORK: Future work will focus on attempts to increase efficacy by increasing dose or frequency, the coadministration of a CFTR potentiator, or the use of modified viral vectors capable of repeated administration. TRIAL REGISTRATION: ClinicalTrials.gov NCT01621867

Measurement and comparison of individual external doses of high-school students living in Japan, France, Poland and Belarus -- the "D-shuttle" project --

Twelve high schools in Japan (of which six are in Fukushima Prefecture), four in France, eight in Poland and two in Belarus cooperated in the measurement and comparison of individual external doses in 2014. In total 216 high-school students and teachers participated in the study. Each participant wore an electronic personal dosimeter "D-shuttle" for two weeks, and kept a journal of his/her whereabouts and activities. The distributions of annual external doses estimated for each region overlap with each other, demonstrating that the personal external individual doses in locations where residence is currently allowed in Fukushima Prefecture and in Belarus are well within the range of estimated annual doses due to the background radiation level of other regions/countries

Apoptosis in the course of experimetal intracerebral haemorrhage in the rat

Intracerebral haematoma was produced in 25 adult rats by infusion of 100 µl of autologous blood into the striatum. The animals’ brains were removed at 1, 3, 7, 14 and 21 days after production of the haematoma. The TUNEL method was used to detect DNA fragmentation and TUNEL-positive cells were qualified. TUNEL-positive cells were already found on the first day of observation and were present for three weeks after haematoma production. These results provide evidence that programmed cell death is associated with intracerebral haemorrhage

Cisplatin and Doxorubicin Induce Distinct Mechanisms of Ovarian Follicle Loss; Imatinib Provides Selective Protection Only against Cisplatin

Chemotherapy treatment in premenopausal women has been linked to ovarian follicle loss and premature ovarian failure; the exact mechanism by which this occurs is uncertain. Here, two commonly used chemotherapeutic agents (cisplatin and doxorubicin) were added to a mouse ovary culture system, to compare the sequence of events that leads to germ cell loss. The ability of imatinib mesylate to protect the ovary against cisplatin or doxorubicin-induced ovarian damage was also examined.Newborn mouse ovaries were cultured for a total of six days, exposed to a chemotherapeutic agent on the second day: this allowed for the examination of the earliest stages of follicle development. Cleaved PARP and TUNEL were used to assess apoptosis following drug treatment. Imatinib was added to cultures with cisplatin and doxorubicin to determine any protective effect.Histological analysis of ovaries treated with cisplatin showed oocyte-specific damage; in comparison doxorubicin preferentially caused damage to the granulosa cells. Cleaved PARP expression significantly increased for cisplatin (16 fold, p<0.001) and doxorubicin (3 fold, p<0.01). TUNEL staining gave little evidence of primordial follicle damage with either drug. Imatinib had a significant protective effect against cisplatin-induced follicle damage (p<0.01) but not against doxorubicin treatment.Cisplatin and doxorubicin both induced ovarian damage, but in a markedly different pattern, with imatinib protecting the ovary against damage by cisplatin but not doxorubicin. Any treatment designed to block the effects of chemotherapeutic agents on the ovary may need to be specific to the drug(s) the patient is exposed to

Pervasive nuclear envelope ruptures precede ECM signaling and disease onset without activating cGAS-STING in Lamin-cardiomyopathy mice

Nuclear envelope (NE) ruptures are emerging observations in Lamin-related dilated cardiomyopathy, an adult-onset disease caused by loss-of-function mutations in Lamin A/C, a nuclear lamina component. Here, we test a prevailing hypothesis that NE ruptures trigger the pathological cGAS-STING cytosolic DNA-sensing pathway using a mouse model of Lamin cardiomyopathy. The reduction of Lamin A/C in cardio-myocyte of adult mice causes pervasive NE ruptures in cardiomyocytes, preceding inflammatory transcription, fibrosis, and fatal dilated cardiomyopathy. NE ruptures are followed by DNA damage accumulation without causing immediate cardiomyocyte death. However, cGAS-STING-dependent inflammatory signaling remains inactive. Deleting cGas or Sting does not rescue cardiomyopathy in the mouse model. The lack of cGAS-STING activation is likely due to the near absence of cGAS expression in adult cardiomyocytes at baseline. Instead, extracellular matrix (ECM) signaling is activated and predicted to initiate pro-inflammatory communication from Lamin-reduced cardiomyocytes to fibroblasts. Our work nominates ECM signaling, not cGAS-STING, as a potential inflammatory contributor in Lamin cardiomyopathy

Rhabdomyoblastic Differentiation in Head and Neck Malignancies Other Than Rhabdomyosarcoma

Rhabdomyosarcoma is a relatively common soft tissue sarcoma that frequently affects children and adolescents and may involve the head and neck. Rhabdomyosarcoma is defined by skeletal muscle differentiation which can be suggested by routine histology and confirmed by immunohistochemistry for the skeletal muscle-specific markers myogenin or myoD1. At the same time, it must be remembered that when it comes to head and neck malignancies, skeletal muscle differentiation is not limited to rhabdomyosarcoma. A lack of awareness of this phenomenon could lead to misdiagnosis and, subsequently, inappropriate therapeutic interventions. This review focuses on malignant neoplasms of the head and neck other than rhabdomyosarcoma that may exhibit rhabdomyoblastic differentiation, with an emphasis on strategies to resolve the diagnostic dilemmas these tumors may present. Axiomatically, no primary central nervous system tumors will be discussed.info:eu-repo/semantics/publishedVersio