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

Genetics of CM-proteins (A-hordeins) in barley

The CM-proteins, which are the main components of the A-hordeins, include four previously described proteins (CMa-1, CMb-1, CMc-1, CMd-1), plus a new one, CMe-1, which has been tentatively included in this group on the basis of its solubility properties and electrophoretic mobility. The variability of the five proteins has been investigated among 38 Hordeum vulgare cultivars and 17 H. spontaneum accessions. Proteins CMa-1, CMc-1 and CMd-1 were invariant within the cultivated species; CMd was also invariant in the wild one. The inheritance of variants CMb-1/CMb-2 and CMe-1/CMe-2,2 was studied in a cross H. spontaneum x H. vulgare. The first two proteins were inherited as codominantly expressed allelic variations of a single mendelian gene. Components CMe-2,2 were jointly inherited and codominantly expressed with respect to CMe-1. Gene CMb and gene(s) CMe were found to be unlinked. The chromosomal locations of genes encoding CM-proteins were investigated using wheat-barley addition lines. Genes CMa and CMc were associated with chromosome 1, and genes CMb and CMd with chromosome 4. These gene locations further support the proposed homoeology of chromosomes 1 and 4 of barley with chromosomes groups 7 and 4 of wheat, respectively. Gene(s) CMe has been assigned to chromosome 3 of barley. The accumulation of protein CMe-1 is totally blocked in the high lysine mutant Riso 1508 and partially so in the high lysine barley Hiproly

Stochastic Gravity: Theory and Applications

Whereas semiclassical gravity is based on the semiclassical Einstein equation with sources given by the expectation value of the stress-energy tensor of quantum fields, stochastic semiclassical gravity is based on the Einstein-Langevin equation, which has in addition sources due to the noise kernel.In the first part, we describe the fundamentals of this new theory via two approaches: the axiomatic and the functional. In the second part, we describe three applications of stochastic gravity theory. First, we consider metric perturbations in a Minkowski spacetime: we compute the two-point correlation functions for the linearized Einstein tensor and for the metric perturbations. Second, we discuss structure formation from the stochastic gravity viewpoint. Third, we discuss the backreaction of Hawking radiation in the gravitational background of a quasi-static black hole.Comment: 75 pages, no figures, submitted to Living Reviews in Relativit

The Escherichia coli transcriptome mostly consists of independently regulated modules

Underlying cellular responses is a transcriptional regulatory network (TRN) that modulates gene expression. A useful description of the TRN would decompose the transcriptome into targeted effects of individual transcriptional regulators. Here, we apply unsupervised machine learning to a diverse compendium of over 250 high-quality Escherichia coli RNA-seq datasets to identify 92 statistically independent signals that modulate the expression of specific gene sets. We show that 61 of these transcriptomic signals represent the effects of currently characterized transcriptional regulators. Condition-specific activation of signals is validated by exposure of E. coli to new environmental conditions. The resulting decomposition of the transcriptome provides: a mechanistic, systems-level, network-based explanation of responses to environmental and genetic perturbations; a guide to gene and regulator function discovery; and a basis for characterizing transcriptomic differences in multiple strains. Taken together, our results show that signal summation describes the composition of a model prokaryotic transcriptome

Cisplatin-induced emesis: systematic review and meta-analysis of the ferret model and the effects of 5-HT3 receptor antagonists

PURPOSE: The ferret cisplatin emesis model has been used for ~30 years and enabled identification of clinically used anti-emetics. We provide an objective assessment of this model including efficacy of 5-HT(3) receptor antagonists to assess its translational validity. METHODS: A systematic review identified available evidence and was used to perform meta-analyses. RESULTS: Of 182 potentially relevant publications, 115 reported cisplatin-induced emesis in ferrets and 68 were included in the analysis. The majority (n = 53) used a 10 mg kg(−1) dose to induce acute emesis, which peaked after 2 h. More recent studies (n = 11) also used 5 mg kg(−1), which induced a biphasic response peaking at 12 h and 48 h. Overall, 5-HT(3) receptor antagonists reduced cisplatin (5 mg kg(−1)) emesis by 68% (45–91%) during the acute phase (day 1) and by 67% (48–86%) and 53% (38–68%, all P < 0.001), during the delayed phase (days 2, 3). In an analysis focused on the acute phase, the efficacy of ondansetron was dependent on the dosage and observation period but not on the dose of cisplatin. CONCLUSION: Our analysis enabled novel findings to be extracted from the literature including factors which may impact on the applicability of preclinical results to humans. It reveals that the efficacy of ondansetron is similar against low and high doses of cisplatin. Additionally, we showed that 5-HT(3) receptor antagonists have a similar efficacy during acute and delayed emesis, which provides a novel insight into the pharmacology of delayed emesis in the ferret

Shear capacity of reinforced concrete corbels using mechanism analysis

A mechanism analysis is developed to predict the shear capacity of reinforced concrete corbels. Based on shear failure observed in experimental tests, kinematically admissible failure mechanisms are idealised as an assemblage of two rigid blocks separated by a failure plane of displacement discontinuity. Shear capacity predictions obtained from the developed mechanism analysis are in better agreement with corbel test results of a comprehensive database compiled from the available literature than other existing models for corbels. The developed mechanism model shows that the shear capacity of corbels generally decreases with the increase of shear span-to-depth ratio, increases with the increase of main longitudinal reinforcement up to a certain limit beyond which it remains constant, and decreases with the increase of horizontal applied loads. It also demonstrates that the smaller the shear span-to-overall depth ratio of corbels, the more effective the horizontal shear reinforcement

Towards Translational ImmunoPET/MR Imaging of Invasive Pulmonary Aspergillosis: The Humanised Monoclonal Antibody JF5 Detects Aspergillus Lung Infections In Vivo

This is the final published versionAvailable from Ivyspring International Publisher via the DOI in this recordInvasive pulmonary aspergillosis (IPA) is a life-threatening lung disease of hematological malignancy and bone marrow transplant patients caused by the ubiquitous environmental fungus Aspergillus fumigatus. Current diagnostic tests for the disease lack sensitivity as well as specificity, and culture of the fungus from invasive lung biopsy, considered the gold standard for IPA detection, is slow and often not possible in critically ill patients. In a previous study, we reported the development of a novel non-invasive procedure for IPA diagnosis based on antibody-guided positron emission tomography and magnetic resonance imaging (immunoPET/MRI) using a [64Cu]DOTA-labeled mouse monoclonal antibody (mAb), mJF5, specific to Aspergillus. To enable translation of the tracer to the clinical setting, we report here the development of a humanised version of the antibody (hJF5), and pre-clinical imaging of lung infection using a [64Cu]NODAGA-hJF5 tracer. The humanised antibody tracer shows a significant increase in in vivo biodistribution in A. fumigatus infected lungs compared to its radiolabeled murine counterpart [64Cu]NODAGA-mJF5. Using reverse genetics of the pathogen, we show that the antibody binds to the antigenic determinant 1,5-galactofuranose (Galf) present in a diagnostic mannoprotein antigen released by the pathogen during invasive growth in the lung. The absence of the epitope Galf in mammalian carbohydrates, coupled with the enhanced imaging capabilities of the hJF5 antibody, means that the [64Cu]NODAGA-hJF5 tracer developed here represents an ideal candidate for the diagnosis of IPA and translation to the clinical setting.This work was supported by the European Union Seventh Framework Programme FP7/2007-2013 under Grant 602820, the Deutsche Forschungsgemeinschaft (Grant WI3777/1-2 to SW), and the Werner Siemens Foundation. We thank Sven Krappman for use of the A. fumigatustdTomato strain, and acknowledge the Imaging Centre Essen (IMCES) for assistance with optical imaging of lungs

Classical kinetic energy, quantum fluctuation terms and kinetic-energy functionals

We employ a recently formulated dequantization procedure to obtain an exact expression for the kinetic energy which is applicable to all kinetic-energy functionals. We express the kinetic energy of an N-electron system as the sum of an N-electron classical kinetic energy and an N-electron purely quantum kinetic energy arising from the quantum fluctuations that turn the classical momentum into the quantum momentum. This leads to an interesting analogy with Nelson's stochastic approach to quantum mechanics, which we use to conceptually clarify the physical nature of part of the kinetic-energy functional in terms of statistical fluctuations and in direct correspondence with Fisher Information Theory. We show that the N-electron purely quantum kinetic energy can be written as the sum of the (one-electron) Weizsacker term and an (N-1)-electron kinetic correlation term. We further show that the Weizsacker term results from local fluctuations while the kinetic correlation term results from the nonlocal fluctuations. For one-electron orbitals (where kinetic correlation is neglected) we obtain an exact (albeit impractical) expression for the noninteracting kinetic energy as the sum of the classical kinetic energy and the Weizsacker term. The classical kinetic energy is seen to be explicitly dependent on the electron phase and this has implications for the development of accurate orbital-free kinetic-energy functionals. Also, there is a direct connection between the classical kinetic energy and the angular momentum and, across a row of the periodic table, the classical kinetic energy component of the noninteracting kinetic energy generally increases as Z increases.Comment: 10 pages, 1 figure. To appear in Theor Chem Ac

Quasi-Normal Modes of Stars and Black Holes

Perturbations of stars and black holes have been one of the main topics of relativistic astrophysics for the last few decades. They are of particular importance today, because of their relevance to gravitational wave astronomy. In this review we present the theory of quasi-normal modes of compact objects from both the mathematical and astrophysical points of view. The discussion includes perturbations of black holes (Schwarzschild, Reissner-Nordstr\"om, Kerr and Kerr-Newman) and relativistic stars (non-rotating and slowly-rotating). The properties of the various families of quasi-normal modes are described, and numerical techniques for calculating quasi-normal modes reviewed. The successes, as well as the limits, of perturbation theory are presented, and its role in the emerging era of numerical relativity and supercomputers is discussed.Comment: 74 pages, 7 figures, Review article for "Living Reviews in Relativity

Local host response following an intramammary challenge with Staphylococcus fleurettii and different strains of Staphylococcus chromogenes in dairy heifers

Coagulase-negative staphylococci (CNS) are a common cause of subclinical mastitis in dairy cattle. The CNS inhabit various ecological habitats, ranging between the environment and the host. In order to obtain a better insight into the host response, an experimental infection was carried out in eight healthy heifers in mid-lactation with three different CNS strains: a Staphylococcus fleurettii strain originating from sawdust bedding, an intramammary Staphylococcus chromogenes strain originating from a persistent intramammary infection (S. chromogenes IM) and a S. chromogenes strain isolated from a heifer's teat apex (S. chromogenes TA). Each heifer was inoculated in the mammary gland with 1.0 x 10(6) colony forming units of each bacterial strain (one strain per udder quarter), whereas the remaining quarter was infused with phosphate-buffered saline. Overall, the CNS evoked a mild local host response. The somatic cell count increased in all S. fleurettii-inoculated quarters, although the strain was eliminated within 12 h. The two S. chromogenes strains were shed in larger numbers for a longer period. Bacterial and somatic cell counts, as well as neutrophil responses, were higher after inoculation with S. chromogenes IM than with S. chromogenes TA. In conclusion, these results suggest that S. chromogenes might be better adapted to the mammary gland than S. fleurettii. Furthermore, not all S. chromogenes strains induce the same local host response