Specification and Verification of Media Constraints using UPPAAL

We present the formal specification and verification of a multimedia stream. The stream is described in a timed automata notation. We verify that the stream satisfies certain quality of service properties, in particular, throughput and end-to-end latency. The verification tool used is the real-time model checker UPPAAL

The determinants of election to the United Nations Security Council

This is the author's accepted manuscript. The final publication is available at Springer via http://dx.doi.org/10.1007/s11127-013-0096-4.The United Nations Security Council (UNSC) is the foremost international body responsible for the maintenance of international peace and security. Members vote on issues of global importance and consequently receive perks—election to the UNSC predicts, for instance, World Bank and IMF loans. But who gets elected to the UNSC? Addressing this question empirically is not straightforward as it requires a model that allows for discrete choices at the regional and international levels; the former nominates candidates while the latter ratifies them. Using an original multiple discrete choice model to analyze a dataset of 180 elections from 1970 to 2005, we find that UNSC election appears to derive from a compromise between the demands of populous countries to win election more frequently and a norm of giving each country its turn. We also find evidence that richer countries from the developing world win election more often, while involvement in warfare lowers election probability. By contrast, development aid does not predict election

The triggering receptor expressed on myeloid cells (TREM) in inflammatory bowel disease pathogenesis

The Triggering Receptors Expressed on Myeloid cells (TREM) are a family of cell-surface molecules that control inflammation, bone homeostasis, neurological development and blood coagulation. TREM-1 and TREM-2, the best-characterized receptors so far, play divergent roles in several infectious diseases. In the intestine, TREM-1 is highly expressed by macrophages, contributing to inflammatory bowel disease (IBD) pathogenesis. Contrary to current understanding, TREM-2 also promotes inflammation in IBD by fueling dendritic cell functions. This review will focus specifically on recent insights into the role of TREM proteins in IBD development, and discuss opportunities for novel treatment approaches

Phosphorus dynamics in a tropical forest soil restored after strip mining

Background and aims We hypothesized that successful early ecosystem and soil development in these P-deficient soil materials will initially depend on effective re-establishment of P storage and cycling through organic matter. This hypothesis was tested in a 26-year chronosequence of seven lightly fertilized, oxidic soil materials restored to eucalypt forest communities after bauxite mining. Methods Total P (Pt) status, Hedley P fractions and partial chemical speciation (NaOH-EDTA extraction and analysed using solution 31P NMR spectroscopy) were determined in the restored soils. Results Concentrations of Pt and most Hedley fractions changed with restoration period, declined with depth and were strongly positively correlated with C and N concentrations. Biological P dominated the Labile and Intermediate P fractions while Long-term P was dominantly inorganic. Organic P concentrations in NaOH-EDTA extracts and their chemical natures were similar in restored and unburned native forest sites. Phosphomonoesters were the dominant class of organic P. Conclusions Surprisingly rapid P accretion and fractional changes occurred over 26 years, largely in the surface soils and closely associated with organic matter status. Alkaline hydrolysis products of phosphodiesters and pyrophosphate indicated the importance of microbial P cycling. The important consequences for long-term ecosystem development and biological diversity require further study

Initial conditions can have long-term effects on plant species diversity in jarrah forest restored after bauxite mining

Much of the remarkable plant species diversity of the Southwest Australian Floristic Region can be attributed to high diversity of the understorey in its forests and woodlands, including 400–600 understorey species per km2 in the Northern Jarrah Forest alone. Consequently, returning species diversity is a key challenge for postmining ecological restoration in the region. Each year, Alcoa of Australia undertakes restoration of mined areas within the Northern Jarrah Forest with a goal of returning a self-sustaining jarrah forest ecosystem. To meet this goal, it is important to understand long-term (i.e. > 20 years) trajectories of vegetation development and the restoration practices that direct species diversity outcomes. Here, we report the results of several experiments, the oldest of which is 45 years of age, which together demonstrate significant longer-term effects on understorey species diversity of restoration practices determining initial conditions including topsoil handling, fertiliser application, seeding rates of large legumes, and tree (overstorey) species stocking rates. Our research highlights (1) that ‘historical contingency’ can determine the trajectory of jarrah forest restoration and (2) that longer-term studies are critical as they give a different, sometimes conflicting, perspective to short-term datasets. Notably, after 27 years, we found an inverse relationship between plant cover and P fertilisation, where plant cover was highest in the in the absence of P fertiliser and lowest at the uppermost P amendment rate. We also found that the long-accepted Initial Floristics Model of succession does not fit well with our data. Our overall findings are likely useful to restore understorey diversity to woodlands, forests, and abandoned farmlands elsewhere in the region

Selective Serotonin Reuptake Inhibitor (SSRI) Antidepressants in Pregnancy and Congenital Anomalies: Analysis of Linked Databases in Wales, Norway and Funen, Denmark

Background: Hypothesised associations between in utero exposure to selective serotonin reuptake inhibitors (SSRIs) and congenital anomalies, particularly congenital heart defects (CHD), remain controversial. We investigated the putative teratogenicity of SSRI prescription in the 91 days either side of first day of last menstrual period (LMP). Methods and Findings: Three population-based EUROCAT congenital anomaly registries- Norway (2004–2010), Wales (2000–2010) and Funen, Denmark (2000–2010)—were linked to the electronic healthcare databases holding prospectively collected prescription information for all pregnancies in the timeframes available. We included 519,117 deliveries, including foetuses terminated for congenital anomalies, with data covering pregnancy and the preceding quarter, including 462,641 with data covering pregnancy and one year either side. For SSRI exposures 91 days either side of LMP, separately and together, odds ratios with 95% confidence intervals (ORs, 95%CI) for all major anomalies were estimated. We also explored: pausing or discontinuing SSRIs preconception, confounding, high dose regimens, and, in Wales, diagnosis of depression. Results were combined in meta-analyses. SSRI prescription 91 days either side of LMP was associated with increased prevalence of severe congenital heart defects (CHD) (as defined by EUROCAT guide 1.3, 2005) (34/12,962 [0.26%] vs. 865/506,155 [0.17%] OR 1.50, 1.06–2.11), and the composite adverse outcome of 'anomaly or stillbirth' (473/12962, 3.65% vs. 15829/506,155, 3.13%, OR 1.13, 1.03–1.24). The increased prevalence of all major anomalies combined did not reach statistical significance (3.09% [400/12,962] vs. 2.67% [13,536/506,155] OR 1.09, 0.99–1.21). Adjusting for socio-economic status left ORs largely unchanged. The prevalence of anomalies and severe CHD was reduced when SSRI prescriptions were stopped or paused preconception, and increased when >1 prescription was recorded, but differences were not statistically significant. The dose-response relationship between severe CHD and SSRI dose (meta-regression OR 1.49, 1.12–1.97) was consistent with SSRI-exposure related risk. Analyses in Wales suggested no associations between anomalies and diagnosed depression. Conclusion: The additional absolute risk of teratogenesis associated with SSRIs, if causal, is small. However, the high prevalence of SSRI use augments its public health importance, justifying modifications to preconception care

Phosphorus supply affects seedling growth of mycorrhizal but not cluster-root forming jarrah-forest species

Aims Fertiliser is often used to kick-start ecological restoration despite growing evidence of the potentially negative impacts on plant diversity. Jarrah (Eucalyptus marginata) forest species growing on nutrient (especially phosphorus) impoverished soils in southwestern Australia have a suite of adaptations for phosphorus (P) acquisition, including the formation of cluster roots, and associations with mycorrhizal fungi. Here we investigated how escalating P supply, along with a stoichiometric adjustment of nitrogen (N) supply, impacted the growth and nutrition of a wide range of jarrah forest seedlings. Methods In a pot experiment, we measured seedling biomass and nutritional responses of 12 jarrah forest species to a gradient of P supply in relation to N supply, and for the mycorrhizal species, inoculation with arbuscular mycorrhizal fungi. Results Three cluster-root forming species did not respond to increasing P, probably because they were reliant on seed P. Generally, mycorrhizal species showed a positive biomass response to increasing P when N was available. Mycorrhizas benefited seedling growth at low P (9 mg P added per kg of jarrah forest soil) when N was also available, and were parasitic to seedling growth at high P (243 mg P/ kg soil) without additional N. Conclusions These results highlight importance of P and N supply in determining the nature of the symbiosis between plants and mycorrhizal fungi. Since P supply has the potential to reduce plant growth, for a range of species, our results suggest careful consideration of fertiliser amounts for ecological restoration of ecosystems adapted to nutrient poor soils

Climatic predictors of species distributions neglect biophysiologically meaningful variables

This is the final version. Available on open access from Wiley via the DOI in this record.Aim: Species distribution models (SDMs) have played a pivotal role in predicting how species might respond to climate change. To generate reliable and realistic predictions from these models requires the use of climate variables that adequately capture physiological responses of species to climate and therefore provide a proximal link between climate and their distributions. Here, we examine whether the climate variables used in plant SDMs are different from those known to influence directly plant physiology. Location: Global. Methods: We carry out an extensive, systematic review of the climate variables used to model the distributions of plant species and provide comparison to the climate variables identified as important in the plant physiology literature. We calculate the top ten SDM and physiology variables at 2.5 degree spatial resolution for the globe and use principal component analyses and multiple regression to assess similarity between the climatic variation described by both variable sets. Results: We find that the most commonly used SDM variables do not reflect the most important physiological variables and differ in two main ways: (i) SDM variables rely on seasonal or annual rainfall as simple proxies of water available to plants and neglect more direct measures such as soil water content; and (ii) SDM variables are typically averaged across seasons or years and overlook the importance of climatic events within the critical growth period of plants. We identify notable differences in their spatial gradients globally and show where distal variables may be less reliable proxies for the variables to which species are known to respond. Main conclusions: There is a growing need for the development of accessible, fine-resolution global climate surfaces of physiological variables. This would provide a means to improve the reliability of future range predictions from SDMs and support efforts to conserve biodiversity in a changing climate

The complete inventory of receptors encoded by the rat natural killer cell gene complex

The natural killer cell gene complex (NKC) encodes receptors belonging to the C-type lectin superfamily expressed primarily by NK cells and other leukocytes. In the rat, the chromosomal region that starts with the Nkrp1a locus and ends with the Ly49i8 locus is predicted to contain 67 group V C-type lectin superfamily genes, making it one of the largest congregation of paralogous genes in vertebrates. Based on physical proximity and phylogenetic relationships between these genes, the rat NKC can be divided into four major parts. We have previously reported the cDNA cloning of the majority of the genes belonging to the centromeric Nkrp1/Clr cluster and the two telomeric groups, the Klre1–Klri2 and the Ly49 clusters. Here, we close the gap between the Nkrp1/Clr and the Klre1–Klri2 clusters by presenting the cDNA cloning and transcription patterns of eight genes spanning from Cd69 to Dectin1, including the novel Clec2m gene. The definition, organization, and evolution of the rat NKC are discussed

Serotonin synthesis, release and reuptake in terminals: a mathematical model

<p>Abstract</p> <p>Background</p> <p>Serotonin is a neurotransmitter that has been linked to a wide variety of behaviors including feeding and body-weight regulation, social hierarchies, aggression and suicidality, obsessive compulsive disorder, alcoholism, anxiety, and affective disorders. Full understanding of serotonergic systems in the central nervous system involves genomics, neurochemistry, electrophysiology, and behavior. Though associations have been found between functions at these different levels, in most cases the causal mechanisms are unknown. The scientific issues are daunting but important for human health because of the use of selective serotonin reuptake inhibitors and other pharmacological agents to treat disorders in the serotonergic signaling system.</p> <p>Methods</p> <p>We construct a mathematical model of serotonin synthesis, release, and reuptake in a single serotonergic neuron terminal. The model includes the effects of autoreceptors, the transport of tryptophan into the terminal, and the metabolism of serotonin, as well as the dependence of release on the firing rate. The model is based on real physiology determined experimentally and is compared to experimental data.</p> <p>Results</p> <p>We compare the variations in serotonin and dopamine synthesis due to meals and find that dopamine synthesis is insensitive to the availability of tyrosine but serotonin synthesis is sensitive to the availability of tryptophan. We conduct <it>in silico </it>experiments on the clearance of extracellular serotonin, normally and in the presence of fluoxetine, and compare to experimental data. We study the effects of various polymorphisms in the genes for the serotonin transporter and for tryptophan hydroxylase on synthesis, release, and reuptake. We find that, because of the homeostatic feedback mechanisms of the autoreceptors, the polymorphisms have smaller effects than one expects. We compute the expected steady concentrations of serotonin transporter knockout mice and compare to experimental data. Finally, we study how the properties of the the serotonin transporter and the autoreceptors give rise to the time courses of extracellular serotonin in various projection regions after a dose of fluoxetine.</p> <p>Conclusions</p> <p>Serotonergic systems must respond robustly to important biological signals, while at the same time maintaining homeostasis in the face of normal biological fluctuations in inputs, expression levels, and firing rates. This is accomplished through the cooperative effect of many different homeostatic mechanisms including special properties of the serotonin transporters and the serotonin autoreceptors. Many difficult questions remain in order to fully understand how serotonin biochemistry affects serotonin electrophysiology and vice versa, and how both are changed in the presence of selective serotonin reuptake inhibitors. Mathematical models are useful tools for investigating some of these questions.</p