308 research outputs found
Processes, Roles and Their Interactions
Taking an interaction network oriented perspective in informatics raises the
challenge to describe deterministic finite systems which take part in networks
of nondeterministic interactions. The traditional approach to describe
processes as stepwise executable activities which are not based on the
ordinarily nondeterministic interaction shows strong centralization tendencies.
As suggested in this article, viewing processes and their interactions as
complementary can circumvent these centralization tendencies.
The description of both, processes and their interactions is based on the
same building blocks, namely finite input output automata (or transducers).
Processes are viewed as finite systems that take part in multiple, ordinarily
nondeterministic interactions. The interactions between processes are described
as protocols.
The effects of communication between processes as well as the necessary
coordination of different interactions within a processes are both based on the
restriction of the transition relation of product automata. The channel based
outer coupling represents the causal relation between the output and the input
of different systems. The coordination condition based inner coupling
represents the causal relation between the input and output of a single system.
All steps are illustrated with the example of a network of resource
administration processes which is supposed to provide requesting user processes
exclusive access to a single resource.Comment: In Proceedings IWIGP 2012, arXiv:1202.422
The EIIIA domain from astrocyte-derived fibronectin mediates proliferation of oligodendrocyte progenitor cells following CNS demyelination.
Central nervous system remyelination by oligodendrocyte progenitor cells (OPCs) ultimately fails in the majority of multiple sclerosis (MS) lesions. Remyelination benefits from transient expression of factors that promote migration and proliferation of OPCs, which may include fibronectin (Fn). Fn is present in demyelinated lesions in two major forms; plasma Fn (pFn), deposited following blood-brain barrier disruption, and cellular Fn, synthesized by resident glial cells and containing alternatively spliced domains EIIIA and EIIIB. Here, we investigated the distinctive roles that astrocyte-derived Fn (aFn) and pFn play in remyelination. We used an inducible Cre-lox recombination strategy to selectively remove pFn, aFn or both from mice, and examined the impact on remyelination of toxin-induced demyelinated lesions of spinal cord white matter. This approach revealed that astrocytes are a major source of Fn in demyelinated lesions. Furthermore, following aFn conditional knockout, the number of OPCs recruited to the demyelinated lesion decreased significantly, whereas OPC numbers were unaltered following pFn conditional knockout. However, remyelination completed normally following conditional knockout of aFn and pFn. Both the EIIIA and EIIIB domains of aFn were expressed following demyelination, and in vitro assays demonstrated that the EIIIA domain of aFn mediates proliferation of OPCs, but not migration. Therefore, although the EIIIA domain from aFn mediates OPC proliferation, aFn is not essential for successful remyelination. Since previous findings indicated that astrocyte-derived Fn aggregates in chronic MS lesions inhibit remyelination, aFn removal may benefit therapeutic strategies to promote remyelination in MS.JMJS is recipient of a Junior Scientific Masterclass MD/PhD fellowship from the University Medical Center Groningen. This work was supported by grants from the Netherlands Organization of Scientific Research (NWO, WB, VIDI and Aspasia), the Dutch MS Research
Foundation (‘Stichting MS Research’, WB, JMJS, DH), the UK MS Society (CZ, RJMF), and the Research School of Behavioral and Cognitive Neurosciences (BCN, JMJS). Parts of this study were performed at the UMCG Microscopy and Imaging Center (UMIC), which is supported by NWO grants 40-00506-98-9021 and 175-010-2009-023.This is the final version of the article. It was first published by Wiley at http://dx.doi.org/10.1002/glia.2274
Release of lead from Renaissance lead-glazed ceramics from southern Denmark and northern Germany: Implications from acetic acid etching
Lead-glazed potsherds from archaeological excavations at six Renaissance (1536–1660 CE) sites in southern Denmark and northern Germany have been subjected to etching experiments using 4 wt% acetic acid. The extracts of 45 sherds were analysed by Inductively Coupled Plasma Mass Spectrometry. At one site, the ducal hunting castle of Grøngaard, Pb levels in acid extracts from glazed dishes were so high (up to 29,000 µg Pb cm−2 day−1) that acute toxic effects likely occurred if the dishes were used for serving food containing vinegar. More moderate acid-etching Pb levels were found in dishes from other sites, but they still exceed the WHO critical level if used daily. Acetic acid etching experiments performed on pipkins (three-legged cooking pots with a handle) yielded somewhat lower Pb extract values, averaging ca. 25 µg Pb cm−2 day−1. Taking into account the widespread use of pipkins for cooking, they might easily have led to a higher weekly Pb intake than the use of the moderate-level dishes. The question remains whether such high levels of Pb exposure during meals led to injurious Pb intake. Prior skeletal analyses have shown that medieval to early modern individuals from the area, especially in towns, were exposed to Pb. While exposure could have come from various sources other than lead-glazed ceramics, such as cosmetics, paint, antibacterial ointments, and lead water pipes, widely distributed lead-glazed ceramics had the potential of being a main source of Pb. How the pottery was actually used is uncertain, and it certainly was not evenly distributed across all segments of society, but the etching experiment results suggest that severe poisonous effects could have resulted from the use of lead-glazed Renaissance ceramics
The efficacy of whole human genome capture on ancient dental calculus and dentin
Objectives: Dental calculus is among the richest known sources of ancient DNA in the archaeological record. Although most DNA within calculus is microbial, it has been shown to contain sufficient human DNA for the targeted retrieval of whole mitochondrial genomes. Here, we explore whether calculus is also a viable substrate for whole human genome recovery using targeted enrichment techniques. Materials and methods: Total DNA extracted from 24 paired archaeological human dentin and calculus samples was subjected to whole human genome enrichment using in-solution hybridization capture and high-throughput sequencing. Results: Total DNA from calculus exceeded that of dentin in all cases, and although the proportion of human DNA was generally lower in calculus, the absolute human DNA content of calculus and dentin was not significantly different. Whole genome enrichment resulted in up to fourfold enrichment of the human endogenous DNA content for both dentin and dental calculus libraries, albeit with some loss in complexity. Recovering more on-target reads for the same sequencing effort generally improved the quality of downstream analyses, such as sex and ancestry estimation. For nonhuman DNA, comparison of phylum-level microbial community structure revealed few differences between precapture and postcapture libraries, indicating that off-target sequences in human genome-enriched calculus libraries may still be useful for oral microbiome reconstruction. Discussion: While ancient human dental calculus does contain endogenous human DNA sequences, their relative proportion is low when compared with other skeletal tissues. Whole genome enrichment can help increase the proportion of recovered human reads, but in this instance enrichment efficiency was relatively low when compared with other forms of capture. We conclude that further optimization is necessary before the method can be routinely applied to archaeological samples
A formally verified compiler back-end
This article describes the development and formal verification (proof of
semantic preservation) of a compiler back-end from Cminor (a simple imperative
intermediate language) to PowerPC assembly code, using the Coq proof assistant
both for programming the compiler and for proving its correctness. Such a
verified compiler is useful in the context of formal methods applied to the
certification of critical software: the verification of the compiler guarantees
that the safety properties proved on the source code hold for the executable
compiled code as well
Glacier retreat creating new Pacific salmon habitat in western North America
Glacier retreat poses risks and benefits for species of cultural and economic importance. One
example is Pacific salmon (Oncorhynchus spp.), supporting subsistence harvests, and commercial and recreational fisheries worth billions of dollars annually. Although decreases in
summer streamflow and warming freshwater is reducing salmon habitat quality in parts of
their range, glacier retreat is creating new streams and lakes that salmon can colonize.
However, potential gains in future salmon habitat associated with glacier loss have yet to be
quantified across the range of Pacific salmon. Here we project future gains in Pacific salmon
freshwater habitat by linking a model of glacier mass change for 315 glaciers, forced by five
different Global Climate Models, with a simple model of salmon stream habitat potential
throughout the Pacific Mountain ranges of western North America. We project that by the
year 2100 glacier retreat will create 6,146 (±1,619) km of new streams accessible for colonization by Pacific salmon, of which 1,930 (±569) km have the potential to be used for
spawning and juvenile rearing, representing 0 to 27% gains within the 18 sub-regions we
studied. These findings can inform proactive management and conservation of Pacific salmon
in this era of rapid climate change.Ye
Attention Performance in an Epidemiological Sample of Urban Children: The Role of Gender and Verbal Intelligence
We administered a comprehensive attentional battery to an epidemiologically defined sample of 435 first and second-grade children to assess the influence of gender and verbal intelligence on attention. The battery included three versions of the continuous performance test (CPT), two digit cancellation tasks, three subtests from the WISC-R, and the Wisconsin Card Sorting Test. The results indicated that both gender and intelligence had an impact on attentional performance. Girls performed better than boys; they made fewer errors on the CPT and obtained higher scores on the digit cancellation task and the Coding subtest of the WISC-R. Children with higher verbal intelligence also performed better on the attentional tests, but this advantage was not observed across measures or levels of performance. For example, children with limited verbal skills performed significantly worse than their peers only in measures with high processing demands(the degraded CPT and the distraction version of the digit cancellation task)
The free moment in walking and its change with foot rotation angle
This is an Open Access article distributed under the terms of the Creative Commons Attribution Licens
Preferências domésticas e instituições do processo decisório em polÃtica econômica externa
- …