New insights into the genetic etiology of Alzheimer's disease and related dementias

Characterization of the genetic landscape of Alzheimer's disease (AD) and related dementias (ADD) provides a unique opportunity for a better understanding of the associated pathophysiological processes. We performed a two-stage genome-wide association study totaling 111,326 clinically diagnosed/'proxy' AD cases and 677,663 controls. We found 75 risk loci, of which 42 were new at the time of analysis. Pathway enrichment analyses confirmed the involvement of amyloid/tau pathways and highlighted microglia implication. Gene prioritization in the new loci identified 31 genes that were suggestive of new genetically associated processes, including the tumor necrosis factor alpha pathway through the linear ubiquitin chain assembly complex. We also built a new genetic risk score associated with the risk of future AD/dementia or progression from mild cognitive impairment to AD/dementia. The improvement in prediction led to a 1.6- to 1.9-fold increase in AD risk from the lowest to the highest decile, in addition to effects of age and the APOE ε4 allele

Specification and verification of encapsulation in Java programs

Abstract. Encapsulation is a major concept in object-oriented designs as design pattern catalogues, approaches for alias control, and the need for modular correctness of components demonstrate. The way encapsulation can be formally specified in existing approaches has several shortcomings. We show how encapsulation in sequential Java programs is specified by means of a new concept, called encapsulation predicates, in a clearly defined and comprehensible way, well fitting into the concept of design by contract. Encapsulation predicates extend existing functional specification languages. There are two kinds: basic predicates, which provide the actual extension, and convenience predicates, which are abbreviations for often used specification patterns. With encapsulation predicates, encapsulation properties in design patterns can be modelled and approaches to control aliasing can be simulated. Specifications containing encapsulation predicates are deductively checkable, but can also be tackled by static analysis methods which are similar to alias control approaches.

The effectiveness of natalizumab vs fingolimod\u2013A comparison of international registry studies

Background: Natalizumab and fingolimod were the first preparations recommended for disease breakthrough in priorly treated relapsing-remitting multiple sclerosis. Of three published head-to-head studies two showed that natalizumab is the more effective to prevent relapses and EDSS worsening. Methods: By re-analyzing original published results from MSBase, France, and Denmark using uniform methodologies, we aimed at identifying the effects of differences in methodology, in the MS-populations, and at re-evaluating the differences in effectiveness between the two drugs. We gained access to copies of the individual amended databases and pooled all data. We used uniform inclusion/exclusion criteria and statistical methods with Inverse Probability Treatment Weighting. Results: The pooled analyses comprised 968 natalizumab- and 1479 fingolimod treated patients. The on-treatment natalizumab/fingolimod relapse rate ratio was 0.77 (p=0.004). The hazard ratio (HR) for a first relapse was 0.82 (p=0.030), and the HR for sustained EDSS improvement was 1.4 (p=0.009). There were modest differences between each of the original published studies and the replication study, but the conclusions of the three original studies remained unchanged: in two of them natalizumab was more effective, but in the third there was no difference between natalizumab and fingolimod. Conclusion: The results were largely invariant to the epidemiological and statistical methods but differed between the MS populations. Generally, the advantage of natalizumab was confirmed