Open access politikker på danske universiteter har ingen effekt

Tilstanden og udviklingen af open access i dansk forskning tegner et negativt billede, og open access politikker på danske universiteter bidrager ikke til en mere positiv udvikling, konkluderes det i en ny undersøgelse foretaget i forbindelse med en specialeafhandling fra Det Informationsvidenskabelige Akademi i København. Undersøgelsen peger samtidig på en række barrierer for open access. Mere end 80 % af dansk forskning kunne allerede i dag potentielt gøres tilgængelig gennem open access

METAMOC: Modular Execution Time Analysis using Model Checking

Safe and tight worst-case execution times (WCETs) are important when scheduling hard real-time systems. This paper presents METAMOC, a path-based, modular method, based on model checking and static analysis, that determines safe and tight WCETs for programs running on platforms fea-turing caching and pipelining. The method works by constructing a UPPAAL model of the program being analysed and annotating the model with information from an inter-procedural value analysis. The program model is then combined with a model of the hardware platform, and model checked for the WCET. Through support for the platforms ARM7, ARM9 and ATMEL AVR 8-bit the modularity and retargetability of the method is demonstrated, as only the pipeline needs to be remodelled. Mod-elling the hardware is performed in a state-of-the-art graphical modeling environment. Experiments on the Mälardalen WCET benchmark programs show that taking caching into account yields much tighter WCETs, and that METAMOC is a fast and versatile approach for WCET analysis. 1

Subunit vaccine candidates against Aeromonas salmonicida in rainbow trout Oncorhynchus mykiss

Aeromonas salmonicida subsp. salmonicida is the etiological agent of furunculosis and a major fish health problem in salmonid aquaculture worldwide. Injection vaccination with commercial mineral oil-adjuvanted bacterin vaccines has been partly successful in preventing the disease but in Danish rainbow trout (Oncorhynchus mykiss, Walbaum) aquaculture furunculosis outbreaks still occur. In this study we tested the efficacy of experimental subunit vaccines against A. salmonicida infection in rainbow trout. We utilized in silico screening of the proteome of A. salmonicida subsp. salmonicida strain A449 and identified potential protective protein antigens that were tested by in vivo challenge trial. A total of 14 proteins were recombinantly expressed in Escherichia coli and prepared in 3 different subunit vaccine combinations to immunize 3 groups of rainbow trout by intraperitoneal (i.p.) injection. The fish were exposed to virulent A. salmonicida 7 weeks after immunization. To assess the efficacy of the subunit vaccines we evaluated the immune response in fish after immunization and challenge infection by measuring the antibody levels and monitoring the survival of fish in different groups. The survival of fish at 3 weeks after challenge infection showed that all 3 groups of fish immunized with 3 different protein combinations exhibited significantly lower mortalities (17-30%) compared to the control groups (48% and 56%). The ELISA results revealed significantly elevated antibody levels in fish against several protein antigens, which in some cases were positively correlated to the survival