Implementing Distributed Controllers for Systems with Priorities

Implementing a component-based system in a distributed way so that it ensures some global constraints is a challenging problem. We consider here abstract specifications consisting of a composition of components and a controller given in the form of a set of interactions and a priority order amongst them. In the context of distributed systems, such a controller must be executed in a distributed fashion while still respecting the global constraints imposed by interactions and priorities. We present in this paper an implementation of an algorithm that allows a distributed execution of systems with (binary) interactions and priorities. We also present a comprehensive simulation analysis that shows how sensitive to changes our algorithm is, in particular changes related to the degree of conflict in the system.Comment: In Proceedings FOCLASA 2010, arXiv:1007.499

Acute health problems in African refugees: Ten years' experience in a Swiss emergency department

Summary: Background: Over the last two decades, the total number of applications from Africans for asylum in the countries of the European Union has increased from 578,000 to more than 2.9 million. About 20% (7,196/36,100) of the asylum seekers in Switzerland originate from Africa. The disease profile of African asylum seekers is remarkably different from that of the native population in the country of application. We have therefore conducted an analysis of African asylum seekers presenting themselves to our emergency department. Methods: In a retrospective analysis, the central patient registry database was searched for patients originating from Africa admitted from 1 January 2000 to 30 November 2011 and labelled as "Asylbewerber” (asylum seeker) or "Flüchtling” (refugee). Results: Three thousand six hundred and seventy-five African asylum seekers were admitted to our emergency department between 2000 and 2010. Thirty-four percent (n = 1,247) were female and 66% (n = 2,426) male. Eighty percent (n = 1,940) of the men and 70% (n = 823) of the women were younger than 40 years. Most of our patients originated from Algeria (n = 612). Forty-five percent (n = 1,628) of all patients presented with internal medical problems, 40% (n = 1,487) with injuries. 3.5% (n = 130) of all patients presented with psychiatric problems. Admission for psychiatric problems increased steadily from 2% (n = 4) in 2001 to 10% (n = 35) in 2011. Conclusion: The causes of presentation are manifold, including internal medical problems and injuries. Admissions for psychiatric problems are increasing. Establishing simple screening scores for somatization should be a key priority in providing more focused treatment in emergency department

An approach to modelling and verification of component based systems

We build on a framework for modelling and investigating component-based systems that strictly separates the description of behavior of components from the way they interact. We discuss various properties of system behavior as liveness, local progress, local and global deadlock, and robustness. We present a criterion that ensures liveness and can be tested in polynomial time. © Springer-Verlag Berlin Heidelberg 2007

Photogrammetrically UAV based terrain data generation and automatic extraction of torrential properties

Debris flows are a severe hazard in mountainous regions. However, cost-effective long-term studies of debris flows are seldom, which leads to substantial uncertainties in hazard mitigation methods. This paper investigates whether cost-effective remote sensing techniques can be applied to assess the hazards of mountain torrents and to gather accurate long-term information on the development of the watershed. Torrents that are prone to debris flows are often devoid of vegetation and can thus be well surveyed using photogrammetric methods based on uncrewed aerial vehicle (UAV) surveys. The possibility of extracting automatically torrent parameters from high-resolution terrain models, such as cross-sectional area or slope, is explored. The presented methodology yields continuous and automatically derived parameters along the torrent, which is a major advantage over pointwise field surveys. Cross-validation with field measurements reveals a strong agreement. These parameters are very accurate along highly incised sections, while they are severely limited along sections with steep adjacent hillslopes and/or dense vegetation. We show that these kinds of assessments greatly gain from UAV data followed by automatic parameter extraction. The extracted parameters provide insights so that key sections and weak points can be identified and accurately assessed in the field. We find that UAV data can contribute to a comprehensive, reproducible and objective assessment of torrent processes and predispositions. However, ground-based fieldwork is still essential and further research on remote sensing-based hazard assessment of torrents prone to debris flows is crucial

Pre- and postnatal high fat feeding differentially affects the structure and integrity of the neurovascular unit of 16-month old male and female mice

Compelling experimental and clinical evidence supports a role for maternal obesity in offspring health. Adult children of obese mothers are at greater risk of obesity, diabetes, coronary heart disease and stroke. These offspring may also be at greater risk of age-related neurodegenerative diseases for which mid-life obesity is a risk factor. Rodent diet-induced obesity models have shown that high fat (HF) diet consumption damages the integrity of the blood-brain barrier (BBB) in the adult brain. However, there is currently little information about the effect of chronic HF feeding on the BBB of aged animals. Moreover, the long-term consequences of maternal obesity on the cerebrovasculature of aged offspring are not known. This study determined the impact of pre- and postnatal HF diet on the structure and integrity of cerebral blood vessels in aged male and female mice. Female C57Bl/6 mice were fed either a 10% fat control (C) or 45% HF diet before mating and during gestation and lactation. At weaning, male and female offspring were fed the C or HF diet until sacrifice at 16-months of age. Both dams and offspring fed the HF diet weighed significantly more than mice fed the C diet. Postnatal HF diet exposure increased hippocampal BBB leakiness in female offspring, in association with loss of astrocyte endfoot coverage of arteries. Markers of tight junctions, pericytes or smooth muscle cells were not altered by pre- or postnatal HF diet. Male offspring born to HF-fed mothers showed decreased parenchymal GFAP expression compared to offspring of mothers fed C diet, while microglial and macrophage markers were higher in the same female diet group. In addition, female offspring exposed to the HF diet for their entire lifespan showed more significant changes in vessel structure, BBB permeability and inflammation compared to male animals. These results suggest that the long-term impact of prenatal HF diet on the integrity of cerebral blood vessels differs between male and female offspring depending on the postnatal diet. This may have implications for the prevention and management of age- and obesity-related cerebrovascular diseases that differentially affect men and women

Influence of the quality implementation of a physical education curriculum on the physical development and physical fitness of children

<p>Abstract</p> <p>Background</p> <p>This study was constructed as a comparison group pre-test/post-test quasi-experiment to assess the effect of the implementation of the PE curriculum by specialist PE teachers on children's physical development and physical fitness.</p> <p>Methods</p> <p>146 classes from 66 Slovenian primary schools were assigned to quasi-test (71) and quasi-control (75) groups. Data from the SLOFIT database was used to compare the differences in physical fitness and development between groups of children whose PE lessons were delivered by specialist PE teachers from the second grade onwards (quasi-test, n = 950) or by generalist teachers in all first three grades (quasi-control, n = 994). The Linear Mixed Model was used to test the influence of specialist PE teachers' teaching.</p> <p>Results</p> <p>The quasi-control group showed significantly lower improvement of physical fitness by -0.07 z-score units (95% CI -0.12 to 0.02) compared to the quasi-test group. A significant difference of -0.20 (-0.27 to -0.13) was observed in explosive strength, and of -0.15 (-0.23 to -0.08) in running speed, and in flexibility by -0.22 (-0.29 to -0.14). No significant differences in physical development were observed.</p> <p>Conclusions</p> <p>Specialist PE teachers were more successful than generalist teachers in achieving greater improvement of children's physical fitness, but no differences were observed in physical development of quasi-test and quasi-control group.</p

The German National Registry of Primary Immunodeficiencies (2012-2017)

Introduction: The German PID-NET registry was founded in 2009, serving as the first national registry of patients with primary immunodeficiencies (PID) in Germany. It is part of the European Society for Immunodeficiencies (ESID) registry. The primary purpose of the registry is to gather data on the epidemiology, diagnostic delay, diagnosis, and treatment of PIDs. Methods: Clinical and laboratory data was collected from 2,453 patients from 36 German PID centres in an online registry. Data was analysed with the software Stata® and Excel. Results: The minimum prevalence of PID in Germany is 2.72 per 100,000 inhabitants. Among patients aged 1–25, there was a clear predominance of males. The median age of living patients ranged between 7 and 40 years, depending on the respective PID. Predominantly antibody disorders were the most prevalent group with 57% of all 2,453 PID patients (including 728 CVID patients). A gene defect was identified in 36% of patients. Familial cases were observed in 21% of patients. The age of onset for presenting symptoms ranged from birth to late adulthood (range 0–88 years). Presenting symptoms comprised infections (74%) and immune dysregulation (22%). Ninety-three patients were diagnosed without prior clinical symptoms. Regarding the general and clinical diagnostic delay, no PID had undergone a slight decrease within the last decade. However, both, SCID and hyper IgE- syndrome showed a substantial improvement in shortening the time between onset of symptoms and genetic diagnosis. Regarding treatment, 49% of all patients received immunoglobulin G (IgG) substitution (70%—subcutaneous; 29%—intravenous; 1%—unknown). Three-hundred patients underwent at least one hematopoietic stem cell transplantation (HSCT). Five patients had gene therapy. Conclusion: The German PID-NET registry is a precious tool for physicians, researchers, the pharmaceutical industry, politicians, and ultimately the patients, for whom the outcomes will eventually lead to a more timely diagnosis and better treatment

Synchronous volcanic eruptions and abrupt climate change ∼17.7 ka plausibly linked by stratospheric ozone depletion.

Glacial-state greenhouse gas concentrations and Southern Hemisphere climate conditions persisted until ∼17.7 ka, when a nearly synchronous acceleration in deglaciation was recorded in paleoclimate proxies in large parts of the Southern Hemisphere, with many changes ascribed to a sudden poleward shift in the Southern Hemisphere westerlies and subsequent climate impacts. We used high-resolution chemical measurements in the West Antarctic Ice Sheet Divide, Byrd, and other ice cores to document a unique, ∼192-y series of halogen-rich volcanic eruptions exactly at the start of accelerated deglaciation, with tephra identifying the nearby Mount Takahe volcano as the source. Extensive fallout from these massive eruptions has been found >2,800 km from Mount Takahe. Sulfur isotope anomalies and marked decreases in ice core bromine consistent with increased surface UV radiation indicate that the eruptions led to stratospheric ozone depletion. Rather than a highly improbable coincidence, circulation and climate changes extending from the Antarctic Peninsula to the subtropics-similar to those associated with modern stratospheric ozone depletion over Antarctica-plausibly link the Mount Takahe eruptions to the onset of accelerated Southern Hemisphere deglaciation ∼17.7 ka

Effect of aliskiren on post-discharge outcomes among diabetic and non-diabetic patients hospitalized for heart failure: insights from the ASTRONAUT trial

Aims The objective of the Aliskiren Trial on Acute Heart Failure Outcomes (ASTRONAUT) was to determine whether aliskiren, a direct renin inhibitor, would improve post-discharge outcomes in patients with hospitalization for heart failure (HHF) with reduced ejection fraction. Pre-specified subgroup analyses suggested potential heterogeneity in post-discharge outcomes with aliskiren in patients with and without baseline diabetes mellitus (DM). Methods and results ASTRONAUT included 953 patients without DM (aliskiren 489; placebo 464) and 662 patients with DM (aliskiren 319; placebo 343) (as reported by study investigators). Study endpoints included the first occurrence of cardiovascular death or HHF within 6 and 12 months, all-cause death within 6 and 12 months, and change from baseline in N-terminal pro-B-type natriuretic peptide (NT-proBNP) at 1, 6, and 12 months. Data regarding risk of hyperkalaemia, renal impairment, and hypotension, and changes in additional serum biomarkers were collected. The effect of aliskiren on cardiovascular death or HHF within 6 months (primary endpoint) did not significantly differ by baseline DM status (P = 0.08 for interaction), but reached statistical significance at 12 months (non-DM: HR: 0.80, 95% CI: 0.64-0.99; DM: HR: 1.16, 95% CI: 0.91-1.47; P = 0.03 for interaction). Risk of 12-month all-cause death with aliskiren significantly differed by the presence of baseline DM (non-DM: HR: 0.69, 95% CI: 0.50-0.94; DM: HR: 1.64, 95% CI: 1.15-2.33; P < 0.01 for interaction). Among non-diabetics, aliskiren significantly reduced NT-proBNP through 6 months and plasma troponin I and aldosterone through 12 months, as compared to placebo. Among diabetic patients, aliskiren reduced plasma troponin I and aldosterone relative to placebo through 1 month only. There was a trend towards differing risk of post-baseline potassium ≥6 mmol/L with aliskiren by underlying DM status (non-DM: HR: 1.17, 95% CI: 0.71-1.93; DM: HR: 2.39, 95% CI: 1.30-4.42; P = 0.07 for interaction). Conclusion This pre-specified subgroup analysis from the ASTRONAUT trial generates the hypothesis that the addition of aliskiren to standard HHF therapy in non-diabetic patients is generally well-tolerated and improves post-discharge outcomes and biomarker profiles. In contrast, diabetic patients receiving aliskiren appear to have worse post-discharge outcomes. Future prospective investigations are needed to confirm potential benefits of renin inhibition in a large cohort of HHF patients without D