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

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

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

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

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

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

Crayfish Recognize the Faces of Fight Opponents

The capacity to associate stimuli underlies many cognitive abilities, including recognition, in humans and other animals. Vertebrates process different categories of information separately and then reassemble the distilled information for unique identification, storage and recall. Invertebrates have fewer neural networks and fewer neural processing options so study of their behavior may reveal underlying mechanisms still not fully understood for any animal. Some invertebrates form complex social colonies and are capable of visual memory–bees and wasps, for example. This ability would not be predicted in species that interact in random pairs without strong social cohesion; for example, crayfish. They have chemical memory but the extent to which they remember visual features is unknown. Here we demonstrate that the crayfish Cherax destructor is capable of visual recognition of individuals. The simplicity of their interactions allowed us to examine the behavior and some characteristics of the visual features involved. We showed that facial features are learned during face-to-face fights, that highly variable cues are used, that the type of variability is important, and that the learning is context-dependent. We also tested whether it is possible to engineer false identifications and for animals to distinguish between twin opponents

Chicken TREM-B1, an Inhibitory Ig-Like Receptor Expressed on Chicken Thrombocytes

Triggering receptors expressed on myeloid cells (TREM) form a multigene family of immunoregulatory Ig-like receptors and play important roles in the regulation of innate and adaptive immunity. In chickens, three members of the TREM family have been identified on chromosome 26. One of them is TREM-B1 which possesses two V-set Ig-domains, an uncharged transmembrane region and a long cytoplasmic tail with one ITSM and two ITIMs indicating an inhibitory function. We generated specific monoclonal antibodies by immunizing a Balb/c mouse with a TREM-B1-FLAG transfected BWZ.36 cell line and tested the hybridoma supernatants on TREM-B1-FLAG transfected 2D8 cells. We obtained two different antibodies specific for TREM-B1, mab 7E8 (mouse IgG1) and mab 1E9 (mouse IgG2a) which were used for cell surface staining. Single and double staining of different tissues, including whole blood preparations, revealed expression on thrombocytes. Next we investigated the biochemical properties of TREM-B1 by using the specific mab 1E9 for immunoprecipitation of either lysates of surface biotinylated peripheral blood cells or stably transfected 2D8 cells. Staining with streptavidin coupled horse radish peroxidase revealed a glycosylated monomeric protein of about 50 kDa. Furthermore we used the stably transfected 2D8 cell line for analyzing the cytoplasmic tyrosine based signaling motifs. After pervanadate treatment, we detected phosphorylation of the tyrosine residues and subsequent recruitment of the tyrosine specific protein phosphatase SHP-2, indicating an inhibitory potential for TREM-B1. We also showed the inhibitory effect of TREM-B1 in chicken thrombocytes using a CD107 degranulation assay. Crosslinking of TREM-B1 on activated primary thrombocytes resulted in decreased CD107 surface expression of about 50-70%