138 research outputs found

    Modelling and certification for electric mobility

    Get PDF
    The EnergyBus specification is the basis of an ongoing joint IEC/ISO standardisation effort focussing on public charging infrastructures for and interoperability of light electric vehicle components. This paper highlights how these efforts are supported by formal methods, starting at the design and specification level, up to establishing a certification framework for standards compliance of devices implementing the specification. The Modest Toolset supports the model-based analysis methods needed in this context

    Cross-sectional study: prevalence of oedema disease Escherichia coli (EDEC) in weaned piglets in Germany at pen and farm levels

    Get PDF
    Background Escherichia coli bacteria capable of producing the toxin Stx2e and possessing F18-fimbriae (edema disease E. coli, EDEC) are considered causative agents of porcine oedema disease. This disease, which usually occurs in piglets shortly after weaning, has a high lethality in affected animals and can lead to high economic losses in piglet rearing. The aim of this cross-sectional field study was to determine the prevalence of EDEC in weaned piglets in Germany at pen and farm levels. Results Ninety-nine farms with unknown history of infections with shigatoxin-producing E. coli (STEC) and oedema disease were sampled. On each farm, up to five pens were selected for sampling (n = 481). The piglets in these pens were at an age 1–3 weeks after weaning. Single faecal samples (n = 2405) and boot swabs (n = 479) were collected from the floor. On 50 farms, cotton ropes were additionally used to collect oral fluid samples (n = 185) and rope wash out samples (n = 231) from the selected pens. All samples were analyzed by bacterial culture combined with a duplex PCR for the presence of the corresponding genes stx2e and fedA (major subunit protein of F18 fimbriae). In addition, whole DNA specimens extracted from boot swabs, oral fluid samples, and rope wash out samples were directly examined by duplex PCR for DNA of stx2e and fedA. A pen was classified as positive if at least one of the samples, regardless of the technique, yielded a positive result in the PCR, and farms were considered positive if at least one pen was classified as positive. Overall, genes stx2e and fedA were found simultaneously in 24.9% (95% CI 22.1–29.1%) of sampled pens and in 37.4% (95% CI 27.9–47.7%) of sampled farms. Regardless of the presence of F18-fimbriae, Escherichia coli encoding for Stx2e (STEC-2e) were found in 35.1% (95% CI 31.0–39.1%) of the pens and 53.5% (95% CI 44.4–63.6%) of the farms sampled. Conclusions Escherichia coli strains considered capable to cause oedema disease in swine (EDEC) are highly prevalent in the surveyed pig producing farms in Germany. Due to intermittent shedding of EDEC and a potentially low within-farm prevalence, we recommend a combination of different sampling techniques for EDEC monitoring at pen and farm levels. Further studies are needed to understand which STEC-2e strains really pose the risk of causing severe porcine disease

    Landscape response to late Pleistocene climate change in NW Argentina: Sediment flux modulated by basin geometry and connectivity

    Get PDF
    Citation: Schildgen, T. F., Robinson, R. A. J., Savi, S., Phillips, W. M., Spencer, J. Q. G., Bookhagen, B., . . . Strecker, M. R. (2016). Landscape response to late Pleistocene climate change in NW Argentina: Sediment flux modulated by basin geometry and connectivity. Journal of Geophysical Research-Earth Surface, 121(2), 392-414. doi:10.1002/2015jf003607Fluvial fill terraces preserve sedimentary archives of landscape responses to climate change, typically over millennial timescales. In the Humahuaca Basin of NW Argentina (Eastern Cordillera, southern Central Andes), our 29 new optically stimulated luminescence ages of late Pleistocene fill terrace sediments demonstrate that the timing of past river aggradation occurred over different intervals on the western and eastern sides of the valley, despite their similar bedrock lithology, mean slopes, and precipitation. In the west, aggradation coincided with periods of increasing precipitation, while in the east, aggradation coincided with decreasing precipitation or more variable conditions. Erosion rates and grain size dependencies in our cosmogenic Be-10 analyses of modern and fill terrace sediments reveal an increased importance of landsliding compared to today on the west side during aggradation, but of similar importance during aggradation on the east side. Differences in the timing of aggradation and the Be-10 data likely result from differences in valley geometry, which causes sediment to be temporarily stored in perched basins on the east side. It appears as if periods of increasing precipitation triggered landslides throughout the region, which induced aggradation in the west, but blockage of the narrow bedrock gorges downstream from the perched basins in the east. As such, basin geometry and fluvial connectivity appear to strongly influence the timing of sediment movement through the system. For larger basins that integrate subbasins with differing geometries or degrees of connectivity (like Humahuaca), sedimentary responses to climate forcing are likely attenuated

    Clinical and virological characteristics of hospitalised COVID-19 patients in a German tertiary care centre during the first wave of the SARS-CoV-2 pandemic: a prospective observational study

    Get PDF
    Purpose: Adequate patient allocation is pivotal for optimal resource management in strained healthcare systems, and requires detailed knowledge of clinical and virological disease trajectories. The purpose of this work was to identify risk factors associated with need for invasive mechanical ventilation (IMV), to analyse viral kinetics in patients with and without IMV and to provide a comprehensive description of clinical course. Methods: A cohort of 168 hospitalised adult COVID-19 patients enrolled in a prospective observational study at a large European tertiary care centre was analysed. Results: Forty-four per cent (71/161) of patients required invasive mechanical ventilation (IMV). Shorter duration of symptoms before admission (aOR 1.22 per day less, 95% CI 1.10-1.37, p < 0.01) and history of hypertension (aOR 5.55, 95% CI 2.00-16.82, p < 0.01) were associated with need for IMV. Patients on IMV had higher maximal concentrations, slower decline rates, and longer shedding of SARS-CoV-2 than non-IMV patients (33 days, IQR 26-46.75, vs 18 days, IQR 16-46.75, respectively, p < 0.01). Median duration of hospitalisation was 9 days (IQR 6-15.5) for non-IMV and 49.5 days (IQR 36.8-82.5) for IMV patients. Conclusions: Our results indicate a short duration of symptoms before admission as a risk factor for severe disease that merits further investigation and different viral load kinetics in severely affected patients. Median duration of hospitalisation of IMV patients was longer than described for acute respiratory distress syndrome unrelated to COVID-19

    stairs and fire

    Get PDF

    The 10,000 Facets of MDP Model Checking

    No full text
    This paper presents a retrospective view on probabilistic model checking. We focus on Markov decision processes (MDPs, for short). We survey the basic ingredients of MDP model checking and discuss its enormous developments since the seminal works by Courcoubetis and Yannakakis in the early 1990s. We discuss in particular the manifold facets of this field of research by surveying the verification of various MDP extensions, rich classes of properties, and their applications

    Cross-sectional study: prevalence of oedema disease Escherichia coli (EDEC) in weaned piglets in Germany at pen and farm levels

    No full text
    Abstract Background Escherichia coli bacteria capable of producing the toxin Stx2e and possessing F18-fimbriae (edema disease E. coli, EDEC) are considered causative agents of porcine oedema disease. This disease, which usually occurs in piglets shortly after weaning, has a high lethality in affected animals and can lead to high economic losses in piglet rearing. The aim of this cross-sectional field study was to determine the prevalence of EDEC in weaned piglets in Germany at pen and farm levels. Results Ninety-nine farms with unknown history of infections with shigatoxin-producing E. coli (STEC) and oedema disease were sampled. On each farm, up to five pens were selected for sampling (n = 481). The piglets in these pens were at an age 1–3 weeks after weaning. Single faecal samples (n = 2405) and boot swabs (n = 479) were collected from the floor. On 50 farms, cotton ropes were additionally used to collect oral fluid samples (n = 185) and rope wash out samples (n = 231) from the selected pens. All samples were analyzed by bacterial culture combined with a duplex PCR for the presence of the corresponding genes stx2e and fedA (major subunit protein of F18 fimbriae). In addition, whole DNA specimens extracted from boot swabs, oral fluid samples, and rope wash out samples were directly examined by duplex PCR for DNA of stx2e and fedA. A pen was classified as positive if at least one of the samples, regardless of the technique, yielded a positive result in the PCR, and farms were considered positive if at least one pen was classified as positive. Overall, genes stx2e and fedA were found simultaneously in 24.9% (95% CI 22.1–29.1%) of sampled pens and in 37.4% (95% CI 27.9–47.7%) of sampled farms. Regardless of the presence of F18-fimbriae, Escherichia coli encoding for Stx2e (STEC-2e) were found in 35.1% (95% CI 31.0–39.1%) of the pens and 53.5% (95% CI 44.4–63.6%) of the farms sampled. Conclusions Escherichia coli strains considered capable to cause oedema disease in swine (EDEC) are highly prevalent in the surveyed pig producing farms in Germany. Due to intermittent shedding of EDEC and a potentially low within-farm prevalence, we recommend a combination of different sampling techniques for EDEC monitoring at pen and farm levels. Further studies are needed to understand which STEC-2e strains really pose the risk of causing severe porcine disease

    Ist eine postoperative Überwachung von Kindern mit OSAS nach AT/ATE/LTT auf der ITS erforderlich?

    No full text
    Non-invasive estimation of bladder volume could help patients with impaired bladder volume sensation to determine the right moment for catheterisation. Continuous, non-invasive impedance measurement is a promising technology in this scenario, although influences of body posture and unknown urine conductivity limit wide clinical use today. We studied impedance changes related to bladder volume by simulation, in-vitro and in-vivo measurements with pigs. In this work, we present a method to reduce the influence of urine conductivity to cystovolumetry and bring bioimpedance cystovolumetry closer to a clinical application
    corecore