Dokumentationsprojektet: Kommunernes omstilling til øget inklusion pr. marts 2015

Denne rapport er den afsluttende redegørelse for status på inklusionsprocessen i tolv danske kommuner pr. marts 2015. Den samlede undersøgelse, der går under navnet ’Dokumentationsprojektet’, har løbet over årene 2013-2015 og blev givet til et konsortium bestående af Aarhus Universitet og SFI den 16. januar 2013

A minimal core calculus for Solidity contracts

The Ethereum platform supports the decentralized execution of smart contracts, i.e. computer programs that transfer digital assets between users. The most common language used to develop these contracts is Solidity, a Javascript-like language which compiles into EVM bytecode, the language actually executed by Ethereum nodes. While much research has addressed the formalisation of the semantics of EVM bytecode, relatively little attention has been devoted to that of Solidity. In this paper we propose a minimal calculus for Solidity contracts, which extends an imperative core with a single primitive to transfer currency and invoke contract procedures. We build upon this formalisation to give semantics to the Ethereum blockchain. We show our calculus expressive enough to reason about some typical quirks of Solidity, like e.g. re-entrancy.Comment: arXiv admin note: substantial text overlap with arXiv:1905.0436

The Glycosyltransferase Repertoire of the Spikemoss Selaginella moellendorffii and a Comparative Study of Its Cell Wall

Spike mosses are among the most basal vascular plants, and one species, Selaginella moellendorffii, was recently selected for full genome sequencing by the Joint Genome Institute (JGI). Glycosyltransferases (GTs) are involved in many aspects of a plant life, including cell wall biosynthesis, protein glycosylation, primary and secondary metabolism. Here, we present a comparative study of the S. moellendorffii genome across 92 GT families and an additional family (DUF266) likely to include GTs. The study encompasses the moss Physcomitrella patens, a non-vascular land plant, while rice and Arabidopsis represent commelinid and non-commelinid seed plants. Analysis of the subset of GT-families particularly relevant to cell wall polysaccharide biosynthesis was complemented by a detailed analysis of S. moellendorffii cell walls. The S. moellendorffii cell wall contains many of the same components as seed plant cell walls, but appears to differ somewhat in its detailed architecture. The S. moellendorffii genome encodes fewer GTs (287 GTs including DUF266s) than the reference genomes. In a few families, notably GT51 and GT78, S. moellendorffii GTs have no higher plant orthologs, but in most families S. moellendorffii GTs have clear orthologies with Arabidopsis and rice. A gene naming convention of GTs is proposed which takes orthologies and GT-family membership into account. The evolutionary significance of apparently modern and ancient traits in S. moellendorffii is discussed, as is its use as a reference organism for functional annotation of GTs

Prognostic value of tissue-type plasminogen activator (tPA) and its complex with the type-1 inhibitor (PAI-1) in breast cancer

Item does not contain fulltex

GO-PROMTO Illuminates Protein Membrane Topologies of Glycan Biosynthetic Enzymes in the Golgi Apparatus of Living Tissues

The Golgi apparatus is the main site of glycan biosynthesis in eukaryotes. Better understanding of the membrane topology of the proteins and enzymes involved can impart new mechanistic insights into these processes. Publically available bioinformatic tools provide highly variable predictions of membrane topologies for given proteins. Therefore we devised a non-invasive experimental method by which the membrane topologies of Golgi-resident proteins can be determined in the Golgi apparatus in living tissues. A Golgi marker was used to construct a series of reporters based on the principle of bimolecular fluorescence complementation. The reporters and proteins of interest were recombinantly fused to split halves of yellow fluorescent protein (YFP) and transiently co-expressed with the reporters in the Nicotiana benthamiana leaf tissue. Output signals were binary, showing either the presence or absence of fluorescence with signal morphologies characteristic of the Golgi apparatus and endoplasmic reticulum (ER). The method allows prompt and robust determinations of membrane topologies of Golgi-resident proteins and is termed GO-PROMTO (for GOlgi PROtein Membrane TOpology). We applied GO-PROMTO to examine the topologies of proteins involved in the biosynthesis of plant cell wall polysaccharides including xyloglucan and arabinan. The results suggest the existence of novel biosynthetic mechanisms involving transports of intermediates across Golgi membranes