Almost Linear B\"uchi Automata

We introduce a new fragment of Linear temporal logic (LTL) called LIO and a new class of Buechi automata (BA) called Almost linear Buechi automata (ALBA). We provide effective translations between LIO and ALBA showing that the two formalisms are expressively equivalent. While standard translations of LTL into BA use some intermediate formalisms, the presented translation of LIO into ALBA is direct. As we expect applications of ALBA in model checking, we compare the expressiveness of ALBA with other classes of Buechi automata studied in this context and we indicate possible applications

Rise in Economic Interactions in the Indian Ocean Rim : Implication for Maritime Policies in African Countrie

textabstractOne of the purposes to perform an oral food challenge (FC) test is to avoid unnecessary elimination of food allergens. In case of a negative FC test result, the food can be introduced. It is, however, unknown if patients act according to the outcome of the test. This study evaluates the rate of introduction of peanut, hazelnut, cow’s milk or hen’s egg allergens after a negative FC test. We investigated the introduction rate of children (0–18 years) with a negative FC test visiting the Department of Allergology, Erasmus Medical Centre Rotterdam from 2008 till 2013 and the factors that influence the rate of introduction. Patients wer

Interactions among mitochondrial proteins altered in glioblastoma

Mitochondrial dysfunction is putatively central to glioblastoma (GBM) pathophysiology but there has been no systematic analysis in GBM of the proteins which are integral to mitochondrial function. Alterations in proteins in mitochondrial enriched fractions from patients with GBM were defined with label-free liquid chromatography mass spectrometry. 256 mitochondrially-associated proteins were identified in mitochondrial enriched fractions and 117 of these mitochondrial proteins were markedly (fold-change ≥2) and significantly altered in GBM (p ≤ 0.05). Proteins associated with oxidative damage (including catalase, superoxide dismutase 2, peroxiredoxin 1 and peroxiredoxin 4) were increased in GBM. Protein–protein interaction analysis highlighted a reduction in multiple proteins coupled to energy metabolism (in particular respiratory chain proteins, including 23 complex-I proteins). Qualitative ultrastructural analysis in GBM with electron microscopy showed a notably higher prevalence of mitochondria with cristolysis in GBM. This study highlights the complex mitochondrial proteomic adjustments which occur in GBM pathophysiology

Determinants of medication adherence to antihypertensive medications among a Chinese population using Morisky medication adherence scale

<b>Background and objectives</b> Poor adherence to medications is one of the major public health challenges. Only one-third of the population reported successful control of blood pressure, mostly caused by poor drug adherence. However, there are relatively few reports studying the adherence levels and their associated factors among Chinese patients. This study aimed to study the adherence profiles and the factors associated with antihypertensive drug adherence among Chinese patients.<p></p> <b>Methods</b> A cross-sectional study was conducted in an outpatient clinic located in the New Territories Region of Hong Kong. Adult patients who were currently taking at least one antihypertensive drug were invited to complete a self-administered questionnaire, consisting of basic socio-demographic profile, self-perceived health status, and self-reported medication adherence. The outcome measure was the Morisky Medication Adherence Scale (MMAS-8). Good adherence was defined as MMAS scores greater than 6 points (out of a total score of 8 points).<p></p> <b>Results</b> From 1114 patients, 725 (65.1%) had good adherence to antihypertensive agents. Binary logistic regression analysis was conducted. Younger age, shorter duration of antihypertensive agents used, job status being employed, and poor or very poor self-perceived health status were negatively associated with drug adherence.<p></p> <b>Conclusion</b> This study reported a high proportion of poor medication adherence among hypertensive subjects. Patients with factors associated with poor adherence should be more closely monitored to optimize their drug taking behavior

Component-wise incremental LTL model checking

Efficient symbolic and explicit-state model checking approaches have been developed for the verification of linear time temporal logic (LTL) properties. Several attempts have been made to combine the advantages of the various algorithms. Model checking LTL properties usually poses two challenges: one must compute the synchronous product of the state space and the automaton model of the desired property, then look for counterexamples that is reduced to finding strongly connected components (SCCs) in the state space of the product. In case of concurrent systems, where the phenomenon of state space explosion often prevents the successful verification, the so-called saturation algorithm has proved its efficiency in state space exploration. This paper proposes a new approach that leverages the saturation algorithm both as an iteration strategy constructing the product directly, as well as in a new fixed-point computation algorithm to find strongly connected components on-the-fly by incrementally processing the components of the model. Complementing the search for SCCs, explicit techniques and component-wise abstractions are used to prove the absence of counterexamples. The resulting on-the-fly, incremental LTL model checking algorithm proved to scale well with the size of models, as the evaluation on models of the Model Checking Contest suggests

Set optimization - a rather short introduction

Recent developments in set optimization are surveyed and extended including various set relations as well as fundamental constructions of a convex analysis for set- and vector-valued functions, and duality for set optimization problems. Extensive sections with bibliographical comments summarize the state of the art. Applications to vector optimization and financial risk measures are discussed along with algorithmic approaches to set optimization problems

Allergy education and training for physicians.

The increasing prevalence of allergic diseases has placed a significant burden on global healthcare and society as whole. This has necessitated a rapid development of "allergy" as a specialist area. However, as allergy is so common and, for most, relatively easy to diagnose and control, all clinicians need to have basic knowledge and competence  to manage  mild disease and recognize when referral is required. The allergology specialty has not yet been recognized in many countries and even where allergy is fully recognized as a specialty, the approach to training in allergy differs significantly. In the light of recent developments in allergy diagnosis and management, there is an urgent need to harmonize core competences for physicians, as well as the standardization of core principles for medical education and post-graduate training in allergy. All physicians and allied health professionals must appreciate the multidisciplinary team (MDT) approach to allergy, which is key to achieving the highest standards in holistic care. Due to worldwide variation in resources and personnel, some MDT roles will need to be absorbed by the treating physician or other healthcare professionals. We draw particular attention to the role of psychological input for all allergy patients, dietetic input in the case of food allergy and patient education to support all patients in the supported self-management of their condition on a daily basis. A strong appreciation of these multidisciplinary aspects will help physicians provide quality patient-centered care. We consider that harmonization of allergy components within undergraduate curricula is crucial to ensure all physicians develop the appropriate allergy-related knowledge and skills, particularly in light of inconsistencies seen in the primary care management of allergy. This review from the World Allergy Organization (WAO) Education and Training Committee also outlines allergy-related competences required of physicians working with allergic patients and provides recommendations to promote harmonization of allergy training and practice worldwide

First Observation of Self-Amplified Spontaneous Emission in a Free-Electron Laser at 109 nm Wavelength

We present the first observation of Self-Amplified Spontaneous Emission (SASE) in a free-electron laser (FEL) in the Vacuum Ultraviolet regime at 109 nm wavelength (11 eV). The observed free-electron laser gain (approx. 3000) and the radiation characteristics, such as dependency on bunch charge, angular distribution, spectral width and intensity fluctuations all corroborate the existing models for SASE FELs.Comment: 6 pages including 6 figures; e-mail: [email protected]