On the Expressivity and Applicability of Model Representation Formalisms

A number of first-order calculi employ an explicit model representation formalism for automated reasoning and for detecting satisfiability. Many of these formalisms can represent infinite Herbrand models. The first-order fragment of monadic, shallow, linear, Horn (MSLH) clauses, is such a formalism used in the approximation refinement calculus. Our first result is a finite model property for MSLH clause sets. Therefore, MSLH clause sets cannot represent models of clause sets with inherently infinite models. Through a translation to tree automata, we further show that this limitation also applies to the linear fragments of implicit generalizations, which is the formalism used in the model-evolution calculus, to atoms with disequality constraints, the formalisms used in the non-redundant clause learning calculus (NRCL), and to atoms with membership constraints, a formalism used for example in decision procedures for algebraic data types. Although these formalisms cannot represent models of clause sets with inherently infinite models, through an additional approximation step they can. This is our second main result. For clause sets including the definition of an equivalence relation with the help of an additional, novel approximation, called reflexive relation splitting, the approximation refinement calculus can automatically show satisfiability through the MSLH clause set formalism.Comment: 15 page

Behavioral determinants as predictors of return to work after long-term sickness absence: an application of the theory of planned behavior

Background The aim of this prospective, longitudinal cohort study was to analyze the association between the three behavioral determinants of the theory of planned behavior (TPB) model-attitude, subjective norm and self-efficacy-and the time to return-to-work (RTW) in employees on long-term sick leave. Methods The study was based on a sample of 926 employees on sickness absence (maximum duration of 12 weeks). The employees filled out a baseline questionnaire and were subsequently followed until the tenth month after listing sick. The TPB-determinants were measured at baseline. Work attitude was measured with a Dutch language version of the Work Involvement Scale. Subjective norm was measured with a self-structured scale reflecting a person's perception of social support and social pressure. Self-efficacy was measured with the three subscales of a standardised Dutch version of the general self-efficacy scale (ALCOS): willingness to expend effort in completing the behavior, persistence in the face of adversity, and willingness to initiate behavior. Cox proportional hazards regression analyses were used to identify behavioral determinants of the time to RTW. Results Median time to RTW was 160 days. In the univariate analysis, all potential prognostic factors were significantly associated (P < 0.15) with time to RTW: work attitude, social support, and the three subscales of self-efficacy. The final multivariate model with time to RTW as the predicted outcome included work attitude, social support and willingness to expend effort in completing the behavior as significant predictive factors. Conclusions This prospective, longitudinal cohort-study showed that work attitude, social support and willingness to expend effort in completing the behavior are significantly associated with a shorter time to RTW in employees on long-term sickness absence. This provides suggestive evidence for the relevance of behavioral characteristics in the prediction of duration of sickness absence. It may be a promising approach to address the behavioral determinants in the development of interventions focusing on RTW in employees on long-term sick leave

Depression and sickness behavior are Janus-faced responses to shared inflammatory pathways

It is of considerable translational importance whether depression is a form or a consequence of sickness behavior. Sickness behavior is a behavioral complex induced by infections and immune trauma and mediated by pro-inflammatory cytokines. It is an adaptive response that enhances recovery by conserving energy to combat acute inflammation. There are considerable phenomenological similarities between sickness behavior and depression, for example, behavioral inhibition, anorexia and weight loss, and melancholic (anhedonia), physio-somatic (fatigue, hyperalgesia, malaise), anxiety and neurocognitive symptoms. In clinical depression, however, a transition occurs to sensitization of immuno-inflammatory pathways, progressive damage by oxidative and nitrosative stress to lipids, proteins, and DNA, and autoimmune responses directed against self-epitopes. The latter mechanisms are the substrate of a neuroprogressive process, whereby multiple depressive episodes cause neural tissue damage and consequent functional and cognitive sequelae. Thus, shared immuno-inflammatory pathways underpin the physiology of sickness behavior and the pathophysiology of clinical depression explaining their partially overlapping phenomenology. Inflammation may provoke a Janus-faced response with a good, acute side, generating protective inflammation through sickness behavior and a bad, chronic side, for example, clinical depression, a lifelong disorder with positive feedback loops between (neuro)inflammation and (neuro)degenerative processes following less well defined triggers

The ASAS-SN bright supernova catalogue - III. 2016

This catalogue summarizes information for all supernovae discovered by the All-Sky Automated Survey for SuperNovae (ASAS-SN) and all other bright (mpeak ≤ 17), spectroscopically confirmed supernovae discovered in 2016. We then gather the near-infrared through ultraviolet magnitudes of all host galaxies and the offsets of the supernovae from the centres of their hosts from public data bases. We illustrate the results using a sample that now totals 668 supernovae discovered since 2014 May 1, including the supernovae from our previous catalogues, with type distributions closely matching those of the ideal magnitude limited sample from Li et al. This is the third of a series of yearly papers on bright supernovae and their hosts from the ASAS-SN team

The impact of long-term moderate and heavy alcohol consumption on incident atherosclerosis among persons living with HIV

BackgroundLevel of alcohol consumption is associated with differential risk of atherosclerosis, but little research has investigated this association among HIV+ persons. We evaluated the association between long-term alcohol use and incident atherosclerosis among HIV+ persons.MethodsWe utilized data from HIV+ participants of the Women's Interagency HIV Study (n=483) and the Multicenter AIDS Cohort Study (n=305) without history of cardiovascular disease. Atherosclerosis was assessed two times by B-mode carotid artery ultrasound imaging from 2004 to 2013. Presence of plaque was defined as focal carotid intima-media thickness over 1.5mm. Those with no plaque at baseline and plaque at follow-up were considered incident cases of atherosclerosis. Group-based trajectory models were used to categorize participants into 10-year drinking patterns representing heavy, moderate, or abstinent-low. Multivariable logistic regressions were conducted to assess the association of long-term moderate and heavy use on atherosclerosis, compared to abstinent-low.ResultsHeavy alcohol consumption was not statistically significantly associated with risk for incident atherosclerosis in women (AOR 1.10, CI 0.40-3.02) or men (AOR 1.31, CI 0.43-4.00), compared to abstinence-low. Moderate consumption was associated with 54% lower odds for incident disease in men (AOR 0.46, CI 0.21-1.00), but not in women (AOR 1.08, CI 0.58-2.00). In cohort-combined analyses, alcohol consumption was not statistically significantly association with incident atherosclerosis (moderate AOR 0.78, CI 0.48-1.27; heavy AOR 1.33, CI 0.66-2.69).ConclusionModerate alcohol consumption was associated with a significant protective effect on incident atherosclerosis in men only. No other levels of alcohol consumption significantly predicted atherosclerosis in men and women compared to abstinent-low

The ASAS-SN bright supernova catalogue - III. 2016

This catalogue summarizes information for all supernovae discovered by the All-Sky Automated Survey for SuperNovae (ASAS-SN) and all other bright (mpeak ≤ 17), spectroscopically confirmed supernovae discovered in 2016. We then gather the near-infrared through ultraviolet magnitudes of all host galaxies and the offsets of the supernovae from the centres of their hosts from public data bases. We illustrate the results using a sample that now totals 668 supernovae discovered since 2014 May 1, including the supernovae from our previous catalogues, with type distributions closely matching those of the ideal magnitude limited sample from Li et al. This is the third of a series of yearly papers on bright supernovae and their hosts from the ASAS-SN team

Multi-messenger observations of a binary neutron star merger

On 2017 August 17 a binary neutron star coalescence candidate (later designated GW170817) with merger time 12:41:04 UTC was observed through gravitational waves by the Advanced LIGO and Advanced Virgo detectors. The Fermi Gamma-ray Burst Monitor independently detected a gamma-ray burst (GRB 170817A) with a time delay of ~1.7 s with respect to the merger time. From the gravitational-wave signal, the source was initially localized to a sky region of 31 deg2 at a luminosity distance of 40+8-8 Mpc and with component masses consistent with neutron stars. The component masses were later measured to be in the range 0.86 to 2.26 Mo. An extensive observing campaign was launched across the electromagnetic spectrum leading to the discovery of a bright optical transient (SSS17a, now with the IAU identification of AT 2017gfo) in NGC 4993 (at ~40 Mpc) less than 11 hours after the merger by the One- Meter, Two Hemisphere (1M2H) team using the 1 m Swope Telescope. The optical transient was independently detected by multiple teams within an hour. Subsequent observations targeted the object and its environment. Early ultraviolet observations revealed a blue transient that faded within 48 hours. Optical and infrared observations showed a redward evolution over ~10 days. Following early non-detections, X-ray and radio emission were discovered at the transient’s position ~9 and ~16 days, respectively, after the merger. Both the X-ray and radio emission likely arise from a physical process that is distinct from the one that generates the UV/optical/near-infrared emission. No ultra-high-energy gamma-rays and no neutrino candidates consistent with the source were found in follow-up searches. These observations support the hypothesis that GW170817 was produced by the merger of two neutron stars in NGC4993 followed by a short gamma-ray burst (GRB 170817A) and a kilonova/macronova powered by the radioactive decay of r-process nuclei synthesized in the ejecta

A922 Sequential measurement of 1 hour creatinine clearance (1-CRCL) in critically ill patients at risk of acute kidney injury (AKI)

Meeting abstrac

Identifying factors relevant in the assessment of return-to-work efforts in employees on long-term sickness absence due to chronic low back pain: a focus group study

ABSTRACT: BACKGROUND: Efforts undertaken during the return to work (RTW) process need to be sufficient to prevent unnecessary applications for disability benefits. The purpose of this study was to identify factors relevant to RTW Effort Sufficiency (RTW-ES) in cases of sick-listed employees with chronic low back pain (CLBP). METHODS: Using focus groups consisting of Labor Experts (LE's) working at the Dutch Social Insurance Institute, arguments and underlying grounds relevant to the assessment of RTW-ES were investigated. Factors were collected and categorized using the International Classification of Functioning, Disability and Health (ICF model). RESULTS: Two focus groups yielded 19 factors, of which 12 are categorized in the ICF model under activities (e.g. functional capacity) and in the personal (e.g. age, tenure) and environmental domain (e.g. employer-employee relationship). The remaining 7 factors are categorized under intervention, job accommodation and measures. CONCLUSIONS: This focus group study shows that 19 factors may be relevant to RTW-ES in sick-listed employees with CLBP. Providing these results to professionals assessing RTW-ES might contribute to a more transparent and systematic approach. Considering the importance of the quality of the RTW process, optimizing the RTW-ES assessment is essential

A Prospective Study of Return to Work Across Health Conditions: Perceived Work Attitude, Self-efficacy and Perceived Social Support

Background The aim of the present study was to conduct subgroup-analyses in a prospective cohort of workers on long-term sickness absence to investigate whether associations between perceived work attitude, self-efficacy and perceived social support and time to RTW differ across different health conditions. Methods The study was based on a sample of 926 workers on sickness absence (6–12 weeks). The participants filled out a baseline questionnaire and were subsequently followed until the tenth month after listing sick. Perceived work attitude was measured with a Dutch language version of the Work Involvement Scale. Perceived social support was measured with a self-constructed standardized scale reflecting a person’s perception of social support regarding RTW. Self-efficacy was measured with the standardised Dutch version of the General self-efficacy scale, assessing the subjects’ expectations of their general capacities. The sample was divided into three subgroups: musculoskeletal health conditions, other physical health conditions and mental health conditions. Anova analyses and Cox proportional hazards regression analyses were used to identify differences in association between the three factors and the time to RTW between different subgroups. Results The associations between the perceived work attitude, self-efficacy and perceived social support and the time to RTW vary across different health condition subgroups, not only with regard to the strength of the association but also for the type of factor. In the multivariate model, hazard ratios (HRs) of 1.33 (95% CI 1.01–1.75) in the musculoskeletal subgroup, and 1.26 (95% CI 0.89–1.78) in the other physical subgroup were found in perceived work attitude. With regard to perceived social support HRs of 1.39 (95% CI 1.12–1.99) respectively 1.51 (1.05–2.17) in the same subgroups were found. Only self-efficacy remained in the multivariate model in all subgroups with HRs of 1.49 (95% CI 1.12–1.99) in the musculoskeletal subgroup, 1.53 (95% CI 1.07–2.18) in the other physical subgroup and 1.60 (1.07–2.40) in the mental subgroup. Conclusions The results of this study show that perceived work attitude, self-efficacy and perceived social support are relevant predictors with regard to the time to RTW in all types of health conditions, but that important differences are observed in type of factor and strengths of the relationships between physical and mental health conditions