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

Computer simulation of simultaneous evolution of individual texture components During recrystallization of an IF steel

Computer simulation of simultaneous evolution of individual texture components during recrystallization of an IF steel is carried out. A new methodology has been developed that takes as its starting point experimental data of each texture component evolving during recrystallization. In particular, Magnusson et al. data on IF steel was analyzed in a previous work with the help of the exact analytical tools developed by Rios and Villa for simultaneous transformations. From this analysis parameters such as number of nuclei of each texture component per unit of volume could be obtained and were employed as input for the present computer simulation. From this input 3-d microstructures could then be generated. The methodology proposed here combines experimental data, exact analytical methods and computer simulation and may be employed to extract the maximum information from the experimental data

Linking species concepts to natural product discovery in the post-genomic era

A widely accepted species concept for bacteria has yet to be established. As a result, species designations are inconsistently applied and tied to what can be considered arbitrary metrics. Increasing access to DNA sequence data and clear evidence that bacterial genomes are dynamic entities that include large numbers of horizontally acquired genes have added a new level of insight to the ongoing species concept debate. Despite uncertainties over how to apply species concepts to bacteria, there is clear evidence that sequence-based approaches can be used to resolve cohesive groups that maintain the properties of species. This cohesion is clearly evidenced in the genus Salinispora, where three species have been discerned despite very close relationships based on 16S rRNA sequence analysis. The major phenotypic differences among the three species are associated with secondary metabolite production, which occurs in species-specific patterns. These patterns are maintained on a global basis and provide evidence that secondary metabolites have important ecological functions. These patterns also suggest that an effective strategy for natural product discovery is to target the cultivation of new Salinispora taxa. Alternatively, bioinformatic analyses of biosynthetic genes provide opportunities to predict secondary metabolite novelty and reduce the redundant isolation of well-known metabolites. Although much remains to be learned about the evolutionary relationships among bacteria and how fundamental units of diversity can be resolved, genus and species descriptions remain the most effective method of scientific communication

Cardiac auscultation training of medical students: a comparison of electronic sensor-based and acoustic stethoscopes

BACKGROUND: To determine whether the use of an electronic, sensor based stethoscope affects the cardiac auscultation skills of undergraduate medical students. METHODS: Forty eight third year medical students were randomized to use either an electronic stethoscope, or a conventional acoustic stethoscope during clinical auscultation training. After a training period of four months, cardiac auscultation skills were evaluated using four patients with different cardiac murmurs. Two experienced cardiologists determined correct answers. The students completed a questionnaire for each patient. The thirteen questions were weighted according to their relative importance, and a correct answer was credited from one to six points. RESULTS: No difference in mean score was found between the two groups (p = 0.65). Grading and characterisation of murmurs and, if present, report of non existing murmurs were also rated. None of these yielded any significant differences between the groups. CONCLUSION: Whether an electronic or a conventional stethoscope was used during training and testing did not affect the students' performance on a cardiac auscultation test

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

Characterization of deposits formed on diesel injectors in field test and from thermal oxidative degradation of n-hexadecane in a laboratory reactor

Solid deposits from commercially available high-pressure diesel injectors (HPDI) were analyzed to study the solid deposition from diesel fuel during engine operation. The structural and chemical properties of injector deposits were compared to those formed from the thermal oxidative stressing of a diesel fuel range model compound, n-hexadecane at 160°C and 450 psi for 2.5 h in a flow reactor. Both deposits consist of polyaromatic compounds (PAH) with oxygen moieties. The similarities in structure and composition of the injector deposits and n-hexadecane deposits suggest that laboratory experiments can simulate thermal oxidative degradation of diesel in commercial injectors. The formation of PAH from n-hexadecane showed that aromatization of straight chain alkanes and polycondensation of aromatic rings was possible at temperatures as low as 160°C in the presence of oxygen. A mechanism for an oxygen-assisted aromatization of cylcoalkanes is proposed

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

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