TiPEX: A Tool Chain for Timed Property Enforcement During eXecution

International audienceThe TiPEX tool implements the enforcement monitoring algorithms for timed properties proposed in [1]. Enforcement monitors are generated from timed automata specifying timed properties. Such monitors correct input sequences by adding extra delays between events. Moreover, TiPEX also provides modules to generate timed automata from patterns, compose them, and check the class of properties they belong to in order to optimize the monitors. This paper also presents the performance evaluation of TiPEX within some experimental setup

Mapping poverty using mobile phone and satellite data

Poverty is one of the most important determinants of adverse health outcomes globally, a major cause of societal instability and one of the largest causes of lost human potential. Traditional approaches to measuring and targeting poverty rely heavily on census data, which in most low- and middle-income countries (LMICs) are unavailable or out-of-date. Alternate measures are needed to comp- lement and update estimates between censuses. This study demonstrates how public and private data sources that are commonly available for LMICs can be used to provide novel insight into the spatial distribution of poverty. We evalu- ate the relative value of modelling three traditional poverty measures using aggregate data from mobile operators and widely available geospatial data. Taken together, models combining these data sources providethebest predictive power (highest r 2 ¼ 0.78) and lowest error, but generally models employing mobile data only yield comparable results, offering the potential to measure poverty more frequently and at finer granularity. Stratifying models into urban and rural areas highlights the advantage of using mobile data in urban areas and different data in different contexts. The findings indicate the possibility to estimate and continually monitor poverty rates at high spatial resolution in countries with limited capacity to support traditional methods of datacollection

Higher-Spin Interactions: four-point functions and beyond

In this work we construct an infinite class of four-point functions for massless higher-spin fields in flat space that are consistent with the gauge symmetry. In the Lagrangian picture, these reflect themselves in a peculiar non-local nature of the corresponding non-abelian higher-spin couplings implied by the Noether procedure that starts from the fourth order. We also comment on the nature of the colored spin-2 excitation present both in the open string spectrum and in the Vasiliev system, highlighting how some aspects of String Theory appear to reflect key properties of Field Theory that go beyond its low energy limit. A generalization of these results to n-point functions, fermions and mixed-symmetry fields is also addressed.Comment: 66 pages, 10 figures, 1 table, LaTex. Several statements clarified. Final version to appear in JHE

Optic disc classification by the Heidelberg Retina Tomograph and by physicians with varying experience of glaucoma

PurposeTo compare the diagnostic accuracy of the Heidelberg Retina Tomograph's (HRT) Moorfields regression analysis (MRA) and glaucoma probability score (GPS) with that of subjective grading of optic disc photographs performed by ophthalmologists with varying experience of glaucoma and by ophthalmology residents.MethodsDigitized disc photographs and HRT images from 97 glaucoma patients with visual field defects and 138 healthy individuals were classified as either within normal limits (WNL), borderline (BL), or outside normal limits (ONL). Sensitivity and specificity were compared for MRA, GPS, and the physicians. Analyses were also made according to disc size and for advanced visual field loss.ResultsForty-five physicians participated. When BL results were regarded as normal, sensitivity was significantly higher (P<5%) for both MRA and GPS compared with the average physician, 87%, 79%, and 62%, respectively. Specificity ranged from 86% for MRA to 97% for general ophthalmologists, but the differences were not significant. In eyes with small discs, sensitivity was 75% for MRA, 60% for the average doctor, and 25% for GPS; in eyes with large discs, sensitivity was 100% for both GPS and MRA, but only 68% for physicians.ConclusionOur results suggest that sensitivity of MRA is superior to that of the average physician, but not that of glaucoma experts. MRA correctly classified all eyes with advanced glaucoma and showed the best sensitivity in eyes with small optic discs

On the price of morals in markets: an empirical study of the Swedish AP-Funds and the Norwegian Government Pension Fund

This study empirically analyses the exclusion of companies from investors’ investment universe due to a company’s business model (sector-based exclusion) or due to a company’s violations of international norms (normbased exclusion). We conduct a time-series analysis of the performance implications of the exclusion decisions of two leading Nordic investors, Norway’s Government Pension Fund-Global (GPFG) and Sweden’s AP-funds. We find that their portfolios of excluded companies do not generate an abnormal return relative to the funds’ benchmark index. While the exclusion portfolios show higher risk than the respective benchmark, this difference is only statistically significant for the case of GPFG. These findings suggest that the exclusion of the companies generally does not harm funds’ performance. We interpret these findings as indicative that with exclusionary screening, as practiced by the sample funds, asset owners can meet the ethical objectives of their beneficiaries without compromising financial returns

Experimental Beetle Metapopulations Respond Positively to Dynamic Landscapes and Reduced Connectivity

Interactive effects of multiple environmental factors on metapopulation dynamics have received scant attention. We designed a laboratory study to test hypotheses regarding interactive effects of factors affecting the metapopulation dynamics of red flour beetle, Tribolium castaneum. Within a four-patch landscape we modified resource level (constant and diminishing), patch connectivity (high and low) and patch configuration (static and dynamic) to conduct a 23 factorial experiment, consisting of 8 metapopulations, each with 3 replicates. For comparison, two control populations consisting of isolated and static subpopulations were provided with resources at constant or diminishing levels. Longitudinal data from 22 tri-weekly counts of beetle abundance were analyzed using Bayesian Poisson generalized linear mixed models to estimate additive and interactive effects of factors affecting abundance. Constant resource levels, low connectivity and dynamic patches yielded greater levels of adult beetle abundance. For a given resource level, frequency of colonization exceeded extinction in landscapes with dynamic patches when connectivity was low, thereby promoting greater patch occupancy. Negative density dependence of pupae on adults occurred and was stronger in landscapes with low connectivity and constant resources; these metapopulations also demonstrated greatest stability. Metapopulations in control landscapes went extinct quickly, denoting lower persistence than comparable landscapes with low connectivity. When landscape carrying capacity was constant, habitat destruction coupled with low connectivity created asynchronous local dynamics and refugia within which cannibalism of pupae was reduced. Increasing connectivity may be counter-productive and habitat destruction/recreation may be beneficial to species in some contexts

Changes in health related quality of life 3 months after an acute coronary syndrome

BACKGROUND: The aim of the study was to identify the changes in Health Related Quality of Life (HRQL) 3 months after discharge from hospital, in patients who have had an acute coronary episode, and to determine the clinical and sociodemographic variables that explain those changes. METHODS: HRQL was assessed in 132 patients while they were admitted to the hospital and at 3 months after discharge, using the SF-36 health questionnaire. To identify the variables associated with the change, multiple linear regression models were constructed for two summary dimensions of the SF-36 (PCS and MCS) taking the change in the score of the dimension as dependent variable. RESULTS: There were no significant differences between the patients who completed the monitoring (n = 76) and those who were dropped out. After three months, a significant decrease was observed in the dimensions of physical functioning, general health, vitality, and Physical Summary Component (PCS). The variables revascularisation, age, and the interaction between previous history of coronary heart disease (CHD) and the presence of one or more risk factors explained 16.6% of the decrease in the PCS. The decrease in the PCS was 6.4 points less in the patients who had undergone revascularisation, 0.2 points less for each year of age, and 4.7 points less in the patients who had antecedents of the illness as well as one or more risk factors. CONCLUSION: The dimensions most affected at three months after an acute coronary episode were those related to the physical component. Undergoing revascularisation improved the PCS in patients, but in the younger patients and those without personal antecedents or risk factors, the PCS was affected more, perhaps due to greater expectations for recovery in these patients

Discerning Secluded Sector gauge structures

New fundamental particles, charged under new gauge groups and only weakly coupled to the standard sector, could exist at fairly low energy scales. In this article we study a selection of such models, where the secluded group either contains a softly broken U(1) or an unbroken SU(N). In the Abelian case new {\gamma}v gauge bosons can be radiated off and decay back into visible particles. In the non-Abelian case there will not only be a cascade in the hidden sector, but also hadronization into new {\pi}v and {\rho}v mesons that can decay back. This framework is developed to be applicable both for e+e- and pp collisions, but for these first studies we concentrate on the former process type. For each Abelian and non-Abelian group we study three different scenarios for the communication between the standard sector and the secluded one. We illustrate how to distinguish the various characteristics of the models and especially study to what extent the underlying gauge structure can be determined experimentally.Comment: removed extra figure

Knee disorders in primary care: design and patient selection of the HONEUR knee cohort.

BACKGROUND: Knee complaints are a frequent reason for consultation in general practice. These patients constitute a specific population compared to secondary care patients. However, information to base treatment decisions on is generally derived from specialistic settings. Our cohort study is aimed at collecting knowledge about prognosis and prognostic factors of knee complaints presented in a primary care setting. This paper describes the methods used for data collection, and discusses potential selectiveness of patient recruitment. METHODS: This is a descriptive prospective cohort study with one-year follow-up. 40 Dutch GPs recruited consecutive patients with incident knee complaints aged 12 years and above from October 2001 to October 2003. Patients were assessed with questionnaires and standardised physical examinations. Additional measurements of subgroups included MRI for recent knee traumas and device assessed function measurements for non-traumatic patients. After the inclusion period we retrospectively searched the computerized medical files of participating GPs to obtain a sample to determine possible selective recruitment. We assessed differences in proportions of gender, traumatic onset of injury and age groups between participants and non-participants using Odds Ratios (OR) and 95% confidence intervals. RESULTS: We recruited 1068 patients. In a sample of 310 patients visiting the GP, we detected some selective recruitment, indicating an underrepresentation of patients aged 12 to 35 years (OR 1.70; 1.15-2.77), especially among men (OR 2.16; 1.12-4.18). The underrepresentation of patients with traumatic onset of injury was not statistically significant. CONCLUSION: This cohort is unique in its size, setting, and its range of both age and type of knee complaints. We believe the detected selective recruitment is unlikely to introduce significant bias, as the cohort will be divided into subgroups according to age group or traumatic onset of injury for future analyses. However, the underrepresentation of men in the age group of 12 to 35 years of age warrants caution. Based on the available data, we believe our cohort is an acceptable representation of patients with new knee complaints consulting the GP, and we expect no problems with extrapolation of the results to the general Dutch population