Herbrand Theorems for Substructural Logics

Herbrand and Skolemization theorems are obtained for a broad family of first-order substructural logics. These logics typically lack equivalent prenex forms, a deduction theorem, and reductions of semantic consequence to satisfiability. The Herbrand and Skolemization theorems therefore take various forms, applying either to the left or right of the consequence relation, and to restricted classes of formulas.

Multifractional Poisson process, multistable subordinator and related limit theorems

We introduce a multistable subordinator, which generalizes the stable subordinator to the case of time-varying stability index. This enables us to define a multifractional Poisson process. We study properties of these processes and establish the convergence of a continuous-time random walk to the multifractional Poisson process.

Landscape and well-being: a scoping study on the health-promoting impact of outdoor environments

OBJECTIVES: The present literature review conceptualises landscape as a health resource that promotes physical, mental, and social well-being. Different health-promoting landscape characteristics are discussed. METHODS: This article is based on a scoping study which represents a special kind of qualitative literature review. Over 120 studies have been reviewed in a five-step-procedure, resulting in a heuristic device. RESULTS: A set of meaningful pathways that link landscape and health have been identified. Landscapes have the potential to promote mental well-being through attention restoration, stress reduction, and the evocation of positive emotions; physical well-being through the promotion of physical activity in daily life as well as leisure time and through walkable environments; and social well-being through social integration, social engagement and participation, and through social support and security. CONCLUSION: This scoping study allows us to systematically describe the potential of landscape as a resource for physical, mental and social well-being. A heuristic framework is presented that can be applied in future studies, facilitating systematic and focused research approaches and informing practical public health interventions.

Reliability, construct and criterion validity of the KIDSCREEN-10 score: a short measure for children and adolescents' well-being and health-related quality of life

Background To assess the criterion and construct validity of the KIDSCREEN-10 well-being and health-related quality of life (HRQoL) score, a short version of the KIDSCREEN-52 and KIDSCREEN-27 instruments. Methods The child self-report and parent report versions of the KIDSCREEN-10 were tested in a sample of 22,830 European children and adolescents aged 8–18 and their parents (n = 16,237). Correlation with the KIDSCREEN-52 and associations with other generic HRQoL measures, physical and mental health, and socioeconomic status were examined. Score differences by age, gender, and country were investigated. Results Correlations between the 10-item KIDSCREEN score and KIDSCREEN-52 scales ranged from r = 0.24 to 0.72 (r = 0.27–0.72) for the self-report version (proxy-report version). Coefficients below r = 0.5 were observed for the KIDSCREEN-52 dimensions Financial Resources and Being Bullied only. Cronbach alpha was 0.82 (0.78), test–retest reliability was ICC = 0.70 (0.67) for the self- (proxy-)report version. Correlations between other children self-completed HRQoL questionnaires and KIDSCREEN-10 ranged from r = 0.43 to r = 0.63 for the KIDSCREEN children self-report and r = 0.22–0.40 for the KIDSCREEN parent proxy report. Known group differences in HRQoL between physically/mentally healthy and ill children were observed in the KIDSCREEN-10 self and proxy scores. Associations with self-reported psychosomatic complaints were r = −0.52 (−0.36) for the KIDSCREEN-10 self-report (proxy-report). Statistically significant differences in KIDSCREEN-10 self and proxy scores were found by socioeconomic status, age, and gender. Conclusions Our results indicate that the KIDSCREEN-10 provides a valid measure of a general HRQoL factor in children and adolescents, but the instrument does not represent well most of the single dimensions of the original KIDSCREEN-52. Test–retest reliability was slightly below a priori defined thresholds.

Money is not enough: exploring the impact of social and cultural resources on youth health

Findings on socioeconomic health differentials in youth remain fragmented with the role of cumulative and interaction effects of different forms of health resources not well understood.

Capitals and capabilities: linking structure and agency to reduce health inequalities

While empirical evidence continues to show that low socio-economic position is associated with less likely chances of being in good health, our understanding of why this is so remains less than clear. In this paper we examine the theoretical foundations for a structure-agency approach to the reduction of social inequalities in health. We use Max Weber's work on lifestyles to provide the explanation for the dualism between life chances (structure) and choice-based life conduct (agency). For explaining how the unequal distribution of material and non-material resources leads to the reproduction of unequal life chances and limitations of choice in contemporary societies, we apply Pierre Bourdieu's theory on capital interaction and habitus. We find, however, that Bourdieu's habitus concept is insufficient with regard to the role of agency for structural change and therefore does not readily provide for a theoretically supported move from sociological explanation to public health action. We therefore suggest Amartya Sen's capability approach as a useful link between capital interaction theory and action to reduce social inequalities in health. This link allows for the consideration of structural conditions as well as an active role for individuals as agents in reducing these inequalities. We suggest that people's capabilities to be active for their health be considered as a key concept in public health practice to reduce health inequalities. Examples provided from an ongoing health promotion project in Germany link our theoretical perspective to a practical experience.

Growth hormone receptor polymorphism and growth hormone therapy response in children: a bayesian meta-analysis

Recombinant human growth hormone (rhGH) therapy is used in the long-term treatment of children with growth disorders, but there is considerable treatment response variability. The exon 3-deleted growth hormone receptor polymorphism (GHR(d3)) may account for some of this variability. The authors performed a systematic review (to April 2011), including investigator-only data, to quantify the effects of the GHR(fl-d3) and GHR(d3-d3) genotypes on rhGH therapy response and used a recently established Bayesian inheritance model-free approach to meta-analyze the data. The primary outcome was the 1-year change-in-height standard-deviation score for the 2 genotypes. Eighteen data sets from 12 studies (1,527 children) were included. After several prior assumptions were tested, the most appropriate inheritance model was codominant (posterior probability = 0.93). Compared with noncarriers, carriers had median differences in 1-year change-in-height standard-deviation score of 0.09 (95% credible interval (CrI): 0.01, 0.17) for GHR(fl-d3) and of 0.14 (95% CrI: 0.02, 0.26) for GHR(d3-d3). However, the between-study standard deviation of 0.18 (95% CrI: 0.10, 0.33) was considerable. The authors tested by meta-regression for potential modifiers and found no substantial influence. They conclude that 1) the GHR(d3) polymorphism inheritance is codominant, contrasting with previous reports; 2) GHR(d3) genotypes account for modest increases in rhGH effects in children; and 3) considerable unexplained variability in responsiveness remains.

IL28B alleles associated with poor hepatitis C virus (HCV) clearance protect against inflammation and fibrosis in patients infected with non-1 HCV genotypes

Genetic polymorphisms near IL28B are associated with spontaneous and treatment-induced clearance of hepatitis C virus (HCV), two processes that require the appropriate activation of the host immune responses. Intrahepatic inflammation is believed to mirror such activation, but its relationship with IL28B polymorphisms has yet to be fully appreciated. We analyzed the association of IL28B polymorphisms with histological and follow-up features in 2335 chronically HCV-infected Caucasian patients. Assessable phenotypes before any antiviral treatment included necroinflammatory activity (n = 1,098), fibrosis (n = 1,527), fibrosis progression rate (n = 1,312), and hepatocellular carcinoma development (n = 1,915). Associations of alleles with the phenotypes were evaluated by univariate analysis and multivariate logistic regression, accounting for all relevant covariates. The rare G allele at IL28B marker rs8099917-previously shown to be at risk of treatment failure-was associated with lower activity (P = 0.04), lower fibrosis (P = 0.02) with a trend toward lower fibrosis progression rate (P = 0.06). When stratified according to HCV genotype, most significant associations were observed in patients infected with non-1 genotypes (P = 0.003 for activity, P = 0.001 for fibrosis, and P = 0.02 for fibrosis progression rate), where the odds ratio of having necroinflammation or rapid fibrosis progression for patients with IL28B genotypes TG or GG versus TT were 0.48 (95% confidence intervals 0.30-0.78) and 0.56 (0.35-0.92), respectively. IL28B polymorphisms were not predictive of the development of hepatocellular carcinoma.

Towards optimal treatment with growth hormone in short children and adolescents: evidence and theses

Treatment with growth hormone (GH) has become standard practice for replacement in GH-deficient children or pharmacotherapy in a variety of disorders with short stature. However, even today, the reported adult heights achieved often remain below the normal range. In addition, the treatment is expensive and may be associated with long-term risks. Thus, a discussion of the factors relevant for achieving an optimal individual outcome in terms of growth, costs, and risks is required. In the present review, the heterogenous approaches of treatment with GH are discussed, considering the parameters available for an evaluation of the short- and long-term outcomes at different stages of treatment. This discourse introduces the potential of the newly emerging prediction algorithms in comparison to other more conventional approaches for the planning and evaluation of the response to GH. In rare disorders such as those with short stature, treatment decisions cannot easily be deduced from personal experience. An interactive approach utilizing the derived experience from large cohorts for the evaluation of the individual patient and the required decision-making may facilitate the use of GH. Such an approach should also lead to avoiding unnecessary long-term treatment in unresponsive individuals.

Swiss residents' speciality choices--impact of gender, personality traits, career motivation and life goals

BACKGROUND: The medical specialties chosen by doctors for their careers play an important part in the development of health-care services. This study aimed to investigate the influence of gender, personality traits, career motivation and life goal aspirations on the choice of medical specialty. METHODS: As part of a prospective cohort study of Swiss medical school graduates on career development, 522 fourth-year residents were asked in what specialty they wanted to qualify. They also assessed their career motivation and life goal aspirations. Data concerning personality traits such as sense of coherence, self-esteem, and gender role orientation were collected at the first assessment, four years earlier, in their final year of medical school. Data analyses were conducted by univariate and multivariate analyses of variance and covariance. RESULTS: In their fourth year of residency 439 (84.1%) participants had made their specialty choice. Of these, 45 (8.6%) subjects aspired to primary care, 126 (24.1%) to internal medicine, 68 (13.0%) to surgical specialties, 31 (5.9%) to gynaecology & obstetrics (G&O), 40 (7.7%) to anaesthesiology/intensive care, 44 (8.4%) to paediatrics, 25 (4.8%) to psychiatry and 60 (11.5%) to other specialties. Female residents tended to choose G&O, paediatrics, and anaesthesiology, males more often surgical specialties; the other specialties did not show gender-relevant differences of frequency distribution. Gender had the strongest significant influence on specialty choice, followed by career motivation, personality traits, and life goals. Multivariate analyses of covariance indicated that career motivation and life goals mediated the influence of personality on career choice. Personality traits were no longer significant after controlling for career motivation and life goals as covariates. The effect of gender remained significant after controlling for personality traits, career motivation and life goals. CONCLUSION: Gender had the greatest impact on specialty and career choice, but there were also two other relevant influencing factors, namely career motivation and life goals. Senior physicians mentoring junior physicians should pay special attention to these aspects. Motivational guidance throughout medical training should not only focus on the professional career but also consider the personal life goals of those being mentored.

Inducible endothelial cell-specific gene expression in transgenic mouse embryos and adult mice

Utilizing both the TET-OFF and TET-ON systems in combination with transcriptional control elements of the Tie-2 gene, we have established a series of transgenic activator and responder mice for TET-regulated endothelial cell-specific transgene expression in double transgenic mouse embryos and in adult mice. TET-regulated expression of LacZ reporter genes could be achieved in virtually all endothelia in mid gestation stage mouse embryos. In contrast in adult mice, using the very same Tie-2 tTA activator mouse strain, we observed striking differences of TET-induced gene expression from various inducible expression constructs in different vascular beds. Non-endothelial expression was never detected. The prominent differences in completeness of TET-induced endothelial expression highlight the still underestimated critical role of the responder mouse lines for uniform TET-induced gene expression in heterogeneous cell populations such as endothelial cells. Interestingly, in double transgenic mice inducibly expressing several different adhesion molecules, no adverse effects were observed even though these proteins were robustly expressed on endothelial cells in adult tissues. These transgenic model systems provide versatile tools for the TET-regulated manipulation of endothelial cell-specific gene expression in the entire embryonic vasculature and distinct vascular beds in adult mice.